Spec Studio

Code spans in Pack framing are literal

spec:carrier.inline-code-spans.packExample / 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/inline-code-spans.pack.sdp.md

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

Intent
outcome
Check matched and unmatched runs, literal HTML, exposed HTML on the same line, and authored text in the pack probes.
assumptions
  • Each probe has its own carrier. Each Pack has an empty membership list and puts the probe in framing prose.
Behavior

Examples

Given the code-span matrix in {location: "pack"}
When the extractor reifies the probes
Then matched spans preserve {accepted: 15} carriers and exposed HTML refuses {refused: 20} carriers
Verification

Verifier bindings

  • test:protocol.inline-code-spans.pack · verifies inline code in Pack framing · anchored · test anchor binding present · test/self-hosting-inline-code.test.ts:235

    External run evidence from test/self-hosting-inline-code.test.ts

    Test anchors: test:protocol.inline-code-spans.description, test:protocol.inline-code-spans.list, test:protocol.inline-code-spans.narrative, test:protocol.inline-code-spans.pack. Specs verified by those bindings: spec:carrier.inline-code-spans, spec:carrier.inline-code-spans.description, spec:carrier.inline-code-spans.list, spec:carrier.inline-code-spans.narrative, spec:carrier.inline-code-spans.pack.

    Run 2: external run evidence from vitest 4.1.10

    Build: CI 439 · Branch: docs/articles-refresh-1 · Commit: 61576184ea9f39b7f91c51fef5ff991b0bf2d0e6 · Start: 2026-11-04T07:59:39.962Z · Stop: 2026-11-04T08:03:39.928Z

    NameSuiteResultDuration
    executes the bound example against a fresh worldCode spans in a Spec narrative are literal (spec:carrier.inline-code-spans.narrative)passed110.36 ms
    executes the bound example against a fresh worldCode spans in section descriptions are literal (spec:carrier.inline-code-spans.description)passed43.4 ms
    executes the bound example against a fresh worldCode spans in list entries are literal (spec:carrier.inline-code-spans.list)passed44.04 ms
    executes the bound example against a fresh worldCode spans in Pack framing are literal (spec:carrier.inline-code-spans.pack)passed26.4 ms
Design view

Requirement drawing

  • Satisfying or referencing units: no recorded binding.
Requirement drawing for spec:carrier.inline-code-spans.pack
The diagram as text
  • spec:carrier.inline-code-spans.pack: Code spans in Pack framing are literal · declared Spec
  • spec:carrier.inline-code-spans: Inline code is content, never markup · declared Spec
  • test:protocol.inline-code-spans.pack: verifies inline code in Pack framing · anchored test binding · binding present · test/self-hosting-inline-code.test.ts:235
  • spec:carrier.inline-code-spans.pack refines spec:carrier.inline-code-spans · declared
  • spec:carrier.inline-code-spans.pack verifies spec:carrier.inline-code-spans · declared
  • test:protocol.inline-code-spans.pack verifies spec:carrier.inline-code-spans.pack · 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.inline-code-spans.pack
  • E2: verifies · declared
The diagram as text
  • spec:carrier.inline-code-spans: Inline code is content, never markup
  • spec:carrier.inline-code-spans.pack: Code spans in Pack framing are literal
  • spec:carrier.inline-code-spans.pack refines spec:carrier.inline-code-spans · declared
  • spec:carrier.inline-code-spans.pack verifies spec:carrier.inline-code-spans · 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 · outgoingInline code is content, never markup
spec:carrier.inline-code-spans · resolves		declaredNoneNone
verifies · outgoingInline code is content, never markup
spec:carrier.inline-code-spans · resolves		declaredNoneliteralSpan, lineScoped, noEscape, spanBeforeTag, rawHtmlRefused

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

  • test:protocol.inline-code-spans.pack · verifies inline code in Pack framing · anchored · test/self-hosting-inline-code.test.ts:235 · 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.