Spec Studio

The capability map reads every epic and its refinement descendants

spec:consumers.capability-mapUse Case / Behavior · featureready floor ready

New since the base graph base da4b141. See the diff.

Base input: schema 0.11.0, 405 Specs.

Packs: pack:roadmaps-and-slices-v1, pack:self-hosting-v1

Design: 10 design entries · 4 pinned declarations · 1 decision

Findings: no errors, no warnings

specs/consumers/capability-map.sdp.md

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

The map answers what a corpus intends to do before a reader chooses a Pack. Refinement can skip an altitude, repeat an altitude, or give a Spec several parents. The map keeps that structure. An epic's descendants are a set of Specs, not a measure of completion.

Intent
actor
A person or agent choosing which capability's design to read.
problem
An altitude filter gives a flat list and Pack membership does not explain refinement.
outcome
Read every epic with its refinement descendants, its design maturity and direct binding evidence, and expose every Spec no epic reaches.
Behavior
rule.graphOnly line 29 · specs/consumers/capability-map.sdp.md:29
The map follows only declared refines edges between resolving Specs, from parent to child for reading. It reads every kind at every altitude, preserves intermediate Specs, and derives no parent from a title, path, Pack, dependency or binding.

no example exercises it

rule.epics line 30 · specs/consumers/capability-map.sdp.md:30
Every Spec at epic altitude is an entry, whatever its kind. An epic may itself refine another epic; both remain selectable, and a parent's descendant set includes the nested epic and its descendants.

no example exercises it

rule.nodeEvidence line 31 · specs/consumers/capability-map.sdp.md:31
Each Spec carries its own stated readiness, structural floor reached, delivery facts, and open questions with their blocking flags. A missing floor reads none. No value propagates from a child to its parent.

no example exercises it

rule.multipleParents line 32 · specs/consumers/capability-map.sdp.md:32
Every refining parent remains in the answer; a Spec appears once in nodes with all its parents, and a page decides where it expands.

no example exercises it

rule.rollup line 33 · specs/consumers/capability-map.sdp.md:33
An epic's rollup counts distinct descendants, excluding the epic itself, by stated rung, floor reached, kind and altitude; it counts those with implementation bindings and those with verifier bindings separately. Open and blocking question totals count the questions on those distinct descendants. Rollups for overlapping epics are never added to form a corpus total.

no example exercises it

rule.examplesAndDecisions line 34 · specs/consumers/capability-map.sdp.md:34
Examples and decisions participate in reach, counts and edges like every other kind. The page may fold them into labelled disclosures, but exposes their rows and any descendants they parent. A verifier count means a binding exists, never that a test passed; the map states no percent complete, inherited fact or work order.

no example exercises it

rule.unreached line 35 · specs/consumers/capability-map.sdp.md:35
A Spec is unreached when no epic reaches it, counting an epic as reaching itself. The answer lists every unreached id, including examples and decisions, and groups the unreached subgraph by its roots. A branch that is also reached remains outside that subgraph, with its cross-edge retained in the full answer.

no example exercises it

rule.damagedGraph line 36 · specs/consumers/capability-map.sdp.md:36
Unresolved or non-Spec refinement endpoints are reported in damage and excluded from traversal. Cyclic refinement is reported as sorted groups whose members all reach one another, including self-links. Traversal visits each id once per root. The map displays the damage without inventing ancestry or withholding the rest.

no example exercises it

rule.scope line 37 · specs/consumers/capability-map.sdp.md:37
With an epic selected, the answer contains that epic and its distinct descendants. Node parent and epic memberships still name their full-corpus memberships so narrowing never claims exclusive ownership. Without an epic the answer includes every Spec, including an empty corpus or a corpus with no epics.

no example exercises it

0 unkeyed rules.

Design
mapRecipe line 41 · specs/consumers/capability-map.sdp.md:41
recipe 52 takes optional params.epic, a resolving epic Spec id, and params.detail, a boolean. Omitted epic means the whole corpus. An unknown parameter returns { unknownParams, accepts: ["epic", "detail"] }; a wrong type, absent id or non-epic returns { diagnostics: [{ parameter, problem }] } without a map, naming epic or detail as appropriate. There is no sample epic and no filtering by kind.
mapAnswer line 42 · specs/consumers/capability-map.sdp.md:42
the full answer is { input: { epic }, totals, nodes, edges, epics, unreached: { ids, roots }, cycles, damage }; epic is the selected id or null. The selected node set defines all totals; unselected nodes are never counted. Full-corpus memberships on a selected node are context, not extra selected nodes.
mapDetail line 43 · specs/consumers/capability-map.sdp.md:43
recipe 52 reads params.detail, absent or false for the summary and true for the full answer; the summary keeps input, totals, epics as { id, title, parentEpicIds, rollup }, unreached.ids, cycles and damage, and adds leftOut, one line for each omitted field. detail: true adds nodes, edges, each epic's descendantIds and unreached.roots, and omits leftOut.
nodeRow line 44 · specs/consumers/capability-map.sdp.md:44
{ id, title, specKind, altitude, statedReadiness, floorReached, deliveryFacts, questions, parents, children, epicIds }; parents and children are all resolving direct refinement neighbors in the corpus, and epicIds lists all epics that reach this node, including itself when epic. Questions preserve authored order as { index, address, question, blocking }, with a keyed question's entry address or null.

no citation recorded

edgeRow line 45 · specs/consumers/capability-map.sdp.md:45
{ from, to, claim: "declared", reason }, child to parent, for each resolving refinement whose ends are selected. An absent reason is null. Other relation types never enter this list.

no citation recorded

epicRow line 46 · specs/consumers/capability-map.sdp.md:46
{ id, title, parentEpicIds, descendantIds, rollup } for every selected epic, with its distinct descendants in the selected set. parentEpicIds lists resolving direct refinement parents at epic altitude in the full corpus, in id order. Selection by one epic includes every descendant of a nested epic, so its rollup stays complete.

no citation recorded

countShape line 47 · specs/consumers/capability-map.sdp.md:47
totals and each rollup carry { specs, byStatedReadiness, byFloorReached, byKind, byAltitude, withImplementationBinding, withVerifierBinding, openQuestions, blockingQuestions }; every descriptor value has a key including zero, floor counts add none, and totals additionally carry { epics, reached, unreached }. Reached and unreached partition selected nodes, using their full-corpus epic membership. The epic's own evidence stays on its node row, outside its rollup.
unreachedRoots line 48 · specs/consumers/capability-map.sdp.md:48
a root is an unreached Spec with no unreached parent; a group of unreached Specs that refine one another in a cycle, with no unreached parent outside the group, uses its smallest id as its root. Reach may overlap between roots; unreached.ids stays unique and complete. In an epic selection both lists are empty.
graphDamage line 49 · specs/consumers/capability-map.sdp.md:49
damage lists { code: "unresolved-refinement", from, to } for a missing or non-Spec endpoint touching the selected scope, or every such edge in whole-corpus scope. Cycles are separate { members } rows for cyclic groups in the selected graph, members sorted by id; they are graph damage, not parameter failures or a new validator.

no citation recorded

