sdp studio publishes the Studio as one page set

outcome

Publish the Studio under its own root as one page set the graph and its named inputs alone determine, which opens through file:// and uploads to a static host unchanged.

rule.verb line 25 · specs/consumers/spec-studio.publisher.sdp.md:25

sdp studio [root] [--exclude PATH]... [--check-clean] validates the graph and writes the Studio's page set to <root>/generated/spec-studio/; root defaults to the working directory, and each exclusion is a root-relative path prefix, as for the shipped publishers.

no example exercises it

rule.ownRoot line 26 · specs/consumers/spec-studio.publisher.sdp.md:26

A run writes nothing outside its root, writes no stamp, and leaves every carrier and source file under the root byte-identical.

no example exercises it

rule.readsNoNetwork line 27 · specs/consumers/spec-studio.publisher.sdp.md:27

A run reads no network: every byte it reads is a file under the root, a file its flags name, or a file the package ships.

no example exercises it

rule.wholesale line 28 · specs/consumers/spec-studio.publisher.sdp.md:28

A run writes its page set to generated/spec-studio.tmp/, removes the prior root and renames the temporary into place, so no page of an earlier run survives a later one and no temporary survives a completed run.

no example exercises it

rule.buildInvalidates line 29 · specs/consumers/spec-studio.publisher.sdp.md:29

Every command that enters the shared build, sdp studio among them, removes generated/spec-studio/ and its temporary sibling before extraction, beside the four roots spec:consumers.wholesale-view-rewrite#rule.buildInvalidates names; a removal failure refuses the command before extraction.

no example exercises it

Cited at

• test/skills.test.ts:1763

rule.checkClean line 30 · specs/consumers/spec-studio.publisher.sdp.md:30

sdp studio --check-clean renders an independent twin and refuses divergent renders, then compares the current root with the new render; missing or drifted output returns nonzero and is removed, and clean output is replaced wholesale with byte-identical content.

no example exercises it

rule.findingsShown line 31 · specs/consumers/spec-studio.publisher.sdp.md:31

Findings never withhold the page set: a run over a graph with validation findings still publishes and returns the validation exit code, and each finding shows on the index, and also on its subject's page when its subject is a Spec or a Pack. A run whose extraction fails publishes nothing and returns nonzero.

no example exercises it

rule.pageSet line 32 · specs/consumers/spec-studio.publisher.sdp.md:32

The page set holds index.html, search.html, one packs/<name>.html and one slices/<name>.html per Pack, one specs/<name>.html per Spec, and assets/studio.css and assets/studio.js. <name> is the id after its namespace, with each uppercase ASCII letter written as _ and its lowercase, so no two pages collide on a file system that ignores case.

no example exercises it

rule.deterministic line 33 · specs/consumers/spec-studio.publisher.sdp.md:33

Two runs over one graph and the same inputs write byte-identical files, and no file holds a time, a commit, an absolute path or a host name of the run's own.

no example exercises it

rule.linksResolve line 34 · specs/consumers/spec-studio.publisher.sdp.md:34

Every link a page writes stays inside the page set: it resolves to a page the run wrote and, with a fragment, to an element id that page carries, apart from the search page's term fragment search.html#q=<term>, which names no element. No page links a carrier or source file, an editor URI or an external address; the only link that leaves the page set is one the stamp element adds in the browser from a present stamp's source template.

no example exercises it

0 unkeyed rules.

Example space

Given an extraction root holding {corpus:"a Pack and its member Specs"|"a Spec with a validation error"|"a carrier the extractor refuses"} and a stale Studio page {stalePage:string}
When the studio command runs twice at that root, with check-clean {checkClean:boolean}
Then each run exits {exitCode:number}
Then the page set holds the entry page {entryPage:string}
Then the two runs wrote byte-identical files: {byteIdentical:boolean}
Then the stale page survives: {staleSurvives:boolean}
Then a temporary Studio sibling survives: {temporarySurvives:boolean}
Then every carrier and source file under the root stays byte-identical: {rootUntouched:boolean}
Then every link a page writes resolves inside the page set: {linksResolve:boolean}

Verifier bindings

