Enrichment keeps one Spec while its detail changes

outcome

Keep a Spec useful after implementation without copying its detail into a second artifact that drifts from it.

enrichment lifecycle line 18 · specs/model/enrichment-lifecycle.sdp.md:18

The same Spec gains and may later slim typed detail without changing identity or moving truth into another artifact type.

distillation boundary line 19 · specs/model/enrichment-lifecycle.sdp.md:19

A Design entry may leave its Spec once the Spec is implemented with a verifier and a bound artifact carries the entry: a pinned declaration whose realizing unit exists, or a bound example. Prose that explains why always stays, so each explanation keeps one home, and implemented code alone justifies neither keeping nor deleting detail.

slimming candidate line 20 · specs/model/enrichment-lifecycle.sdp.md:20

A Design entry past the distillation boundary. A recipe reports the candidates and never deletes one; removing an entry stays the author's edit.

slimmingRecipe line 24 · specs/model/enrichment-lifecycle.sdp.md:24

recipe 39, slimming candidates, takes an optional params.pack and returns { totals: { specs, potentialCandidates }, rows, leftOut }, each row { spec, key, line, declaration, implementations, verifiers } for a pinned declaration on a Spec that carries both implemented and has-verifier.

slimmingScope line 25 · specs/model/enrichment-lifecycle.sdp.md:25

rows are potential candidates the author compares with the bound artifacts, because a binding names a whole Spec and the graph proves no entry-level realization for a declaration or an example; leftOut states both limits, and prose entries are never candidates.

Verifier bindings

• test:protocol.slimming-recipe · anchored · test anchor binding present · test/curation-recipes.test.ts:39

  External run evidence from test/curation-recipes.test.ts

  Test anchors: test:protocol.curation-recipe, test:protocol.slimming-recipe. Specs verified by those bindings: spec:consumers.impact-graph.curation-assist, spec:model.enrichment-lifecycle.

  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

  Name	Suite	Result	Duration
  requires both facts and uses recipe 24's opening span rule, with lines and bindings	slimming candidates recipe	passed	8.45 ms
  selects only Pack members and returns no rows for a clean Pack	slimming candidates recipe	passed	2.54 ms
  distinguishes an unknown Pack from a clean existing Pack	slimming candidates recipe	passed	1.83 ms
  includes enabled example verifier bindings without claiming they realize an entry	slimming candidates recipe	passed	1.44 ms
  returns diagnostics and no rows for invalid imports input undefined	curation report recipe	passed	1.13 ms
  returns diagnostics and no rows for invalid imports input null	curation report recipe	passed	1.03 ms
  returns diagnostics and no rows for invalid imports input []	curation report recipe	passed	0.56 ms
  returns diagnostics and no rows for invalid imports input 'imports'	curation report recipe	passed	0.63 ms
  returns diagnostics and no rows for invalid imports input {}	curation report recipe	passed	0.73 ms
  returns diagnostics and no rows for invalid imports input { schema: 'sdp-imports/2', …(2) }	curation report recipe	passed	0.52 ms
  returns diagnostics and no rows for invalid imports input { schema: 'sdp-imports/1', files: [] }	curation report recipe	passed	0.49 ms
  returns diagnostics and no rows for invalid imports input { schema: 'sdp-imports/1', …(2) }	curation report recipe	passed	0.47 ms
  returns diagnostics and no rows for invalid imports input { schema: 'sdp-imports/1', …(3) }	curation report recipe	passed	0.58 ms
  returns diagnostics and no rows for invalid imports input { schema: 'sdp-imports/1', …(3) }	curation report recipe	passed	0.59 ms
  returns diagnostics and no rows for invalid imports input { schema: 'sdp-imports/1', …(2) }	curation report recipe	passed	0.58 ms
  returns diagnostics and no rows for invalid imports input { schema: 'sdp-imports/1', …(2) }	curation report recipe	passed	0.44 ms
  returns diagnostics and no rows for invalid imports input { schema: 'sdp-imports/1', …(2) }	curation report recipe	passed	0.47 ms
  returns diagnostics and no rows for invalid limit 0	curation report recipe	passed	0.51 ms
  returns diagnostics and no rows for invalid limit -1	curation report recipe	passed	0.4 ms
  returns diagnostics and no rows for invalid limit 1.5	curation report recipe	passed	0.48 ms
  returns diagnostics and no rows for invalid limit "1"	curation report recipe	passed	0.4 ms
  returns diagnostics and no rows for invalid limit null	curation report recipe	passed	0.36 ms
  returns diagnostics and no rows for invalid limit true	curation report recipe	passed	0.48 ms
  recognizes every lawful component-id segment and keeps invalid convention values out	curation report recipe	passed	0.7 ms
  echoes import exclusions without changing the supplied graph or inferring omissions	curation report recipe	passed	2.33 ms
  joins directed component pairs, ranks uncovered files and reports incomplete input and unrealized designs	curation report recipe	passed	1.13 ms
  applies the limit only to uncovered rows and counts distinct file pairs	curation report recipe	passed	0.93 ms
  aggregates file pairs for a component pair and picks the first sample in path order	curation report recipe	passed	0.81 ms
  uses code-unit order for tied ranks and samples, and defaults to twenty uncovered rows	curation report recipe	passed	1.57 ms
  keeps several component bindings in one file and ignores inferred structural edges	curation report recipe	passed	0.95 ms
  builds a small fixture imports file and supplies its object to the recipe, backing uses through a barrel	curation report recipe	passed	473.8 ms
  reports missing or malformed parameter data {}	curation report recipe	passed	0.68 ms
  reports missing or malformed parameter data {"imports":{}}	curation report recipe	passed	0.4 ms
  reports missing or malformed parameter data {"imports":{"schema":"sdp-imports/1","adapter":"typescript","files":[{"file":"code/idle.ts","imports":[]},{"file":"code/a.ts","imports":["code/index.ts","code/leaf.ts"]},{"file":"code/index.ts","imports":["code/leaf.ts"]},{"file":"code/leaf.ts","imports":["code/a.ts"]},{"file":"code/loose.ts","imports":[]}]},"limit":-1}	curation report recipe	passed	0.4 ms
  reports missing or malformed parameter data {"imports":{"schema":"sdp-imports/1","adapter":"typescript","files":[{"file":"code/idle.ts","imports":[]},{"file":"code/a.ts","imports":["code/index.ts","code/leaf.ts"]},{"file":"code/index.ts","imports":["code/leaf.ts"]},{"file":"code/leaf.ts","imports":["code/a.ts"]},{"file":"code/loose.ts","imports":[]}]},"limit":1.5}	curation report recipe	passed	8.89 ms

Requirement drawing

• Declared verifying examples: no declared verifying example.

Decisions

No decision record named.

• impl:protocol.slimming-recipe · asserts realization of the shipped slimming-candidates recipe · test/curation-recipes.test.ts:26

  Uses

  None.

Runtime observation: not tracked.

Runtime observation: not tracked.

Build attestations: not tracked.

Deployments: not tracked.

Bills of materials: not tracked.