internal/

Command genprompts reads each .claude/agents/<role>.md canonical role spec, expands any snippet-include sentinel pairs against the shared snippet files under ./snippets/, and writes the result to two derived artifacts the daemon embeds:

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for R2-R6 of the session-outcome-determination spec.

Package gen is the operator-supplied generator-helper package backing the codegen-owned root prop_test stub (../../../../proptest_stubs_test.go) for R1-R3 of the durable-submission session-outcome spec.

Package spec implements the operator-facing `sorcerer spec ...` subcommand group (spec-driven phase B).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2504 R6 (the activation completion gate) and R7 (the evidence-cited closing event).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../../../../proptest_stubs_test.go) for SOR-2503 R5 (firing) and R11 (dispatch), extended by SOR-2505 with R8 (escalation on probe failure / deadline expiry) and R9 (autonomous-first corrective issue, plan_blocked only via backstop).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../../../../proptest_stubs_test.go) for SOR-2502 R10.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the admission-claim sole-serializer spec (requirements R4, R5, R6).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the SOR-2342 assembly_fixer corrective-child self-dependency-strip spec (R1, R2, R3).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (the colocated proptest_stubs_test.go in this package's directory, relocated out of the daemon's per-issue profile-sourced prop-test stub basename at the worktree-root path so a later codegen run at that shared path cannot re-clobber it) for SOR-2409 — the autonomous-filing spec-driven routing derivation at the create chokepoint.

Package cmdadapter holds the glue between the daemon's storage layer (issuestore.Store, daemon.Daemon) and the httpapi server package's wire-shape interfaces.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the declared-only dispatch-gate spec (requirements R1, R2, R3).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the escalation chokepoint primitive (SOR-2325 R1 / R2 / R3).

Package httpapi serves the daemon's versioned HTTP/JSON control plane.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the SPEC-impl-gate-marker spec (requirements R1, R2, R4).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub relocated into this subpackage (internal/daemon/mainloopbudgetproptest/proptest_stubs_test.go) for SOR-2447 R7 — the conventional sibling-subpackage placement the prop_test_stub verifier resolves via its worktree walk, keeping the shared worktree-root stub free for the next spec-driven child.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (the worktree-root proptest_stubs_test.go, the daemon's per-issue profile-sourced prop-test stub basename) for SOR-2533 R4 — the materialization priority-inheritance fix in applyPlanReviewerApprove.