• test:protocol.studio-data · anchored · test anchor binding present · test/studio-data.test.ts:26

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

  Test anchors: test:protocol.studio-data. Specs verified by those bindings: spec:consumers.spec-studio.data, spec:consumers.spec-studio.publisher.

  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

  Name	Suite	Result	Duration
  counts every Pack exactly as recipe 29	Studio data over 'Protocol'	passed	555.49 ms
  keeps one search record per node, fields unchanged and bindings decoded	Studio data over 'Protocol'	passed	417.56 ms
  matches recipe 23's exact rows for suffix	Studio data over 'Protocol'	passed	439.94 ms
  matches recipe 23's exact rows for rule	Studio data over 'Protocol'	passed	440.19 ms
  matches recipe 23's exact rows for type	Studio data over 'Protocol'	passed	451.18 ms
  matches recipe 23's exact rows for outcome	Studio data over 'Protocol'	passed	360.45 ms
  matches recipe 23's exact rows for order	Studio data over 'Protocol'	passed	386.84 ms
  matches recipe 23's exact rows for decision	Studio data over 'Protocol'	passed	459.59 ms
  matches recipe 23's exact rows for graphOnly	Studio data over 'Protocol'	passed	460.52 ms
  keeps rails in Pack-id and authored-member order, with severity and space ownership	Studio data over 'Protocol'	passed	384.07 ms
  counts every Pack exactly as recipe 29	Studio data over 'checkout'	passed	3.14 ms
  keeps one search record per node, fields unchanged and bindings decoded	Studio data over 'checkout'	passed	2.34 ms
  matches recipe 23's exact rows for suffix	Studio data over 'checkout'	passed	2.95 ms
  matches recipe 23's exact rows for rule	Studio data over 'checkout'	passed	4.28 ms
  matches recipe 23's exact rows for type	Studio data over 'checkout'	passed	4.34 ms
  matches recipe 23's exact rows for outcome	Studio data over 'checkout'	passed	7.48 ms
  matches recipe 23's exact rows for order	Studio data over 'checkout'	passed	4.54 ms
  matches recipe 23's exact rows for decision	Studio data over 'checkout'	passed	4.2 ms
  matches recipe 23's exact rows for graphOnly	Studio data over 'checkout'	passed	4.38 ms
  keeps rails in Pack-id and authored-member order, with severity and space ownership	Studio data over 'checkout'	passed	3.52 ms
  serializes embedded JSON with no literal less-than character	not recorded	passed	0.34 ms
  encodes uppercase ids without case-insensitive page collisions	not recorded	passed	0.32 ms
  preserves coined non-string entries, question and rule addresses and their lines	not recorded	passed	0.85 ms
  keeps term addresses, keys and physical lines aligned with recipe 23	not recorded	passed	5.18 ms
  shares only parameterless recipe answers within one Studio evaluation	not recorded	passed	1.6 ms

• test:protocol.studio-publisher · anchored · test anchor binding present · test/studio-publisher.test.ts:26

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

  Test anchors: test:protocol.studio-publisher. Specs verified by those bindings: spec:consumers.spec-studio, spec:consumers.spec-studio.publisher.

  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

  Name	Suite	Result	Duration
  validates once and passes the build report through the reader and recipe evaluations	Studio publication	passed	63.16 ms
  publishes the layout, copies fixture assets and replaces stale pages and temporary siblings	Studio publication	passed	29.14 ms
  writes byte-identical pages twice and opens every placeholder link inside the page set	Studio publication	passed	50.97 ms
  publishes validation findings and returns nonzero without withholding the pages	Studio publication	passed	17.66 ms
  shows a finding with an anchor subject or no subject only on the index	Studio publication	passed	9.35 ms
  leaves no root or temporary after an extraction failure	Studio publication	passed	5.46 ms
  build invalidates the Studio and its temporary sibling	Studio publication	passed	3.24 ms
  validate invalidates the Studio and its temporary sibling	Studio publication	passed	2.84 ms
  view invalidates the Studio and its temporary sibling	Studio publication	passed	5.54 ms
  census invalidates the Studio and its temporary sibling	Studio publication	passed	4.17 ms
  mermaid invalidates the Studio and its temporary sibling	Studio publication	passed	3.82 ms
  gherkin invalidates the Studio and its temporary sibling	Studio publication	passed	4.73 ms
  refuses extraction when invalidation cannot remove the Studio	Studio publication	passed	0.64 ms
  check-clean accepts clean pages and replaces them with identical bytes	Studio publication	passed	28.74 ms
  check-clean refuses missing output and removes it	Studio publication	passed	18.89 ms
  check-clean refuses drift output and removes it	Studio publication	passed	40.87 ms
  check-clean refuses stale output and removes it	Studio publication	passed	22.5 ms
  check-clean refuses independently divergent renders	Studio publication	passed	25.67 ms
  removes output when an asset cannot be read	Studio publication	passed	8.4 ms
  refuses a renderer path that would overwrite authored source	Studio publication	passed	6.22 ms
  dispatches studio with shared exclusions and advertises only its ruled flags	Studio publication	passed	9.67 ms

