Spec Studio

The stamp is written beside the page set, and a later build removes it

spec:consumers.spec-studio.sharing.stamp-written-apartExample / Scenario · storyready floor ready

Packs: pack:self-hosting-v1, pack:spec-studio-v1

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

Findings: no errors, no warnings

specs/consumers/spec-studio.sharing.stamp-written-apart.sdp.md

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

Intent
outcome
Execute the stamp step apart from the build: it touches no page, and no stamp outlives its build.
assumptions
  • The world writes a root with one Pack of two member Specs, runs the studio command, keeps the bytes of every page file, runs the stamp command, reads stamp.json and compares the page files with the kept bytes, then runs the studio command again and checks whether stamp.json exists.
Behavior

Examples

Given a page set the studio command wrote at an extraction root
When the stamp command runs with the commit {commit: "0123abc"} and the source template {source: "https://example.test/blob/0123abc/{file}#L{line}"}
Then the stamp names the corpus commit {corpusCommit: "0123abc"}
Then every page file stays byte-identical: {pagesUntouched: true}
Then a later studio run keeps the stamp: {stampSurvives: false}
Verification

Verifier bindings

  • test:protocol.studio-stamp-apart · anchored · test anchor binding present · test/studio-s4.test.ts:557

    External run evidence from test/studio-s4.test.ts

    Test anchors: test:protocol.run-absolute, test:protocol.run-external, test:protocol.run-unjoined, test:protocol.studio-graph-only, test:protocol.studio-inputs-both-given, test:protocol.studio-stamp-apart. Specs verified by those bindings: spec:consumers.spec-studio.data.inputs, spec:consumers.spec-studio.data.inputs.both-given, spec:consumers.spec-studio.data.inputs.graph-only, spec:consumers.spec-studio.runs-page, spec:consumers.spec-studio.runs-page.external-evidence, spec:consumers.spec-studio.sharing, spec:consumers.spec-studio.sharing.stamp-written-apart, spec:observation.run-evidence, spec:observation.run-evidence.absolute-path-joins, spec:observation.run-evidence.unanchored-file-unjoined.

    Run 1: external run evidence from vitest 4.1.10

    Build: CI 433 · Branch: fix/second-review-pass · Commit: 6375b6e431a7cf885a49befec76d7876cd3e538c · Start: 2026-11-04T07:12:23.076Z · Stop: 2026-11-04T07:15:49.695Z

    NameSuiteResultDuration
    recipe 45 joins normalized paths, preserves records and graph facts, and diagnoses other inputsnot recordedpassed65.6 ms
    renders external run evidence with result rows, metadata, diagnostics and conditional navigationnot recordedpassed86.57 ms
    reads repeated --runs before extraction and leaves input bytes untouchednot recordedpassed127.58 ms
    stamps apart, touches no page, refuses bad sources and removes the stamp on rebuildnot recordedpassed65.92 ms
    executes the bound example against a fresh worldA test whose reporter wrote an absolute path joins its anchored file (spec:observation.run-evidence.absolute-path-joins)passed8.75 ms
    executes the bound example against a fresh worldA test in a file with no test anchor is reported as unjoined (spec:observation.run-evidence.unanchored-file-unjoined)passed9.92 ms
    executes the bound example against a fresh worldThe runs page shows a run as external evidence from a test file (spec:consumers.spec-studio.runs-page.external-evidence)passed20.83 ms
    executes the bound example against a fresh worldWithout inputs the page set is the graph's alone (spec:consumers.spec-studio.data.inputs.graph-only)passed51.5 ms
    executes the bound example against a fresh worldBoth inputs add their pages, named, and the same inputs write the same bytes (spec:consumers.spec-studio.data.inputs.both-given)passed107.17 ms
    executes the bound example against a fresh worldThe stamp is written beside the page set, and a later build removes it (spec:consumers.spec-studio.sharing.stamp-written-apart)passed40.07 ms
    the stamp links source locations only after an HTTP stamp loads, encoding path segmentsnot recordedpassed4.7 ms
    recipe 45 picks the longest suffix and scopes through enabled examples at file grainnot recordedpassed8.9 ms
    ships a reusable preview, disabled by default, and deploys its own pull requests with runs and diffnot recordedpassed12.5 ms
    the tests lens counts file results once per Spec and names every run inputnot recordedpassed34.74 ms
    the Pack sentence keeps the graph's binding limit and positively names external evidencenot recordedpassed27.7 ms
    run metadata labels build and branch, and absent fields read not recordednot recordedpassed0.71 ms
    unjoined records escape outside names and explain both reason codes in wordsnot recordedpassed17.08 ms
    run files show the file alone, bindings and Suite, with one header per runnot recordedpassed15.7 ms
    recipe 45 does not join a suffix inside a path segmentnot recordedpassed3.66 ms
    stamp defaults to unknown and a stamped page set passes check-cleannot recordedpassed61.24 ms
    every reusable preview job's permissions fit the CI caller's grantnot recordedpassed17.61 ms
    PR checks and preview stamps name the same default merge checkoutnot recordedpassed18.03 ms
    preview download is optional and cancelled or skipped checks do not call itnot recordedpassed9.97 ms
    deploy checks the enabled Pages source before writing: gh-pagesnot recordedpassed21.58 ms
    deploy checks the enabled Pages source before writing: mainnot recordedpassed24.8 ms
    deploy checks the enabled Pages source before writing: disablednot recordedpassed16.95 ms
    deploy succeeds only once Pages publishes the pushed commit: an unrelated errored build is newestnot recordedpassed105.9 ms
    deploy succeeds only once Pages publishes the pushed commit: a retried build follows an errored onenot recordedpassed40.18 ms
    deploy succeeds only once Pages publishes the pushed commit: the build errorsnot recordedpassed49.1 ms
    deploy succeeds only once Pages publishes the pushed commit: the commit is never builtnot recordedpassed883 ms
    deploy succeeds only once Pages publishes the pushed commit: the answer arrives after the waitnot recordedpassed1541.12 ms
    preview still stamps and uploads rendered pages when evidence is absent and validation failsnot recordedpassed119.97 ms
    places external file rows under their verifier and renders shared files oncenot recordedpassed82.22 ms
    accepts the preview workflow's base and run flags togethernot recordedpassed37.48 ms
    formats external run durations to at most two decimals on every pagenot recordedpassed20.5 ms
    preview stamps only this invocation's page set: malformed-runsnot recordedpassed768.96 ms
    preview stamps only this invocation's page set: escaping-parentnot recordedpassed77.01 ms
    preview stamps only this invocation's page set: fresh-findingsnot recordedpassed1647.57 ms