Package gen is the project-local generator-helper package backing the committed prop_test stub at the worktree root (proptest_stubs_test.go, the daemon's profile-sourced prop-test stub basename) for SPEC-SOR-2440's off-main-work requirements R3, R4, R5, and the main-loop responsiveness requirement R11.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the oversized-child estimate-parity + reroute-to-planning requirements (SOR-2326 R5 / R6) of the escalation-routing spec.

Package gen is the operator-supplied generator-helper package backing the codegen-owned root prop_test stub (../../../../proptest_stubs_test.go) for R4-R6 of the pending-proposal plan-state reconciliation spec (SPEC-SOR-2525).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the approved-proposal full-outcome reconcile sweep (SOR-2354 R2 / R3).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (the worktree-root proptest_stubs_test.go, the daemon's profile-sourced prop-test stub basename) for the plan-level WIP-cap spec (requirement R1).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the SOR-2350 proposal-outcome-reconcile spec's R1 and R4.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the SOR-2279 plan-membership spec R1.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the SOR-2279 plan-membership spec R2.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SPEC-RIDTRACE R3.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2268 R4.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the SOR-2279 plan-membership spec R4 and R5.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2279 R6.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2327 R7.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (the worktree-root proptest_stubs_test.go, the daemon's per-issue profile-sourced prop-test stub basename) for SOR-2535 — the dispatch-leaked-session termination + discovery double-dispatch guard.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2453 R10.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the planner spec-amend-required routing requirement (SOR-2328 R9).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2269's spec-driven-indicator spec (requirements R1, R2, R3, R5).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2514's spec-lifecycle recovery spec (requirements R17, R19, R20).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the spec_review entry gate (SPEC-SOR-2387 R4).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub at the worktree root (proptest_stubs_test.go, the daemon's profile-sourced prop-test stub basename) for SPEC-SOR-2387 R1+R2+R3.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go) for the off-main spec-verification seam (SOR-2272).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the boot-recovery re-drive sweep (SOR-2274 R5 / R7).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (//proptest_stubs_test.go) for the CIPB per-child squash unmerged-paths-discriminator spec: R1, R2, R3, R4 (SOR-2388, the outcome discriminator) plus R7 (SOR-2390, the rerere-autoresolved telemetry refinement the squash-outcome child deferred to its sibling).

Package gen is the project-local generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for R5 of the CIPB main-into-plan-branch rerere-outcome spec.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (the codegen-owned root proptest_stubs_test.go) for SOR-2508 R13 — the activation-permanence requirement.

Command invariants is the coverage-report CLI used by the invariants-coverage CI job.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2305 R1/R2/R3/R4.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2296 R4/R5/R6/R7.

Package property wires the invariants framework into pgregory.net/rapid so every registered runtime invariant can be exercised against synthesized random scenario traces.

Package corruptedgate is the importable (non _test.go) home of the ONE corrupted-gate-field corpus the SPEC-SOR-2683-v1 meta-check verifies against the REAL invariant registry: a mid-lifecycle CIPB plan with an EMPTY branch_model (the corrupted gate field) that is otherwise in cohort via the corruption-independent signal (plan membership through the materialized-children junction) the re-derived planIsMidLifecycleContinuous reads.

Package gen is the project-local generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for R15 and R16 of the submit_result-contract spec (SOR-2479 umbrella; the canonical-serializer + normalization seam is SOR-2520).

Package staticcheck holds the build-time, analyzer-enforced members of the design-invariant framework.

Command invariantanalyzers is the standalone multichecker driver for the static analyzers landed by the invariants migration:

Command singlewriterstate is the standalone driver for the single-writer-state static analyzer.

Package staticmeta holds the dependency-light registry shims for the build-time static invariants.

Package issuestoretest provides per-process-cached helpers for opening issuestores in tests.

Package gen is the operator-supplied generator-helper package backing the prop_test stub (../proptest_stubs_test.go) for R4 of the optimistic-version-guard spec (SPEC-SOR-2587-v1).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the verdict-cache spec (requirements R4, R5).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for R1 of the liveness-real-work spec.

Package validate is the reusable home of the deterministic plan-validity heuristics that used to live exclusively behind the daemon's child-dispatch-time predispatch lint.

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go) for SPEC-cipb-infra-requeue-bound R1–R4 — the bounded infrastructure-transient periodic main-merge requeue guarantees.

Package gen is the project-local generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SPEC-human-block-backstop-legitimacy R1 — the writer half of the durable backstop-exhausted mark.

Package gen is the project-local generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SPEC-human-block-backstop-legitimacy R2–R6 — the reader half of the durable backstop-exhausted mark (the human-block-legitimacy invariant humanBlockReasonDenylistOrBackstopExhausted) plus the R1∘R2 composition (PropertyR6).

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go) for SPEC-SOR-2570 R3 and the spec's terminal R6 — the end-to-end same-R-ID coexistence guarantees.

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go) for SPEC-cipb-infra-requeue-bound R5–R6 — the pre-completion main-merge liveness guarantees (the sibling spec_cipb_infra_requeue_boundproptest/gen package plays the same role for R1–R4, the requeue-bound behaviors).

Package gen is the project-local generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SPEC-SOR-2583-v2 R1 (the per-session max-age timer is armed only at dispatch).

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go) for SPEC-SOR-2587-v1 R2 (the materialization-writer state-column rule), R5 (the transition- history-continuity rule), R6 (the durable, sessions-table-keyed implementer-family dispatch dedup), and R7 (the ≤1-non-terminal-impl-family- session-per-issue safety property R6 entails).

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go) for SPEC-SOR-2590-v1 — the exploration-sentinel dispatch-hold exemption.

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go) for SPEC-SOR-2599-v1.

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go) for SPEC-SOR-2618-v1 R1–R5 — the reviewer-escalation canonicalization rule.

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go) for SPEC-SOR-2620-v1 R1–R3 — the ready-leaf dispatch-starvation rule.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2629_v1proptest/proptest_stubs_test.go) for the claimDispatch chokepoint spec (SPEC-SOR-2629-v1: R1, R2, R3, R4, R5, R6, R7).

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go) for SPEC-SOR-2646-v1 R1–R5 — await pending session-scoped background work before classifying a session exit.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the dispatch-class- aware reviewer submit_result boundary (SPEC_SOR_2648_v1: R2 / R3).

