The runs page shows a run as external evidence from a test file

outcome

Execute the runs page on one report: the run named by its tool, its results under the test file they join, and no page saying a Spec or a verifier passed.

assumptions

• The world writes a root with one Spec and one test file holding a specTest anchor that verifies it, writes one CTRF report whose three tests name that file, two passed and one failed, builds the page set with the report as run records, and reads the runs page, then the tests lens and the Spec page for any sentence saying that the Spec or the verifier passed.

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}

Verifier bindings

• test:protocol.run-external · anchored · test anchor binding present · test/studio-s4.test.ts:378

  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 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
  recipe 45 joins normalized paths, preserves records and graph facts, and diagnoses other inputs	not recorded	passed	40.92 ms
  renders external run evidence with result rows, metadata, diagnostics and conditional navigation	not recorded	passed	67.13 ms
  reads repeated --runs before extraction and leaves input bytes untouched	not recorded	passed	77.06 ms
  stamps apart, touches no page, refuses bad sources and removes the stamp on rebuild	not recorded	passed	32.06 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	3.95 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	8.41 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	12.66 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	34.33 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	96.39 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	39.65 ms
  the stamp links source locations only after an HTTP stamp loads, encoding path segments	not recorded	passed	7.34 ms
  recipe 45 picks the longest suffix and scopes through enabled examples at file grain	not recorded	passed	11.36 ms
  ships a reusable preview, disabled by default, and deploys its own pull requests with runs and diff	not recorded	passed	14.97 ms
  the tests lens counts file results once per Spec and names every run input	not recorded	passed	27.49 ms
  the Pack sentence keeps the graph's binding limit and positively names external evidence	not recorded	passed	16.99 ms
  run metadata labels build and branch, and absent fields read not recorded	not recorded	passed	0.47 ms
  unjoined records escape outside names and explain both reason codes in words	not recorded	passed	11.52 ms
  run files show the file alone, bindings and Suite, with one header per run	not recorded	passed	15.6 ms
  recipe 45 does not join a suffix inside a path segment	not recorded	passed	3.52 ms
  stamp defaults to unknown and a stamped page set passes check-clean	not recorded	passed	53.15 ms
  every reusable preview job's permissions fit the CI caller's grant	not recorded	passed	15.05 ms
  PR checks and preview stamps name the same default merge checkout	not recorded	passed	8 ms
  preview download is optional and cancelled or skipped checks do not call it	not recorded	passed	5.14 ms
  deploy checks the enabled Pages source before writing: gh-pages	not recorded	passed	19.63 ms
  deploy checks the enabled Pages source before writing: main	not recorded	passed	30.39 ms
  deploy checks the enabled Pages source before writing: disabled	not recorded	passed	17.67 ms
  deploy succeeds only once Pages publishes the pushed commit: an unrelated errored build is newest	not recorded	passed	140.26 ms
  deploy succeeds only once Pages publishes the pushed commit: a retried build follows an errored one	not recorded	passed	28.04 ms
  deploy succeeds only once Pages publishes the pushed commit: the build errors	not recorded	passed	54.7 ms
  deploy succeeds only once Pages publishes the pushed commit: the commit is never built	not recorded	passed	180.31 ms
  deploy succeeds only once Pages publishes the pushed commit: the answer arrives after the wait	not recorded	passed	1540.7 ms
  preview still stamps and uploads rendered pages when evidence is absent and validation fails	not recorded	passed	59.93 ms
  places external file rows under their verifier and renders shared files once	not recorded	passed	35.82 ms
  accepts the preview workflow's base and run flags together	not recorded	passed	18.01 ms
  formats external run durations to at most two decimals on every page	not recorded	passed	10.89 ms

Requirement drawing

• Satisfying or referencing units: no recorded binding.

Decisions

No decision record named.

No implementation neighborhood recorded.

Runtime observation: not tracked.

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.