Spec Studio

A component design no anchor realizes draws planned beside the built one

spec:consumers.spec-studio.lenses.architecture.planned-apartExample / Scenario · storyready floor ready

Packs: 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.lenses.architecture.planned-apart.sdp.md

No open questions and no blocking questions; implementation binding none, verifier binding present, and expected-outcome oracle none.

Intent
outcome
Execute the planned component on the architecture lens: drawn in the grid where its design places it, marked planned, and listed apart.
assumptions
  • The world writes a root with one component anchor, component:probe.orders, that states the context orders and the layer domain, and one component design, a Spec whose Design entries name component:probe.payments in the same context and layer, which no anchor realizes; it builds the page set and reads the architecture page: the boxes in the orders lane and the domain band, the boxes carrying data-planned="true", and the rows of the Designed, not built table.
Behavior

Examples

Given component anchors that realize {realized: 1} components in the context {context: "orders"} and the layer {layer: "domain"}
Given component designs that plan {planned: 1} more components in that context and layer, which no anchor realizes
When the build renders the architecture lens
Then the context's column holds {boxes: 2} component boxes in the layer's band
Then the diagram marks {plannedBoxes: 1} boxes planned
Then the Designed, not built section lists {listed: 1} component designs
Verification

Verifier bindings

  • test:protocol.studio-architecture-planned-apart · anchored · test anchor binding present · test/studio-s1.test.ts:716

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

    Test anchors: test:protocol.studio-architecture-planned-apart, test:protocol.studio-coverage-literal, test:protocol.studio-coverage-number, test:protocol.studio-diagram-folds-context, test:protocol.studio-diagram-folds-layer, test:protocol.studio-diagram-within-bound, test:protocol.studio-lenses, test:protocol.studio-tests-coverage-row. Specs verified by those bindings: spec:consumers.agent-surface.example-space-coverage, spec:consumers.agent-surface.example-space-coverage.number-not-enumerable, spec:consumers.agent-surface.example-space-coverage.uncovered-literal, spec:consumers.spec-studio.data.recipe-answers, spec:consumers.spec-studio.diagrams, spec:consumers.spec-studio.diagrams.folds-by-context, spec:consumers.spec-studio.diagrams.folds-by-layer, spec:consumers.spec-studio.diagrams.within-bound, spec:consumers.spec-studio.lenses, spec:consumers.spec-studio.lenses.architecture, spec:consumers.spec-studio.lenses.architecture.planned-apart, spec:consumers.spec-studio.lenses.evidence, spec:consumers.spec-studio.lenses.packs, spec:consumers.spec-studio.lenses.tests, spec:consumers.spec-studio.lenses.tests.coverage-row.

    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

    NameSuiteResultDuration
    bounds and folds 12 componentsStudio diagramspassed38.35 ms
    bounds and folds 45 componentsStudio diagramspassed7.75 ms
    bounds and folds 50 componentsStudio diagramspassed13.87 ms
    keeps every edge in an open text fallbackStudio diagramspassed3.28 ms
    orders grid contexts and layers and wraps cells within the fixed width budgetStudio diagramspassed7.95 ms
    draws planned-use edges dashed independently of planned box outlinesStudio diagramspassed0.94 ms
    checks the edge bound even when boxes fitStudio diagramspassed1.11 ms
    places folded contexts and layers in their own bands below the gridStudio diagramspassed6.6 ms
    places outgoing relation bands above the subject and folds ties in relation orderStudio diagramspassed14.69 ms
    folds trace relation groups and leaves member overflow as textStudio diagramspassed5.47 ms
    keeps recipe and diagram edges in code-unit order under forced Czech collationStudio lensespassed158.05 ms
    publishes all five ordered lenses and honest evidence without scriptStudio lensespassed48.75 ms
    reads verifier binding from the delivery fact and gives absent coverage its own filter valueStudio lensespassed24.68 ms
    labels a primitive-only space with no examples not measurable and hides it under coveredStudio lensespassed19.71 ms
    classifies 'number' with points [ '1' ] and mixed=false as 'not-measurable'Studio lensespassed27.59 ms
    classifies 'string' with points [ '"a"' ] and mixed=false as 'not-measurable'Studio lensespassed22.24 ms
    classifies 'boolean' with points [ 'true' ] and mixed=false as 'not-measurable'Studio lensespassed21.34 ms
    classifies '"a"|"b"' with points [] and mixed=false as 'uncovered'Studio lensespassed9.31 ms
    classifies '"a"|"b"' with points [ '"a"' ] and mixed=false as 'uncovered'Studio lensespassed11.95 ms
    classifies '"a"|"b"' with points [ '"a"', '"b"' ] and mixed=false as 'covered'Studio lensespassed21.28 ms
    classifies '"a"|"b"' with points [ '"a"' ] and mixed=true as 'uncovered'Studio lensespassed13.39 ms
    classifies '"a"|"b"' with points [ '"a"', '"b"' ] and mixed=true as 'covered'Studio lensespassed22.99 ms
    renders member subjects, code spans, used-by counts, differences and empty componentsStudio lensespassed20.35 ms
    describes evidence sources as not trackedStudio lensespassed5.63 ms
    executes the bound example against a fresh worldAn architecture within the bound draws in one diagram, the same bytes twice (spec:consumers.spec-studio.diagrams.within-bound)passed15.29 ms
    executes the bound example against a fresh worldAn architecture over the bound folds by context (spec:consumers.spec-studio.diagrams.folds-by-context)passed9.87 ms
    executes the bound example against a fresh worldOne context over the bound folds by layer (spec:consumers.spec-studio.diagrams.folds-by-layer)passed9.44 ms
    executes the bound example against a fresh worldA component design no anchor realizes draws planned beside the built one (spec:consumers.spec-studio.lenses.architecture.planned-apart)passed16.52 ms
    executes the bound example against a fresh worldA Spec's row on the tests lens counts its exercised keyed rules (spec:consumers.spec-studio.lenses.tests.coverage-row)passed39.4 ms
    executes the bound example against a fresh worldA literal no example binds is reported uncovered, and an unbound child is named (spec:consumers.agent-surface.example-space-coverage.uncovered-literal)passed13.51 ms
    executes the bound example against a fresh worldA number slot is not enumerable and reports no uncovered value (spec:consumers.agent-surface.example-space-coverage.number-not-enumerable)passed4.87 ms
    reuses the build's reader and validation findings during Studio recipe evaluationnot recordedpassed6.42 ms
    documents the component and member fields recipe 17 addsnot recordedpassed2.02 ms
    evaluates each shipped recipe once for its assigned parameters and shares Pack totals, with base falsenot recordedpassed21.1 ms
    evaluates each shipped recipe once for its assigned parameters and shares Pack totals, with base truenot recordedpassed23.64 ms
    keeps label lines bounded and orders member depths numerically with outside units lastnot recordedpassed1.86 ms
    labels planned uses, reports unreadable designs and keeps unknown structure visiblenot recordedpassed14.7 ms
    gives unstated context and layer folds addressable text descriptionsnot recordedpassed1.45 ms
    names a single edge relation once in the legend and preserves its text equivalentnot recordedpassed3.24 ms
    names solid and planned uses once without repeating edge labelsnot recordedpassed1.09 ms
