format aperture in backtrack trace

use the correct trace format type for failure_dependencies

sma backtracking (smart will be later ;)

add notrace version for btdemo

compact_deps function

Hi, I'm here tracing for exhaustion step

show dependencies before backtracking

skip backtracking rspaces with no alternatives left

notes about actions being disallowed

move resolution step construction later

alternatives are correct rather than always backtrack

move remaining resolution_space selection into FailRecheck

clean up resolveproposition code

follow alternative rspace entries without backtracking, explicitly resolve

inline recheck code in resolveproposition to clarify logic

inline _apply_to in ResolveProposition to clarify logic

eliminate vestigial force_backtrack methods

add exhaustionstep and resumesearch concepts

pass rspace to backtrack (as yet unused), tweak DependencyMap API

include backtrace demo in fragrun output

add "trace *" and introduce a fragment using it to show backtracking

replace proposition sequence in-place rather than re-running from scratch

allocate new locals in consider instead of up-front

add test to ensure attributes have types

finish adding type constraints

fully type Resolution* classes

move dep expansion into predicates for the moment

pervasive type constraints

make format indented call _format

much better indentation on traces

rspace tracing

make Role consistent with Class, specify strictures 2

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