The Studio's shell frames every page with navigation, a rail and a canvas

outcome

Let a person move between the index, Packs and Specs from any page, find a Spec by what they remember of it, and read every page by keyboard, on a phone and without its script.

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

Every page has the same shell: a top navigation, a left rail and a main canvas, and it opens with a link that skips to the canvas.

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

A search field is on every page; spec:consumers.spec-studio.search states what it matches and how its results show.

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

The rail's count of findings is the count of the validation report's findings, never a count the page derives.

rule.noRecentEdits line 30 · specs/consumers/spec-studio.shell.sdp.md:30

The shell shows no recent edits and no other history: git holds it.

no example exercises it

rule.stamp line 31 · specs/consumers/spec-studio.shell.sdp.md:31

Served over http or https, the shell reads stamp.json beside the page set and, when it loads, shows the build context it names; a page opened through file:// requests nothing and shows no stamp.

no example exercises it

rule.rungBadge line 32 · specs/consumers/spec-studio.shell.sdp.md:32

A stated rung shows as a badge that carries the rung's word, colored from a palette of four that stays distinct under color blindness; the floor reached shows beside it as words with no color of its own, and only the divergence banner adds a warning color, beside its words.

no example exercises it

rule.wordsBesideColor line 33 · specs/consumers/spec-studio.shell.sdp.md:33

Every meaning a color conveys is also written in words, so no reading depends on color.

no example exercises it

rule.keyboard line 34 · specs/consumers/spec-studio.shell.sdp.md:34

Every link and control is reachable from the keyboard in reading order and shows where the focus is.

no example exercises it

rule.lineLength line 35 · specs/consumers/spec-studio.shell.sdp.md:35

Prose runs no wider than about 80 characters, and a table wider than the canvas scrolls inside its own box, never the page.

no example exercises it

rule.text line 36 · specs/consumers/spec-studio.shell.sdp.md:36

Authored text renders as plain text with each inline code span as code, and no other Markdown is read. A mention the prose-mentions validator reads links to its target's page when the target resolves, and to the entry when the mention is an entry address.

no example exercises it

rule.withoutScript line 37 · specs/consumers/spec-studio.shell.sdp.md:37

Every page but the search page reads in full without its script: its collapsible parts are native disclosure elements, and only filtering, copying, the stamp, pan and zoom, and the composing panel need the script. The search page needs its script to match, and without it says so and links to the index.

no example exercises it

3 unkeyed rules.

The parts of the shell, top to bottom and left to right.

topNavigation line 41 · specs/consumers/spec-studio.shell.sdp.md:41

the Studio's name linking to the index, then Packs, linking to the index's Packs section, then the search field; each lens page the page set holds adds its entry in the order spec:consumers.spec-studio.lenses gives.

stampLine line 42 · specs/consumers/spec-studio.shell.sdp.md:42

at the end of the top navigation, the stamp's corpus commit, engine and build time, when the stamp loads.

leftRail line 43 · specs/consumers/spec-studio.shell.sdp.md:43

on a Pack page, the Pack's members in authored order, each linked to its card on the page; on a Spec page, each Pack the Spec belongs to with its members in authored order, each linked to its Spec page and the current one marked; on any other page, every Pack; then, on a Pack or Spec page, under an Example spaces heading shown only when there is one, each member of the rail's Packs that owns an example space, linked to its Spec page, with no harness named; then the validation report's finding counts by severity, linked to the index's findings.

railOnPhone line 44 · specs/consumers/spec-studio.shell.sdp.md:44

below the phone breakpoint the rail follows the canvas, so a page opens on its content.

mainCanvas line 45 · specs/consumers/spec-studio.shell.sdp.md:45

the page of the Spec or Pack selected in the rail or in a lens.

Verifier bindings

