The runs page shows the run records the build was given, joined to test files

outcome

Let a person read, from a link, the test runs the build was given, which anchored test files each joins, and which records join none, each labelled as external evidence.

rule.onlyWithRuns line 23 · specs/consumers/spec-studio.runs-page.sdp.md:23

The page set holds runs.html only when the build was given run records; without them, no page, link or row names a run.

no example exercises it

rule.namesEachRun line 24 · specs/consumers/spec-studio.runs-page.sdp.md:24

The page names each run by its position among the inputs and its own fields: its tool and version, its build name and number, its branch, its commit, and its start and stop times as recorded, a field the record lacks reading not recorded.

spec:consumers.spec-studio.runs-page.external-evidence · enabled

rule.externalEvidence line 25 · specs/consumers/spec-studio.runs-page.sdp.md:25

Every place a run shows, on this page, in the tests lens and on a Spec page, says in words that it is external run evidence from a test file, and none says that a Spec or a verifier passed.

spec:consumers.spec-studio.runs-page.external-evidence · enabled

rule.runSections line 26 · specs/consumers/spec-studio.runs-page.sdp.md:26

For each run the page shows how many of its tests passed, failed, were skipped, pending or other, in words, then each test file it joins, with the test anchors in that file, the Specs they verify, linked, and each test's name, suite, result in words and duration, then the records that join no test anchor, each with its reason, no file path or no test anchor in that file.

spec:consumers.spec-studio.runs-page.external-evidence · enabled

rule.commitShown line 27 · specs/consumers/spec-studio.runs-page.sdp.md:27

Each run shows its commit, and the page never says a run is fresh or stale; a stamp present beside the page set names the corpus commit the publishing step recorded, so a reader compares the two.

no example exercises it

Cited at

• test/skills.test.ts:1841

rule.diagnosticsShown line 28 · specs/consumers/spec-studio.runs-page.sdp.md:28

An input recipe 45 cannot read as a run record shows with its problem, and the other inputs still show.

no example exercises it

rule.packPageSentence line 29 · specs/consumers/spec-studio.runs-page.sdp.md:29

Given run records, the sentence over a Pack page's members with no verifier binding also says that the runs page, the tests lens and the Spec pages of the Specs their files verify show the run records as external evidence from test files; it never says that no page shows a run result.

no example exercises it

0 unkeyed rules.

Verifying examples

Given one CTRF report whose tool is {tool: "vitest"} at version {version: "3.2.4"}, and whose tests in an anchored test file {passed: 2} passed and {failed: 1} failed
When the build renders the runs page
Then the run's heading reads {heading: "Run 1: external run evidence from vitest 3.2.4"}
Then the page lists {rows: 3} results under that test file
Then a page says that a Spec or a verifier passed: {verdict: false}

Example space

Given one CTRF report whose tool is {tool:string} at version {version:string}, and whose tests in an anchored test file {passed:number} passed and {failed:number} failed
When the build renders the runs page
Then the run's heading reads {heading:string}
Then the page lists {rows:number} results under that test file
Then a page says that a Spec or a verifier passed: {verdict:boolean}

runHeader line 32 · specs/consumers/spec-studio.runs-page.sdp.md:32

Run <n>: external run evidence from <tool> <version>, <n> the input's position counting from 1 and the version left out when the record names none, then a line with the build, branch, commit and times, each labelled, a time written as an ISO 8601 UTC time from the milliseconds the record holds.

fileRow line 33 · specs/consumers/spec-studio.runs-page.sdp.md:33

the file as text with a copy action, the anchors in it as code, the Specs they verify as links, then a table of results with columns name, suite, result and duration. A duration shows milliseconds with at most two decimals, rounded and without trailing zeroes, as 2.84 ms, 0.46 ms or 12 ms; short headers and one-word cells never break inside a word.

unjoinedRow line 34 · specs/consumers/spec-studio.runs-page.sdp.md:34

the test's name, its file path or no file path, its result in words, and the reason.

Verifier bindings

• spec:consumers.spec-studio.runs-page.external-evidence · The runs page shows a run as external evidence from a test file · declared · example enabled · specs/consumers/spec-studio.runs-page.external-evidence.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

Requirement drawing

Decisions

• Bindings state existence, not liveness

  Delivery facts record bindings and enabled verifier existence; coverage gaps and human readiness practice remain explicit without becoming graph facts.

• 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-run-rows · renders recipe 45 file rows shared by the runs page and verification panel · src/projections/studio/pages/run-rows.ts:69

  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-runs-page · renders readable CTRF inputs, file results, unjoined records and diagnostics · src/projections/studio/pages/runs-page.ts:6

  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.