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

add trace primitive

make protoshell handle errors

beginnings of a shell prototype

rename Equals to Eq

significantly prettier deparses

operational recheck

slightly less incomplete deparse output

types and deparsing and recalculation part working

implement ->equals for values

basic formatting of resolved props

deparse actually sorta working

initial skeleton for deparser

member_at starting to work

dependency map up, some code running

initial partial sketch

initial commit - empty .gitignore