stableOrder line 50 · specs/consumers/capability-map.sdp.md:50
ids, nodes, epic rows, descendant ids, memberships and unreached roots use code-unit id order; edges and damage sort by from then to; cycles sort by first member. Question order stays authored. The answer has no clock, recorded work order or mutable state.
Verification · reviewed
criteria
  • A diamond retains both parent edges, lists the shared child once in nodes, and counts it once in that epic's descendants.
  • A corpus with no epics still exposes every Spec; a cyclic unreached component has a root and finite traversal.
  • An epic with a bound example and a ratified decision counts both descendants while retaining its own empty delivery facts.
  • Summary and full answers have identical totals, epic rollups, cycles and damage; the summary names every omitted field.
  • An epic selection includes its whole reachable set and no unrelated roots; invalid parameters return diagnostics without a plausible empty map.
mode
reviewed
Verification

Verifier bindings

  • test:protocol.capability-map · anchored · test anchor binding present · test/recipes.test.ts:7610

    External run evidence from test/recipes.test.ts

    Test anchors: test:protocol.address-and-cycle-recipes, test:protocol.answer-shape-recipes, test:protocol.authoring-grammar-recipes, test:protocol.authoring-recipes, test:protocol.capability-epics, test:protocol.capability-map, test:protocol.design-recipes, test:protocol.recipe-parameters, test:protocol.register-recipes. Specs verified by those bindings: spec:consumers.agent-surface.address-and-cycle-recipes, spec:consumers.agent-surface.answer-shapes, spec:consumers.agent-surface.authoring-recipes, spec:consumers.agent-surface.design-recipes, spec:consumers.agent-surface.recipe-parameters, spec:consumers.agent-surface.register-recipes, spec:consumers.capability-map, spec:extraction.contract-declarations, spec:model.open-question-fields, spec:model.relation-reasons, spec:model.rule-keys, spec:protocol.capability-epics.

    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

    NameSuiteResultDuration
    cites each recipe that a Spec names by number and heading under the catalog's numberthe agent-surface recipe corpuspassed213.54 ms
    pairs every documented recipe with exactly one fenced bodythe agent-surface recipe corpuspassed0.81 ms
    keeps self-hosting and adopter invocation forms distinctthe agent-surface recipe corpuspassed4.35 ms
    teaches parameters as data and keeps the on-ramps naming the CLI verbs and recipesthe agent-surface recipe corpuspassed3.84 ms
    keeps every body plain JavaScript with a returnthe agent-surface recipe corpuspassed5.18 ms
    runs every body through the front door without throwingthe agent-surface recipe corpuspassed4864.59 ms
    returns the non-example build backlog and audits excluded example evidencethe agent-surface recipe corpuspassed74.13 ms
    returns a drift alarm of code-bound specs below ready, with the floor namedthe agent-surface recipe corpuspassed63.42 ms
    returns one spec's guarantees with its relations and verifier bindingsthe agent-surface recipe corpuspassed26.84 ms
    keeps hostile changed filenames as inert JSON datathe agent-surface recipe corpuspassed40.2 ms
    returns the complete diff-to-at-risk bridgethe agent-surface recipe corpuspassed52.87 ms
    names a changed identity-only unit as unlinked, never coverage-unknown or droppedthe agent-surface recipe corpuspassed74.55 ms
    returns a pack's review backbone with its verifier gapsthe agent-surface recipe corpuspassed53.36 ms
    returns concept matches carrying the fields that matchedthe agent-surface recipe corpuspassed97.83 ms
    returns readiness divergence as an array, where empty is lawfulthe agent-surface recipe corpuspassed128.59 ms
    returns the warn-level signals as data rather than as a gatethe agent-surface recipe corpuspassed73.52 ms
    returns promotion preflight without conferring a readiness editthe agent-surface recipe corpuspassed32.89 ms
    names the next rung's unmet clause and the dependency that breaks it on a probethe agent-surface recipe corpuspassed3.63 ms
    keeps declared examples distinct from enabled verifier bindingsthe agent-surface recipe corpuspassed243.11 ms
    returns the complete non-ready ladder grouped by familythe agent-surface recipe corpuspassed85.21 ms
    distinguishes a passing current floor from a blocked or clear stated next rungthe agent-surface recipe corpuspassed1.73 ms
    returns every committed structural component with non-empty membershipthe agent-surface recipe corpuspassed57.07 ms
    returns exact component uses fan-in and fan-out from the structural oraclethe agent-surface recipe corpuspassed36.72 ms
    returns a component structural neighborhood and an exact absent shapethe agent-surface recipe corpuspassed57.12 ms
    reports census structural coverage from graph and report ground truththe agent-surface recipe corpuspassed32.63 ms
    reports graph-side upper bounds for every shipped projection rootthe agent-surface recipe corpuspassed35.68 ms
    returns the architecture map of every live component with recomputed fan-in and fan-outthe agent-surface recipe corpuspassed66.26 ms
    explains the shared policy and adapter collaborations from graph intent and binding claimsthe agent-surface recipe corpuspassed71.08 ms
    retains local uses and their claims without counting a component as its own dependencythe agent-surface recipe corpuspassed108.03 ms
    preserves an unresolved responsibility without inventing its designthe agent-surface recipe corpuspassed104.03 ms
    keeps a dangling component row and surfaces unresolved uses edgesthe agent-surface recipe corpuspassed94.74 ms
    preserves an unresolved architecture-map member when memberOf outlives the nodethe agent-surface recipe corpuspassed126.1 ms
    returns the decision map ranked by live shaping fan-inthe agent-surface recipe corpuspassed66.23 ms
    returns a planning-slice neighborhood and an exact absent shapethe agent-surface recipe corpuspassed109.75 ms
    returns non-empty bidirectional dependencies for the binding-grain planning slicethe agent-surface recipe corpuspassed50.88 ms
    returns planning-slice implementations, never abstractionsthe agent-surface recipe corpuspassed48.26 ms
    preserves an unresolved component row when memberOf outlives the nodethe agent-surface recipe corpuspassed115.85 ms
    reports derived design columns beside the existing backlog fieldsthe agent-surface recipe corpuspassed0.91 ms
    groups backlog rows under lawful Object.prototype path segmentsthe agent-surface recipe corpuspassed65.08 ms
    groups lower-ladder rows under lawful Object.prototype path segmentsthe agent-surface recipe corpuspassed50.37 ms
    groups decided subjects under lawful Object.prototype path segmentsthe agent-surface recipe corpuspassed44.22 ms
    lists key families across the corpus in key, Spec and section order with the documented sampleregister recipe semanticspassed91.93 ms
    lists Design and UI key families without a row cap, preserving values, lines and overlapping prefixesregister recipe semanticspassed9.14 ms
    diagnoses an unresolved Pack member without returning a partial registerregister recipe semanticspassed2.01 ms
    diagnoses malformed key-family parameters without a register: {"prefixes":[]}register recipe semanticspassed40.51 ms
    diagnoses malformed key-family parameters without a register: {"prefixes":[""]}register recipe semanticspassed39.18 ms
    diagnoses malformed key-family parameters without a register: {"prefixes":["a","a"]}register recipe semanticspassed57.21 ms
    diagnoses malformed key-family parameters without a register: {"prefixes":"limit"}register recipe semanticspassed44.46 ms
    diagnoses malformed key-family parameters without a register: {"pack":"pack:absent"}register recipe semanticspassed37.73 ms
    diagnoses malformed key-family parameters without a register: {"specs":["spec:absent"]}register recipe semanticspassed54.73 ms
    diagnoses malformed key-family parameters without a register: {"specs":"bad"}register recipe semanticspassed45.75 ms
    diagnoses malformed key-family parameters without a register: {"pack":"pack:self-hosting-v1","specs":[]}register recipe semanticspassed69.9 ms
    runs recipe 20 as written in default outputregister recipe semanticspassed102.17 ms
    runs recipe 21 as written in default outputregister recipe semanticspassed55.05 ms
    runs recipe 22 as written in default outputregister recipe semanticspassed91.83 ms
    runs recipe 23 as written in default outputregister recipe semanticspassed111.17 ms
    runs recipe 24 as written in default outputregister recipe semanticspassed78.19 ms
    runs recipe 25 as written in default outputregister recipe semanticspassed39.83 ms
    runs recipe 26 as written in default outputregister recipe semanticspassed35.69 ms
    runs recipe 27 as written in default outputregister recipe semanticspassed40.73 ms
    runs recipe 28 as written in default outputregister recipe semanticspassed28.53 ms
    runs recipe 29 as written in default outputregister recipe semanticspassed28.55 ms
    runs recipe 30 as written in default outputregister recipe semanticspassed113.58 ms
    runs recipe 31 as written in default outputregister recipe semanticspassed39.91 ms
    runs recipe 32 as written in default outputregister recipe semanticspassed27.27 ms
    renders long JSON values with the same default text bound as stringsregister recipe semanticspassed7.28 ms
    registers an omitted blocking flag through a TypeScript carrierregister recipe semanticspassed3.03 ms
    searches coined keys of every value shape through a TypeScript carrierregister recipe semanticspassed2.71 ms
    searches strings inside a matching coined list or object keyregister recipe semanticspassed2.2 ms
    searches a null coined-key value in the reader graphregister recipe semanticspassed1.75 ms
    keeps register counts under totals and top-level plural nouns as arraysregister recipe semanticspassed821.5 ms
    pins whole-token matching for 'retry' in 'entry' / 'retry'register recipe semanticspassed1.24 ms
    pins whole-token matching for 'retry' in 'entry' / 'retryable'register recipe semanticspassed0.4 ms
    pins whole-token matching for 'retry' in 'entry' / 'retry-worker'register recipe semanticspassed0.35 ms
    pins whole-token matching for 'retry' in 'retryWorker' / 'unrelated'register recipe semanticspassed0.32 ms
    pins whole-token matching for 'Retry' in 'entry' / 'RETRY.'register recipe semanticspassed0.32 ms
    pins whole-token matching for 'retry worker' in 'retryWorker' / 'retry-worker'register recipe semanticspassed0.33 ms
    pins whole-token matching for 'retry worker' in 'entry' / 'worker retry'register recipe semanticspassed0.36 ms
    pins whole-token matching for 'retry worker' in 'entry' / 'retry the worker'register recipe semanticspassed0.29 ms
    pins whole-token matching for 'server' in 'entry' / 'HTTPServer'register recipe semanticspassed0.43 ms
    pins whole-token matching for 'v' in 'entry' / 'v2'register recipe semanticspassed0.33 ms
    registers every authored question, blocking Specs firstregister recipe semanticspassed81.67 ms
    reports one-hop footing of all four types, including unresolved targetsregister recipe semanticspassed116.61 ms
    audits mention pairs, skips fences, and preserves full ids and directionregister recipe semanticspassed1.37 ms
    resolves entry mentions and retains every token and pair location through a probe rootregister recipe semanticspassed8.35 ms
    reads the whole mention token through an underscore as malformed, never the existing prefixregister recipe semanticspassed0.8 ms
    reads the whole mention token through a slash as malformed, never the existing prefixregister recipe semanticspassed0.5 ms
    reads the whole mention token through a comma as malformed, never the existing prefixregister recipe semanticspassed9.19 ms
    reads the whole mention token through an underscore and a letter as malformed, never the existing prefixregister recipe semanticspassed0.75 ms
    reads the whole mention token through a slash and a letter as malformed, never the existing prefixregister recipe semanticspassed0.49 ms
    reads the whole mention token through a comma and a letter as malformed, never the existing prefixregister recipe semanticspassed0.48 ms
    reads the whole mention token through a letter outside ASCII as malformed, never the existing prefixregister recipe semanticspassed0.48 ms
    reads the whole mention token through an escaped underscore as malformed, never the existing prefixregister recipe semanticspassed3.54 ms
    reads the whole mention token through a combining mark as malformed, never the existing prefixregister recipe semanticspassed0.6 ms
    reads the whole mention token through a combining mark after an entry key as malformed, never the existing prefixregister recipe semanticspassed0.54 ms
    reads the whole mention token through a zero-width space as malformed, never the existing prefixregister recipe semanticspassed0.45 ms
    reads the whole mention token through fullwidth connector punctuation as malformed, never the existing prefixregister recipe semanticspassed0.45 ms
    reads the whole mention token through a NUL as malformed, never the existing prefixregister recipe semanticspassed0.42 ms
    reads the whole mention token through an escape character as malformed, never the existing prefixregister recipe semanticspassed3.48 ms
    reads the whole mention token through a delete character as malformed, never the existing prefixregister recipe semanticspassed0.57 ms
    reads the whole mention token through a C1 control character as malformed, never the existing prefixregister recipe semanticspassed0.47 ms
    reads the whole mention token through a hyphenated entry key as malformed, never the existing prefixregister recipe semanticspassed0.44 ms
    reads the whole mention token through an entry suffix with no key as malformed, never the existing prefixregister recipe semanticspassed0.47 ms
    reads the whole mention token through an entry suffix outside design and ui as malformed, never the existing prefixregister recipe semanticspassed0.44 ms
    reads the clean id through Markdown punctuation: a sentence dotregister recipe semanticspassed3.84 ms
    reads the clean id through Markdown punctuation: a commaregister recipe semanticspassed0.64 ms
    reads the clean id through Markdown punctuation: a colonregister recipe semanticspassed0.49 ms
    reads the clean id through Markdown punctuation: a closing parenthesisregister recipe semanticspassed0.51 ms
    reads the clean id through Markdown punctuation: boldregister recipe semanticspassed0.49 ms
    reads the clean id through Markdown punctuation: emphasisregister recipe semanticspassed0.46 ms
    reads the clean id through Markdown punctuation: strikethroughregister recipe semanticspassed0.43 ms
    reads the clean id through Markdown punctuation: backticksregister recipe semanticspassed0.41 ms
    reads the clean id through Markdown punctuation: ASCII double quotesregister recipe semanticspassed0.45 ms
    reads the clean id through Markdown punctuation: ASCII single quotesregister recipe semanticspassed0.41 ms
    reads the clean id through Markdown punctuation: typographic double quotesregister recipe semanticspassed0.83 ms
    reads the clean id through Markdown punctuation: typographic single quotesregister recipe semanticspassed0.44 ms
    reads the clean id through Markdown punctuation: an em dashregister recipe semanticspassed0.38 ms
    reads the clean id through Markdown punctuation: an en dashregister recipe semanticspassed0.36 ms
    reads the clean id through Markdown punctuation: an ellipsisregister recipe semanticspassed0.41 ms
    reads the clean id through Markdown punctuation: an escaped starregister recipe semanticspassed0.45 ms
    reads the clean id through Markdown punctuation: an escaped exclamation markregister recipe semanticspassed0.47 ms
    reads the clean id through Markdown punctuation: U+0085register recipe semanticspassed0.42 ms
    reads the clean id through Markdown punctuation: a no-break spaceregister recipe semanticspassed0.44 ms
    reads the clean id through Markdown punctuation: a tabregister recipe semanticspassed0.45 ms
    reads the clean id through Markdown punctuation: an arrowregister recipe semanticspassed0.48 ms
    reads a placeholder or a bare prefix as prose, not a mentionregister recipe semanticspassed0.45 ms
    scans nested arrays in examples while skipping object fences by positionregister recipe semanticspassed3.07 ms
    addresses only lawful Design and UI entry keys in search resultsregister recipe semanticspassed1.09 ms
    scopes mentions by the mentioning Spec onlyregister recipe semanticspassed3.21 ms
    reports malformed open questions without counting them: "one question"register recipe semanticspassed2.52 ms
    reports malformed open questions without counting them: {}register recipe semanticspassed0.29 ms
    reports malformed open questions without counting them: 42register recipe semanticspassed0.26 ms
    reports malformed open questions without counting them: {"blocking":true}register recipe semanticspassed0.26 ms
    reports malformed open questions without counting them: nullregister recipe semanticspassed0.21 ms
    reports malformed open questions without counting them: ""register recipe semanticspassed0.23 ms
    reports malformed open questions without counting them: {"question":"valid","blocking":"yes"}register recipe semanticspassed0.22 ms
    reports malformed open questions without counting them: {"question":"valid","blocking":null}register recipe semanticspassed0.28 ms
    reports malformed open questions without counting them: {"question":"valid"}register recipe semanticspassed0.34 ms
    reports an off-grammar question key as malformed: {"question":"valid","key":"AggregateReach"}register recipe semanticspassed0.5 ms
    reports an off-grammar question key as malformed: {"question":"valid","key":"aggregate-reach"}register recipe semanticspassed0.3 ms
    reports an off-grammar question key as malformed: {"question":"valid","key":""}register recipe semanticspassed0.29 ms
    reports an off-grammar question key as malformed: {"question":"valid","key":7}register recipe semanticspassed0.26 ms
    reports an off-grammar question key as malformed: {"question":"valid","key":null}register recipe semanticspassed0.29 ms
    reports an off-grammar question key as malformed: {"question":"valid","blocking":true}register recipe semanticspassed0.29 ms
    searches whole tokens, coined keys, narrative and fence stepsregister recipe semanticspassed9.63 ms
    lists every pinned declaration this corpus holdsregister recipe semanticspassed212.89 ms
    reads spans of any run length and skips every entry that pins nothingregister recipe semanticspassed7.15 ms
    resolves the catalog's addresses on this corpus as writtenaddress resolution and dependency cyclespassed75.33 ms
    reports this corpus's dependency cycles as an independent reachability check finds themaddress resolution and dependency cyclespassed82.92 ms
    reports the probe's one set and one self-dependent Spec, and nothing for a Spec that only reaches a setaddress resolution and dependency cyclespassed6.38 ms
    reports a self-loop inside a larger set only with that setaddress resolution and dependency cyclespassed3.61 ms
    walks targets in code-unit order, so of two tied shortest cycles the first target's is reportedaddress resolution and dependency cyclespassed2.43 ms
    walks a chain of 10,000 Specs and one cycle of 5,000 without recursingaddress resolution and dependency cyclespassed211.99 ms
    resolves an inherited property name only where the Spec authors it as a keyaddress resolution and dependency cyclespassed4.43 ms
    resolves the design's probe addresses with one row and one reason eachaddress resolution and dependency cyclespassed3.17 ms
    resolves a keyed question, refuses description in Design and UI, and keeps repeatsaddress resolution and dependency cyclespassed9.75 ms
    registers a keyed question with its key and an unkeyed one with a null keyaddress resolution and dependency cyclespassed3.09 ms
    audits a question address against the target's open question keysaddress resolution and dependency cyclespassed2.01 ms
    addresses a keyed question's text and matches its key, never the key as a rowaddress resolution and dependency cyclespassed6.51 ms
    returns one row per Studio member with four independent factsdesign references and the architecture taxonomypassed151.01 ms
    lists a referencing unit beside the realizing units without conferring implementeddesign references and the architecture taxonomypassed177.28 ms
    lists the reader beside each Studio member that depends on it, with its realizing unitsdesign references and the architecture taxonomypassed58.06 ms
    derives builds-on from the member's relations without conferring a fact on itdesign references and the architecture taxonomypassed184.39 ms
    returns the role, layer, and context taxonomy from the code units alonedesign references and the architecture taxonomypassed41.05 ms
    counts references as edges apart from the units that carry themdesign references and the architecture taxonomypassed86.84 ms
    creates each taxonomy bucket once, however many units share the valuedesign references and the architecture taxonomypassed76.57 ms
    declares and checks only its indexed parameter names first: 1recipe parameters and the shipped recipe filespassed0.79 ms
    declares and checks only its indexed parameter names first: 2recipe parameters and the shipped recipe filespassed0.48 ms
    declares and checks only its indexed parameter names first: 3recipe parameters and the shipped recipe filespassed0.45 ms
    declares and checks only its indexed parameter names first: 4recipe parameters and the shipped recipe filespassed0.46 ms
    declares and checks only its indexed parameter names first: 5recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 6recipe parameters and the shipped recipe filespassed0.4 ms
    declares and checks only its indexed parameter names first: 7recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 8recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 9recipe parameters and the shipped recipe filespassed0.48 ms
    declares and checks only its indexed parameter names first: 10recipe parameters and the shipped recipe filespassed0.37 ms
    declares and checks only its indexed parameter names first: 11recipe parameters and the shipped recipe filespassed0.34 ms
    declares and checks only its indexed parameter names first: 12recipe parameters and the shipped recipe filespassed0.44 ms
    declares and checks only its indexed parameter names first: 13recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 14recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 15recipe parameters and the shipped recipe filespassed0.37 ms
    declares and checks only its indexed parameter names first: 16recipe parameters and the shipped recipe filespassed0.37 ms
    declares and checks only its indexed parameter names first: 17recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 18recipe parameters and the shipped recipe filespassed0.34 ms
    declares and checks only its indexed parameter names first: 19recipe parameters and the shipped recipe filespassed0.38 ms
    declares and checks only its indexed parameter names first: 20recipe parameters and the shipped recipe filespassed0.35 ms
    declares and checks only its indexed parameter names first: 21recipe parameters and the shipped recipe filespassed0.34 ms
    declares and checks only its indexed parameter names first: 22recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 23recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 24recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 25recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 26recipe parameters and the shipped recipe filespassed0.4 ms
    declares and checks only its indexed parameter names first: 27recipe parameters and the shipped recipe filespassed0.44 ms
    declares and checks only its indexed parameter names first: 28recipe parameters and the shipped recipe filespassed0.4 ms
    declares and checks only its indexed parameter names first: 29recipe parameters and the shipped recipe filespassed0.43 ms
    declares and checks only its indexed parameter names first: 30recipe parameters and the shipped recipe filespassed0.4 ms
    declares and checks only its indexed parameter names first: 31recipe parameters and the shipped recipe filespassed0.38 ms
    declares and checks only its indexed parameter names first: 32recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 33recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 34recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 35recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 36recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 37recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 38recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 39recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 40recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 41recipe parameters and the shipped recipe filespassed0.44 ms
    declares and checks only its indexed parameter names first: 42recipe parameters and the shipped recipe filespassed0.54 ms
    declares and checks only its indexed parameter names first: 43recipe parameters and the shipped recipe filespassed0.37 ms
    declares and checks only its indexed parameter names first: 44recipe parameters and the shipped recipe filespassed0.44 ms
    declares and checks only its indexed parameter names first: 45recipe parameters and the shipped recipe filespassed0.42 ms
    declares and checks only its indexed parameter names first: 46recipe parameters and the shipped recipe filespassed0.44 ms
    declares and checks only its indexed parameter names first: 47recipe parameters and the shipped recipe filespassed0.38 ms
    declares and checks only its indexed parameter names first: 48recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 49recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 50recipe parameters and the shipped recipe filespassed0.39 ms
    declares and checks only its indexed parameter names first: 51recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 52recipe parameters and the shipped recipe filespassed0.4 ms
    declares and checks only its indexed parameter names first: 53recipe parameters and the shipped recipe filespassed0.41 ms
    declares and checks only its indexed parameter names first: 54recipe parameters and the shipped recipe filespassed0.47 ms
    declares and checks only its indexed parameter names first: 55recipe parameters and the shipped recipe filespassed0.42 ms
    returns only the unknown-name answer before reading recipe inputs: 1recipe parameters and the shipped recipe filespassed51.01 ms
    returns only the unknown-name answer before reading recipe inputs: 2recipe parameters and the shipped recipe filespassed52.58 ms
    returns only the unknown-name answer before reading recipe inputs: 3recipe parameters and the shipped recipe filespassed100.63 ms
    returns only the unknown-name answer before reading recipe inputs: 4recipe parameters and the shipped recipe filespassed91.08 ms
    returns only the unknown-name answer before reading recipe inputs: 5recipe parameters and the shipped recipe filespassed47.65 ms
    returns only the unknown-name answer before reading recipe inputs: 6recipe parameters and the shipped recipe filespassed43.57 ms
    returns only the unknown-name answer before reading recipe inputs: 7recipe parameters and the shipped recipe filespassed58.12 ms
    returns only the unknown-name answer before reading recipe inputs: 8recipe parameters and the shipped recipe filespassed51.43 ms
    returns only the unknown-name answer before reading recipe inputs: 9recipe parameters and the shipped recipe filespassed39.48 ms
    returns only the unknown-name answer before reading recipe inputs: 10recipe parameters and the shipped recipe filespassed39.28 ms
    returns only the unknown-name answer before reading recipe inputs: 11recipe parameters and the shipped recipe filespassed38.46 ms
    returns only the unknown-name answer before reading recipe inputs: 12recipe parameters and the shipped recipe filespassed35.14 ms
    returns only the unknown-name answer before reading recipe inputs: 13recipe parameters and the shipped recipe filespassed30.1 ms
    returns only the unknown-name answer before reading recipe inputs: 14recipe parameters and the shipped recipe filespassed24.97 ms
    returns only the unknown-name answer before reading recipe inputs: 15recipe parameters and the shipped recipe filespassed49.06 ms
    returns only the unknown-name answer before reading recipe inputs: 16recipe parameters and the shipped recipe filespassed34.98 ms
    returns only the unknown-name answer before reading recipe inputs: 17recipe parameters and the shipped recipe filespassed40.63 ms
    returns only the unknown-name answer before reading recipe inputs: 18recipe parameters and the shipped recipe filespassed47.48 ms
    returns only the unknown-name answer before reading recipe inputs: 19recipe parameters and the shipped recipe filespassed32.12 ms
    returns only the unknown-name answer before reading recipe inputs: 20recipe parameters and the shipped recipe filespassed29.38 ms
    returns only the unknown-name answer before reading recipe inputs: 21recipe parameters and the shipped recipe filespassed35.4 ms
    returns only the unknown-name answer before reading recipe inputs: 22recipe parameters and the shipped recipe filespassed35.22 ms
    returns only the unknown-name answer before reading recipe inputs: 23recipe parameters and the shipped recipe filespassed30.44 ms
    returns only the unknown-name answer before reading recipe inputs: 24recipe parameters and the shipped recipe filespassed44.73 ms
    returns only the unknown-name answer before reading recipe inputs: 25recipe parameters and the shipped recipe filespassed35.84 ms
    returns only the unknown-name answer before reading recipe inputs: 26recipe parameters and the shipped recipe filespassed35.92 ms
    returns only the unknown-name answer before reading recipe inputs: 27recipe parameters and the shipped recipe filespassed37.36 ms
    returns only the unknown-name answer before reading recipe inputs: 28recipe parameters and the shipped recipe filespassed34.43 ms
    returns only the unknown-name answer before reading recipe inputs: 29recipe parameters and the shipped recipe filespassed37.29 ms
    returns only the unknown-name answer before reading recipe inputs: 30recipe parameters and the shipped recipe filespassed34.53 ms
    returns only the unknown-name answer before reading recipe inputs: 31recipe parameters and the shipped recipe filespassed37.03 ms
    returns only the unknown-name answer before reading recipe inputs: 32recipe parameters and the shipped recipe filespassed36.83 ms
    returns only the unknown-name answer before reading recipe inputs: 33recipe parameters and the shipped recipe filespassed32.3 ms
    returns only the unknown-name answer before reading recipe inputs: 34recipe parameters and the shipped recipe filespassed35.47 ms
    returns only the unknown-name answer before reading recipe inputs: 35recipe parameters and the shipped recipe filespassed29.61 ms
    returns only the unknown-name answer before reading recipe inputs: 36recipe parameters and the shipped recipe filespassed24.05 ms
    returns only the unknown-name answer before reading recipe inputs: 37recipe parameters and the shipped recipe filespassed26.88 ms
    returns only the unknown-name answer before reading recipe inputs: 38recipe parameters and the shipped recipe filespassed27.56 ms
    returns only the unknown-name answer before reading recipe inputs: 39recipe parameters and the shipped recipe filespassed36.86 ms
    returns only the unknown-name answer before reading recipe inputs: 40recipe parameters and the shipped recipe filespassed35.16 ms
    returns only the unknown-name answer before reading recipe inputs: 41recipe parameters and the shipped recipe filespassed37.01 ms
    returns only the unknown-name answer before reading recipe inputs: 42recipe parameters and the shipped recipe filespassed35.48 ms
    returns only the unknown-name answer before reading recipe inputs: 43recipe parameters and the shipped recipe filespassed37.25 ms
    returns only the unknown-name answer before reading recipe inputs: 44recipe parameters and the shipped recipe filespassed33.94 ms
    returns only the unknown-name answer before reading recipe inputs: 45recipe parameters and the shipped recipe filespassed36.1 ms
    returns only the unknown-name answer before reading recipe inputs: 46recipe parameters and the shipped recipe filespassed35.61 ms
    returns only the unknown-name answer before reading recipe inputs: 47recipe parameters and the shipped recipe filespassed36.31 ms
    returns only the unknown-name answer before reading recipe inputs: 48recipe parameters and the shipped recipe filespassed37.58 ms
    returns only the unknown-name answer before reading recipe inputs: 49recipe parameters and the shipped recipe filespassed35.48 ms
    returns only the unknown-name answer before reading recipe inputs: 50recipe parameters and the shipped recipe filespassed53.29 ms
    returns only the unknown-name answer before reading recipe inputs: 51recipe parameters and the shipped recipe filespassed27.25 ms
    returns only the unknown-name answer before reading recipe inputs: 52recipe parameters and the shipped recipe filespassed36.52 ms
    returns only the unknown-name answer before reading recipe inputs: 53recipe parameters and the shipped recipe filespassed38.97 ms
    returns only the unknown-name answer before reading recipe inputs: 54recipe parameters and the shipped recipe filespassed36.76 ms
    returns only the unknown-name answer before reading recipe inputs: 55recipe parameters and the shipped recipe filespassed36.94 ms
    diagnoses wrong subject names, mixed known names and ordered unknown names through shipped bodiesrecipe parameters and the shipped recipe filespassed104.45 ms
    reads and names each parameter, with a fallback only when the contract supplies onerecipe parameters and the shipped recipe filespassed8.38 ms
    ships every catalog body as dist/recipes/NN-slug.js, byte for byterecipe parameters and the shipped recipe filespassed8.03 ms
    runs every shipped file, read whole, to the answer its catalog body givesrecipe parameters and the shipped recipe filespassed6717.44 ms
    refuses a catalog whose bodies and headings do not pair, rather than guess a file namerecipe parameters and the shipped recipe filespassed1.71 ms
    reads a CRLF catalog as its LF bodies, and refuses a catalog with no recipe before publishingrecipe parameters and the shipped recipe filespassed17.69 ms
    removes only completed recipe files the catalog no longer owes, never another run's temporary filerecipe parameters and the shipped recipe filespassed0.66 ms
    passes recipe 4 its changed files from a file named with @PATHrecipe parameters and the shipped recipe filespassed44.98 ms
    resolves the addresses recipe 25 receives as datarecipe parameters and the shipped recipe filespassed58.78 ms
    reads the Pack the Pack recipes review from params.packrecipe parameters and the shipped recipe filespassed205.22 ms
    returns the Pack design of every corpus Pack as the raw graph states itdesign recipespassed749.92 ms
    returns the probe Pack's design exactly, member by memberdesign recipespassed9.73 ms
    reaches every Spec resting on the corpus sample, by a shortest path of real edgesdesign recipespassed342.59 ms
    walks a dependency chain inbound only, once per Spec, and keeps a reference apartdesign recipespassed1.76 ms
    registers every corpus decision with its supersession, subjects and keyed questionsdesign recipespassed71.82 ms
    registers a supersedes pair both ways and a decision that shapes nothingdesign recipespassed1.4 ms
    carries a relation's reason beside the relation in recipes 3, 19, 21 and 31design recipespassed1.56 ms
    registers narrowing decisions both ways and excludes refinement by other kindsdesign recipespassed0.55 ms
    keeps the decoder in reader without adding crossings against the lawful notation alternativedesign recipespassed125.17 ms
    reports the corpus's architecture crossings as the raw edges state themdesign recipespassed70.26 ms
    names a crossing of two contexts and of two layers, and skips what cannot crossdesign recipespassed0.79 ms
    resolves every keyed corpus entry to its value and the line the location table recordsentry lines in entry search and address resolutionpassed179.39 ms
    gives each corpus entry-search row the line of a located entry and null otherwiseentry lines in entry search and address resolutionpassed173.89 ms
    never gives a nested entry the line of a literal top-level key its path spellsentry lines in entry search and address resolutionpassed3.85 ms
    counts a verifying Spec of another kind as a verifier, never as an example, in the Pack designentry lines in entry search and address resolutionpassed2.27 ms
    gives a string-form open question the line its question[n] row records, as the object formentry lines in entry search and address resolutionpassed2.46 ms
    counts equal layers and contexts between distinct components even without crossingsanswers that fitpassed0.36 ms
    returns guarantee entries and complete unit and verifier locations from contextanswers that fitpassed4.73 ms
    reports directions relative to an impacted Packanswers that fitpassed0.74 ms
    indexes exactly the present recipes with names, parameters and usesanswers that fitpassed3.7 ms
    runs a shipped body wrapped inside a caller's filteranswers that fitpassed98.75 ms
    keeps impact totals and puts both edge directions in the summaryanswers that fitpassed2.43 ms
    keeps the reader's Pack value in summary, full and selected-member answersanswers that fitpassed11.46 ms
    reports both next rungs when the stated rung is below the flooranswers that fitpassed0.56 ms
    reports no next rung at readyanswers that fitpassed37.39 ms
    reports gap exemptions and every omitted warning beyond the first 25answers that fitpassed1.41 ms
    lists only defined unimplemented designs and keeps exclusions and referencesanswers that fitpassed0.88 ms
    registers fields and counts deferrals apart from design holdsauthoring grammar recipespassed3.39 ms
    lists intended mentions apart and preserves the validator's warningsauthoring grammar recipespassed8.29 ms
    matches rule keys beside their text without searching the derived mapauthoring grammar recipespassed2.45 ms
    locates unkeyed rule text and question field textauthoring grammar recipespassed3.44 ms
    resolves rule addresses and preserves every parsed part of a missauthoring grammar recipespassed2.85 ms
    counts rule coverage from bound examples and reports unbound intent beside itauthoring grammar recipespassed4.82 ms
    reports missing rule-coverage scopes and accepts a scope with no rulesauthoring grammar recipespassed2.94 ms
    runs the catalog body in the evaluator without a module loaderentry citations recipepassed0.74 ms
    orders a declaration's citing files and lines independently of input orderentry citations recipepassed0.54 ms
    joins declarations and other cited entries, including uncited declarationsentry citations recipepassed0.69 ms
    includes absent Specs and malformed tokens only in the corpus unresolved listentry citations recipepassed1.07 ms
    returns diagnostics without findings for {"pack":"pack:missing"}entry citations recipepassed0.69 ms
    returns diagnostics without findings for {"specs":["spec:missing"]}entry citations recipepassed0.42 ms
    returns diagnostics without findings for {"specs":"spec:probe.cited"}entry citations recipepassed0.32 ms
    returns diagnostics without findings for {"pack":"pack:probe.citations","specs":[]}entry citations recipepassed0.36 ms
    returns diagnostics without findings for {"severity":"fatal"}entry citations recipepassed0.34 ms
    returns diagnostics without findings for {"severity":null}entry citations recipepassed0.75 ms
    reads an absent table as empty, and accepts an empty Spec scopeentry citations recipepassed0.64 ms
    adds recorded component fields, references, member roles and exact crossing-use countsStudio architecture and example-space recipe additionspassed97.49 ms
    runs shipped recipe 44 over every decoded space and refuses bad scopesStudio architecture and example-space recipe additionspassed407.84 ms
    runs recipe 45 as shipped and reports missing and malformed CTRF metadatanot recordedpassed535.5 ms
    recipe 49 renders the panel memo from its catalog body and refuses a malformed documentnot recordedpassed69.85 ms
    reports text-preserving rule and flow key changes apart from rewordingnot recordedpassed6.76 ms
    preserves a removed keyed rule address beside new unkeyed textnot recordedpassed1.93 ms
    preserves a removed keyed flow address beside new unkeyed textnot recordedpassed1.67 ms
    distinguishes removed unkeyed rule base positions from head positionsnot recordedpassed2.38 ms
    distinguishes removed unkeyed flow base positions from head positionsnot recordedpassed1.8 ms
    retains every diamond edge and intermediate node while counting each descendant oncethe capability map recipepassed0.87 ms
    returns summary/full parity with explicit omissions for scope {}the capability map recipepassed1.4 ms
    returns summary/full parity with explicit omissions for scope {"epic":"spec:probe.epic"}the capability map recipepassed1 ms
    normalizes prose and unflagged questions while preserving authored indicesthe capability map recipepassed0.35 ms
    retains null titles in serialized node and epic rows when a title degradesthe capability map recipepassed0.6 ms
    reports a self-refining epic as a cycle without making it its own parent epicthe capability map recipepassed0.3 ms
    uses the outside unreached parent as root rather than its child cycle groupthe capability map recipepassed0.42 ms
    selects an epic of kind behavior without changing its kindthe capability map recipepassed0.4 ms
    selects an epic of kind workflow without changing its kindthe capability map recipepassed0.24 ms
    selects an epic of kind example without changing its kindthe capability map recipepassed0.22 ms
    selects an epic of kind rule without changing its kindthe capability map recipepassed0.2 ms
    selects an epic of kind constraint without changing its kindthe capability map recipepassed0.18 ms
    selects an epic of kind model without changing its kindthe capability map recipepassed0.18 ms
    selects an epic of kind decision without changing its kindthe capability map recipepassed0.19 ms
    selects an epic of kind contract without changing its kindthe capability map recipepassed0.2 ms
    reads node evidence and ordered questions directly, including examples and decisions as parentsthe capability map recipepassed0.66 ms
    represents a missing floor as none and keeps the epic's evidence outside its rollupthe capability map recipepassed0.42 ms
    counts stated rungs separately from reached floors without lending a bound example's facts to its epicthe capability map recipepassed0.89 ms
    keeps nested and overlapping memberships and outside parents when selecting one epicthe capability map recipepassed1.07 ms
    traverses only declared refinement and never infers ancestry from other graph structurethe capability map recipepassed0.56 ms
    reports cycles, self-links and unresolved or non-Spec endpoints separately from parameter failuresthe capability map recipepassed0.65 ms
    limits damage to edges touching a selected epic scope and terminates reached cyclesthe capability map recipepassed0.44 ms
    keeps overlapping unreached root scopes unique and exposes an empty corpusthe capability map recipepassed0.52 ms
    refuses invalid parameters without a map: { epic: null }the capability map recipepassed0.24 ms
    refuses invalid parameters without a map: { epic: 1 }the capability map recipepassed0.14 ms
    refuses invalid parameters without a map: { epic: [] }the capability map recipepassed0.1 ms
    refuses invalid parameters without a map: { epic: 'spec:probe.absent' }the capability map recipepassed0.09 ms
    refuses invalid parameters without a map: { epic: 'spec:probe.plain' }the capability map recipepassed0.09 ms
    refuses invalid parameters without a map: { epic: 'impl:probe.non-spec' }the capability map recipepassed0.11 ms
    refuses invalid parameters without a map: { detail: 'true' }the capability map recipepassed0.09 ms
    refuses invalid parameters without a map: { detail: 1 }the capability map recipepassed0.09 ms
    refuses invalid parameters without a map: { detail: null }the capability map recipepassed0.09 ms
    refuses invalid parameters without a map: { epic: 1, detail: 'x' }the capability map recipepassed0.16 ms
    checks unknown names before known valuesthe capability map recipepassed0.15 ms
    answers deterministically in code-unit id order even when graph arrays are reversedthe capability map recipepassed1.41 ms
    reaches every Spec from the intended epic owners while preserving kinds and overlapping refinementthe Protocol's capability epicspassed196.63 ms
    keeps refinement and dependency from spec:extraction.build-pipeline to spec:extraction.derive-graphthe Protocol's capability epicspassed3.01 ms
    keeps refinement and dependency from spec:validation.corpus-rules to spec:consumers.agent-surfacethe Protocol's capability epicspassed4.22 ms
    keeps refinement and dependency from spec:validation.architecture-constraints to spec:validation.corpus-rulesthe Protocol's capability epicspassed3.84 ms
    keeps refinement and dependency from spec:validation.external-registers to spec:validation.corpus-rulesthe Protocol's capability epicspassed1.69 ms
    keeps every ready statement at the ready floor and leaves the drift alarm emptythe Protocol's capability epicspassed63.69 ms
    runs the catalog body over the arc Pack through the CLI and keeps its summary totalsthe shipped design slicepassed322.71 ms
    runs the roadmap and its memo from the catalog over a named Packnot recordedpassed372.97 ms
    pins the adopter roadmap and its forward memo over the worked examplenot recordedpassed38.84 ms
