The Studio reads two named inputs beside the graph, a base graph and run records

outcome

Let the Studio's build read a base graph and run records beside the graph, each named where it shows, while the graph alone writes the page set when neither is given.

rule.namedInputs line 25 · specs/consumers/spec-studio.data.inputs.sdp.md:25

Beside the graph the build reads at most two inputs, each named on the command line: a base graph, the graph object sdp build wrote at an earlier commit, which reaches recipe 35 as params.base; and run records, each one Common Test Report Format document, which reach recipe 45 as params.runs. The build reads neither in any other way.

spec:consumers.spec-studio.data.inputs.both-given · enabled, spec:consumers.spec-studio.data.inputs.graph-only · enabled

rule.inputFlags line 26 · specs/consumers/spec-studio.data.inputs.sdp.md:26

The studio verb also takes --base PATH, naming the base graph, a JSON file sdp build wrote; --base-label TEXT, the words that name the base graph on its pages; and --runs PATH, naming one run record, a JSON file in the Common Test Report Format, repeatable, the records keeping the order of their flags. --base-label without --base, or --base given twice, is refused.

spec:consumers.spec-studio.data.inputs.both-given · enabled

rule.inputPlacement line 27 · specs/consumers/spec-studio.data.inputs.sdp.md:27

Before extraction or output cleanup, the command refuses an input path that the build could write or remove, including a path beneath a projection root and an alias resolving to such a path; it reports the flag and path, exits 1 and changes no file.

no example exercises it

rule.unreadableInput line 28 · specs/consumers/spec-studio.data.inputs.sdp.md:28

An input file that cannot be read or does not hold JSON refuses the run before extraction, with exit 1 and one line on stderr naming the flag and the path; a JSON value a recipe cannot read shows on its page as that recipe's diagnostics.

no example exercises it

rule.inputPages line 29 · specs/consumers/spec-studio.data.inputs.sdp.md:29

An input adds pages and page sections, never a data file: the base graph adds diff.html and the changed-since-base sections of the Spec and Pack pages, and run records add runs.html and the run rows of the tests lens and the verification panels.

spec:consumers.spec-studio.data.inputs.both-given · enabled, spec:consumers.spec-studio.data.inputs.graph-only · enabled

rule.inputNaming line 30 · specs/consumers/spec-studio.data.inputs.sdp.md:30

A page that shows an input names it in words, the base graph by its label when it was given one, its schema version and its Spec count, and a run as spec:consumers.spec-studio.runs-page names it; no page holds an input's path.

spec:consumers.spec-studio.data.inputs.both-given · enabled

rule.inputsNeverGraph line 31 · specs/consumers/spec-studio.data.inputs.sdp.md:31

An input never becomes graph data, a delivery fact, a finding, a rung or a verdict: no page counts a run toward a binding, and no difference from the base moves a rung.

spec:consumers.spec-studio.data.inputs.both-given · enabled

rule.inputsUntouched line 32 · specs/consumers/spec-studio.data.inputs.sdp.md:32

A run leaves every input file byte-identical.

no example exercises it

rule.sameInputsSameBytes line 33 · specs/consumers/spec-studio.data.inputs.sdp.md:33

Without inputs the page set is the one the graph alone writes; with them, the same graph and the same input bytes and labels write the same page set, byte for byte, and a value an input carries, such as a run's commit and times, shows only on the pages that name that input.

spec:consumers.spec-studio.data.inputs.both-given · enabled, spec:consumers.spec-studio.data.inputs.graph-only · enabled

0 unkeyed rules.

Verifying examples

Given an extraction root holding a Pack and its member Specs
Given the studio command is given the base graph {base: "an earlier graph of the root"} and the run records {runs: "one CTRF report"}
When the studio command runs twice with those inputs
Then the two runs wrote byte-identical files: {byteIdentical: true}
Then the page set holds the diff page: {diffPage: true}
Then the page set holds the runs page: {runsPage: true}
Then every page that shows an input names it and holds no input path: {inputsNamed: true}

Given an extraction root holding a Pack and its member Specs
Given the studio command is given the base graph {base: "none"} and the run records {runs: "none"}
When the studio command runs twice with those inputs
Then the two runs wrote byte-identical files: {byteIdentical: true}
Then the page set holds the diff page: {diffPage: false}
Then the page set holds the runs page: {runsPage: false}
Then every page that shows an input names it and holds no input path: {inputsNamed: true}

Example space

Given an extraction root holding a Pack and its member Specs
Given the studio command is given the base graph {base:"none"|"an earlier graph of the root"} and the run records {runs:"none"|"one CTRF report"}
When the studio command runs twice with those inputs
Then the two runs wrote byte-identical files: {byteIdentical:boolean}
Then the page set holds the diff page: {diffPage:boolean}
Then the page set holds the runs page: {runsPage:boolean}
Then every page that shows an input names it and holds no input path: {inputsNamed:boolean}

studioInputs line 36 · specs/consumers/spec-studio.data.inputs.sdp.md:36

{ base?: { graph: unknown; label: string | null }; runs: unknown[] }, the inputs the command hands the build: base absent without a base graph, runs the run records in the order the command names them and empty without any.

no citation recorded

baseName line 37 · specs/consumers/spec-studio.data.inputs.sdp.md:37