Package gen is the project-local generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SPEC-SOR-2652 R6 / R7 / R8 — the apply-time-revalidation + verify-after-apply verification contract.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2652_v3proptest/proptest_stubs_test.go) for the steward subsystem spec (SPEC-SOR-2652-v1).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2669_v1proptest/proptest_stubs_test.go) for the SPEC-SOR-2669-v1 spec.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2670_v1proptest/proptest_stubs_test.go) for the verdict-consistency-gate spec (SPEC-SOR-2670-v1: R1, R2, R3, R4 — the merge-verdict structured-gate properties — plus R5, R6 — the deferred-concern routing and same-head re-review carry-forward properties of this child).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2671_v2proptest/proptest_stubs_test.go) for the CIPB completed-plan head-of-line precedence + combination-correctness spec (SPEC-SOR-2671-v1: R1, R2, R3, R4, R5, R6, R7).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SPEC-SOR-2673-v1 (the autonomous-filing title-and-priority guard).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2682_v1proptest/proptest_stubs_test.go) for the plan-branch-existence invariant spec (SPEC-SOR-2682-v1: R4).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2683_v1proptest/proptest_stubs_test.go) for the corrupted-gate-field meta-check spec (SPEC-SOR-2683-v1: R2, R5, R8).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2712_v1proptest/proptest_stubs_test.go) for the per-iteration-deadline reprojection-sweep spec (SPEC-SOR-2712-v1: R2/R3/R4/R5/R6).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2725_v3proptest/proptest_stubs_test.go) for the anchor-aware cross-impl conflict-predicate spec (SPEC-SOR-2725: R1, R2, R3, R4, R5, R7, R8).

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go) for SPEC-SOR-2735-v1.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2746_v1proptest/proptest_stubs_test.go) for the plan-branch-ready dispatch-hold spec (SPEC-SOR-2746-v1: R1) and the dispatch-time branch_model-stamp spec (SPEC-SOR-2746-v1: R2).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2755_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the deterministic per-issue worktree teardown spec SPEC-SOR-2755-v1 (R1).

Package gen is the implementer-supplied generator-helper package backing the daemon-generated prop_test stub for the source-agnostic refer-back resolve-and-post contract (SPEC-SOR-2757-v1: R1–R2, SOR-2840).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2762_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the spec-linkage-keyed re-decomposition routing spec SPEC-SOR-2762-v1.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (internal/proptests/spec_sor_2767_v6proptest/proptest_stubs_test.go) for the SPEC-SOR-2767 spec.

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2768_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the held-waiting-leaf admission-held-exclusion spec SPEC-SOR-2768-v1 (R1, R2, R3).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2769_v1proptest/proptest_stubs_test.go) for the oversized-plan / chain-forward-reference proposal-validator spec (SPEC-SOR-2769-v1: R1, R2, R3).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2771_v8proptest/proptest_stubs_test.go) for the CIPB interim integration-review spec (SPEC-SOR-2771-v8: R1, R3, R7).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2773_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the relevance-gate spec SPEC-SOR-2773-v1.

Package gen holds the property-predicate helpers for SPEC-SOR-2776 (the reviewer-judging-with-buffered-verdict-progresses calibration, SOR-2902).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2782_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the plan_auto_fixing transient-dispatch recovery spec SPEC-SOR-2782-v1.

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2785_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the submission-gated session-outcome spec SPEC-SOR-2785-v1 (R1, R7).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2785_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the submit_result RequiredMarker / in-session marker-validation spec SPEC-SOR-2785.

Package gen holds the property-predicate helpers for SPEC-SOR-2786 (issue create: an explicit --title is never silently overridden by a body H1, SOR-2904).