Design view

Requirement drawing

  • Declared verifying examples: no declared verifying example.
Requirement drawing for spec:consumers.capability-map
Requirement drawing for spec:consumers.capability-mapsatisfies · anchoredsatisfies · anchoredreferences · anchoredrefines · declaredrefines · declaredrefines · declaredrefines · declaredverifies · anchoredverifies · anchoredIntended Specsspec:consumers.capability-mapThe capability map readsevery epic and itsrefinement descendants…consumers.capability-mapdeclared Specspec:consumers.spec-studio.capability-map-pageThe capability map pagemakes refinement readableby epic…consumers.spec-studio.capability-map-pagedeclared Specspec:decisions.epics-of-any-kindCapability epics keep kindindependent of altitude…decisions.epics-of-any-kinddeclared SpecSatisfying or referencingunits4 satisfying units · anchored, folded4 satisfying units ·anchoredimpl:protocol.capability-map-recipeasserts realization of Thecapability map indocs/agent-surface/recipes.md…protocol.capability-map-recipeanchored codeTest or oracle bindingstest:protocol.capability-maptest:protocol.capability-map…protocol.capability-mapanchored test binding ·binding presenttest:protocol.studio-capabilitiestest:protocol.studio-capabilities…protocol.studio-capabilitiesanchored test binding ·binding presentOutside the selected setspec:consumers.projections-modelProjections fan out fromone graph without becomingtruth stores…consumers.projections-modeldeclared Specspec:consumers.spec-studio.lensesFive lenses read the graphas Packs, capabilities,architecture, tests andevidence…consumers.spec-studio.lensesdeclared Spec
The diagram as text
  • spec:consumers.capability-map: The capability map reads every epic and its refinement descendants · declared Spec
  • spec:consumers.spec-studio.capability-map-page: The capability map page makes refinement readable by epic · declared Spec
  • spec:decisions.epics-of-any-kind: Capability epics keep kind independent of altitude · declared Spec
  • spec:consumers.projections-model: Projections fan out from one graph without becoming truth stores · declared Spec
  • spec:consumers.spec-studio.lenses: Five lenses read the graph as Packs, capabilities, architecture, tests and evidence · declared Spec
  • impl:protocol.capability-map-recipe: asserts realization of The capability map in docs/agent-surface/recipes.md · anchored code · test/recipes.test.ts:7602
  • impl:protocol.studio-capabilities-page: renders epic evidence, refinement and unreached Specs from the capability map · anchored code · src/projections/studio/pages/capabilities-page.ts:78
  • impl:protocol.studio-filter: filters build-rendered rows through their recorded attributes · anchored code · src/studio-elements/filter.ts:25
  • impl:protocol.studio-frame: renders Studio navigation, page rails and composing controls · anchored code · src/projections/studio/pages/frame.ts:6
  • impl:protocol.studio-index-page: renders Pack disclosures and filterable Spec rows · anchored code · src/projections/studio/pages/index-page.ts:8
  • test:protocol.capability-map: test:protocol.capability-map · anchored test binding · binding present · test/recipes.test.ts:7610
  • test:protocol.studio-capabilities: test:protocol.studio-capabilities · anchored test binding · binding present · test/studio-capabilities.test.ts:89
  • spec:consumers.capability-map refines spec:consumers.projections-model · declared — the capability map projects authored refinement without introducing a grouping
  • spec:consumers.spec-studio.capability-map-page refines spec:consumers.capability-map · declared — the page is the capability map's reading for a person
  • spec:consumers.spec-studio.capability-map-page refines spec:consumers.spec-studio.lenses · declared — the Capabilities page is a lens that reads refinement
  • spec:decisions.epics-of-any-kind refines spec:consumers.capability-map · declared — settles which Specs the capability map reads as epics
  • impl:protocol.capability-map-recipe satisfies spec:consumers.capability-map · anchored
  • impl:protocol.capability-map-recipe references spec:decisions.epics-of-any-kind · anchored
  • impl:protocol.studio-capabilities-page satisfies spec:consumers.spec-studio.capability-map-page · anchored
  • impl:protocol.studio-filter satisfies spec:consumers.spec-studio.capability-map-page · anchored
  • impl:protocol.studio-frame satisfies spec:consumers.spec-studio.capability-map-page · anchored
  • impl:protocol.studio-index-page satisfies spec:consumers.spec-studio.capability-map-page · anchored
  • test:protocol.capability-map verifies spec:consumers.capability-map · anchored
  • test:protocol.studio-capabilities verifies spec:consumers.spec-studio.capability-map-page · anchored