• test:protocol.studio-pages · anchored · test anchor binding present · test/studio-pages.test.ts:18

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

  Test anchors: test:protocol.studio-pages. Specs verified by those bindings: spec:consumers.spec-studio.index-page, spec:consumers.spec-studio.pack-page, spec:consumers.spec-studio.search, spec:consumers.spec-studio.shell, spec:consumers.spec-studio.spec-page.core.

  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
  rejects malformed page links: <div id="same"></div><div id="same"></div>	not recorded	passed	3.03 ms
  rejects malformed page links: <a href="missing.html">Missing</a>	not recorded	passed	0.61 ms
  rejects malformed page links: <a href="#missing">Missing</a>	not recorded	passed	0.42 ms
  rejects malformed page links: <a href="https://example.com">Outside</a>	not recorded	passed	0.3 ms
  renders Model definitions without exposing the derived term key map	Studio static pages	passed	9.63 ms
  frames every browsing page with a skip link, labelled search, rail, canvas, classic script and stamp	Studio static pages	passed	2.2 ms
  lists example-space owners only in Pack and Spec rails	Studio static pages	passed	0.36 ms
  shows a keyed question once with a copy action naming its full address	Studio static pages	passed	0.35 ms
  opens the index with counts, four task routes, every filter and stable section ids	Studio static pages	passed	0.84 ms
  gives each Spec row one rung badge and binding words	Studio static pages	passed	1.06 ms
  puts Pack totals before framing and folds holds into that summary	Studio static pages	passed	0.53 ms
  leaves member names out when every member waits only for its author	Studio static pages	passed	15.8 ms
  agrees each boundary verb with its count	Studio static pages	passed	13.16 ms
  shows only the Spec's own Packs in its rail and every Pack on the index	Studio static pages	passed	21.3 ms
  asserts every index summary sentence including fact-based verifier counts	Studio static pages	passed	10.79 ms
  renders code spans in titles on every page and strips them in document titles	Studio static pages	passed	13.22 ms
  orders rung filters by the ladder and uses none everywhere for an unmet idea floor	Studio static pages	passed	12.07 ms
  keeps navigation links outside Pack disclosure controls	Studio static pages	passed	0.23 ms
  labels next rungs, UI and finding links and avoids repeating absent bindings	Studio static pages	passed	0.49 ms
  renders Pack members in authored order, closed and with one colored badge per summary	Studio static pages	passed	0.7 ms
  renders the four Pack boundary sections and the verifier gap sentence once	Studio static pages	passed	0.29 ms
  shows the stated rung beside its floor and warns only in the dishonest direction	Studio static pages	passed	0.24 ms
  renders every section in order and every addressable entry with its key and recorded line	Studio static pages	passed	0.49 ms
  names the first unmet clause and renders a missing idea floor as none	Studio static pages	passed	5.38 ms
  shows question fields, code location, component, bindings and relations both ways	Studio static pages	passed	0.93 ms
  escapes authored text, reads only code spans and links resolving mentions	Studio static pages	passed	0.42 ms
  links validator-readable escaped mentions and preserves unequal code delimiters	Studio static pages	passed	0.36 ms
  shows findings on the index and only links page-bearing subjects	Studio static pages	passed	10.06 ms
  embeds the index only on search and supplies its element and no-script explanation	Studio static pages	passed	0.78 ms
  resolves all probe links including fragments in dynamic search results	Studio static pages	passed	9.25 ms
  keeps unresolved component bindings as text and resolves every remaining link	Studio static pages	passed	22.76 ms
  renders deterministically with no time or commit metadata	Studio static pages	passed	11.35 ms
  ships the native layout and focus stylesheet in the browser assets	Studio static pages	passed	0.4 ms
  resolves every page link and element fragment	Protocol Studio page set	passed	1364.19 ms
  contains the complete Spec prose without executing script	Protocol Studio page set	passed	103.58 ms

Requirement drawing

• Declared verifying examples: no declared verifying example.

Decisions

No decision record named.

• 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-code-spans · escapes and maps code spans across Studio text · src/projections/studio/pages/code-spans.ts:9

  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-frame · renders Studio navigation, page rails and composing controls · src/projections/studio/pages/frame.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.

• impl:protocol.studio-html · shared Studio HTML, source and link encoding · src/projections/studio/pages/html.ts:8

  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-text · escapes prose and links graph-resolving mentions · src/projections/studio/pages/text.ts:7

  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.