fromzero

# Fromzero ## Contract | Field | Bound contract | |---|---| | Trigger | The user wants to replace a greenfield attempt with a clean pad carrying only proven requirements. | | Authority | Human-gated: requires explicit human invocation before acting; otherwise reversible local: writes only VCS-tracked targets (show the exact set before mutation); rollback is version control. No remote mutation. | | Side effect | A new greenfield attempt on a clean pad; the old attempt remains recoverable through VCS. | | Done | A new greenfield attempt exists carrying only verified requirement statements, and the old attempt is reachable in VCS history. | ## Not for - Rebuilding a design from primitives: use from-first-principle. - Continuing an existing attempt with fixes: this replaces, it does not patch. - Operating without a committed, VCS-recoverable current attempt: the old attempt must survive in history. ## Inputs - The current greenfield attempt, which must be under version control and committed. - A list of proven requirements. A requirement is proven only when it has been verified (tested, accepted, or otherwise demonstrated). Speculative or unverified scope is not proven. ## Procedure 1. Verify the current attempt is committed and recoverable through version control. If any uncommitted or untracked work exists, stop and require the human to commit or discard it first. Done when: the working tree is clean and the attempt is in VCS history. 2. Filter requirements to verified...