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:380

  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 2: external run evidence from vitest 4.1.10

  Build: CI 439 · Branch: docs/articles-refresh-1 · Commit: 61576184ea9f39b7f91c51fef5ff991b0bf2d0e6 · Start: 2026-11-04T07:59:39.962Z · Stop: 2026-11-04T08:03:39.928Z

  Name	Suite	Result	Duration
  recipe 45 joins normalized paths, preserves records and graph facts, and diagnoses other inputs	not recorded	passed	69.67 ms
  renders external run evidence with result rows, metadata, diagnostics and conditional navigation	not recorded	passed	84.97 ms
  reads repeated --runs before extraction and leaves input bytes untouched	not recorded	passed	116.31 ms
  stamps apart, touches no page, refuses bad sources and removes the stamp on rebuild	not recorded	passed	87.69 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	11.8 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	12.06 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	21.87 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	70.61 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	124.05 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	60.95 ms
  the stamp links source locations only after an HTTP stamp loads, encoding path segments	not recorded	passed	8.05 ms
  recipe 45 picks the longest suffix and scopes through enabled examples at file grain	not recorded	passed	13.53 ms
  ships a reusable preview, disabled by default, and deploys its own pull requests with runs and diff	not recorded	passed	17.38 ms
  the tests lens counts file results once per Spec and names every run input	not recorded	passed	37.44 ms
  the Pack sentence keeps the graph's binding limit and positively names external evidence	not recorded	passed	29.77 ms
  run metadata labels build and branch, and absent fields read not recorded	not recorded	passed	0.71 ms
  unjoined records escape outside names and explain both reason codes in words	not recorded	passed	18.61 ms
  run files show the file alone, bindings and Suite, with one header per run	not recorded	passed	17.78 ms
  recipe 45 does not join a suffix inside a path segment	not recorded	passed	4.29 ms
  stamp defaults to unknown and a stamped page set passes check-clean	not recorded	passed	67.56 ms
  every reusable preview job's permissions fit the CI caller's grant	not recorded	passed	19.42 ms
  PR checks and preview stamps name the same default merge checkout	not recorded	passed	16.05 ms
  preview download is optional and cancelled or skipped checks do not call it	not recorded	passed	16.59 ms
  deploy checks the enabled Pages source before writing: gh-pages	not recorded	passed	21.31 ms
  deploy checks the enabled Pages source before writing: main	not recorded	passed	25.62 ms
  deploy checks the enabled Pages source before writing: disabled	not recorded	passed	12.32 ms
  deploy succeeds only once Pages publishes the pushed commit: an unrelated errored build is newest	not recorded	passed	111.37 ms
  deploy succeeds only once Pages publishes the pushed commit: a retried build follows an errored one	not recorded	passed	37.58 ms
  deploy succeeds only once Pages publishes the pushed commit: the build errors	not recorded	passed	41.82 ms
  deploy succeeds only once Pages publishes the pushed commit: the commit is never built	not recorded	passed	735.47 ms
  deploy succeeds only once Pages publishes the pushed commit: the answer arrives after the wait	not recorded	passed	1540.55 ms
  preview still stamps and uploads rendered pages when evidence is absent and validation fails	not recorded	passed	130.42 ms
  places external file rows under their verifier and renders shared files once	not recorded	passed	61.71 ms
  accepts the preview workflow's base and run flags together	not recorded	passed	56.64 ms
  formats external run durations to at most two decimals on every page	not recorded	passed	18.88 ms
  preview stamps only this invocation's page set: malformed-runs	not recorded	passed	800.83 ms
  preview stamps only this invocation's page set: escaping-parent	not recorded	passed	53.99 ms
  preview stamps only this invocation's page set: fresh-findings	not recorded	passed	1732.01 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.