Spec Studio

Bindings state existence, not liveness

spec:decisions.binding-not-livenessDecision Record · featureready floor ready

Packs: pack:self-hosting-v1

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

Findings: no errors, no warnings

specs/decisions/binding-not-liveness.sdp.md

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

Intent
outcome
Make realization signals useful without overstating what source bindings prove.
Decision
context
Anchors can resolve code and tests without proving reachability, execution, or approval.
decision
Delivery facts record bindings and enabled verifier existence; coverage gaps and human readiness practice remain explicit without becoming graph facts.
rationale
  • Renaming a binding fact as reachability or approval would overstate what its evidence proves, and recording approval in the graph would add an authored truth-bearing artifact beside the Spec.
consequences
  • Impact reports name coverage-unknown files and ready remains a declared statement above a structural floor.
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.binding-not-liveness

Arrows: refines (declared).

The diagram as text
  • spec:decisions.binding-not-liveness: Bindings state existence, not liveness · declared Spec
  • spec:model.anchors: Source anchors bind code without carrying intent · declared Spec
  • spec:decisions.binding-not-liveness refines spec:model.anchors · 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.

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.binding-not-liveness
The diagram as text
  • spec:consumers.binding-language-views: Views speak binding language, never the internal fact name
  • spec:consumers.spec-studio.lenses.evidence: The evidence lens names each source of runtime evidence and reads it as not tracked
  • spec:consumers.spec-studio.lenses.tests: The tests lens shows how far each Spec's verification reaches
  • spec:consumers.spec-studio.runs-page: The runs page shows the run records the build was given, joined to test files
  • spec:consumers.spec-studio.verification-panels: The panels for examples, targets, verifiers and evidence
  • spec:decisions.anchor-binding-grain: Bindings are optional, plural, and may reference a design
  • spec:decisions.architectural-annotation: Architectural significance is annotated where it is realized
  • spec:decisions.binding-not-liveness: Bindings state existence, not liveness
  • spec:decisions.example-realization-posture: Example realization stays evidence, not backlog work
  • spec:decisions.verification-posture-not-realization: Verification mode states posture, not realization
  • spec:extraction.delivery-facts: Resolving bindings confer direct delivery facts
  • spec:extraction.runnable-modules: Derived runnable modules freeze the registrar interface
  • spec:model.anchors: Source anchors bind code without carrying intent
  • spec:observation.run-evidence: CI run records are joined to verifiers in a view
  • spec:validation.authored-honesty: Machine truth is never authored
  • spec:decisions.binding-not-liveness refines spec:model.anchors · declared
  • spec:consumers.binding-language-views decidedBy spec:decisions.binding-not-liveness · declared
  • spec:consumers.spec-studio.lenses.evidence decidedBy spec:decisions.binding-not-liveness · declared
  • spec:consumers.spec-studio.lenses.tests decidedBy spec:decisions.binding-not-liveness · declared
  • spec:consumers.spec-studio.runs-page decidedBy spec:decisions.binding-not-liveness · declared
  • spec:consumers.spec-studio.verification-panels decidedBy spec:decisions.binding-not-liveness · declared
  • spec:extraction.delivery-facts decidedBy spec:decisions.binding-not-liveness · declared
  • spec:extraction.runnable-modules decidedBy spec:decisions.binding-not-liveness · declared
  • spec:model.anchors decidedBy spec:decisions.binding-not-liveness · declared
  • spec:observation.run-evidence decidedBy spec:decisions.binding-not-liveness · declared
  • spec:validation.authored-honesty decidedBy spec:decisions.binding-not-liveness · declared
  • spec:decisions.anchor-binding-grain dependsOn spec:decisions.binding-not-liveness · declared
  • spec:decisions.architectural-annotation dependsOn spec:decisions.binding-not-liveness · declared
  • spec:decisions.example-realization-posture dependsOn spec:decisions.binding-not-liveness · declared
  • spec:decisions.verification-posture-not-realization dependsOn spec:decisions.binding-not-liveness · declared
Mermaid source

Copyable source; the Studio draws static SVG.

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

Rests on

Rested on by

Distance 1

Distance 2

Distance 3

Distance 4

Distance 5

Distance 6

Distance 7

Relations

Relation and directionOther endClaimReasonExercised keys
refines · outgoingSource anchors bind code without carrying intent
spec:model.anchors · resolves		declaredNoneNone
decidedBy · incomingViews speak binding language, never the internal fact name
spec:consumers.binding-language-views · resolves		declaredNoneNone
decidedBy · incomingThe evidence lens names each source of runtime evidence and reads it as not tracked
spec:consumers.spec-studio.lenses.evidence · resolves		declaredNoneNone
decidedBy · incomingThe tests lens shows how far each Spec's verification reaches
spec:consumers.spec-studio.lenses.tests · resolves		declaredNoneNone
decidedBy · incomingThe runs page shows the run records the build was given, joined to test files
spec:consumers.spec-studio.runs-page · resolves		declaredNoneNone
decidedBy · incomingThe panels for examples, targets, verifiers and evidence
spec:consumers.spec-studio.verification-panels · resolves		declaredNoneNone
decidedBy · incomingResolving bindings confer direct delivery facts
spec:extraction.delivery-facts · resolves		declaredNoneNone
decidedBy · incomingDerived runnable modules freeze the registrar interface
spec:extraction.runnable-modules · resolves		declaredNoneNone
decidedBy · incomingSource anchors bind code without carrying intent
spec:model.anchors · resolves		declaredNoneNone
decidedBy · incomingCI run records are joined to verifiers in a view
spec:observation.run-evidence · resolves		declaredNoneNone
decidedBy · incomingMachine truth is never authored
spec:validation.authored-honesty · resolves		declaredNoneNone
dependsOn · incomingBindings are optional, plural, and may reference a design
spec:decisions.anchor-binding-grain · resolves		declaredNoneNone
dependsOn · incomingArchitectural significance is annotated where it is realized
spec:decisions.architectural-annotation · resolves		declaredNoneNone
dependsOn · incomingExample realization stays evidence, not backlog work
spec:decisions.example-realization-posture · resolves		declaredNoneNone
dependsOn · incomingVerification mode states posture, not realization
spec:decisions.verification-posture-not-realization · resolves		declaredNoneNone

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.