Spec Studio

A TypeScript carrier survives import as an equal Markdown graph

spec:carrier.sdp-import.round-tripExample / Scenario · storyready floor ready

Packs: pack:self-hosting-v1

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

Findings: no errors, no warnings

specs/carrier/sdp-import.round-trip.sdp.md

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

Intent
outcome
Execute the import round-trip against a TypeScript-carrier fixture.
Behavior

Examples

Given a TS-carrier spec
When importTypeScriptSpec runs
Then the emitted Markdown re-parses to an equal graph
Verification · executable
criteria
  • The actual returned Markdown preserves the source's Spec content and declared relations after carrier locations are normalized.
mode
executable
Verification

Verifier bindings

  • test:protocol.sdp-import.round-trip · TypeScript import round-trip contract preserves authored data · anchored · test anchor binding present · test/self-hosting-sdp-import.test.ts:57

    External run evidence from test/self-hosting-sdp-import.test.ts

    Test anchors: test:protocol.sdp-import.round-trip. Specs verified by those bindings: spec:carrier.sdp-import, spec:carrier.sdp-import.round-trip.

    Run 1: external run evidence from vitest 4.1.10

    Build: CI 380 · Branch: feature/roadmap-and-slices-v0 · Commit: 34909918bf0be0e849959644401797191cae379f · Start: 2026-10-22T17:40:31.456Z · Stop: 2026-10-22T17:42:16.171Z

    NameSuiteResultDuration
    executes the bound example against a fresh worldA TypeScript carrier survives import as an equal Markdown graph (spec:carrier.sdp-import.round-trip)passed48 ms
Design view

Requirement drawing

  • Satisfying or referencing units: no recorded binding.
Requirement drawing for spec:carrier.sdp-import.round-trip
The diagram as text
  • spec:carrier.sdp-import.round-trip: A TypeScript carrier survives import as an equal Markdown graph · declared Spec
  • spec:carrier.sdp-import: A TypeScript-carried Spec can be converted to Markdown · declared Spec
  • test:protocol.sdp-import.round-trip: TypeScript import round-trip contract preserves authored data · anchored test binding · binding present · test/self-hosting-sdp-import.test.ts:57
  • spec:carrier.sdp-import.round-trip refines spec:carrier.sdp-import · declared
  • spec:carrier.sdp-import.round-trip verifies spec:carrier.sdp-import · declared
  • test:protocol.sdp-import.round-trip verifies spec:carrier.sdp-import.round-trip · anchored
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:carrier.sdp-import.round-trip
  • E2: verifies · declared
The diagram as text
  • spec:carrier.sdp-import: A TypeScript-carried Spec can be converted to Markdown
  • spec:carrier.sdp-import.round-trip: A TypeScript carrier survives import as an equal Markdown graph
  • spec:carrier.sdp-import.round-trip refines spec:carrier.sdp-import · declared
  • spec:carrier.sdp-import.round-trip verifies spec:carrier.sdp-import · 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

No Spec rests on this Spec.

Relations

Relation and directionOther endClaimReasonExercised keys
refines · outgoingA TypeScript-carried Spec can be converted to Markdown
spec:carrier.sdp-import · resolves		declaredNoneNone
verifies · outgoingA TypeScript-carried Spec can be converted to Markdown
spec:carrier.sdp-import · resolves		declaredNoneNone

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

  • test:protocol.sdp-import.round-trip · TypeScript import round-trip contract preserves authored data · anchored · test/self-hosting-sdp-import.test.ts:57 · test anchor

Expected-outcome oracle: none

Runtime observation: not tracked.

Run results: not recorded in the graph.

Findings

None.

Composing (0)

Composing needs the script.