Design view

Requirement drawing

  • Satisfying or referencing units: no recorded binding.
Requirement drawing for spec:consumers.spec-studio.lenses.architecture.planned-apart
The diagram as text
  • spec:consumers.spec-studio.lenses.architecture.planned-apart: A component design no anchor realizes draws planned beside the built one · declared Spec
  • spec:consumers.spec-studio.lenses.architecture: The architecture lens draws components by context and layer, the planned beside the built · declared Spec
  • test:protocol.studio-architecture-planned-apart: test:protocol.studio-architecture-planned-apart · anchored test binding · binding present · test/studio-s1.test.ts:716
  • spec:consumers.spec-studio.lenses.architecture.planned-apart refines spec:consumers.spec-studio.lenses.architecture · declared
  • spec:consumers.spec-studio.lenses.architecture.planned-apart verifies spec:consumers.spec-studio.lenses.architecture · declared
  • test:protocol.studio-architecture-planned-apart verifies spec:consumers.spec-studio.lenses.architecture.planned-apart · 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
Relations of spec:consumers.spec-studio.lenses.architecture.planned-apart
  • E2: verifies · declared
The diagram as text
  • spec:consumers.spec-studio.lenses.architecture: The architecture lens draws components by context and layer, the planned beside the built
  • spec:consumers.spec-studio.lenses.architecture.planned-apart: A component design no anchor realizes draws planned beside the built one
  • spec:consumers.spec-studio.lenses.architecture.planned-apart refines spec:consumers.spec-studio.lenses.architecture · declared
  • spec:consumers.spec-studio.lenses.architecture.planned-apart verifies spec:consumers.spec-studio.lenses.architecture · 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

Rested on by

No Spec rests on this Spec.

Relations

Relation and directionOther endClaimReasonExercised keys
refines · outgoingThe architecture lens draws components by context and layer, the planned beside the built
spec:consumers.spec-studio.lenses.architecture · resolves
declaredNoneNone
verifies · outgoingThe architecture lens draws components by context and layer, the planned beside the built
spec:consumers.spec-studio.lenses.architecture · resolves
declaredNonecontextAndLayer, plannedApart

Bindings

Implementation binding: none

Design reference: none

Verifier binding: present

  • test:protocol.studio-architecture-planned-apart · anchored · test/studio-s1.test.ts:716 · 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.