outcomeEach watch cycle writes the page set a plain run writes
spec:consumers.spec-studio.publisher.watch.matches-plain-runPacks: pack:self-hosting-v1, pack:spec-studio-v1
Design: no design entries · no pinned declarations · no decisions
Findings: no errors, no warnings
specs/consumers/spec-studio.publisher.watch.matches-plain-run.sdp.md
No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.
Given
an extraction root holding a Pack and its member Specs and a stale Studio page {stalePage: "specs/probe.departed.html"}When
the studio command runs under watch at that root while one member carrier changes {changes: 2} timesThen
the watch exits {exitCode: 0} on SIGINT
each watch cycle wrote the page set a plain run writes: {cyclesMatchPlainRun: true}
the page set holds a script the plain run does not write: {injectedScript: false}
the stale page survives: {staleSurvives: false}
a temporary Studio sibling survives: {temporarySurvives: false}Composing needs the script.
Intent
- Execute the watch on a root whose member carrier changes, and hold each cycle's page set to a plain run's.
assumptions- The world writes a root with one Pack of two member Specs and plants the stale page, starts the watch through the command's watch hooks, changes the first member's title twice, waiting for each cycle, and after each cycle runs a plain studio command over a copy of the root as it stands and compares the two page sets file by file; it then stops the watch with SIGINT and reads the exit code.
Behavior
Examples
Given an extraction root holding a Pack and its member Specs and a stale Studio page {stalePage: "specs/probe.departed.html"}
When the studio command runs under watch at that root while one member carrier changes {changes: 2} times
Then the watch exits {exitCode: 0} on SIGINT
Then each watch cycle wrote the page set a plain run writes: {cyclesMatchPlainRun: true}
Then the page set holds a script the plain run does not write: {injectedScript: false}
Then the stale page survives: {staleSurvives: false}
Then a temporary Studio sibling survives: {temporarySurvives: false}Verification
Verifier bindings
- test:protocol.studio-watch-plain · anchored · test anchor binding present ·
test/studio-s5.test.ts:359External run evidence from
test/studio-s5.test.tsTest anchors:
test:protocol.studio-export-contained,test:protocol.studio-intent-handoff,test:protocol.studio-intents-refresh,test:protocol.studio-memo-shared,test:protocol.studio-watch-plain. Specs verified by those bindings: spec:consumers.edit-model, spec:consumers.intent-composition, spec:consumers.intent-composition.proposal.memo, spec:consumers.intent-composition.proposal.memo.shared, spec:consumers.spec-studio.components, spec:consumers.spec-studio.export, spec:consumers.spec-studio.export.self-contained, spec:consumers.spec-studio.intent-panel, spec:consumers.spec-studio.intent-panel.refresh-keeps-intents, spec:consumers.spec-studio.publisher.watch, spec:consumers.spec-studio.publisher.watch.matches-plain-run, spec:consumers.spec-studio.responsive.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 executes the bound example against a fresh world Refreshing a tab keeps every gathered intent (spec:consumers.spec-studio.intent-panel.refresh-keeps-intents) passed 9.92 ms executes the bound example against a fresh world Recipe 49 and the composing panel write one memo for one proposal (spec:consumers.intent-composition.proposal.memo.shared) passed 4.43 ms executes the bound example against a fresh world A Pack's export opens alone and keeps its links inside it (spec:consumers.spec-studio.export.self-contained) passed 63.32 ms executes the bound example against a fresh world Each watch cycle writes the page set a plain run writes (spec:consumers.spec-studio.publisher.watch.matches-plain-run) passed 124.81 ms keeps unsupported intents apart and expands Pack members only against the stamped base not recorded passed 2.27 ms returns the same schema problems as recipe 38 and renders in any corpus not recorded passed 10.03 ms composes locally without changing source or requesting a network service not recorded passed 1.54 ms keeps the last local intents when storage refuses writes not recorded passed 0.29 ms keeps unsaved local intents when storage remains readable but its quota refuses writes not recorded passed 0.27 ms rewrites SVG and accessibility references without changing subject attributes or authored text not recorded passed 6.38 ms opens disclosures for print and restores exactly their prior state not recorded passed 1.43 ms leaves Mermaid source closed for print unless the reader opened it not recorded passed 1.06 ms stops the actual Studio watch process with exit zero on SIGINT not recorded passed 491.48 ms removes a failed watch publication, keeps watching and recovers on the next carrier edit not recorded passed 33.93 ms ships a phone layout and a print stylesheet for the whole canvas not recorded passed 10.85 ms keeps exports graph-only when the browsing pages receive a base and run records not recorded passed 27 ms starts no cycle for source or input-file events not recorded passed 30.93 ms merges concurrent panels before gathering or discarding and flags rejected storage records not recorded passed 0.6 ms refreshes the browser panel on storage and pageshow and removes those listeners on disconnect not recorded passed 1.47 ms prefills compose with the authored entry text including code spans and no rendered annotations not recorded passed 15.53 ms omits blank exact text and reports whitespace requests in the compose dialog not recorded passed 2.42 ms uses the stamp base, labels fields, orders actions and copies and saves the named documents not recorded passed 5.09 ms copies distinct actions and recorded scopes for both Pack choices without a stamp not recorded passed 2.97 ms keeps Pack framing changes apart and gathers scenario editor steps verbatim not recorded passed 2.66 ms matches the literal memo for the shared proposal, including the full relation and document not recorded passed 0.93 ms keeps the last watch pages when an optional base becomes unreadable, just like a plain run not recorded passed 986.18 ms inlines the selected stylesheet asset in exports and publishes those same style bytes not recorded passed 25.93 ms introduces studio before its watch option and gives recipe 49 a use case not recorded passed 4.36 ms renders edit scenario steps outside inert templates without script not recorded passed 1.08 ms renders propose scenario steps outside inert templates without script not recorded passed 0.72 ms writes both memo reasons as code spans: "<details>Review the design.</details>", "`Keep` the ``literal`` reason`" not recorded passed 0.7 ms writes both memo reasons as code spans: "`Review` the ``design`` reason`", "<details>Keep the change.</details>" not recorded passed 0.43 ms fences requests so their Markdown cannot alter the memo: "Fix a typo.\n<!--" not recorded passed 0.89 ms fences requests so their Markdown cannot alter the memo: "Use this text.\n```\n## Forged heading\n``````\n<!--hidden-->" not recorded passed 0.7 ms contains phone navigation, stamp and wide tables within the viewport not recorded passed 15.39 ms keeps the maturity caption readable and empty cells compact on a phone not recorded passed 7.6 ms aligns maturity cell counts with the empty cell dashes not recorded passed 4.92 ms keeps table headers and one-word cells intact while allowing word-boundary wrapping not recorded passed 7.32 ms keeps natural desktop diagram size and fits only on phones not recorded passed 7.69 ms hides phone scroll advice and closed source in print while keeping opened source printable not recorded passed 18.32 ms
Design view
Requirement drawing
- Satisfying or referencing units: no recorded binding.
The diagram as text
- spec:consumers.spec-studio.publisher.watch.matches-plain-run: Each watch cycle writes the page set a plain run writes · declared Spec
- spec:consumers.spec-studio.publisher.watch: sdp studio --watch rebuilds the page set on each carrier change · declared Spec
- test:protocol.studio-watch-plain: test:protocol.studio-watch-plain · anchored test binding · binding present ·
test/studio-s5.test.ts:359 - spec:consumers.spec-studio.publisher.watch.matches-plain-run refines spec:consumers.spec-studio.publisher.watch · declared
- spec:consumers.spec-studio.publisher.watch.matches-plain-run verifies spec:consumers.spec-studio.publisher.watch · declared
- test:protocol.studio-watch-plain verifies spec:consumers.spec-studio.publisher.watch.matches-plain-run · anchored
Mermaid source
Copyable source; the Studio draws static SVG.
Preferred and chosen syntax: requirementDiagram; exact refines, satisfies and verifies, with claim words in nodes and per-edge comments.
Decisions
No decision record named.
Runtime
No implementation neighborhood recorded.
Runtime observation: not tracked.
Evidence
Runtime observation: not tracked.
Build attestations: not tracked.
Deployments: not tracked.
Bills of materials: not tracked.
Impact
- E2: verifies · declared
The diagram as text
- spec:consumers.spec-studio.publisher.watch: sdp studio --watch rebuilds the page set on each carrier change
- spec:consumers.spec-studio.publisher.watch.matches-plain-run: Each watch cycle writes the page set a plain run writes
- spec:consumers.spec-studio.publisher.watch.matches-plain-run refines spec:consumers.spec-studio.publisher.watch · declared
- spec:consumers.spec-studio.publisher.watch.matches-plain-run verifies spec:consumers.spec-studio.publisher.watch · declared
Mermaid source
Copyable source; the Studio draws static SVG.
Preferred syntax: flowchart. Chosen syntax: labelled flowchart, preserving exact relations, claims and folds.
Rests on
- refines · spec:consumers.spec-studio.publisher.watch · stated ready, floor ready
Rested on by
No Spec rests on this Spec.
Relations
| Relation and direction | Other end | Claim | Reason | Exercised keys |
|---|---|---|---|---|
| refines · outgoing | sdp studio --watch rebuilds the page set on each carrier changespec:consumers.spec-studio.publisher.watch · resolves | declared | None | None |
| verifies · outgoing | sdp studio --watch rebuilds the page set on each carrier changespec:consumers.spec-studio.publisher.watch · resolves | declared | None | watch |
Bindings
Implementation binding: none
Design reference: none
Verifier binding: present
- test:protocol.studio-watch-plain · anchored ·
test/studio-s5.test.ts:359· test anchor
Expected-outcome oracle: none
Runtime observation: not tracked.
Run results: not recorded in the graph.
Findings
None.
Composing (0)
Composing needs the script.