Package gen is the implementer-supplied generator-helper package backing the daemon-generated prop_test stub for the CIPB corrective-hold re-release bound (SPEC-SOR-2795-v1: R1–R4, SOR-2815).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2803_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the spec-driven stub-path-not-in-footprint by-construction spec SPEC-SOR-2803-v1.

Package gen holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-2808 (one Property<RID> file per R-ID; the daemon generates the shared union stub — proptest_stubs_test.go — out of footprint at the plan-branch mutation seam).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2819_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the cross-consumer prop-test-stub-directory-agreement spec SPEC-SOR-2819-v1 (R1).

Package gen holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-2820-v3 (one file per R-ID; the daemon generates the shared union stub out-of-footprint at the plan-branch mutation seam).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2821_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam as the union over every sibling's R-IDs) for the steward recovery-playbook spec SPEC-SOR-2821-v1.

Package gen holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-2822-v3 (one file per R-ID; the daemon generates the shared union stub out-of-footprint at the plan-branch mutation seam).

Package gen holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-2823 (one file per R-ID; the daemon generates the shared union stub out-of-footprint at the plan-branch mutation seam).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2824_v3proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the spec-driven aspirational_premise re-ground spec SPEC-SOR-2824-v3 (R1–R8).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2825_v1proptest/proptest_stubs_test.go) for the SPEC-SOR-2825-v1 spec.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2826_v1proptest/proptest_stubs_test.go) for the `issue replace` declared-edge rewire spec (SPEC-SOR-2826: R6 forward, R7 reverse, R9 materialized-children guard).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2828_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the create-route decision spec SPEC-SOR-2828-v1 (R1–R4, the slice this child SOR-2971 owns).

Package gen holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-2839 (one file per R-ID; the daemon generates the shared union stub out-of-footprint at the plan-branch mutation seam).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2849_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the durable owner-class resolution of the per-issue worktree GC backstop, SPEC-SOR-2849-v1 (R1–R4).

Package gen is the implementer-authored, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2878_v2proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the episode-isolation spec SPEC-SOR-2878-v2.

Package gen is the implementer-supplied, per-requirement-sharded generator- helper package backing the daemon-generated prop_test stub for the dedupe chokepoint spec (SPEC-SOR-2883-v1).

Package gen is the implementer-authored, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2884_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the managed pre-push hook plan-branch-creation exemption spec SPEC-SOR-2884-v1.

Package gen is the implementer-authored per-requirement helper package backing the daemon-generated prop_test stub union (internal/proptests/spec_sor_2891_v2proptest/proptest_stubs_test.go) for the durable held-discovering-record spec (SPEC-SOR-2891-v2: R1, R7).

r5.go is the implementer-authored, per-requirement-sharded generator helper for SPEC-SOR-2892-v3 R5 (a running session's displayed liveness reflects the tracker's genuine-work observations).

r1.go is the implementer-authored, per-requirement-sharded generator helper for SPEC-SOR-2903-v1 R1 (the structural verifier resolves every trace symbol naming a present construct to a non-empty span without a *ResolutionError).

Package gen holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-2912-v1 — the detect-or-refuse managed-project language resolver (R1–R4, SOR-2913).

Package gen is the project-local generator-helper package backing the daemon-generated prop_test union stub for SPEC-SOR-2916-v1.

Package gen is the implementer-authored, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2923_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the capability-gap durable-foundation spec SPEC-SOR-2923-v1 (SOR-3082).

Package gen is the operator-supplied generator-helper package backing the daemon-generated prop_test stub for the recognizer defer-action validation spec (SPEC-SOR-2924-v1: R1, R2, R3, R4).

Package gen is the operator-supplied generator-helper package backing the daemon-generated prop_test stubs for the embed-test assembly-gate self-consistency spec (SPEC-SOR-2926-v1: R1, R2, R3).

Package gen holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-2927-v3 — bounding the post-submit verifier-chain in-flight window.

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2945_v3proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the bounded spec-amend recovery spec SPEC-SOR-2945-v3 (R1–R3, the slice this child SOR-2953 owns).

