Spec Studio

Spec extensions identify the carrier without colliding with tests

spec:decisions.sdp-ts-extensionDecision 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/sdp-ts-extension.sdp.md

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

Intent
outcome
Keep authored Spec files recognizable to tools and safe beside ordinary test conventions.
Decision
context
A carrier filename must distinguish authored Specs from test files and remain useful when files are colocated.
decision
Markdown Specs use .sdp.md; .sdp.ts names the surviving TypeScript DSL import source and lawful per-ID option.
rationale
  • Test-glob extensions and path-only conventions either misclassify Specs or hide their identity.
consequences
  • Carrier-specific tooling can target the compound extension without changing the Spec model name.
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.sdp-ts-extension

Arrows: refines (declared).

The diagram as text
  • spec:decisions.sdp-ts-extension: Spec extensions identify the carrier without colliding with tests · declared Spec
  • spec:carrier.markdown-authoring: Markdown authoring enters the one graph · declared Spec
  • spec:decisions.sdp-ts-extension refines spec:carrier.markdown-authoring · 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.sdp-ts-extension
The diagram as text
  • spec:carrier.markdown-authoring: Markdown authoring enters the one graph
  • spec:decisions.sdp-gherkin-extension: Canonical Gherkin carriers use .sdp.gherkin
  • spec:decisions.sdp-ts-extension: Spec extensions identify the carrier without colliding with tests
  • spec:decisions.sdp-ts-extension refines spec:carrier.markdown-authoring · declared
  • spec:carrier.markdown-authoring decidedBy spec:decisions.sdp-ts-extension · declared
  • spec:decisions.sdp-gherkin-extension dependsOn spec:decisions.sdp-ts-extension · 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

Distance 8

Relations

Relation and directionOther endClaimReasonExercised keys
refines · outgoingMarkdown authoring enters the one graph
spec:carrier.markdown-authoring · resolves		declaredNoneNone
decidedBy · incomingMarkdown authoring enters the one graph
spec:carrier.markdown-authoring · resolves		declaredNoneNone
dependsOn · incomingCanonical Gherkin carriers use .sdp.gherkin
spec:decisions.sdp-gherkin-extension · 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.