README
¶
Sorcerer
An autonomous development system for building or refactoring systems that span one or many repositories. You file a request; a long-running daemon plans, implements, reviews, and merges the work.
Quick start
New to sorcerer? Start at docs/getting-started.md — a linear, copy-paste-runnable walkthrough from a fresh git clone of this repo to a running daemon and the operator UI live in your browser. Every prerequisite, build, config, and env var is laid out top to bottom.
What you do with it
/sorcerer <description of the system to build or refactor>
You type that in Claude Code — multi-line markdown is fine — and walk away. Concrete examples:
/sorcerer add a --dry-run flag to sorcerer issue create that prints the dedupe verdict without persisting/sorcerer extract the per-issue worktree setup out of the supervisor into its own package, with tests
The skill writes the prompt to <project>/.sorcerer/requests/<ts>-<slug>.md and ensures sorcererd is running. For scripted use, sorcerer issue create files issues straight into the daemon's HTTP API — see docs/operations.md.
/sorcerer is the walk-away on-ramp — drop a request, let the planner decompose it. When you want to shape the work before the daemon sees it, three interactive Claude Code skills draft and file an issue collaboratively, then hand off to the same pipeline:
/sorcerer-issue— interactively draft and file ONE non-decomposable issue (implementation or planning): it surveys for overlap, grounds every cited surface in the real code, validates the body against the daemon's dry-run, and files it after you confirm./sorcerer-plan— interactively draft and file ONE planning issue for a goal big enough to need decomposition: it shapes the planner's input and leaves the child graph for the planner to author./sorcerer-spec— the same collaborative drafting loop as/sorcerer-plan, but it always routes through the formal spec lifecycle (thespec_drafterauthors a domain model + EARS requirements + SMT-proven witnesses, verified before the planner runs); requires the project to setspecs.enabled: true.
In short: /sorcerer to walk away, /sorcerer-issue for a single shaped issue, /sorcerer-plan for a goal that needs decomposition, /sorcerer-spec for a goal that needs a formal spec before decomposition. docs/getting-started.md walks all four; docs/operations.md is the per-skill reference.
How it works
The planner decomposes the request into an issue dependency graph in a local SQLite issuestore. The scheduler picks ready leaves bottom-up and dispatches an implementer for each, which opens a PR per affected repo. The reviewer judges the PR set against the acceptance criteria and emits a typed verdict (merge / refer-back / rebase / escalate); on merge, the daemon merges per-repo serially with a re-verify between each step. There is no tick — the daemon runs on events (docs/architecture.md for the deep dive).
Any language
The daemon is written in Go, but the projects it manages can be in any language. Each project declares project.language (go / rust / python / erlang / …) and a project-native pre_push_gate command in its .sorcerer/config.yaml; the daemon runs that gate hermetically and, for spec-driven work, emits language-native property-test scaffolding (Go testing/quick, Rust proptest, Python hypothesis, Erlang PropEr) — it never injects Go into a non-Go repo. project.language is detect-or-refuse: an undeclared, undetectable project is refused, never silently treated as Go. The verification gate runs natively or in a per-project container image (runtime.gate: container + runtime.gate_image); see docs/containerization.md and the product/self boundary in docs/architecture.md.
Binaries
sorcererd— the long-running daemon. Owns config, the issuestore, the scheduler, and the agent roles.sorcerer— the operator CLI. Every wire-call subcommand talks to a running daemon over the HTTP control plane.sorcerer-ui— the operator browser frontend. Serves an embedded React SPA on127.0.0.1:7780by default and multiplexes events from one or more configured daemons. Long-form treatment indocs/web-ui.md.
The eight roles
All on Claude Opus; full contract in docs/agents.md (recognizer specifics under § "Role: recognizer").
- planner — decomposes a request into an issue dependency graph.
- plan_reviewer — gates the planner's proposal before children are written.
- implementer — drives one issue from a worktree to an open PR per affected repo.
- reviewer — judges the PR set against the acceptance criteria.
- steward — a long-lived, resumable flow-supervisor woken reactively, on a periodic tick, or on operator summon; it supervises the blocked-issue cohort and keeps work flowing. Design in
docs/steward.md. - recognizer — runs on a timer; auto-files high-confidence sorcerer-self defects.
- dedupe — gates
POST /v1/issuesagainst in-flight work. - triager — the legacy one-shot blocked-cohort dispatcher, retired in production (its cohort is now supervised by the steward); the spec is kept for ad-hoc
claude --agent triageruse.
When the project sets specs.enabled: true, two spec-phase roles gate the planner: spec_drafter (authors the formal domain + EARS requirements + SMT-proven witnesses) and spec_reviewer (the prose↔formal coherence judge). See docs/spec-driven.md.
Documentation
Read in order:
docs/architecture.md— components, stack, scheduler model, failure-mode mapping.docs/state-machines.md— formal Project / Issue / Session SMs.docs/agents.md— the seven roles, I/O contracts, agent-spec file format.docs/operations.md— operator-facing CLI subcommands, recovery sweeps, watchdog, dashboard.docs/implementation-guide.md— Go layout, phasing, deliverables, ops.
v1 design docs (the retired bash/prompt coordinator) are preserved at docs/v1/ for archaeology.
Stack
- Go binaries supervised by systemd / tmux / nohup at the operator's discretion.
- Anthropic Messages API via a subscription pool (multiple OAuth tokens / API keys, rotated per call).
ghCLI for GitHub;git+git worktreefor per-issue isolation.- SQLite (
modernc.org/sqlite, pure-Go) for the issuestore, event log, history, and comments.
Directories
¶
| Path | Synopsis |
|---|---|
|
cmd
|
|
|
mutationtest
command
Command mutationtest is sorcerer's mutation-testing wrapper.
|
Command mutationtest is sorcerer's mutation-testing wrapper. |
|
proptestmutation
command
Command proptestmutation is sorcerer's property-test mutation-ingest helper.
|
Command proptestmutation is sorcerer's property-test mutation-ingest helper. |
|
sorcerer
command
Command sorcerer is sorcerer's operator CLI: every wire-call subcommand the operator types lives here.
|
Command sorcerer is sorcerer's operator CLI: every wire-call subcommand the operator types lives here. |
|
sorcerer-spec
command
Command sorcerer-spec is the operator-facing CLI for Phase A spec-driven verification.
|
Command sorcerer-spec is the operator-facing CLI for Phase A spec-driven verification. |
|
sorcerer-ui
command
Command sorcerer-ui is the operator-facing browser frontend for one or more sorcererd daemons.
|
Command sorcerer-ui is the operator-facing browser frontend for one or more sorcererd daemons. |
|
sorcerer-ui-e2e-fixture
command
Command sorcerer-ui-e2e-fixture is the in-process Go fixture daemon the Playwright E2E tests boot.
|
Command sorcerer-ui-e2e-fixture is the in-process Go fixture daemon the Playwright E2E tests boot. |
|
sorcererd
command
Command sorcererd is sorcerer's daemon-lifecycle binary.
|
Command sorcererd is sorcerer's daemon-lifecycle binary. |
|
tracematrix
command
Command tracematrix is sorcerer's read-only traceability-matrix verifier.
|
Command tracematrix is sorcerer's read-only traceability-matrix verifier. |
|
internal
|
|
|
agentcli
Package clauderunner runs role conversations by spawning the `claude` CLI as a subprocess, with one of the configured Pro/Max OAuth tokens injected via env.
|
Package clauderunner runs role conversations by spawning the `claude` CLI as a subprocess, with one of the configured Pro/Max OAuth tokens injected via env. |
|
agentcli/cmd/genprompts
command
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:
|
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: |
|
agentcli/sessionoutcomeproptest/gen
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 committed prop_test stub (../proptest_stubs_test.go) for R2-R6 of the session-outcome-determination spec. |
|
agentcli/submissionoutcomeproptest/gen
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 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. |
|
apiclient
Package apiclient is the shared HTTP-client surface and wire-shape types for sorcerer's two binaries.
|
Package apiclient is the shared HTTP-client surface and wire-shape types for sorcerer's two binaries. |
|
applyguard
Package applyguard is the shared verification-contract primitive for the steward / recognizer apply path (SPEC-SOR-2652 R6/R7/R8).
|
Package applyguard is the shared verification-contract primitive for the steward / recognizer apply path (SPEC-SOR-2652 R6/R7/R8). |
|
cli/spec
Package spec implements the operator-facing `sorcerer spec ...` subcommand group (spec-driven phase B).
|
Package spec implements the operator-facing `sorcerer spec ...` subcommand group (spec-driven phase B). |
|
clock
Package clock is the deterministic-time chokepoint for b/sorcerer's Go dogfood.
|
Package clock is the deterministic-time chokepoint for b/sorcerer's Go dogfood. |
|
config
Package config loads sorcererd's project-level configuration from <project>/.sorcerer/config.yaml.
|
Package config loads sorcererd's project-level configuration from <project>/.sorcerer/config.yaml. |
|
createroute
Package createroute is the single, pure routing authority for `sorcerer issue create` (SPEC-SOR-2828-v1).
|
Package createroute is the single, pure routing authority for `sorcerer issue create` (SPEC-SOR-2828-v1). |
|
daemon
cross_daemon.go is the HTTP forwarder the SOR-1184 routing resolver's `forward` decision dispatches through.
|
cross_daemon.go is the HTTP forwarder the SOR-1184 routing resolver's `forward` decision dispatches through. |
|
daemon/activationcompletionproptest/gen
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-2504 R6 (the activation completion gate) and R7 (the evidence-cited closing event). |
|
daemon/activationdriverproptest/gen
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-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). |
|
daemon/activationprobeproptest/gen
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 SOR-2502 R10. |
|
daemon/admissionclaimproptest/gen
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 admission-claim sole-serializer spec (requirements R4, R5, R6). |
|
daemon/assemblyfixerstripproptest/gen
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 (../proptest_stubs_test.go) for the SOR-2342 assembly_fixer corrective-child self-dependency-strip spec (R1, R2, R3). |
|
daemon/autonomousroutingproptest/gen
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 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. |
|
daemon/cmdadapter
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 cmdadapter holds the glue between the daemon's storage layer (issuestore.Store, daemon.Daemon) and the httpapi server package's wire-shape interfaces. |
|
daemon/declaredgateproptest/gen
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 declared-only dispatch-gate spec (requirements R1, R2, R3). |
|
daemon/escalationproptest/gen
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 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). |
|
daemon/httpapi
Package httpapi serves the daemon's versioned HTTP/JSON control plane.
|
Package httpapi serves the daemon's versioned HTTP/JSON control plane. |
|
daemon/implgateproptest/gen
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 (../proptest_stubs_test.go) for the SPEC-impl-gate-marker spec (requirements R1, R2, R4). |
|
daemon/mainloopbudgetproptest/gen
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 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. |
|
daemon/materializationpriorityproptest/gen
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 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. |
|
daemon/offmainproptest/gen
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 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. |
|
daemon/oversizedparityproptest/gen
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 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. |
|
daemon/pendingproposalproptest/gen
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 codegen-owned root prop_test stub (../../../../proptest_stubs_test.go) for R4-R6 of the pending-proposal plan-state reconciliation spec (SPEC-SOR-2525). |
|
daemon/planoutcomereconcileproptest/gen
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 (../proptest_stubs_test.go) for the approved-proposal full-outcome reconcile sweep (SOR-2354 R2 / R3). |
|
daemon/planwipcapproptest/gen
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 (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). |
|
daemon/proposaloutcomeproptest/gen
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-2350 proposal-outcome-reconcile spec's R1 and R4. |
|
daemon/r1proptest/gen
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 R1. |
|
daemon/r2proptest/gen
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 the SOR-2279 plan-membership spec R2. |
|
daemon/r3proptest/gen
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 SPEC-RIDTRACE R3. |
|
daemon/r4proptest/gen
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 SOR-2268 R4. |
|
daemon/r4r5proptest/gen
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 the SOR-2279 plan-membership spec R4 and R5. |
|
daemon/r6proptest/gen
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-2279 R6. |
|
daemon/r7proptest/gen
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 (../proptest_stubs_test.go) for SOR-2327 R7. |
|
daemon/sessionleakproptest/gen
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 (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. |
|
daemon/snapshotroundtripproptest/gen
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 SOR-2453 R10. |
|
daemon/specamendrouteproptest/gen
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 the planner spec-amend-required routing requirement (SOR-2328 R9). |
|
daemon/specchipproptest/gen
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-2269's spec-driven-indicator spec (requirements R1, R2, R3, R5). |
|
daemon/specrearmproptest/gen
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 SOR-2514's spec-lifecycle recovery spec (requirements R17, R19, R20). |
|
daemon/specreviewentrygateproptest/gen
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 (../proptest_stubs_test.go) for the spec_review entry gate (SPEC-SOR-2387 R4). |
|
daemon/specreviewerguardproptest/gen
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 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. |
|
daemon/specverifyproptest/gen
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 stubs (../proptest_stubs_test.go) for the off-main spec-verification seam (SOR-2272). |
|
daemon/specverifyrecoveryproptest/gen
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 boot-recovery re-drive sweep (SOR-2274 R5 / R7). |
|
escalation
Package escalation is the pure-leaf classifier behind the daemon's single escalation chokepoint (internal/daemon/escalation.go's escalateSubject) — the role-logic analog of isPermanentSessionError.
|
Package escalation is the pure-leaf classifier behind the daemon's single escalation chokepoint (internal/daemon/escalation.go's escalateSubject) — the role-logic analog of isPermanentSessionError. |
|
faultinjection
Package faultinjection is the deterministic fault-injection harness the scenario library drives.
|
Package faultinjection is the deterministic fault-injection harness the scenario library drives. |
|
footprint
Package footprint owns the small typed surface every other package reaches for when talking about a planner-declared "what files / regions this implementation child intends to touch" prediction.
|
Package footprint owns the small typed surface every other package reaches for when talking about a planner-declared "what files / regions this implementation child intends to touch" prediction. |
|
gategovernor
Package gategovernor is the daemon-global gate-concurrency governor: a single shared, bounded semaphore of capacity K that every gate execution must pass through before it runs.
|
Package gategovernor is the daemon-global gate-concurrency governor: a single shared, bounded semaphore of capacity K that every gate execution must pass through before it runs. |
|
gateruntime
Package gateruntime is the gate-subprocess runtime chokepoint: the seam every heavy gate subprocess (the implementer verify-chain pre-push gate, the CIPB per-child squash gate, the main→plan-branch merge gate) routes its host spawn through, mirroring agentcli.RuntimeRunner for claude role sessions.
|
Package gateruntime is the gate-subprocess runtime chokepoint: the seam every heavy gate subprocess (the implementer verify-chain pre-push gate, the CIPB per-child squash gate, the main→plan-branch merge gate) routes its host spawn through, mirroring agentcli.RuntimeRunner for claude role sessions. |
|
github
Package github wraps the gh CLI and the local git binary.
|
Package github wraps the gh CLI and the local git binary. |
|
github/cpbsquashunmergedproptest/gen
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 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). |
|
github/mainmergeproptest/gen
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 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. |
|
invariants
Package invariants is the typed home for sorcerer's design invariants — the CLAUDE.md prose rules ("Persist-before-apply", "Session termination is centralized through terminateSession", "State mutation is single- writer" and the rest) promoted to executable Invariant values that the daemon's periodic sweep, the property-test wrapper, and the recognizer subscription can all consume off one canonical registry.
|
Package invariants is the typed home for sorcerer's design invariants — the CLAUDE.md prose rules ("Persist-before-apply", "Session termination is centralized through terminateSession", "State mutation is single- writer" and the rest) promoted to executable Invariant values that the daemon's periodic sweep, the property-test wrapper, and the recognizer subscription can all consume off one canonical registry. |
|
invariants/activationresolveproptest/gen
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.
|
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. |
|
invariants/cmd/invariants
command
Command invariants is the coverage-report CLI used by the invariants-coverage CI job.
|
Command invariants is the coverage-report CLI used by the invariants-coverage CI job. |
|
invariants/deadlockproptest/gen
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-2305 R1/R2/R3/R4. |
|
invariants/dgaproptest/gen
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 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. |
|
invariants/property
Package property wires the invariants framework into pgregory.net/rapid so every registered runtime invariant can be exercised against synthesized random scenario traces.
|
Package property wires the invariants framework into pgregory.net/rapid so every registered runtime invariant can be exercised against synthesized random scenario traces. |
|
invariants/property/corruptedgate
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 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. |
|
invariants/speccanonicalroundtripproptest/gen
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 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). |
|
invariants/staticcheck
Package staticcheck holds the build-time, analyzer-enforced members of the design-invariant framework.
|
Package staticcheck holds the build-time, analyzer-enforced members of the design-invariant framework. |
|
invariants/staticcheck/cmd/invariantanalyzers
command
Command invariantanalyzers is the standalone multichecker driver for the static analyzers landed by the invariants migration:
|
Command invariantanalyzers is the standalone multichecker driver for the static analyzers landed by the invariants migration: |
|
invariants/staticcheck/cmd/singlewriterstate
command
Command singlewriterstate is the standalone driver for the single-writer-state static analyzer.
|
Command singlewriterstate is the standalone driver for the single-writer-state static analyzer. |
|
invariants/staticmeta
Package staticmeta holds the dependency-light registry shims for the build-time static invariants.
|
Package staticmeta holds the dependency-light registry shims for the build-time static invariants. |
|
issuebody
Package issuebody provides a pure parser that extracts size-and-risk "features" from a sorcerer issue body: the cited files, the acceptance-criteria count, the distinct subsystems touched, and an estimated cache-token cost with a coarse risk bucket.
|
Package issuebody provides a pure parser that extracts size-and-risk "features" from a sorcerer issue body: the cited files, the acceptance-criteria count, the distinct subsystems touched, and an estimated cache-token cost with a coarse risk bucket. |
|
issuestore
Package issuestore is sorcerer's local SQLite-backed source of truth for issue, comment, history, session, event, escalation, and proposal state.
|
Package issuestore is sorcerer's local SQLite-backed source of truth for issue, comment, history, session, event, escalation, and proposal state. |
|
issuestore/issuestoretest
Package issuestoretest provides per-process-cached helpers for opening issuestores in tests.
|
Package issuestoretest provides per-process-cached helpers for opening issuestores in tests. |
|
issuestore/regressivewriteproptest/gen
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 prop_test stub (../proptest_stubs_test.go) for R4 of the optimistic-version-guard spec (SPEC-SOR-2587-v1). |
|
issuestore/verdictcacheproptest/gen
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 the verdict-cache spec (requirements R4, R5). |
|
langprofile
Package langprofile is the declarative data foundation of the language/build-system engine: language and build-system facts live in embedded YAML profile files (//go:embed), never in product Go code.
|
Package langprofile is the declarative data foundation of the language/build-system engine: language and build-system facts live in embedded YAML profile files (//go:embed), never in product Go code. |
|
liveness
Package liveness unifies subprocess-progress detection behind a single canonical `lastObservedActivityAt` timestamp — the keep-alive max over the genuine-progress tier updaters — gated by a boolean PID-alive probe:
|
Package liveness unifies subprocess-progress detection behind a single canonical `lastObservedActivityAt` timestamp — the keep-alive max over the genuine-progress tier updaters — gated by a boolean PID-alive probe: |
|
liveness/r1proptest/gen
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 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. |
|
orphanreap
Package orphanreap implements the SOR-196 boot-time orphan-subprocess sweep.
|
Package orphanreap implements the SOR-196 boot-time orphan-subprocess sweep. |
|
plan
Package plan owns the deterministic validation of planner output.
|
Package plan owns the deterministic validation of planner output. |
|
plan/validate
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 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. |
|
proptests/spec_cipb_infra_requeue_boundproptest/gen
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 stubs (../proptest_stubs_test.go) for SPEC-cipb-infra-requeue-bound R1–R4 — the bounded infrastructure-transient periodic main-merge requeue guarantees. |
|
proptests/spec_human_block_backstop_legitimacyproptest/gen
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 R1 — the writer half of the durable backstop-exhausted mark. |
|
proptests/spec_sor_2555_v2proptest/gen
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 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). |
|
proptests/spec_sor_2570proptest/gen
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-SOR-2570 R3 and the spec's terminal R6 — the end-to-end same-R-ID coexistence guarantees. |
|
proptests/spec_sor_2574_v2proptest/gen
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 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). |
|
proptests/spec_sor_2583_v2proptest/gen
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 stub (../proptest_stubs_test.go) for SPEC-SOR-2583-v2 R1 (the per-session max-age timer is armed only at dispatch). |
|
proptests/spec_sor_2587_v1proptest/gen
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-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). |
|
proptests/spec_sor_2590_v1proptest/gen
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-2590-v1 — the exploration-sentinel dispatch-hold exemption. |
|
proptests/spec_sor_2599_v1proptest/gen
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-2599-v1. |
|
proptests/spec_sor_2618_v1proptest/gen
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-2618-v1 R1–R5 — the reviewer-escalation canonicalization rule. |
|
proptests/spec_sor_2620_v1proptest/gen
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 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. |
|
proptests/spec_sor_2629_v1proptest/gen
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 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). |
|
proptests/spec_sor_2646_v1proptest/gen
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 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. |
|
proptests/spec_sor_2648_v1proptest/gen
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 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). |
|
proptests/spec_sor_2652_v1proptest/gen
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 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. |
|
proptests/spec_sor_2652_v3proptest/gen
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_2652_v3proptest/proptest_stubs_test.go) for the steward subsystem spec (SPEC-SOR-2652-v1). |
|
proptests/spec_sor_2669_v1proptest/gen
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_2669_v1proptest/proptest_stubs_test.go) for the SPEC-SOR-2669-v1 spec. |
|
proptests/spec_sor_2670_v1proptest/gen
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_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). |
|
proptests/spec_sor_2671_v2proptest/gen
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 (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). |
|
proptests/spec_sor_2673_v1proptest/gen
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 (../proptest_stubs_test.go) for SPEC-SOR-2673-v1 (the autonomous-filing title-and-priority guard). |
|
proptests/spec_sor_2682_v1proptest/gen
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_2682_v1proptest/proptest_stubs_test.go) for the plan-branch-existence invariant spec (SPEC-SOR-2682-v1: R4). |
|
proptests/spec_sor_2683_v1proptest/gen
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_2683_v1proptest/proptest_stubs_test.go) for the corrupted-gate-field meta-check spec (SPEC-SOR-2683-v1: R2, R5, R8). |
|
proptests/spec_sor_2712_v1proptest/gen
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_2712_v1proptest/proptest_stubs_test.go) for the per-iteration-deadline reprojection-sweep spec (SPEC-SOR-2712-v1: R2/R3/R4/R5/R6). |
|
proptests/spec_sor_2725_v3proptest/gen
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 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). |
|
proptests/spec_sor_2735_v1proptest/gen
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 project-local generator-helper package backing the committed prop_test stubs (../proptest_stubs_test.go) for SPEC-SOR-2735-v1. |
|
proptests/spec_sor_2746_v1proptest/gen
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 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). |
|
proptests/spec_sor_2755_v1proptest/gen
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 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). |
|
proptests/spec_sor_2757_v1proptest/gen
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 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). |
|
proptests/spec_sor_2762_v1proptest/gen
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, 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. |
|
proptests/spec_sor_2767_v6proptest/gen
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 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. |
|
proptests/spec_sor_2768_v1proptest/gen
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, 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). |
|
proptests/spec_sor_2769_v1proptest/gen
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_2769_v1proptest/proptest_stubs_test.go) for the oversized-plan / chain-forward-reference proposal-validator spec (SPEC-SOR-2769-v1: R1, R2, R3). |
|
proptests/spec_sor_2771_v8proptest/gen
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 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). |
|
proptests/spec_sor_2773_v1proptest/gen
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 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. |
|
proptests/spec_sor_2776_v1proptest/gen
Package gen holds the property-predicate helpers for SPEC-SOR-2776 (the reviewer-judging-with-buffered-verdict-progresses calibration, SOR-2902).
|
Package gen holds the property-predicate helpers for SPEC-SOR-2776 (the reviewer-judging-with-buffered-verdict-progresses calibration, SOR-2902). |
|
proptests/spec_sor_2782_v1proptest/gen
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_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. |
|
proptests/spec_sor_2785_v1proptest/gen
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 submission-gated session-outcome spec SPEC-SOR-2785-v1 (R1, R7). |
|
proptests/spec_sor_2785_v2proptest/gen
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 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. |
|
proptests/spec_sor_2786_v1proptest/gen
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 holds the property-predicate helpers for SPEC-SOR-2786 (issue create: an explicit --title is never silently overridden by a body H1, SOR-2904). |
|
proptests/spec_sor_2795_v1proptest/gen
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 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). |
|
proptests/spec_sor_2803_v1proptest/gen
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 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. |
|
proptests/spec_sor_2808_v1proptest/gen
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 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). |
|
proptests/spec_sor_2819_v1proptest/gen
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 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). |
|
proptests/spec_sor_2820_v3proptest/gen
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 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). |
|
proptests/spec_sor_2821_v1proptest/gen
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 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. |
|
proptests/spec_sor_2822_v3proptest/gen
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-2822-v3 (one file per R-ID; the daemon generates the shared union stub out-of-footprint at the plan-branch mutation seam). |
|
proptests/spec_sor_2823_v1proptest/gen
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 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). |
|
proptests/spec_sor_2824_v3proptest/gen
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, 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). |
|
proptests/spec_sor_2825_v1proptest/gen
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_2825_v1proptest/proptest_stubs_test.go) for the SPEC-SOR-2825-v1 spec. |
|
proptests/spec_sor_2826_v1proptest/gen
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 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). |
|
proptests/spec_sor_2828_v1proptest/gen
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 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). |
|
proptests/spec_sor_2839_v1proptest/gen
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 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). |
|
proptests/spec_sor_2849_v1proptest/gen
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 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). |
|
proptests/spec_sor_2878_v2proptest/gen
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-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. |
|
proptests/spec_sor_2883_v1proptest/gen
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-supplied, per-requirement-sharded generator- helper package backing the daemon-generated prop_test stub for the dedupe chokepoint spec (SPEC-SOR-2883-v1). |
|
proptests/spec_sor_2884_v1proptest/gen
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-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. |
|
proptests/spec_sor_2891_v2proptest/gen
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).
|
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). |
|
proptests/spec_sor_2892_v3proptest/gen
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).
|
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). |
|
proptests/spec_sor_2903_v1proptest/gen
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).
|
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). |
|
proptests/spec_sor_2912_v1proptest/gen
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 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). |
|
proptests/spec_sor_2916_v1proptest/gen
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 project-local generator-helper package backing the daemon-generated prop_test union stub for SPEC-SOR-2916-v1. |
|
proptests/spec_sor_2923_v1proptest/gen
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 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). |
|
proptests/spec_sor_2924_v1proptest/gen
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 stub for the recognizer defer-action validation spec (SPEC-SOR-2924-v1: R1, R2, R3, R4). |
|
proptests/spec_sor_2926_v1proptest/gen
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 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). |
|
proptests/spec_sor_2927_v3proptest/gen
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 holds the implementer-authored per-requirement property-test predicate helpers for SPEC-SOR-2927-v3 — bounding the post-submit verifier-chain in-flight window. |
|
proptests/spec_sor_2945_v3proptest/gen
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).
|
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). |
|
proptests/spec_sor_2946_v1proptest/gen
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.
|
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. |
|
proptests/spec_sor_2948_v1proptest/gen
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).
|
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). |
|
proptests/spec_sor_2970_v1proptest/gen
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).
|
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). |
|
proptests/spec_sor_2986_v1proptest/gen
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 generator-helper package backing the daemon-generated prop_test stub for the ephemeral-gate cargo-cache hermeticity spec (SPEC-SOR-2986-v1: R1, R2). |
|
proptests/spec_sor_2987_v1proptest/gen
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_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. |
|
proptests/spec_sor_2988_v2proptest/gen
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_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. |
|
proptests/spec_sor_2991_v1proptest/gen
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 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. |
|
proptests/spec_sor_3002_v1proptest/gen
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 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). |
|
proptests/spec_sor_3012_v1proptest/gen
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 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). |
|
proptests/spec_sor_3019_v1proptest/gen
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 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. |
|
proptests/spec_sor_3033_v1proptest/gen
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_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). |
|
proptests/spec_sor_3035_v2proptest/gen
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 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). |
|
proptests/spec_sor_3053_v1proptest/gen
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-3053-v1 — the multi-language config model and the non-refusing set-resolver (R1–R2, SOR-3060). |
|
proptests/spec_sor_3054_v1proptest/gen
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-3054-v1 — the traceability-matrix generator's per-file declared-set classification with foreign-target drop (R1–R4, R9, SOR-3096). |
|
proptests/spec_sor_3055_v1proptest/gen
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-3055-v1 — the per-language resolved gate command (config override or build-system profile default). |
|
proptests/spec_sor_3056_v5proptest/gen
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 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). |
|
proptests/spec_sor_3057_v1proptest/gen
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 for the contamination doctor-check spec SPEC-SOR-3057-v1. |
|
proptests/spec_sor_3058_v1proptest/gen
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_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. |
|
proptests/spec_sor_3059_v1proptest/gen
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 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. |
|
proptests/spec_sor_3065_v1proptest/gen
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 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. |
|
proptests/spec_sor_3069_v4proptest/gen
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 operator-supplied generator-helper package backing the committed prop_test stub for the product-engine-source path-predicate spec (SPEC-SOR-3069-v4 R5). |
|
proptests/spec_sor_3072_v1proptest/gen
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.
|
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. |
|
proptests/spec_sor_3074_v1proptest/gen
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.
|
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. |
|
proptests/spec_sor_3075_v1proptest/gen
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 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. |
|
proptests/spec_sor_3081_v1proptest/gen
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 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. |
|
proptests/spec_sor_3090_v1proptest/gen
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 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. |
|
proptests/spec_sor_3093_v1proptest/gen
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.
|
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. |
|
proptests/spec_sor_3094_v2proptest/gen
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) is one per-requirement shard of the gen helper package for SPEC-SOR-3094-v2 — it backs TestProperty_SPEC_SOR_3094_v2_R1. |
|
proptests/spec_sor_3095_v1proptest/gen
This file (r1.go) backs TestProperty_SPEC_SOR_3095_v1_R1.
|
This file (r1.go) backs TestProperty_SPEC_SOR_3095_v1_R1. |
|
proptests/spec_sor_3105_v1proptest/gen
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.
|
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. |
|
proptests/spec_sor_3122_v2proptest/gen
This file is the per-requirement-sharded generator helper for spec requirement R10 of SPEC-SOR-3122-v2.
|
This file is the per-requirement-sharded generator helper for spec requirement R10 of SPEC-SOR-3122-v2. |
|
proptests/spec_sor_3123_v2proptest/gen
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 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. |
|
proptests/spec_sor_3130_v1proptest/gen
Package gen holds the per-requirement property-test predicate helpers for SPEC-SOR-3130-v1.
|
Package gen holds the per-requirement property-test predicate helpers for SPEC-SOR-3130-v1. |
|
proptests/spec_sor_3138_v1proptest/gen
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_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. |
|
proptests/spec_sor_3155_v1proptest/gen
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, 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. |
|
proptests/spec_sor_3165_v1proptest/gen
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 stub for the actions_wait_timeout anchor spec (SPEC-SOR-3165-v1: R1, R2). |
|
proptests/spec_sor_3166_v2proptest/gen
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).
|
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). |
|
proptests/spec_sor_3197_v1proptest/gen
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).
|
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). |
|
proptests/spec_sor_3223_v1proptest/gen
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 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. |
|
proptests/spec_sor_3237_v1proptest/gen
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 operator-supplied generator-helper package backing the daemon-generated prop_test stubs for the gate-image toolchain-version resolution spec (SPEC-SOR-3237-v1). |
|
proptests/spec_sor_3238_v1proptest/gen
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 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. |
|
proptests/spec_sor_3269_v4proptest/gen
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 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. |
|
proptests/spec_sor_3293_v1proptest/gen
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-3293-v1 — the shared prop_test verifying-target resolver consumed by both daemon resolution sites (R4, R5, R9). |
|
proptests/spec_sor_3305_v1proptest/gen
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 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). |
|
proptests/spec_sor_3317_v1proptest/gen
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 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. |
|
proptests/spec_sor_3365_v1proptest/gen
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.
|
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. |
|
proptests/spec_sor_3366_v1proptest/gen
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-3366-v1 — it backs TestProperty_SPEC_SOR_3366_v1_R1. |
|
proptests/spec_sor_3368_v1proptest/gen
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.
|
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. |
|
proptests/spec_sor_3374_v1proptest/gen
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 for the config-sourced self-hosting-scaffolding path-predicate spec (SPEC-SOR-3374-v1 R8). |
|
recognizer
Package recognizer is sorcerer's LLM-backed novel-discovery role.
|
Package recognizer is sorcerer's LLM-backed novel-discovery role. |
|
recovery
Package recovery contains the post-failure salvage paths v1 referred to as "PR-set recovery", "orphan-PR adoption", and "WIP preservation".
|
Package recovery contains the post-failure salvage paths v1 referred to as "PR-set recovery", "orphan-PR adoption", and "WIP preservation". |
|
relevance
Package relevance owns the pure, language-agnostic relevance core: the single uniform rule that decides whether a main-advance is relevant to a plan and therefore must trigger an interim main->plan-branch re-merge + re-verify.
|
Package relevance owns the pure, language-agnostic relevance core: the single uniform rule that decides whether a main-advance is relevant to a plan and therefore must trigger an interim main->plan-branch re-merge + re-verify. |
|
role
Package role formats per-task messages and parses per-task results for each long-lived agent role.
|
Package role formats per-task messages and parses per-task results for each long-lived agent role. |
|
role/discoverytypedproptest/gen
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 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). |
|
role/feedback
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 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. |
|
role/feedback/discoveryinputproptest/gen
Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2359 R7.
|
Package gen is the operator-supplied generator-helper package backing the committed prop_test stub (../proptest_stubs_test.go) for SOR-2359 R7. |
|
role/feedback/lint
Package lint holds the standalone go/analysis analyzer that gates the feedback envelope's Source-to-slot Required matrix.
|
Package lint holds the standalone go/analysis analyzer that gates the feedback envelope's Source-to-slot Required matrix. |
|
role/feedback/lint/cmd/feedbackmatrixlint
command
Command feedbackmatrixlint is the standalone driver for the feedbackmatrix static analyzer.
|
Command feedbackmatrixlint is the standalone driver for the feedbackmatrix static analyzer. |
|
role/specidauthorproptest/gen
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 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. |
|
role/submitresultcompletenessproptest/gen
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 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. |
|
role/submitresultcontractproptest/gen
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 R9 of the submit_result-contract spec (SOR-2479 umbrella; the dispatcher seam is SOR-2512). |
|
role/submitresultcontractrequiredproptest/gen
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 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). |
|
runtime
role_pause_gate.go is the single chokepoint every role dispatch site consults before invoking the role's LLM-side work (SOR-1195).
|
role_pause_gate.go is the single chokepoint every role dispatch site consults before invoking the role's LLM-side work (SOR-1195). |
|
schedule
Package schedule builds the issue dependency graph and picks ready leaves for the daemon's scheduler pass (architecture.md §8).
|
Package schedule builds the issue dependency graph and picks ready leaves for the daemon's scheduler pass (architecture.md §8). |
|
schedule/admissionproptest/gen
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 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). |
|
schedule/dispatchholdproptest/gen
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 (the repo-root proptest_stubs_test.go) for the dispatch-time-holds-graph-visible spec (SPEC-SOR-2524-v2: R1, R2, R3, R6). |
|
schedule/footprintreconcilerproptest/gen
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).
|
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). |
|
sm
Package sm holds sorcerer's three formal state machines: Project, Issue, and Session.
|
Package sm holds sorcerer's three formal state machines: Project, Issue, and Session. |
|
sm/cmd/gen-transitions-ts
command
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.
|
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. |
|
sm/cycleguardproptest/gen
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 SOR-2295 R2/R3. |
|
sm/planactivatingproptest/gen
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 the post-merge plan_activating phase (SOR-2501 R4). |
|
sm/planexpandedproptest/gen
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 SOR-2294 R1. |
|
sm/specblockedproptest/gen
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 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). |
|
smt
Package smt is the Z3 SMT-LIB v2 subprocess driver.
|
Package smt is the Z3 SMT-LIB v2 subprocess driver. |
|
sor2802
Package sor2802 is a deliberate, minimal, self-contained marker for the SOR-2802 child of the SOR-2767 plan.
|
Package sor2802 is a deliberate, minimal, self-contained marker for the SOR-2802 child of the SOR-2767 plan. |
|
spec/amendment
Package amendment classifies an applied spec amendment as local or structural.
|
Package amendment classifies an applied spec amendment as local or structural. |
|
spec/canonicalserializerproptest/gen
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 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. |
|
spec/codegen
Package codegen emits deterministic Go property-test stub source from the requirements of an approved spec (docs/spec-driven.md § Phase D).
|
Package codegen emits deterministic Go property-test stub source from the requirements of an approved spec (docs/spec-driven.md § Phase D). |
|
spec/codegen/example/gen
Package gen is the operator-supplied generator-helper package that backs the committed example stub (../stubs/proptest_stubs_test.go).
|
Package gen is the operator-supplied generator-helper package that backs the committed example stub (../stubs/proptest_stubs_test.go). |
|
spec/codegen/stubname
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 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). |
|
spec/codegen/stubnameproptest/gen
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 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. |
|
spec/drafter
Package drafter holds the typed Go schema the spec_drafter's TASK: revise output is validated against (spec-driven phase B).
|
Package drafter holds the typed Go schema the spec_drafter's TASK: revise output is validated against (spec-driven phase B). |
|
spec/dsl
Package dsl owns the textual / structural spec representation described in docs/spec-driven.md § 4.
|
Package dsl owns the textual / structural spec representation described in docs/spec-driven.md § 4. |
|
spec/dsl/formal
Package formal owns the recursive-descent parser for the formal mini-language in docs/spec-driven.md § 4.1.
|
Package formal owns the recursive-descent parser for the formal mini-language in docs/spec-driven.md § 4.1. |
|
spec/lineage
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 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). |
|
spec/patcher
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 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). |
|
spec/proptestbackend
Package proptestbackend resolves a project's property-test Interpreter from its language profile.
|
Package proptestbackend resolves a project's property-test Interpreter from its language profile. |
|
spec/translator
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 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. |
|
spec/verifier
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.
|
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. |
|
specoracle
Package specoracle is the llm_test LLM-as-oracle judge: it asks the model whether a requirement's traced implementation code satisfies the requirement's OWN statement, and emits a structured pass/fail verdict.
|
Package specoracle is the llm_test LLM-as-oracle judge: it asks the model whether a requirement's traced implementation code satisfies the requirement's OWN statement, and emits a structured pass/fail verdict. |
|
spectrace
Package spectrace owns the small typed surface for the implementer's structured requirement→code "trace" — the analog of internal/footprint's PredictedFootprint, but emitted at the END of an implementing cycle rather than at discovery.
|
Package spectrace owns the small typed surface for the implementer's structured requirement→code "trace" — the analog of internal/footprint's PredictedFootprint, but emitted at the END of an implementing cycle rather than at discovery. |
|
steward
Package steward holds the deterministic daemon-side precompute that backs the steward flow-supervisor role.
|
Package steward holds the deterministic daemon-side precompute that backs the steward flow-supervisor role. |
|
store
Package store handles sorcerer's on-disk state — the single state.json file that holds the live SM snapshot.
|
Package store handles sorcerer's on-disk state — the single state.json file that holds the live SM snapshot. |
|
store/cmd/genevents
command
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).
|
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). |
|
store/lint/banevent
Package banevent hosts the events-direct-construction static analyzer.
|
Package banevent hosts the events-direct-construction static analyzer. |
|
store/lint/banevent/cmd/banevent
command
Command banevent is the standalone singlechecker driver for the events-direct-construction static analyzer.
|
Command banevent is the standalone singlechecker driver for the events-direct-construction static analyzer. |
|
tracedcode
Package tracedcode resolves a requirement's traced source code from a repo tree and computes a deterministic content hash over it — the shared input for the llm_test oracle and the verdict-cache key.
|
Package tracedcode resolves a requirement's traced source code from a repo tree and computes a deterministic content hash over it — the shared input for the llm_test oracle and the verdict-cache key. |
|
tracematrix
Package tracematrix owns the pure generation of the per-spec traceability matrix — the durable, generated, in-repo artifact at docs/traceability/<spec-id>.md that maps each spec requirement to its implementing targets, verifying tests, verification mode, and reviewer verdict, indexed in both directions.
|
Package tracematrix owns the pure generation of the per-spec traceability matrix — the durable, generated, in-repo artifact at docs/traceability/<spec-id>.md that maps each spec requirement to its implementing targets, verifying tests, verification mode, and reviewer verdict, indexed in both directions. |
|
tracematrix/legacystubproptest/gen
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.
|
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. |
|
triager
Package triager is sorcerer's polling-steward role.
|
Package triager is sorcerer's polling-steward role. |
|
watchdog
Package watchdog hosts the stuck-bash watchdog (SOR-37).
|
Package watchdog hosts the stuck-bash watchdog (SOR-37). |
Click to show internal directories.
Click to hide internal directories.