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)

AddBoundValue action

refactor action stuff to be recursive on dicts

rename is_dict to dict, add proto argument

basic trace level control from the shell

clear resume step on first step after forced backtrack

const and basic tracing

slightly janky attempt at show all solutions

make member_at with unbound key actually work

less terrible deparsing for BindValue

track action applications

disturbingly, bound values appear to actually work

deparse needs to show ?X for introduced names

can haz use strict

order dependency constants by strength

add qdeps debug command

primitive script running support

find solution on proposition addition and output actions run

searchstate setup, introduce qvars diagnostic

add qlist debug predicate, actually add propositions to the query state

updated shell code to register query commands with Tcl object

sketch some actual shell internal modules