Exact Git-tracked sourcedocs/PLAN_AND_CHANGE_DISPLAY.md View exact source

Plan, Goal, Delta, and host task display

The canonical Plan is durable SQLite authority. Host Plan/Goal/task UI is a bounded projection and can be rehydrated without rewriting canonical rows.

Current counts are derived release facts, not permanent ceilings.

Canonical authority

The Plan ledger owns row identity, order, status, dependencies, steers, Deltas, HIL boundaries, and physically final work. Exactly one executable row is active. Completed, dropped, corrected, and superseded records remain queryable history.

Host projection

The normal plugin projection is a bounded header plus current executable window; its size is a presentation contract, not the Plan’s total size. A temporary maintainer task list can remain authoritative through a release workflow when explicitly locked by the user. Panel loss, restart, compaction, or State Travel triggers rehydration from the same Plan identity rather than a duplicate fallback list.

Steering and Delta law

A steer appends or explicitly reorders/supersedes work. Every Delta implements the current route and directly purges the executable/schema/generated/test/doc references it replaces. Git appears only on the row where Git actually runs.

Goal completion is a separate explicit human action. Plan completion, HIL, tests, automation, pauses, and task transitions cannot complete the Goal.

Source-bound workflow map

This page is projected from the same current executable snapshot as the rest of the documentation set. The map is deliberately two-directional: each horizontal district shows peer stages while vertical edges show ownership and state progression.

flowchart TB
    subgraph InputDistrict["Input and classification"]
      direction LR
      A["Accepted Plan or execution-changing steer"] --> B["Stable row and Delta classification"] --> C["Canonical Plan SQLite"]
    end
    subgraph ExecutionDistrict["Selection and execution"]
      direction TB
      D["Exactly one active row"] --> E["Host Step Task List projection"] --> F["Order, state, and receipt validation"]
    end
    subgraph EvidenceDistrict["Evidence and outcome"]
      direction LR
      G["Plan projection receipt"] --> H["Rehydrate or advance exact row"]
      G -. mismatch .-> I["Never replace authority with UI summary"]
    end
    C --> D
    F --> G

Contract and readback

Phase Current contract Required readback
Input Accepted Plan or execution-changing steer Exact identity, provenance, and scope
Classification Stable row and Delta classification Owning schema, action, lane, skill, or authority
Owner Canonical Plan SQLite One canonical implementation owner
Route Exactly one active row Condition-true ordered route with no hidden alias
Execution Host Step Task List projection Real execution or a visible fail-closed result
Validation Order, state, and receipt validation Hash, schema, authority-effect, and negative-case checks
Receipt Plan projection receipt Content-addressed result and provenance receipt
Downstream Rehydrate or advance exact row Only the explicitly eligible next state
Failure Never replace authority with UI summary No inferred HIL, candidate acceptance, or pointer movement

Canonical source owners

Exact backend readback

Source contract Bytes SHA-256
schemas/plan/project-bootstrap.v1.json 1415 AA95AECC5946DACB68025F398373D9B8A552D0508C067F0ECA3F8E9CF0863871
src/evidence_lane_plugin/plan_runtime.py 115201 0EFBEBCAD2B8C984A94EBAD5603FD3D2BE559B42F83C5064F3B1EBE4ACB0DFFC
skills/evi-plan/SKILL.md 3996 EFE51ACA320F6E9B6BE96FE77F76351A9B31F103578FC66EEB10DF2A1B476C03

Cross-surface invariants


This page is a Git-tracked documentation projection. Executable source, SQLite authorities, installed-runtime receipts, and explicit human gates remain the governing evidence.