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