@@ -0,0 +1,11 @@
+---
+'@objectstack/spec': patch
+---
+
+Corrects the ADR-0087 D2/D3 house-rule prose across the migration chain's doc comments (`packages/spec/src/migrations/types.ts`, `packages/spec/src/migrations/registry.ts` and `packages/spec/src/migrations/spec-changes.ts`) so it states the ruled convention: every retirement family gets one D3 `semantic` entry, even when a lossless D2 conversion also exists for it, and D2 carries the mechanical data repair only (#17152).
+
+Clause-②: no
+
+The shape ruled superseded (director-seat class-one self-adjudication on #17152, authority: the maintainer's ruling on #15954) was stated in several places, each in its own words: `types.ts`'s module docblock said "breaks with no lossless mapping"; `types.ts`'s `SemanticMigration`/`MigrationStep`/`reason` doc comments said "A non-lossless change", "Why this is not losslessly convertible" and "Non-lossless changes authored for this major"; `registry.ts`'s module docblock said "the non-lossless residue D2 could not express"; and `spec-changes.ts`'s `SpecMigratedSchema` said "A semantic (non-lossless) migration" with a `rationale` `.describe()` of "Why it is not losslessly convertible". All are corrected to the same meaning: a D3 entry is owed per retirement family regardless of whether D2 is lossless, and `reason`/`rationale` now say why the consumer still owes a judgment rather than why the change cannot be losslessly converted.
+
+No entry, gate or runtime behaviour changes; this is a doc-comment correction, filed as `patch` because the `types.ts` prose ships verbatim into the published `dist/index.d.ts` / `dist/index.d.mts` (measured: `grep` after a real build finds each corrected sentence there, with `MigrationStep` and `MIGRATION_SUPPORT_FLOOR` as positive controls proving `dist` is readable). `registry.ts`'s docblock does not ship to `dist` at this head (same positive controls, zero hits either wording). `spec-changes.ts`'s `.describe()` text ships in the runtime bundles (`dist/index.js`, `dist/index.mjs`, `dist/browser/*`), not in the `.d.ts`, `json-schema/**` or `spec-changes.json` (measured the same way, with `SpecMigratedSchema` as the `.d.ts` positive control). `check:spec-changes` / `check:upgrade-guide` / `check:authorable-surface` all report their generated artifacts unchanged. Both are corrected for the same reason — each is prose the card and the ruling target.
@@ -6,7 +6,8 @@
  * One {@link MigrationStep} per protocol major that carried a break. Each step's
  * mechanical transforms are the D2 conversions that graduated into it (referenced
  * by id, so the transform + fixture pair are never duplicated), and its
- * `semantic` list is the non-lossless residue D2 could not express.
+ * `semantic` list carries one entry per retirement family, even when a lossless
+ * D2 conversion also exists for it — D2 carries the mechanical data repair only.
  *
  * The chain is a **forever artifact**: every step back to
  * {@link MIGRATION_SUPPORT_FLOOR} stays replayable, and CI replays the full chain
 
@@ -106,14 +106,18 @@ export const SpecConvertedSchema = z
   })
   .describe('A lossless conversion applied at load (D2).');
 
-/** A semantic (non-lossless) migration (from the D3 migration chain). */
+/** A semantic migration, one per retirement family (from the D3 migration chain). */
 export const SpecMigratedSchema = z
   .object({
     surface: z.string(),
     replacement: z.string(),
     migrationId: z.string().describe('The D3 semantic-migration id.'),
     toMajor: z.number().int(),
-    rationale: z.string().describe('Why it is not losslessly convertible (the load-bearing prose).'),
+    rationale: z
+      .string()
+      .describe(
+        'Why the consumer still owes a judgment here, even when D2 already repaired the data (the load-bearing prose).',
+      ),
   })
   .describe('A semantic migration requiring consumer judgment (D3).');
 
 
@@ -5,9 +5,10 @@
  *
  * Where the conversion layer (D2) breaks *invisibly* — accepting the old shape
  * at load for one major — the migration chain is the L2 rung: *break
- * executably*. For the breaks D2 cannot hide (semantic changes with no lossless
- * mapping) and for the graduated conversions retired from the load path, the
- * spec ships a **permanent, ordered chain of per-major steps**, back to the
+ * executably*. For every retirement family's semantic changes (one D3 entry
+ * per family, even when a lossless D2 conversion also exists for it) and for
+ * the graduated conversions retired from the load path, the spec ships a
+ * **permanent, ordered chain of per-major steps**, back to the
  * chain's support floor (`MIGRATION_SUPPORT_FLOOR`, `registry.ts`). A consumer
  * at or above the floor runs `objectstack migrate meta --from N` and replays
  * every remaining step in one command, however many majors that spans — it
@@ -22,15 +23,17 @@
  *  - **graduated conversions** — the D2 entries with `toMajor === N`, retired
  *    from the load path in N+1 and preserved here as that major's *mechanical*
  *    transforms (reusing the very same declarative transform + fixture pair);
- *  - **semantic changes** — breaks with no lossless mapping, which cannot be
- *    auto-applied and instead emit a structured TODO (surface, reason,
- *    acceptance criteria) so the consumer agent knows exactly what judgment is
+ *  - **semantic changes** — one entry per retirement family, even when a
+ *    lossless D2 conversion also exists for it (D2 carries the mechanical
+ *    data repair only): a structured TODO (surface, reason, acceptance
+ *    criteria) so the consumer agent knows exactly what judgment is
  *    delegated to it, rather than silence.
  */
 
 /**
- * A non-lossless change that cannot be auto-applied — surfaced as a structured
- * TODO the consumer agent must resolve by hand (ADR-0087 D3: "never silence").
+ * One retirement family's D3 entry — owed even when a lossless D2 conversion
+ * carries the data repair — surfaced as a structured TODO the consumer agent
+ * must resolve by hand (ADR-0087 D3: "never silence").
  */
 export interface SemanticMigration {
   /** Stable, kebab-case id. */
@@ -39,7 +42,10 @@ export interface SemanticMigration {
   surface: string;
   /** The canonical replacement the author should move to. */
   replacement: string;
-  /** Why this is not losslessly convertible (the one load-bearing prose field). */
+  /**
+   * Why the consumer still owes a judgment here, even when D2 already
+   * repaired the data (the one load-bearing prose field).
+   */
   reason: string;
   /** How the consumer proves the hand-migration correct (their own verify loop). */
   acceptanceCriteria: string;
@@ -60,7 +66,10 @@ export interface MigrationStep {
    * transforms are replayed against the consumer's source (not just at load).
    */
   conversionIds: readonly string[];
-  /** Non-lossless changes authored for this major, as structured TODOs. */
+  /**
+   * One entry per retirement family authored for this major, as structured
+   * TODOs — owed even when a lossless D2 conversion also exists for it.
+   */
   semantic: readonly SemanticMigration[];
 }