Prove redesign - #13

Draft

Lemmy00 wants to merge 36 commits into

mainfrom

Commits on Jul 7, 2026

tests: keep LEANFLOW_RCP_PREFIX_CACHE out of the suite environment

Lemmy00
and
claude
committed
prove-redesign Wave -1: decomposition confidence + crash-safe workflow-state JSON

Lemmy00
and
claude
committed
prove-redesign Phase 0 (1/4): characterization tests for _finish_queue_step_boundary

Lemmy00
and
claude
committed
prove-redesign Phase 0 (2/4): pure decide()/apply_decision verdict policy

Lemmy00
and
claude
committed
prove-redesign Phase 0 (3/4): live queue-manager authority

Lemmy00
and
claude
committed
prove-redesign Phase 0 (4a/4): shadow-compare for the boundary + live-state gates

Lemmy00
and
claude
committed
prove-redesign Phase 0 (4b/4): shadow-compare for the final-report + budget gates

Lemmy00
and
claude
committed
prove-redesign Phase 1 (1/5): plan-state substrate (graph + summary + plan.md + journal)

Lemmy00
and
claude
committed
prove-redesign Phase 1 (2/5): artifact-awareness injection (dark)

Lemmy00
and
claude
committed
prove-redesign Phase 1 (3/5): per-cycle queue->graph sync + reconcile (dark)

Lemmy00
and
claude
committed
prove-redesign Phase 1 (4/5): mechanical budget breakpoint

Lemmy00
and
claude
committed
prove-redesign Phase 1 (5/5): checkpoint-UX retirement + plan-state resume

Lemmy00
and
claude
committed
prove-redesign Phase 1 (tail): premise retrieval at assignment + research-profile skeleton

Lemmy00
and
claude
committed
prove-redesign Phase E: evaluation-harness skeleton

Lemmy00
and
claude
committed
prove-redesign Phase 2: struggle detector + LLM-manager (dark) + probe proposals

Lemmy00
and
claude
committed
prove-redesign Phase 3 (1/3): dispatch ledger core + lineage + substrate params

Lemmy00
and
claude
committed
prove-redesign Phase 3 (2/3): negation feasibility probe

Lemmy00
and
claude
committed
prove-redesign Phase 3 (3/3): the never-silent end-of-scope final report

Lemmy00
and
claude
committed
prove-redesign Phase 4 (1/6): deterministic orchestrator floor (pure)

Lemmy00
and
claude
committed
prove-redesign Phase 4 (2/6): orchestrator wired into the autonomous loop

Lemmy00
and
claude
committed
prove-redesign Phase 4 (3/6): mechanical decomposer

Lemmy00
and
claude
committed
prove-redesign Phase 4 (4/6): statement-fidelity audit

Lemmy00
and
claude
committed
prove-redesign Phase 4 (5/6): ask-human route + re-state ACK + graph-frontier selection

Lemmy00
and
claude
committed
prove-redesign Phase 4 (6/6): LLM-turn plumbing (dark) + scope-exit report upgrade

Lemmy00
and
claude
committed
prove-redesign Phase 5 (1/6): repo_clone tool

Lemmy00
and
claude
committed
prove-redesign Phase 5 (2/6): plan-state delta merge + planner config substrate

Lemmy00
and
claude
committed
prove-redesign Phase 5 (3/6): planner phase — research fan-out + synthesis

Lemmy00
and
claude
committed

Commits on Jul 11, 2026

Commits on Jul 24, 2026