This file (r1.go) is one per-requirement shard of the gen helper package for SPEC-SOR-2946-v1 — it backs TestProperty_SPEC_SOR_2946_v1_R1.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (spec_sor_2948_v1proptest/proptest_stubs_test.go) for the executor-dispatch budget spec (SPEC-SOR-2948-v1: R2, R6).

r1.go is the implementer-authored, per-requirement-sharded generator helper for SPEC-SOR-2970-v1 R1 (publish only after the in-episode verify passes).

Package gen is the operator-supplied generator-helper package backing the daemon-generated prop_test stub for the ephemeral-gate cargo-cache hermeticity spec (SPEC-SOR-2986-v1: R1, R2).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2987_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the language/build-system engine spec SPEC-SOR-2987-v1.

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2988_v2proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the TypeScript language/build-system profile spec SPEC-SOR-2988-v2.

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_2991_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the CMake/C++ support spec SPEC-SOR-2991-v1.

Package gen is the implementer-authored per-requirement helper package backing the daemon-generated prop_test stub union (internal/proptests/spec_sor_3002_v1proptest/proptest_stubs_test.go) for the spec-phase staleness-cap-tightening spec (SPEC-SOR-3002: R1, R2).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3012_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the regenerate-not-merge / no-LLM-resolve declared-generated-artifact spec SPEC-SOR-3012-v1 (R2, R3).

Package gen is the per-requirement generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3019_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the recognizer dedupe-refusal-drop spec SPEC-SOR-3019-v1.

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3033_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the shared finalize-push retry contract spec SPEC-SOR-3033-v1 (R1, R2, R3, R8).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3035_v2proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the content-addressed gate-verdict cache spec SPEC-SOR-3035-v2 (this child verifies R3, R4, R5, R6).

Package gen holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-3053-v1 — the multi-language config model and the non-refusing set-resolver (R1–R2, SOR-3060).

Package gen holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-3054-v1 — the traceability-matrix generator's per-file declared-set classification with foreign-target drop (R1–R4, R9, SOR-3096).

Package gen holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-3055-v1 — the per-language resolved gate command (config override or build-system profile default).

Package gen holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-3056-v5 — the multi-language boot/doctor language-SET resolver (this child covers R5–R7, SOR-3126).

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub for the contamination doctor-check spec SPEC-SOR-3057-v1.

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3058_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the language-artifact footgun-removal capstone spec SPEC-SOR-3058-v1.

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3059_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the spec-driven prop_test spec SPEC-SOR-3059-v1 — the stalled-required-check recovery shipped by SOR-3152.

Package gen is the implementer-authored, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3065_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the recognizer issue-filing chokepoint spec SPEC-SOR-3065-v1.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub for the product-engine-source path-predicate spec (SPEC-SOR-3069-v4 R5).

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go, daemon-regenerated at the plan-branch squash seam) for SPEC-SOR-3072-v1: the single-source issue-mint router.

r2.go is the per-requirement-sharded helper backing the daemon-generated prop_test stub TestProperty_SPEC_SOR_3074_v1_R2 for SPEC-SOR-3074-v1 R2.

Package gen is the implementer-authored, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3075_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the boot-recovery spec SPEC-SOR-3075-v1.

Package gen is the implementer-authored, per-requirement-sharded generator-helper package backing the daemon-generated prop_test union stub (internal/proptests/spec_sor_3081_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch squash seam) for the assembly_fixer durable-main-side-fix disposition spec SPEC-SOR-3081-v1.

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3090_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the spec-driven prop_test spec SPEC-SOR-3090-v1.

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go, daemon-regenerated out-of-footprint at the plan-branch squash seam) for SPEC-SOR-3093-v1: the TypeScript prop_test runner-as-data dimension.

This file (r1.go) is one per-requirement shard of the gen helper package for SPEC-SOR-3094-v2 — it backs TestProperty_SPEC_SOR_3094_v2_R1.

This file (r1.go) backs TestProperty_SPEC_SOR_3095_v1_R1.

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3105_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the spec-driven prop_test spec SPEC-SOR-3105-v1.