Mermaid source

Copyable source; the Studio draws static SVG.

Preferred syntax: requirementDiagram. Chosen syntax: flowchart TB because references, folds require exact labels unavailable in requirement syntax.

Decisions

  • Capability epics keep kind independent of altitude

    Any Spec stated at epic altitude is an epic, whatever its kind, and keeps its kind: the capability map reads every epic and its refinement descendants, and the glossary row broadens from high-altitude behavior Specs to epic Specs of every kind.

Runtime
  • impl:protocol.capability-map-recipe · asserts realization of The capability map in docs/agent-surface/recipes.md · test/recipes.test.ts:7602

    Uses

    None.

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.capability-map
The diagram as text
  • spec:consumers.capability-map: The capability map reads every epic and its refinement descendants
  • spec:consumers.projections-model: Projections fan out from one graph without becoming truth stores
  • spec:consumers.spec-studio.capability-map-page: The capability map page makes refinement readable by epic
  • spec:consumers.spec-studio.diagram-kinds.capability-tree: A refinement drawing follows the capability map
  • spec:consumers.upgrade-kit: The upgrade kit shows a corpus what it could adopt
  • spec:decisions.epics-of-any-kind: Capability epics keep kind independent of altitude
  • spec:extraction.delivery-facts: Resolving bindings confer direct delivery facts
  • spec:protocol.capability-epics: The Protocol organizes its own features in capability epics
  • spec:validation.readiness-floor: Stated readiness must clear its floor
  • spec:consumers.capability-map decidedBy spec:decisions.epics-of-any-kind · declared
  • spec:consumers.capability-map dependsOn spec:extraction.delivery-facts · declared — rollups count direct bindings without conferring facts on ancestors
  • spec:consumers.capability-map dependsOn spec:validation.readiness-floor · declared — each node reads the existing floor beside the author's statement
  • spec:consumers.capability-map refines spec:consumers.projections-model · declared — the capability map projects authored refinement without introducing a grouping
  • spec:consumers.spec-studio.capability-map-page dependsOn spec:consumers.capability-map · declared — the page and index filter render the capability map's answer
  • spec:consumers.spec-studio.diagram-kinds.capability-tree dependsOn spec:consumers.capability-map · declared
  • spec:consumers.upgrade-kit dependsOn spec:consumers.capability-map · declared — the guide teaches epic organization through the capability map
  • spec:protocol.capability-epics dependsOn spec:consumers.capability-map · declared — the capability map exposes the corpus's authored refinement
  • spec:consumers.spec-studio.capability-map-page refines spec:consumers.capability-map · declared — the page is the capability map's reading for a person
  • spec:decisions.epics-of-any-kind refines spec:consumers.capability-map · declared — settles which Specs the capability map reads as epics
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

