findingIds
import/refusalCited at
no citation recorded
Recipe 24 with recipe 51's entry citations.
import/refusalCited at
no citation recorded
sdp import <path...> --dry-runCited at
no citation recorded
<keyword> [#<key>] <text>Cited at
no citation recorded
behavior.stepKeysCited at
no citation recorded
step key markers must be [#<lower-camel ASCII key>] followed by one space and textCited at
no citation recorded
step key "<key>" names two steps; a step key names one step within a SpecCited at
no citation recorded
step "<skeleton>" carries two step keys; a step carries one key within a SpecCited at
no citation recorded
contracts/conflicting-step-keyCited at
no citation recorded
bindExample(contract, () => world, { cartSize: (world, { items }) => { … }, "the probe runs": (world) => { … } })Cited at
no citation recorded
{ validatorId: "unresolved-address", subjectId, severity, message }Cited at
no citation recorded
{ validatorId: "dependency-cycle", subjectId, severity, message, file, line }Cited at
no citation recorded
{ diagnostics: [{ parameter: "severity", problem: "Expected error or warning." }] }Cited at
no citation recorded
{ changedFiles, totals, impactedSpecs: [id], impactedPacks: [id], atRisk: { incomingSpecs: [id], outgoingSpecs: [id], other: [id] }, coverageUnknownFiles, unlinkedUnits: [id], leftOut }Cited at
no citation recorded
{ id, specKind, statedReadiness, floorReached, statedNextRung, holds: [{ clauseId, targets: [id] }], openQuestions, blockingQuestions, implementedBy, referencedBy }Cited at
no citation recorded
recipes(number, parameters?)Cited at
no citation recorded
recipes: the catalog holds no recipe <number>Cited at
no citation recorded
evaluateBody(body: string, input: { graph: GraphSchema; report?: ValidationReport; params?: Readonly<Record<string, unknown>> }): Promise<unknown>Cited at
no citation recorded
{ name: string; type: "number" | "string" | "boolean" | "enum"; values?: string[]; step: string }Cited at
no citation recorded
{ example: string; values: Record<string, string | number | boolean> }Cited at
no citation recorded
{ spec: string; examples: string[]; slots: CoverageSlot[] }Cited at
no citation recorded
{ name: string; type: string; step: string; enumerable: boolean; values: { value: string | number | boolean; examples: string[] }[]; unbound: string[] }Cited at
no citation recorded
{ spaces: number; slots: number; enumerable: number; values: number; uncovered: number }Cited at
no citation recorded
const accepts = [...]; const unknownParams = Object.keys(params).filter((name) => !accepts.includes(name)); if (unknownParams.length > 0) return { unknownParams, accepts };Cited at
no citation recorded
{ unknownParams, accepts }Cited at
no citation recorded
{ prefixes, scope, totals: { rows, specs, byPrefix }, rows }Cited at
no citation recorded
{ key, spec, section, value, file, line }Cited at
no citation recorded
{ id, title, specKind, altitude, statedReadiness, floorReached, deliveryFacts, questions, parents, children, epicIds }Cited at
no citation recorded
{ from, to, claim: "declared", reason }Cited at
no citation recorded
{ id, title, parentEpicIds, descendantIds, rollup }Cited at
no citation recorded
damageCited at
no citation recorded
buildCited at
no citation recorded
Usage:Cited at
no citation recorded
{ scope, budget, declarations, used, tokenEstimate: { value, method }, leftOut, pack, members, boundary }Cited at
no citation recorded
{ id, file, title, specKind, altitude, statedReadiness, floorReached, statedNextRung, holds, narrative, sections, questions, footing, declarations, examples, design, decisions, implementedBy, referencedBy, verifiers }Cited at
no citation recorded
{ id, member, file, statedReadiness, enabled, steps }Cited at
no citation recorded
{ line }Cited at
no citation recorded
{ refines, dependsOn, constrainedBy, decidedBy }Cited at
no citation recorded
{ scope, budget, declarations, budgetExceeded: true, protectedLength, leftOut }Cited at
no citation recorded
{ scope, budget, declarations, part: { index, of: null }, budgetExceeded: true, oversized: [{ item, length }], leftOut }Cited at
no citation recorded
{ base: { schemaVersion, specs }, head: { schemaVersion, specs }, diagnostics, totals, specs: { added: [id], removed: [id], changed }, packs, bindings, leftOut }Cited at
no citation recorded
{ id, parts: [part] }Cited at
no citation recorded
packsCited at
no citation recorded
bindingsCited at
no citation recorded
params.detailCited at
no citation recorded
{ scope, totals, members, structure, boundary, architecture, decisions, questions }Cited at
no citation recorded
{ members, exampleMembers, relations, depth, cycles, heldBelowNextRung, waitingForAuthor, restsOn, holdingOutside, restedOnBy, verifiedBy, supersededBy, components: { touched, throughMembers, throughRestsOn, throughDesigns, outside }, designs: { total, realized, matching, unrealized, differing, unreadable }, componentUses: { inside, outside, planned }, decisions, decisionsBelowReady, openQuestions, blockingQuestions }Cited at
no citation recorded
{ id, title, specKind, altitude, statedReadiness, floorReached, statedNextRung, holds, depth, restsOn, restedOnBy, exampleOf, exampleMembers, design, rules: { total, keyed }, examples: { total, enabled }, verifiers: { total, enabled }, implementedBy, referencedBy, components }Cited at
no citation recorded
{ id, specKind, statedReadiness, floorReached, statedNextRung, holds, depth, restsOn, exampleOf, design, rules, implementedBy, referencedBy }Cited at
no citation recorded
{ edges: [{ from, to, type, orders, reason }], cycles: [{ members, cycle }], unresolved: [{ from, to, type, reason }] }Cited at
no citation recorded
{ id, label, layer, context, members: { satisfies, references }, restsOn, designs }Cited at
no citation recorded
{ id, layer, context, members: { satisfies, references }, restsOn, designs }Cited at
no citation recorded
{ spec, componentId, layer, context, role, uses, anchorExists, realized, differing, unreadable }Cited at
no citation recorded
{ from, to, count, outside, units }Cited at
no citation recorded
{ design, from, to, outside }Cited at
no citation recorded
{ id, label, layer, context, anchored, reachedBy }Cited at
no citation recorded
{ components, designs, uses, plannedUses, outside, unplaced }Cited at
no citation recorded
{ id, title, statedReadiness, floorReached, member, shapes, refines, supersedes, supersededBy, openQuestions, blockingQuestions }Cited at
no citation recorded
{ address, spec, origin, index, question, blocking, deferral, decider, links, provisional, trigger, holds }Cited at
no citation recorded
.git-archive-commitCited at
no citation recorded
sdp build --imports PATHCited at
no citation recorded
{ "schema": "sdp-imports/1", "adapter": "typescript", "exclude": ["src/generated"], "files": [{ "file": "src/a.ts", "imports": ["src/b.ts"] }] }Cited at
no citation recorded
uncoveredCited at
no citation recorded
inputCited at
no citation recorded
{ "schema": "sdp-proposal/1", "base": "<commit>", "reason": "<one line>", "changes": [change] }Cited at
no citation recorded
{ "scope": ["<spec id or entry address>"], "request": "<words an agent can apply>", "text": "<exact entry text>", "replaces": "<entry address>", "follows": "<entry address>", "relation": { "action": "declare", "from": "<spec id>", "type": "dependsOn", "target": "<spec id>" }, "reason": "<one line>" }Cited at
no citation recorded
{ "schema": "sdp-vault/1", "files": { "<path under sdp/>": ["<sha256 hex of the file's bytes>"] } }Cited at
no citation recorded
sdp vault: the vault <out> lies inside the root and would be read as source; choose a directory under generated/, under an excluded prefix, or outside the rootCited at
no citation recorded
sdp vault: the vault <out> overlaps <path>, which every build rewrites or removes; choose another directory, such as generated/obsidian-vault/Cited at
no citation recorded
sdp/index.mdCited at
no citation recorded
- <severity> · <validator id> · <file>:<line> · <message>Cited at
no citation recorded
sdp/specs.baseCited at
no citation recorded
Build backlogCited at
no citation recorded
sdp/packs/<note>.baseCited at
no citation recorded
MembersCited at
no citation recorded
implementation: 'if(implementationBinding, "present", "none")'Cited at
no citation recorded
<namespace>.<path>Cited at
no citation recorded
[[<path from the vault>.md|<id or address>]]Cited at
no citation recorded
<section>-<key>Cited at
no citation recorded
aliasesCited at
no citation recorded
aliasesCited at
no citation recorded
aliasesCited at
no citation recorded
aliasesCited at
no citation recorded
sdp vault: <first id> and <second id> name notes whose paths differ only in case; nothing was writtenCited at
no citation recorded
{ decider, totals: { waiting, firstRound, rounds, cycles, questions, blockingQuestions, withoutDecider, blockingWithoutDecider }, statements, cycles, questions }Cited at
no citation recorded
{ place, round, id, title, specKind, packs, statedReadiness, floorReached, restsOn }Cited at
no citation recorded
{ members, cycle }Cited at
no citation recorded
{ address, spec, index, question, blocking, decider, holds }Cited at
no citation recorded
{ "name": "models", "select": { "kinds": ["model"] } }Cited at
no citation recorded
{ decider, roadmaps }Cited at
no citation recorded
{ place, id, title, specKind, altitude, need, statedReadiness, floorReached, statedNextRung, holdsNextRung, work, workRows, buildNow, blockingQuestions, decisions, restsOn, restedOnBy, earlierStatements, packs, sharesScopeWith }Cited at
no citation recorded
workRowsCited at
no citation recorded
{ address, spec, index, question, blocking, decider, provisional }Cited at
no citation recorded
{ id, title, statedReadiness, blockingQuestions }Cited at
no citation recorded
{ id, via, from, need, statedReadiness, holdsReady, onRoadmap }Cited at
no citation recorded
{ id, via, need, onRoadmap }Cited at
no citation recorded
earlierStatementsCited at
no citation recorded
{ place, id, specKind, statedReadiness, need }Cited at
no citation recorded
waitingCited at
no citation recorded
capabilities.htmlCited at
no citation recorded
sdp-spec-cardCited at
no citation recorded
sdp-trace-graphCited at
no citation recorded
sdp-maturity-mapCited at
no citation recorded
sdp-example-spaceCited at
no citation recorded
sdp-diagramCited at
no citation recorded
sdp-scenario-editorCited at
no citation recorded
sdp-impact-viewCited at
no citation recorded
sdp-intent-panelCited at
no citation recorded
sdp-composeCited at
no citation recorded
sdp-validation-findingsCited at
no citation recorded
{ members: number; unresolved: number; heldBelowNextRung: number; waitingForAuthor: number; entries: number; declarations: number; openQuestions: number; blockingQuestions: number; withImplementations: number; withReferences: number; restsOn: number; restedOnBy: number; verifiedBy: number; supersededBy: number }Cited at
no citation recorded
{ packs: { id: string; title?: string; members: { id: string; title?: string; statedReadiness?: string; ownsExampleSpace: boolean }[] }[]; findings: { errors: number; warnings: number } }Cited at
no citation recorded
{ records: SearchRecord[] }Cited at
no citation recorded
{ id: string; nodeType: "Primitive" | "Pack" | "Anchor" | "CodeNode"; page: string | null; title?: string; label?: string; framing?: string; narrative?: string; sections?: Record<string, unknown>; file?: string; line?: number; specKind?: string; statedReadiness?: string; floorReached?: string | null; bindings: { edge: string; specId: string }[]; entries: SearchEntry[] }Cited at
no citation recorded
{ section: string; entry: string | null; key: string | null; address: string | null; line: number | null; text: string }Cited at
no citation recorded
{ base?: { graph: unknown; label: string | null }; runs: unknown[] }Cited at
no citation recorded
{ label: string | null; schemaVersion: string; specs: number }Cited at
no citation recorded
drawCited at
no citation recorded
mindmapCited at
no citation recorded
subjectCited at
no citation recorded
flowchart TBCited at
no citation recorded
12Cited at
no citation recorded
880Cited at
no citation recorded
1Cited at
no citation recorded
.diagram-scrollCited at
no citation recorded
blockCited at
no citation recorded
requirementDiagramCited at
no citation recorded
blockCited at
no citation recorded
40Cited at
no citation recorded
880Cited at
no citation recorded
usesCited at
no citation recorded
sdp-diagramCited at
no citation recorded
sdp-expanderCited at
no citation recorded
sdp-studio:intents:<root path>Cited at
no citation recorded
{ scope: string[]; request: string; text?: string; replaces?: string; follows?: string; pack?: string; packMembersComplete?: boolean; action: string }Cited at
no citation recorded
proposal.jsonCited at
no citation recorded
{ label: string | null; file: string | null; line: number | null; role: string | null; layer: string | null; context: string | null; referencedSpecs: string[]; usesCounts: { component: string; edges: number }[]; usedByCounts: { component: string; edges: number }[] }Cited at
no citation recorded
sdp-searchCited at
no citation recorded
sdp-search-resultsCited at
no citation recorded
sdp-filterCited at
no citation recorded
sdp-expanderCited at
no citation recorded
sdp-copyCited at
no citation recorded
sdp-stampCited at
no citation recorded
{ schemaVersion: string; corpusCommit: string; engine: string; builtAt: string; source?: string }Cited at
no citation recorded
.github/workflows/studio-preview.ymlCited at
no citation recorded
rootCited at
no citation recorded
docs/agent-surface/upgrade-guide.mdCited at
no citation recorded
{ totals, capabilities, packs, specs, leftOut }Cited at
no citation recorded
{ capability, inUse, applicable, carriedBy }Cited at
no citation recorded
{ id, members, capabilities }Cited at
no citation recorded
{ id, packs, inUse, couldApply }Cited at
no citation recorded
{ scope, totals: { specs, entries, keyed, proposed, unkeyable }, proposal, unkeyable }Cited at
no citation recorded
{ "schema": "sdp-proposal/1", "base": "<commit>", "reason": "Key every rule and flow entry in <scope> so a review, a register row or an example can cite it.", "changes": [change] }Cited at
no citation recorded
{ "scope": ["<spec id>"], "request": "<request>", "text": "[#<key>] <entry text>", "reason": "Gives the entry the address <spec id>#rule.<key>." }Cited at
no citation recorded
Add the key marker [#<key>] and one space at the start of the text of <entry> of <spec id>, at <file> line <line>, after its rule: or flow: label where it has one.Cited at
no citation recorded
aCited at
no citation recorded
{ spec, entry, file, line, reason: "no word to coin a key from" }Cited at
no citation recorded
refinesCited at
no citation recorded
satisfiesCited at
no citation recorded
memberOfCited at
no citation recorded
belongsToCited at
no citation recorded
citations?: readonly { address: string; file: string; line: number }[]Cited at
no citation recorded
addressCited at
no citation recorded
entryCitations: readonly { address: string; entry: string | null; resolves: boolean; reason: "malformed" | "section" | "entry" | null; file: string; line: number; anchors: readonly string[]; testAnchors: readonly string[]; claim: "inferred" }[]Cited at
no citation recorded
{ scope, totals: { citations, citedEntries, declarations, citedDeclarations, unresolved }, entries, unresolved, findings }Cited at
no citation recorded
{ address, spec, pinned, line, citedBy: [{ file, line, anchors, testAnchors }] }Cited at
no citation recorded
{ address, reason, file, line }Cited at
no citation recorded
{ validatorId: "unresolved-citation", subjectId, severity, message, file, line }Cited at
no citation recorded
"at step: " + naturalReading + "\n" + originalMessageCited at
no citation recorded
contracts/undeclared-slotCited at
no citation recorded
contracts/duplicate-step-keyCited at
no citation recorded
export interface ContractStep<K extends string, P extends ParamShape> { readonly kind: StepKind; readonly key: K; readonly text: string; readonly params: P; }Cited at
no citation recorded
export type Step = "<contract key>" | …;Cited at
no citation recorded
{ readonly kind: "<contract key>"; readonly <slot>: <type>; … }Cited at
no citation recorded
export declare function registerExample<World>(adapters: RunnableExampleAdapters<World, Conditions, Outcome>): void;Cited at
no citation recorded
interface RunnableExampleAdapters<W, C, O extends { readonly kind: string }> { readonly createWorld: (point: Partial<C>) => W; readonly invoke: (world: W, point: Partial<C>) => void | Promise<void>; readonly observe: (world: W) => O; readonly expected: (point: Partial<C>) => O; readonly assertions?: (world: W, observed: O) => void | Promise<void>; }Cited at
no citation recorded
generated/registrars.jsonCited at
no citation recorded
compareContractOutcome(execution, { kind: "then", key, text, params })Cited at
no citation recorded
scenario <spec>: oracle selected "<kind>"; available Then steps: "<key>", …Cited at
no citation recorded
conformance/structural-anchorsCited at
no citation recorded
links:Cited at
no citation recorded
unrealizedCited at
no citation recorded
[#<key>]Cited at
no citation recorded
behavior.rulesCited at
no citation recorded
conformance/rule-exercisesCited at
no citation recorded
verifies: { target: <spec id>, exercises: [<key>] }Cited at
no citation recorded
@exercises.<key>Cited at
no citation recorded
spec:<id>#rule.<key>Cited at
no citation recorded
- **<term>** — [#<key>] <definition>Cited at
no citation recorded
model.termKeysCited at
no citation recorded
term key markers must be [#<lower-camel ASCII key>] followed by one space and textCited at
no citation recorded
term key "<key>" is repeated; term keys must be unique within a SpecCited at
no citation recorded
ENTRY_ADDRESS_SECTIONSCited at
no citation recorded
Mention in "<spec>" at <path> points to missing entry "term.<key>" of "<target>".Cited at
no citation recorded
{ spec, file, entry: "term[<i>]", key?, line }Cited at
no citation recorded
{ index: number; tool: string | null; toolVersion: string | null; specVersion: string; commit: string | null; branch: string | null; build: string | null; start: number | null; stop: number | null; summary: { tests: number; passed: number; failed: number; skipped: number; pending: number; other: number }; sameCommit: boolean | null }Cited at
no citation recorded
{ file: string; anchors: { id: string; verifies: string[] }[]; specs: string[]; results: { input: number; name: string; suite: string | null; status: string; duration: number | null }[] }Cited at
no citation recorded
{ input: number; name: string; filePath: string | null; status: string; reason: "noFilePath" | "noTestAnchor" }Cited at
no citation recorded
{ input: number | null; problem: string }Cited at
no citation recorded
{ inputs: number; tests: number; joined: number; unjoined: number; files: number; specs: number }Cited at
no citation recorded
pack:roadmapCited at
no citation recorded
AGENTS.md — the handbook does not name the roadmap PackCited at
no citation recorded
{ input: { forbidden, isolated, severity }, totals: { usesEdges, resolved, findings, unclassified }, findings, unclassified }Cited at
no citation recorded
{ validatorId, subjectId, relatedId, severity, message, from, to, fromComponent, toComponent, rule }Cited at
no citation recorded
unclassifiedCited at
no citation recorded
sdp validate [root] [--exclude PATH]... [--check-clean | --watch] [--rules PATH [--params JSON | --params @PATH | --params KEY=@PATH]...]...Cited at
no citation recorded
--paramsCited at
no citation recorded
{ findings: [] }Cited at
no citation recorded
{ validatorId, subjectId, severity, message, relatedId?, path?, file?, line? }Cited at
test/skills.test.ts:1474{ rulesFile, validatorId, subjectId, severity, message, relatedId?, path?, file?, line? }Cited at
no citation recorded
corpus rules: <errors> errors · <warnings> warnings · <failed> of <files> files failed (the corpus's own rules)Cited at
no citation recorded
<reason>Cited at
no citation recorded
validate: <errors> errors · <warnings> warnings (conformance + honesty over the one graph)Cited at
no citation recorded
{ "tokens": [token] }Cited at
no citation recorded
params.patternCited at
no citation recorded
{ input: { pattern, severity, uncited }, totals: { specs, citations, tokens, unknown, retired, uncited }, tokens, findings }Cited at
no citation recorded
{ token, held, retired, citations, specs }Cited at
no citation recorded
{ validatorId, subjectId, relatedId, severity, message, file, path, line }Cited at
no citation recorded
<spec> cites <token>, which the register does not listCited at
no citation recorded
{ validatorId: "uncited-token", subjectId, severity, message }Cited at
no citation recorded
conformance/superseded-decisionsCited at
no citation recorded
conformanceCited at
no citation recorded
warningCited at
no citation recorded
subjectIdCited at
no citation recorded
Spec "<subjectId>" is decided by "<relatedId>", which a later decision supersedes; the chain of replacements ends at "<end>" (informative, never a gate).Cited at
no citation recorded
Spec "<subjectId>" is decided by "<relatedId>", whose chain of replacements closes on itself through "<loop-id>", "<loop-id>" (informative, never a gate).Cited at
no citation recorded
Spec "<subjectId>" is decided by "<relatedId>", whose chain of replacements ends at "<end>" and also closes on itself through "<loop-id>", "<loop-id>" (informative, never a gate).Cited at
no citation recorded
graphValidatorIdsCited at
no citation recorded
{ id: string; refusing: Probe; accepting: Probe }Cited at
no citation recorded
auditValidatorEvidence(table: readonly ProbeEntry[], run: (probe: Probe) => readonly Finding[], registered: readonly string[], source: SourceScan): AuditAnswerCited at
no citation recorded
{ unpaired: string[]; duplicatePairs: string[]; strayPairs: string[]; unregistered: string[]; unresolved: string[]; silent: string[]; overeager: string[] }Cited at
no citation recorded
scanFindingIds(srcRoot: string): SourceScanCited at
no citation recorded
Composing needs the script.