This file is the per-requirement-sharded generator helper for spec requirement R10 of SPEC-SOR-3122-v2.

Package gen holds the implementer-authored, per-requirement-sharded property helpers for SPEC-SOR-3123-v2 — one Property<RID> per cited requirement, each backing TestProperty_SPEC_SOR_3123_v2_<RID> in the daemon-generated union stub.

Package gen holds the per-requirement property-test predicate helpers for SPEC-SOR-3130-v1.

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3138_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the supported-language universe keystone spec SPEC-SOR-3138-v1.

Package gen is the operator-supplied, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3155_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the profile-driven gate-image keystone spec SPEC-SOR-3155-v1.

Package gen is the operator-supplied generator-helper package backing the daemon-generated prop_test stub for the actions_wait_timeout anchor spec (SPEC-SOR-3165-v1: R1, R2).

Package gen is the operator-supplied generator-helper package backing the daemon-generated prop_test stubs for the autonomous gate-image-lifecycle spec (SPEC-SOR-3166-v2).

r1.go is the implementer-authored, per-requirement-sharded generator helper for SPEC-SOR-3197-v1 R1 (the integration-dispatch gate holds a dispatch iff the OAuth pool has no selectable token).

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go, daemon-regenerated at the plan-branch squash seam) for SPEC-SOR-3223-v1: the single-source role-input fix.

Package gen is the operator-supplied generator-helper package backing the daemon-generated prop_test stubs for the gate-image toolchain-version resolution spec (SPEC-SOR-3237-v1).

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go, daemon-regenerated at the plan-branch squash seam) for SPEC-SOR-3238-v1: the landing-gate failure capture + flake-vs-real classification mechanism.

Package gen is the implementer-authored, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3269_v4proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the role-config-triple spec SPEC-SOR-3269-v4.

Package gen holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-3293-v1 — the shared prop_test verifying-target resolver consumed by both daemon resolution sites (R4, R5, R9).

Package gen holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-3305-v1 (one Property<RID> file per R-ID; the daemon generates the shared union stub — proptest_stubs_test.go — out of footprint at the plan-branch mutation seam).

Package gen is the implementer-authored, per-requirement-sharded generator-helper package backing the daemon-generated prop_test stub (internal/proptests/spec_sor_3317_v1proptest/proptest_stubs_test.go, written out-of-footprint at the plan-branch mutation seam) for the foreignness-predicate spec SPEC-SOR-3317-v1.

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go, daemon-regenerated at the plan-branch squash seam) for SPEC-SOR-3365-v1: the spec-version-aware admission gate.

This file (r1.go) is one per-requirement shard of the gen helper package for SPEC-SOR-3366-v1 — it backs TestProperty_SPEC_SOR_3366_v1_R1.

This file (r1.go) is one per-requirement shard of the gen helper package for SPEC-SOR-3368-v1 — it backs TestProperty_SPEC_SOR_3368_v1_R1.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub for the config-sourced self-hosting-scaffolding path-predicate spec (SPEC-SOR-3374-v1 R8).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the typed discovery submit boundaries (R1 / R3 / R4 / R5 / R8, plus SOR-2358's R6 — the implementer's structured predicted footprint).

Package feedback defines the typed implementer-feedback envelope, the Source enum that names every refer-back originator, the per-source diagnostic payload types, and the slot constants that the Required matrix in required.go keys against.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2359 R7.

Package lint holds the standalone go/analysis analyzer that gates the feedback envelope's Source-to-slot Required matrix.