Design view

Requirement drawing

  • Satisfying or referencing units: no recorded binding.
Requirement drawing for spec:consumers.spec-studio.sharing.stamp-written-apart
The diagram as text
  • spec:consumers.spec-studio.sharing.stamp-written-apart: The stamp is written beside the page set, and a later build removes it · declared Spec
  • spec:consumers.spec-studio.sharing: A Studio build is stamped and shared from a static host · declared Spec
  • test:protocol.studio-stamp-apart: test:protocol.studio-stamp-apart · anchored test binding · binding present · test/studio-s4.test.ts:557
  • spec:consumers.spec-studio.sharing.stamp-written-apart refines spec:consumers.spec-studio.sharing · declared
  • spec:consumers.spec-studio.sharing.stamp-written-apart verifies spec:consumers.spec-studio.sharing · declared
  • test:protocol.studio-stamp-apart verifies spec:consumers.spec-studio.sharing.stamp-written-apart · 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:consumers.spec-studio.sharing.stamp-written-apart
  • E2: verifies · declared
The diagram as text
  • spec:consumers.spec-studio.sharing: A Studio build is stamped and shared from a static host
  • spec:consumers.spec-studio.sharing.stamp-written-apart: The stamp is written beside the page set, and a later build removes it
  • spec:consumers.spec-studio.sharing.stamp-written-apart refines spec:consumers.spec-studio.sharing · declared
  • spec:consumers.spec-studio.sharing.stamp-written-apart verifies spec:consumers.spec-studio.sharing · 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 Studio build is stamped and shared from a static host
spec:consumers.spec-studio.sharing · resolves
declaredNoneNone
verifies · outgoingA Studio build is stamped and shared from a static host
spec:consumers.spec-studio.sharing · resolves
declaredNonebuildWritesNoStamp, stampVerb, stampLifetime

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

  • test:protocol.studio-stamp-apart · anchored · test/studio-s4.test.ts:557 · 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.