Distance 1

Distance 2

Distance 3

Relations

Relation and directionOther endClaimReasonExercised keys
decidedBy · outgoingCapability epics keep kind independent of altitude
spec:decisions.epics-of-any-kind · resolves
declaredNoneNone
dependsOn · outgoingResolving bindings confer direct delivery facts
spec:extraction.delivery-facts · resolves
declaredrollups count direct bindings without conferring facts on ancestorsNone
dependsOn · outgoingStated readiness must clear its floor
spec:validation.readiness-floor · resolves
declaredeach node reads the existing floor beside the author's statementNone
refines · outgoingProjections fan out from one graph without becoming truth stores
spec:consumers.projections-model · resolves
declaredthe capability map projects authored refinement without introducing a groupingNone
dependsOn · incomingThe capability map page makes refinement readable by epic
spec:consumers.spec-studio.capability-map-page · resolves
declaredthe page and index filter render the capability map's answerNone
dependsOn · incomingA refinement drawing follows the capability map
spec:consumers.spec-studio.diagram-kinds.capability-tree · resolves
declaredNoneNone
dependsOn · incomingThe upgrade kit shows a corpus what it could adopt
spec:consumers.upgrade-kit · resolves
declaredthe guide teaches epic organization through the capability mapNone
dependsOn · incomingThe Protocol organizes its own features in capability epics
spec:protocol.capability-epics · resolves
declaredthe capability map exposes the corpus's authored refinementNone
refines · incomingThe capability map page makes refinement readable by epic
spec:consumers.spec-studio.capability-map-page · resolves
declaredthe page is the capability map's reading for a personNone
refines · incomingCapability epics keep kind independent of altitude
spec:decisions.epics-of-any-kind · resolves
declaredsettles which Specs the capability map reads as epicsNone

Bindings

Implementation binding: present

  • impl:protocol.capability-map-recipe · asserts realization of The capability map in docs/agent-surface/recipes.md · test/recipes.test.ts:7602 · role projection

Design reference: none

Verifier binding: present

  • test:protocol.capability-map · anchored · test/recipes.test.ts:7610 · 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.