Command feedbackmatrixlint is the standalone driver for the feedbackmatrix static analyzer.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (the worktree-root proptest_stubs_test.go, the daemon's per-issue profile-sourced prop-test stub basename) for SOR-2479 R12 — the typed spec_drafter draft/amend payload with a daemon-stamped spec_id.

Package gen is the project-local generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2521's cited requirements of the submit_result-contract spec (SOR-2479 umbrella): R4 / R5 / R6 over the agentcli.SubmitResultContracts registry, and R14 over the spec/dsl canonical serializer.

Package gen is the project-local generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for R9 of the submit_result-contract spec (SOR-2479 umbrella; the dispatcher seam is SOR-2512).

Package gen is the project-local generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for R11 of the submit_result-contract spec (SOR-2479 umbrella; the deny-by-default contract-required analyzer is SOR-2517).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (the worktree-root proptest_stubs_test.go, the daemon's profile-sourced prop-test stub basename and the only location the prop_test_stub verifier's fast path reads) for the CIPB admission cap spec (SPEC-SOR-2651-v1).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (the repo-root proptest_stubs_test.go) for the dispatch-time-holds-graph-visible spec (SPEC-SOR-2524-v2: R1, R2, R3, R6).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the footprint- dependency reconciler spec (requirements R7 and R8).

Command gen-transitions-ts walks the Go-side Implementation and Planning state-machine transition tables (sm.LegalIssueTransitionsFrom + sm.LegalPlanTransitionsFrom) and writes their canonical TypeScript mirror to web/src/sm/transitions.ts.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2295 R2/R3.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the post-merge plan_activating phase (SOR-2501 R4).

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2294 R1.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for the spec-phase escalation parking state + the completed-plan refinement edge (SOR-2324 R8 / R10).

Package amendment classifies an applied spec amendment as local or structural.

Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (the relocated proptest_stubs_test.go, the daemon's per-issue profile-sourced prop-test stub basename) for SOR-2479 R13 — the daemon-side canonical serializer as the single writer of specs.body_yaml at every persist seam.

Package codegen emits deterministic Go property-test stub source from the requirements of an approved spec (docs/spec-driven.md § Phase D).

Package gen is the operator-supplied generator-helper package that backs the committed example stub (../stubs/proptest_stubs_test.go).

Package stubname single-sources the prop-test stub symbol scheme so the three sites that name a generated stub — the emitter (internal/spec/codegen), the stub-present verifier (internal/daemon/verifier_prop_test_stub.go), and the traceability-matrix resolver (internal/tracematrix) — derive the top-level test-function symbol (TestProperty_<id>) and the helper-predicate symbol (Property<id>) from one place and therefore cannot drift (spec SPEC-SOR-2570 R2).

Package gen is the project-local generator-helper package backing the committed prop_test stubs (../../../../../proptest_stubs_test.go and the hand-preserved sibling ../../../../../proptest_stubs_r2_test.go) for the SPEC-SOR-2570 codegen stub-naming scheme.

Package drafter holds the typed Go schema the spec_drafter's TASK: revise output is validated against (spec-driven phase B).

Package dsl owns the textual / structural spec representation described in docs/spec-driven.md § 4.

Package formal owns the recursive-descent parser for the formal mini-language in docs/spec-driven.md § 4.1.

Package lineage holds the version-skew-aware open-finding predicate shared by the spec_drafting crash-strand dispatch (internal/daemon) and the open-finding-parked detector (internal/invariants).

Package patcher applies the spec_drafter's two-option RFC-6902 JSON-Patch resolutions to a stored spec version, atomically, and carries findings forward across the resulting version bump (spec-driven phase B; the mechanics behind the drafter's TASK: revise output, docs/spec-driven.md § 7.4 / § 9.3).

Package proptestbackend resolves a project's property-test Interpreter from its language profile.

Package translator converts a parsed Spec from internal/spec/dsl/ plus a map of pre-parsed formal-language ASTs into a structured Script value whose String render is the SMT-LIB v2 text the verifier driver consumes.

Package verifier orchestrates the four Phase A verification queries (docs/spec-driven.md § 7) over a translated spec and returns a typed slice of structured findings the CLI surfaces to the operator.

Command genevents reads internal/store/events.yaml, validates it, and emits two generated files: internal/store/events.gen.go (typed payload structs, constructors, and parse accessors in package store) and web/src/events/payloads.gen.ts (TypeScript mirror interfaces and parsers).

Package banevent hosts the events-direct-construction static analyzer.

Command banevent is the standalone singlechecker driver for the events-direct-construction static analyzer.

Package gen is the project-local generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SPEC-SOR-2570 R5 — legacy un-namespaced stubs stay present and matrix-resolved at every plan-branch seam.