provide and preserve aperture information

switch over to storing rspace+ss as decision list

switchover to rspace next_step and dump step()

move backtrack step creation into rspace

introduce next_step method to rspace

rename Deparse to TraceFormatter and add ambient indent level

add depends_on info to resolve trace

add some basic tracing using the new deparser

rewrite deparse system

move ResolveProposition step over to rspace system

convert dict predicate to rspace and refactor

remove vestigial method

remove unused variable

lift some of the rspace handling into the Resolution* classes

MemberAt cut over to rspace/rstrat

first cut of rspace/rstrat code with eq semi cut over

add a few more type annotations

add types to Proposition and PropositionSequence

add types to ConsiderProposition step

add types to FailRecheck step

add types to CompleteRecheck step

add types to EnterRecheck step

move dep expansion into step() and clean up ResolveProposition.pm

record all adjustments, even those without alternatives

switch adjustments to keep search state to preserve on_X_step values

rename alternatives to adjustments

switch to preserving original step in alt list

comment out types from dependency group code

excise non-functioning depency group system

lift _make_equal from predicate role to Eq.pm

nerf member_at to prepare for decision dependency and aperture work

excise remaining identity_path code

value_path will work fine for new-value binding, identity_path not required

value_path will work fine for dependencies, identity_path not required

show resolve step dependency info

move dependency expansion earlier in the process

re-add basic step tracing

blow away current trace calls since they were insufficiently thought through

tug firmly, and recursion pops out into iteration

chained rechecks

switch recheck to using an on_completion_step

tweak naming in recheck code

switch recheck completion handling into a step

extract recheck setup logic into its own step

cleanup resolveprop apply_to logic a bit

further threading of SearchState through ResolveProposition

manual search process assembly in recheck

recheck one at a time

move recheck logic into resolution step

move calling of recheck out into Resolve step

have with_actions return the recheck list

move with_actions call to within with_resolution

move recheck to post-all-actions rather than per-action

rename Step::Normal to Step::ResolveProposition

rename InvokeNextPredicate to ConsiderPropositon

tighten up SearchState new() signature slightly

use is_solution_state flag in find_solution

move to on_solution_step concept

create explicit on_exhaustion_step attribute

mark propositionless search states as solutions

add is_solution_state flag on SearchState

switch force_backtrack to execute a backtrack step

extract backtrack decisions out into steps

switch SearchState to using Backtrack step

move backtracing out into a step

remove alternative addition handling from search state

add alternatives to search state inside normal step

switch next predicate to mutating searchstate instead of using alt_step

move invoke predicate logic into normal step

make search state operate on search states a bit more

add commented out traces to fragments

steps now operate on search states

initial creation of SearchProcess class

ensure use of strictures 2

eliminate outstanding_propositions attribute

this test is so ancient it would be better rewritten from scratch

switch to passing prop to resolve in, fix bug in with_one_step, update output

cut over to next_proposition using resolved_count

remove oustanding_propositions from hypothesis deparse

add propositions method to searchstate

add fragment runner and output for diffing

re-arranging resolution - thread proposition through predicate invocation

restructure searching so with_one_step is actually one step

only traverse keys given unset and lock selected value

actually, I implemented this a few commits ago

add missing dependency

perl 5.22 was kind enough to point out I'm an idiot

switch binding to use value_path

add value_path method and give action builders a path

fragment for const testing

always overwrite alternatives in case @alt has been shifted since we started

better tracing in SearchState

trace recheck failure

trace step actions as well as old/new hyp

deparse steps

switch scope to using lex_map to lookup locals

rules are created and installed. they just don't work yet.

add member proxy for new key + unset value

add state command for creating mutable globals

actually, I implemented those (update "need" file)