Adopted runnable registrars are committed

spec:decisions.adopted-registrars-committed

Decision Record · featureready floor ready

Design: no design entries · no pinned declarations · no decisions

specs/decisions/adopted-registrars-committed.sdp.md

No open questions and no blocking questions; implementation binding none, verifier binding none, and expected-outcome oracle none.

Intent

outcome: Make an authored test's generated registrar dependency reviewable and available before generation without pretending every generated registrar is source.

Decision

context: Runnable registrars are derived siblings of authored tests. Most remain ignored, but an authored test that imports one cannot typecheck or execute from a clean checkout unless that adopted sibling is present or generation runs first.
decision: A registrar becomes adopted when tracked authored code imports it. Adopted registrars are committed and byte-checked against fresh generation; unadopted registrars remain ignored, regenerable output. A deterministic generated manifest owns reconciliation for both groups without turning registrar content into authored truth.
rationale: This is hard to reverse once adopter tests depend on clean-checkout imports. It is surprising without context that one derived sibling is tracked while its unadopted peers are ignored. It is a real trade-off: committing adopted bytes adds review noise and requires a falsifiable equality gate, while ignoring them all makes authored imports depend on an unrecorded generation precondition.
consequences: --check-clean refuses manifest or sibling-byte drift, preflight compares tracked worktree and Git-index bytes with independent regeneration, and stale manifest-owned siblings are removed.
Tracking a registrar confers no delivery fact or migration claim; its specTest anchor remains the only verifier-binding source.
alternatives: Ignore every registrar and require generation before typecheck or test discovery; this keeps git smaller but makes an authored import unavailable in a clean checkout.
Commit every registrar; this is mechanically simple but turns unadopted migration candidates into persistent review noise.

Verification

Verifier bindings

No verifier binding recorded.

Design view

Requirement drawing

Declared verifying examples: no declared verifying example.
Satisfying or referencing units: no recorded binding.
Test or oracle bindings: no recorded binding.

Requirement drawing for spec:decisions.adopted-registrars-committed

Arrows: refines (declared).

The diagram as text

spec:decisions.adopted-registrars-committed: Adopted runnable registrars are committed · declared Spec
spec:extraction.runnable-modules: Derived runnable modules freeze the registrar interface · declared Spec
spec:decisions.adopted-registrars-committed refines spec:extraction.runnable-modules · declared

Mermaid source

Copyable source; the Studio draws static SVG.

Preferred and chosen syntax: requirementDiagram; exact refines, satisfies and verifies, with claim words in nodes and per-edge comments.

Mermaid source for Requirement drawing for spec:decisions.adopted-registrars-committed

requirementDiagram
  requirement n0 {
    text: "Adopted runnable registrars are committed · declared Spec · spec:decisions.adopted-registrars-committed"
  }
  requirement n1 {
    text: "Derived runnable modules freeze the registrar interface · declared Spec · spec:extraction.runnable-modules"
  }
  %% claim: declared
  n0 - refines -> n1

Decisions

No decision record named.

Runtime

No implementation neighborhood recorded.

Runtime observation: not tracked.

Evidence

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.

Impact

Relations of spec:decisions.adopted-registrars-committed

E2: decidedBy · declared

The diagram as text

spec:decisions.adopted-registrars-committed: Adopted runnable registrars are committed
spec:extraction.runnable-modules: Derived runnable modules freeze the registrar interface
spec:decisions.adopted-registrars-committed refines spec:extraction.runnable-modules · declared
spec:extraction.runnable-modules decidedBy spec:decisions.adopted-registrars-committed · declared

Mermaid source

Copyable source; the Studio draws static SVG.

Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.

Mermaid source for Relations of spec:decisions.adopted-registrars-committed

flowchart TB
  n0["Derived runnable modules freeze the registrar interface · spec:extraction.runnable-modules"]
  n1["Adopted runnable registrars are committed · spec:decisions.adopted-registrars-committed"]
  n1 -->|"refines · declared"| n0
  n0 -->|"decidedBy · declared"| n1

Rests on

refines · spec:extraction.runnable-modules · stated ready, floor ready

Rested on by

Distance 1

spec:extraction.runnable-modules
Implementing units
- component:protocol.codegen · src/codegen/contracts.ts:633
- component:protocol.testing · src/testing/index.ts:38
- impl:protocol.example-testing-helpers · src/testing/index.ts:50
- impl:protocol.runnable-modules · src/codegen/contracts.ts:658
Referencing units
None.
Enabled verifiers: test:protocol.runnable-modules, test:protocol.runnable-modules-generation, test:protocol.runnable-modules-types
Packs: pack:adopter-speed-v1, pack:self-hosting-v1

Relations

Relation and direction	Other end	Claim	Reason	Exercised keys
refines · outgoing	Derived runnable modules freeze the registrar interface `spec:extraction.runnable-modules` · resolves	declared	None	None
decidedBy · incoming	Derived runnable modules freeze the registrar interface `spec:extraction.runnable-modules` · resolves	declared	None	None

Bindings

Implementation binding: none

Design reference: none

Verifier binding: none

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.