Requirement drawing

Decisions

• The shipped projections stay frozen

  Re-specifying the shipped Design Review, census, Mermaid, or Gherkin projection is refused. These four projections are the ruled read surfaces over the one graph. A later decision Spec that supersedes this one replaces the ruling whole; a decision Spec that refines this one narrows it for one projection or one rendering and leaves the rest frozen. Either passes the ADR three-part test.

• component:protocol.cli · entry points, shared build and publication · src/cli/build-command.ts:32 · layer edge · context protocol

  Uses

  • component:protocol.adapters · external runtime and source adapters · src/adapters/vitest.ts:23 · layer adapter · context protocol
  • component:protocol.codegen · contracts and registrar output · src/codegen/contracts.ts:633 · layer application · context protocol
  • component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:192 · layer application · context protocol
  • component:protocol.graph · the one graph and its semantic decisions · src/graph/schema.ts:34 · layer domain · context protocol
  • component:protocol.import · canonical conversion with a fidelity boundary · src/import/import.ts:45 · layer application · context protocol
  • component:protocol.model · the authored contracts and stable ids · src/model/anchors.ts:100 · layer domain · context protocol
  • component:protocol.projections · read-only output, layout and owned publication · src/projections/design-review.ts:29 · layer edge · context protocol
  • component:protocol.reader · the typed graph contract and body evaluator · src/reader/reader.ts:671 · layer application · context protocol
  • component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · context protocol
• component:protocol.projections · read-only output, layout and owned publication · src/projections/design-review.ts:29 · layer edge · context protocol

  Uses

  • component:protocol.extract · the carrier and source pipeline · src/extract/index.ts:192 · layer application · context protocol
  • component:protocol.graph · the one graph and its semantic decisions · src/graph/schema.ts:34 · layer domain · context protocol
  • component:protocol.model · the authored contracts and stable ids · src/model/anchors.ts:100 · layer domain · context protocol
  • component:protocol.notation · the leaf step codec · src/notation/slots.ts:261 · layer domain · context protocol
  • component:protocol.reader · the typed graph contract and body evaluator · src/reader/reader.ts:671 · layer application · context protocol
  • component:protocol.validate · one finding currency and ordered checks · src/validate/validators.ts:72 · layer domain · context protocol
• impl:protocol.build-pipeline-emit · stages build outputs, checks determinism and invalidates projections · src/cli/build-command.ts:251

  Component: component:protocol.cli · entry points, shared build and publication · src/cli/build-command.ts:32 · layer edge · context protocol

  Uses

  None.

• impl:protocol.studio-command · validates and renders the Studio with independent byte checks and diagnostic exit codes · src/cli/studio-command.ts:106

  Component: component:protocol.cli · entry points, shared build and publication · src/cli/build-command.ts:32 · layer edge · context protocol

  Uses

  None.

• impl:protocol.studio-page-catalog · selects Studio pages, optional inputs and Pack exports · src/projections/studio/pages/index.ts:21

  Component: component:protocol.projections · read-only output, layout and owned publication · src/projections/design-review.ts:29 · layer edge · context protocol

  Uses

  None.

• impl:protocol.studio-paths · encodes uppercase id letters for collision-free Pack and Spec page paths · src/projections/studio/paths.ts:2

  Component: component:protocol.projections · read-only output, layout and owned publication · src/projections/design-review.ts:29 · layer edge · context protocol

  Uses

  None.

• impl:protocol.studio-publish · copies local assets and replaces the Studio directory through its temporary sibling · src/projections/studio/publish.ts:24

  Component: component:protocol.projections · read-only output, layout and owned publication · src/projections/design-review.ts:29 · layer edge · context protocol

  Uses

  None.

Runtime observation: not tracked.

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.