{ label: string | null; schemaVersion: string; specs: number }, how a page names the base graph: the label the command gave or null, the base graph's schemaVersion, and its count of Spec nodes.

no citation recorded

Verifier bindings

• spec:consumers.spec-studio.data.inputs.both-given · Both inputs add their pages, named, and the same inputs write the same bytes · declared · example enabled · specs/consumers/spec-studio.data.inputs.both-given.sdp.md

  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 391 · Branch: cursor/media-plan-and-articles-09b1 · Commit: 076cd4f1f85640d8236e5cca1bffffa68ab79a33 · Start: 2026-10-31T15:32:20.471Z · Stop: 2026-10-31T15:34:02.073Z

  Name	Suite	Result	Duration
  recipe 45 joins normalized paths, preserves records and graph facts, and diagnoses other inputs	not recorded	passed	32.43 ms
  renders external run evidence with result rows, metadata, diagnostics and conditional navigation	not recorded	passed	64.35 ms
  reads repeated --runs before extraction and leaves input bytes untouched	not recorded	passed	65.17 ms
  stamps apart, touches no page, refuses bad sources and removes the stamp on rebuild	not recorded	passed	33.53 ms
  executes the bound example against a fresh world	A test whose reporter wrote an absolute path joins its anchored file (spec:observation.run-evidence.absolute-path-joins)	passed	6.06 ms
  executes the bound example against a fresh world	A test in a file with no test anchor is reported as unjoined (spec:observation.run-evidence.unanchored-file-unjoined)	passed	7.32 ms
  executes the bound example against a fresh world	The runs page shows a run as external evidence from a test file (spec:consumers.spec-studio.runs-page.external-evidence)	passed	10.49 ms
  executes the bound example against a fresh world	Without inputs the page set is the graph's alone (spec:consumers.spec-studio.data.inputs.graph-only)	passed	26.8 ms
  executes the bound example against a fresh world	Both inputs add their pages, named, and the same inputs write the same bytes (spec:consumers.spec-studio.data.inputs.both-given)	passed	76.23 ms
  executes the bound example against a fresh world	The stamp is written beside the page set, and a later build removes it (spec:consumers.spec-studio.sharing.stamp-written-apart)	passed	31.42 ms
  the stamp links source locations only after an HTTP stamp loads, encoding path segments	not recorded	passed	4.11 ms
  recipe 45 picks the longest suffix and scopes through enabled examples at file grain	not recorded	passed	8.33 ms
  ships a reusable preview, disabled by default, and deploys its own pull requests with runs and diff	not recorded	passed	8.77 ms
  the tests lens counts file results once per Spec and names every run input	not recorded	passed	22.51 ms
  the Pack sentence keeps the graph's binding limit and positively names external evidence	not recorded	passed	19.64 ms
  run metadata labels build and branch, and absent fields read not recorded	not recorded	passed	0.51 ms
  unjoined records escape outside names and explain both reason codes in words	not recorded	passed	8.74 ms
  run files show the file alone, bindings and Suite, with one header per run	not recorded	passed	8.99 ms
  recipe 45 does not join a suffix inside a path segment	not recorded	passed	3.02 ms
  stamp defaults to unknown and a stamped page set passes check-clean	not recorded	passed	30.07 ms
  every reusable preview job's permissions fit the CI caller's grant	not recorded	passed	15.2 ms
  PR checks and preview stamps name the same default merge checkout	not recorded	passed	7.86 ms
  preview download is optional and cancelled or skipped checks do not call it	not recorded	passed	7.96 ms
  deploy checks the enabled Pages source before writing: gh-pages	not recorded	passed	28.99 ms
  deploy checks the enabled Pages source before writing: main	not recorded	passed	34.99 ms
  deploy checks the enabled Pages source before writing: disabled	not recorded	passed	11.65 ms
  deploy succeeds only once Pages publishes the pushed commit: an unrelated errored build is newest	not recorded	passed	127.2 ms
  deploy succeeds only once Pages publishes the pushed commit: a retried build follows an errored one	not recorded	passed	62.59 ms
  deploy succeeds only once Pages publishes the pushed commit: the build errors	not recorded	passed	40.96 ms
  deploy succeeds only once Pages publishes the pushed commit: the commit is never built	not recorded	passed	902.58 ms
  deploy succeeds only once Pages publishes the pushed commit: the answer arrives after the wait	not recorded	passed	1531.29 ms
  preview still stamps and uploads rendered pages when evidence is absent and validation fails	not recorded	passed	92.59 ms
  places external file rows under their verifier and renders shared files once	not recorded	passed	41.84 ms
  accepts the preview workflow's base and run flags together	not recorded	passed	22.06 ms
  formats external run durations to at most two decimals on every page	not recorded	passed	21.61 ms

• spec:consumers.spec-studio.data.inputs.graph-only · Without inputs the page set is the graph's alone · declared · example enabled · specs/consumers/spec-studio.data.inputs.graph-only.sdp.md

Requirement drawing

Decisions

No decision record named.

• 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.studio-base-input · reads named Studio base graphs and run inputs · src/cli/studio-inputs.ts:9

  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-inputs · named base graph and run input contract · src/projections/studio/inputs.ts:1

  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.