@metaobjectsdev/metadata 0.24.1 → 0.24.3

package/dist/attr-contradictions.d.ts

@@ -0,0 +1,52 @@
+/**
+ * One pair of attributes that may not co-occur on a node.
+ *
+ * `drop` and `keep` are named for the REWRITE, not for importance: an entry exists only
+ * where one side is provably redundant. An entry with no mechanical answer does not belong
+ * here — it belongs in the loader alone, refusing.
+ */
+export interface AttrContradiction {
+    readonly type: string;
+    /** `*` for every subtype of `type`, else the exact subtype. */
+    readonly subType: string;
+    /** Declared alongside `keep`, this one goes. Matched on PRESENCE — see below. */
+    readonly drop: string;
+    /** The attribute whose presence makes `drop` illegal, and which survives the rewrite. */
+    readonly keep: string;
+    /**
+     * When set, `keep` makes `drop` illegal only at THESE values — the pair is a
+     * contradiction of meaning rather than of mere co-occurrence.
+     *
+     * It lists every spelling that has ever carried the meaning, across the version
+     * boundary, and that is load-bearing rather than defensive: the rewriter runs the
+     * contradiction pass BEFORE the retirement pass, so a legacy document still says
+     * `abandoned` at the moment this is evaluated. Listing only the modern value would
+     * make `meta upgrade --apply` rewrite the status, leave the contradicting sibling
+     * behind, and exit 0 on a file that still does not load — the exact failure #342
+     * was filed for.
+     */
+    readonly keepValues?: readonly string[];
+    /** The release that started refusing the pair. */
+    readonly since: string;
+    /** One line stating the RULE, in the present tense — the loader has already said WHICH
+     *  node broke it, so this says what the rule is. */
+    readonly why: string;
+    /** What the rewrite costs, completing "so <effect>" — the sentence that tells an adopter
+     *  it is safe to run, and why the answer is not a guess. */
+    readonly effect: string;
+}
+export declare const ATTR_CONTRADICTIONS: readonly AttrContradiction[];
+/** True when `c` governs `typeKey` (`"<type>.<subType>"`). Mirrors `scopeMatches`. */
+export declare function contradictionScopeMatches(c: AttrContradiction, typeKey: string): boolean;
+/** Every contradiction governing this type key. */
+export declare function contradictionsFor(typeKey: string): readonly AttrContradiction[];
+/**
+ * The sentence appended to the load error that refuses the pair.
+ *
+ * Kept beside the table for the reason #337 recorded: an adopter who is told only that
+ * their metadata is invalid concludes the tool is broken, because nothing in the message
+ * says a fixer exists. Naming the command is the difference between a dead end and a
+ * one-line migration.
+ */
+export declare function contradictionHint(c: AttrContradiction): string;
+//# sourceMappingURL=attr-contradictions.d.ts.map

package/dist/attr-contradictions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"attr-contradictions.d.ts","sourceRoot":"","sources":["../src/attr-contradictions.ts"],"names":[],"mappings":"AA4BA;;;;;;GAMG;AACH,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,+DAA+D;IAC/D,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,iFAAiF;IACjF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,yFAAyF;IACzF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACxC,kDAAkD;IAClD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB;wDACoD;IACpD,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB;gEAC4D;IAC5D,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,eAAO,MAAM,mBAAmB,EAAE,SAAS,iBAAiB,EA8C3D,CAAC;AAEF,sFAAsF;AACtF,wBAAgB,yBAAyB,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAKxF;AAED,mDAAmD;AACnD,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,iBAAiB,EAAE,CAE/E;AAED;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAK9D"}

package/dist/attr-contradictions.js

@@ -0,0 +1,100 @@
+// server/typescript/packages/metadata/src/attr-contradictions.ts
+//
+// Pairs of LIVE attributes that may not both be declared on one node — and, where the
+// resolution is mechanical, which one `meta upgrade` drops.
+//
+// THE SIBLING OF `retired-vocabulary.ts`, DELIBERATELY NOT PART OF IT. That table answers
+// "this name is gone"; this one answers "both these names are fine, and together they are
+// not". The match shape differs (one attribute versus a pair on the same node), the fix
+// shape differs (rewrite a value versus delete one of two), and folding them together
+// would give every retirement entry fields it can never use. They share the thing that
+// matters instead: both are consulted by the LOADER for its diagnostic and by the
+// `meta upgrade` rewriter for its fix, so the message an adopter reads and the edit the
+// tool makes come from one place and cannot drift apart.
+//
+// WHY A MECHANICAL FIX IS AVAILABLE HERE AT ALL, when `@status: abandoned` is refused.
+// A refusal is right when the correct edit depends on intent nobody recorded. It is wrong
+// when the metadata's own history says what the declaration MEANT. `@fields` + `@expr`
+// loaded before 0.24.1 and `@fields` was silently DISCARDED — `migrate-ts` has always run
+// `columns: expr ? [] : cols`, so the index in the adopter's database is the expression
+// one. Dropping `@fields` therefore reproduces the object that already exists; keeping
+// `@fields` and dropping `@expr` would invent a different index and emit a migration
+// against live data. There is one answer, and the deployed schema is the evidence for it.
+//
+// CROSS-PORT: like the retirement map this is a DIAGNOSTIC plus a TS-only fixer. It
+// changes no load OUTCOME — every port already refuses the contradiction with the same
+// code — and the shared corpus compares error code and source, never message text. So it
+// carries no registry-conformance obligation; mirroring it is per-port ergonomics.
+export const ATTR_CONTRADICTIONS = [
+    // ── FR-039: a retired requirement has no implementation (0.24.2) ──
+    //
+    // The pair is @status: retired + @implementedBy. It is a contradiction of MEANING,
+    // not of co-occurrence — @status and @implementedBy sit together happily on every
+    // other status — which is why this is the first entry needing `keepValues`.
+    //
+    // Mechanical, and the reason it is: a retired capability has no implementation BY
+    // DEFINITION, so the reference list describes nodes that are gone. That is not a
+    // judgement call about what the author meant; it is what retiring something IS. The
+    // record of what used to implement it belongs in `notes` (the shape one adopting
+    // estate reached by hand before any ruling, on the grounds that "what used to
+    // implement a retired capability is real information in the wrong field") and what
+    // REPLACED it belongs in @supersededBy, which resolves.
+    {
+        type: "requirement", subType: "*",
+        drop: "implementedBy", keep: "status",
+        keepValues: ["retired", "abandoned", "superseded"],
+        since: "0.24.2",
+        why: "a retired requirement has no implementation — that is what retiring it means",
+        effect: "the references named nodes that are gone, so dropping them removes a list " +
+            "nothing could resolve; what REPLACED the capability goes in @supersededBy " +
+            "and why it went goes in `notes`",
+    },
+    // ── #342: an index key is @fields XOR @expr (0.24.1) ──
+    //
+    // Both subtypes, because ADR-0040 puts uniqueness in the TYPE: `identity.secondary` IS a
+    // unique index, keys itself identically, and carries `@expr` from the same db provider.
+    // `identity.primary` and `identity.reference` are absent on purpose — a primary key or an
+    // FK is always plain columns and has no `@expr` to contradict.
+    {
+        type: "index", subType: "lookup",
+        drop: "fields", keep: "expr",
+        since: "0.24.1",
+        why: "an index keys off plain columns (@fields) or a key expression (@expr), never both",
+        effect: "the index in your database is the expression one and dropping @fields " +
+            "changes no emitted DDL",
+    },
+    {
+        type: "identity", subType: "secondary",
+        drop: "fields", keep: "expr",
+        since: "0.24.1",
+        why: "a unique key keys off plain columns (@fields) or a key expression (@expr), never both",
+        effect: "the constraint in your database is the expression one and dropping @fields " +
+            "changes no emitted DDL",
+    },
+];
+/** True when `c` governs `typeKey` (`"<type>.<subType>"`). Mirrors `scopeMatches`. */
+export function contradictionScopeMatches(c, typeKey) {
+    const dot = typeKey.indexOf(".");
+    if (dot < 0)
+        return false;
+    if (c.type !== typeKey.slice(0, dot))
+        return false;
+    return c.subType === "*" || c.subType === typeKey.slice(dot + 1);
+}
+/** Every contradiction governing this type key. */
+export function contradictionsFor(typeKey) {
+    return ATTR_CONTRADICTIONS.filter((c) => contradictionScopeMatches(c, typeKey));
+}
+/**
+ * The sentence appended to the load error that refuses the pair.
+ *
+ * Kept beside the table for the reason #337 recorded: an adopter who is told only that
+ * their metadata is invalid concludes the tool is broken, because nothing in the message
+ * says a fixer exists. Naming the command is the difference between a dead end and a
+ * one-line migration.
+ */
+export function contradictionHint(c) {
+    return (`${c.why} — drop one. Declaring both previously loaded but silently discarded ` +
+        `@${c.drop}, so ${c.effect}. \`meta upgrade --apply\` drops it for you.`);
+}
+//# sourceMappingURL=attr-contradictions.js.map

package/dist/attr-contradictions.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attr-contradictions.js","sourceRoot":"","sources":["../src/attr-contradictions.ts"],"names":[],"mappings":"AAAA,iEAAiE;AACjE,EAAE;AACF,sFAAsF;AACtF,4DAA4D;AAC5D,EAAE;AACF,0FAA0F;AAC1F,0FAA0F;AAC1F,wFAAwF;AACxF,sFAAsF;AACtF,uFAAuF;AACvF,kFAAkF;AAClF,wFAAwF;AACxF,yDAAyD;AACzD,EAAE;AACF,uFAAuF;AACvF,0FAA0F;AAC1F,uFAAuF;AACvF,0FAA0F;AAC1F,wFAAwF;AACxF,uFAAuF;AACvF,qFAAqF;AACrF,0FAA0F;AAC1F,EAAE;AACF,oFAAoF;AACpF,uFAAuF;AACvF,yFAAyF;AACzF,mFAAmF;AAwCnF,MAAM,CAAC,MAAM,mBAAmB,GAAiC;IAC/D,qEAAqE;IACrE,EAAE;IACF,mFAAmF;IACnF,kFAAkF;IAClF,4EAA4E;IAC5E,EAAE;IACF,kFAAkF;IAClF,iFAAiF;IACjF,oFAAoF;IACpF,iFAAiF;IACjF,8EAA8E;IAC9E,mFAAmF;IACnF,wDAAwD;IACxD;QACE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,GAAG;QACjC,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,QAAQ;QACrC,UAAU,EAAE,CAAC,SAAS,EAAE,WAAW,EAAE,YAAY,CAAC;QAClD,KAAK,EAAE,QAAQ;QACf,GAAG,EAAE,8EAA8E;QACnF,MAAM,EAAE,4EAA4E;YAC5E,4EAA4E;YAC5E,iCAAiC;KAC1C;IACD,yDAAyD;IACzD,EAAE;IACF,yFAAyF;IACzF,wFAAwF;IACxF,0FAA0F;IAC1F,+DAA+D;IAC/D;QACE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ;QAChC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;QAC5B,KAAK,EAAE,QAAQ;QACf,GAAG,EAAE,mFAAmF;QACxF,MAAM,EAAE,wEAAwE;YACxE,wBAAwB;KACjC;IACD;QACE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW;QACtC,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM;QAC5B,KAAK,EAAE,QAAQ;QACf,GAAG,EAAE,uFAAuF;QAC5F,MAAM,EAAE,6EAA6E;YAC7E,wBAAwB;KACjC;CACF,CAAC;AAEF,sFAAsF;AACtF,MAAM,UAAU,yBAAyB,CAAC,CAAoB,EAAE,OAAe;IAC7E,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACjC,IAAI,GAAG,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACnD,OAAO,CAAC,CAAC,OAAO,KAAK,GAAG,IAAI,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;AACnE,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,OAAO,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,yBAAyB,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;AAClF,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,iBAAiB,CAAC,CAAoB;IACpD,OAAO,CACL,GAAG,CAAC,CAAC,GAAG,uEAAuE;QAC/E,IAAI,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,MAAM,8CAA8C,CACzE,CAAC;AACJ,CAAC"}

package/dist/core/requirement/meta-requirement.d.ts

@@ -22,6 +22,13 @@ export declare class MetaRequirement extends MetaData {
     isPlanned(): boolean;
     /** True when there is outstanding work, so a `@disposition` says something. */
     hasOutstandingWork(): boolean;
+    /** Built, then deliberately removed. Carries no `@implementedBy` (the loader
+     *  refuses it), never counts toward object coverage, and is exempt from the
+     *  architectural universality check — a withdrawn policy governs nothing. */
+    isRetired(): boolean;
+    /** The requirement that REPLACED this one (FR-039). Legal on `retired` only;
+     *  `verify` resolves it, so a supersession chain stays walkable. */
+    supersededBy(): string | undefined;
     implementedBy(): string[];
     /** True when this requirement is permitted to reference the model at all.
      *
@@ -33,7 +40,8 @@ export declare class MetaRequirement extends MetaData {
      *  the floor unconditionally would have broken every existing flat policy. */
     mayReferenceModel(): boolean;
     /** True when a dangling `@implementedBy` is an ERROR rather than expected.
-     *  `planned` is the only exemption — there the nodes do not exist YET. */
+     *  `planned` is exempt (the nodes do not exist YET) and `retired` cannot reach
+     *  this at all, because the loader refuses `@implementedBy` there. */
     requiresLiveNodes(): boolean;
 }
 //# sourceMappingURL=meta-requirement.d.ts.map

package/dist/core/requirement/meta-requirement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"meta-requirement.d.ts","sourceRoot":"","sources":["../../../src/core/requirement/meta-requirement.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EAYL,KAAK,sBAAsB,EAC3B,KAAK,iBAAiB,EACvB,MAAM,4BAA4B,CAAC;AAEpC,qBAAa,eAAgB,SAAQ,QAAQ;IAC3C,+DAA+D;IAC/D,YAAY,IAAI,OAAO;IAIvB,iFAAiF;IACjF,eAAe,IAAI,OAAO;IAI1B;;;mFAG+E;IAC/E,KAAK,IAAI,MAAM,GAAG,SAAS;IAK3B,MAAM,IAAI,iBAAiB,GAAG,SAAS;IAKvC;+DAC2D;IAC3D,WAAW,IAAI,sBAAsB,GAAG,SAAS;IAKjD,kFAAkF;IAClF,SAAS,IAAI,MAAM,EAAE;IAKrB;;qEAEiE;IACjE,SAAS,IAAI,OAAO;IAIpB,+EAA+E;IAC/E,kBAAkB,IAAI,OAAO;IAK7B,aAAa,IAAI,MAAM,EAAE;IAKzB;;;;;;;kFAO8E;IAC9E,iBAAiB,IAAI,OAAO;IAM5B;8EAC0E;IAC1E,iBAAiB,IAAI,OAAO;CAI7B"}
+{"version":3,"file":"meta-requirement.d.ts","sourceRoot":"","sources":["../../../src/core/requirement/meta-requirement.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EAYL,KAAK,sBAAsB,EAC3B,KAAK,iBAAiB,EAGvB,MAAM,4BAA4B,CAAC;AAEpC,qBAAa,eAAgB,SAAQ,QAAQ;IAC3C,+DAA+D;IAC/D,YAAY,IAAI,OAAO;IAIvB,iFAAiF;IACjF,eAAe,IAAI,OAAO;IAI1B;;;mFAG+E;IAC/E,KAAK,IAAI,MAAM,GAAG,SAAS;IAK3B,MAAM,IAAI,iBAAiB,GAAG,SAAS;IAKvC;+DAC2D;IAC3D,WAAW,IAAI,sBAAsB,GAAG,SAAS;IAKjD,kFAAkF;IAClF,SAAS,IAAI,MAAM,EAAE;IAKrB;;qEAEiE;IACjE,SAAS,IAAI,OAAO;IAIpB,+EAA+E;IAC/E,kBAAkB,IAAI,OAAO;IAK7B;;iFAE6E;IAC7E,SAAS,IAAI,OAAO;IAIpB;wEACoE;IACpE,YAAY,IAAI,MAAM,GAAG,SAAS;IAKlC,aAAa,IAAI,MAAM,EAAE;IAKzB;;;;;;;kFAO8E;IAC9E,iBAAiB,IAAI,OAAO;IAM5B;;0EAEsE;IACtE,iBAAiB,IAAI,OAAO;CAI7B"}

package/dist/core/requirement/meta-requirement.js

@@ -4,7 +4,7 @@
 // Accessors are RESOLVING (ADR-0039) so a requirement that `extends` an
 // abstract parent inherits its properties.
 import { MetaData } from "../../shared/meta-data.js";
-import { REQUIREMENT_SUBTYPE_FUNCTIONAL, REQUIREMENT_SUBTYPE_ARCHITECTURAL, REQUIREMENT_ATTR_LEVEL, REQUIREMENT_ATTR_STATUS, REQUIREMENT_ATTR_DISPOSITION, REQUIREMENT_ATTR_TRACKED_BY, REQUIREMENT_ATTR_IMPLEMENTED_BY, REQUIREMENT_LINK_FLOOR_LEVEL, REQUIREMENT_STATUS_PLANNED, REQUIREMENT_STATUSES_REQUIRING_LIVE_NODES, REQUIREMENT_STATUSES_WITH_OUTSTANDING_WORK, } from "./requirement-constants.js";
+import { REQUIREMENT_SUBTYPE_FUNCTIONAL, REQUIREMENT_SUBTYPE_ARCHITECTURAL, REQUIREMENT_ATTR_LEVEL, REQUIREMENT_ATTR_STATUS, REQUIREMENT_ATTR_DISPOSITION, REQUIREMENT_ATTR_TRACKED_BY, REQUIREMENT_ATTR_IMPLEMENTED_BY, REQUIREMENT_LINK_FLOOR_LEVEL, REQUIREMENT_STATUS_PLANNED, REQUIREMENT_STATUSES_REQUIRING_LIVE_NODES, REQUIREMENT_STATUSES_WITH_OUTSTANDING_WORK, REQUIREMENT_STATUS_RETIRED, REQUIREMENT_ATTR_SUPERSEDED_BY, } from "./requirement-constants.js";
 export class MetaRequirement extends MetaData {
     /** What the product does for a user — checked by EXISTENCE. */
     isFunctional() {
@@ -48,6 +48,18 @@ export class MetaRequirement extends MetaData {
         const s = this.status();
         return s !== undefined && REQUIREMENT_STATUSES_WITH_OUTSTANDING_WORK.includes(s);
     }
+    /** Built, then deliberately removed. Carries no `@implementedBy` (the loader
+     *  refuses it), never counts toward object coverage, and is exempt from the
+     *  architectural universality check — a withdrawn policy governs nothing. */
+    isRetired() {
+        return this.status() === REQUIREMENT_STATUS_RETIRED;
+    }
+    /** The requirement that REPLACED this one (FR-039). Legal on `retired` only;
+     *  `verify` resolves it, so a supersession chain stays walkable. */
+    supersededBy() {
+        const v = this.attr(REQUIREMENT_ATTR_SUPERSEDED_BY);
+        return typeof v === "string" && v.trim() !== "" ? v : undefined;
+    }
     implementedBy() {
         const v = this.attr(REQUIREMENT_ATTR_IMPLEMENTED_BY);
         return Array.isArray(v) ? v : [];
@@ -67,7 +79,8 @@ export class MetaRequirement extends MetaData {
         return lvl >= REQUIREMENT_LINK_FLOOR_LEVEL;
     }
     /** True when a dangling `@implementedBy` is an ERROR rather than expected.
-     *  `planned` is the only exemption — there the nodes do not exist YET. */
+     *  `planned` is exempt (the nodes do not exist YET) and `retired` cannot reach
+     *  this at all, because the loader refuses `@implementedBy` there. */
     requiresLiveNodes() {
         const s = this.status();
         return s !== undefined && REQUIREMENT_STATUSES_REQUIRING_LIVE_NODES.includes(s);

package/dist/core/requirement/meta-requirement.js.map

@@ -1 +1 @@
-{"version":3,"file":"meta-requirement.js","sourceRoot":"","sources":["../../../src/core/requirement/meta-requirement.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,EAAE;AACF,wEAAwE;AACxE,wEAAwE;AACxE,2CAA2C;AAE3C,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EACL,8BAA8B,EAC9B,iCAAiC,EACjC,sBAAsB,EACtB,uBAAuB,EACvB,4BAA4B,EAC5B,2BAA2B,EAC3B,+BAA+B,EAC/B,4BAA4B,EAC5B,0BAA0B,EAC1B,yCAAyC,EACzC,0CAA0C,GAG3C,MAAM,4BAA4B,CAAC;AAEpC,MAAM,OAAO,eAAgB,SAAQ,QAAQ;IAC3C,+DAA+D;IAC/D,YAAY;QACV,OAAO,IAAI,CAAC,OAAO,KAAK,8BAA8B,CAAC;IACzD,CAAC;IAED,iFAAiF;IACjF,eAAe;QACb,OAAO,IAAI,CAAC,OAAO,KAAK,iCAAiC,CAAC;IAC5D,CAAC;IAED;;;mFAG+E;IAC/E,KAAK;QACH,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QAC5C,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/C,CAAC;IAED,MAAM;QACJ,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAC7C,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAuB,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,CAAC;IAED;+DAC2D;IAC3D,WAAW;QACT,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QAClD,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAA4B,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,CAAC;IAED,kFAAkF;IAClF,SAAS;QACP,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACjD,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAc,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,CAAC;IAED;;qEAEiE;IACjE,SAAS;QACP,OAAO,IAAI,CAAC,MAAM,EAAE,KAAK,0BAA0B,CAAC;IACtD,CAAC;IAED,+EAA+E;IAC/E,kBAAkB;QAChB,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACxB,OAAO,CAAC,KAAK,SAAS,IAAI,0CAA0C,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACnF,CAAC;IAED,aAAa;QACX,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QACrD,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAc,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,CAAC;IAED;;;;;;;kFAO8E;IAC9E,iBAAiB;QACf,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,eAAe,EAAE,CAAC;QACrD,OAAO,GAAG,IAAI,4BAA4B,CAAC;IAC7C,CAAC;IAED;8EAC0E;IAC1E,iBAAiB;QACf,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACxB,OAAO,CAAC,KAAK,SAAS,IAAI,yCAAyC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC;CACF"}
+{"version":3,"file":"meta-requirement.js","sourceRoot":"","sources":["../../../src/core/requirement/meta-requirement.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,EAAE;AACF,wEAAwE;AACxE,wEAAwE;AACxE,2CAA2C;AAE3C,OAAO,EAAE,QAAQ,EAAE,MAAM,2BAA2B,CAAC;AACrD,OAAO,EACL,8BAA8B,EAC9B,iCAAiC,EACjC,sBAAsB,EACtB,uBAAuB,EACvB,4BAA4B,EAC5B,2BAA2B,EAC3B,+BAA+B,EAC/B,4BAA4B,EAC5B,0BAA0B,EAC1B,yCAAyC,EACzC,0CAA0C,EAG1C,0BAA0B,EAC1B,8BAA8B,GAC/B,MAAM,4BAA4B,CAAC;AAEpC,MAAM,OAAO,eAAgB,SAAQ,QAAQ;IAC3C,+DAA+D;IAC/D,YAAY;QACV,OAAO,IAAI,CAAC,OAAO,KAAK,8BAA8B,CAAC;IACzD,CAAC;IAED,iFAAiF;IACjF,eAAe;QACb,OAAO,IAAI,CAAC,OAAO,KAAK,iCAAiC,CAAC;IAC5D,CAAC;IAED;;;mFAG+E;IAC/E,KAAK;QACH,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QAC5C,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC/C,CAAC;IAED,MAAM;QACJ,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAC7C,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAAuB,CAAC,CAAC,CAAC,SAAS,CAAC;IACtE,CAAC;IAED;+DAC2D;IAC3D,WAAW;QACT,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;QAClD,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAE,CAA4B,CAAC,CAAC,CAAC,SAAS,CAAC;IAC3E,CAAC;IAED,kFAAkF;IAClF,SAAS;QACP,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACjD,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAc,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,CAAC;IAED;;qEAEiE;IACjE,SAAS;QACP,OAAO,IAAI,CAAC,MAAM,EAAE,KAAK,0BAA0B,CAAC;IACtD,CAAC;IAED,+EAA+E;IAC/E,kBAAkB;QAChB,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACxB,OAAO,CAAC,KAAK,SAAS,IAAI,0CAA0C,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACnF,CAAC;IAED;;iFAE6E;IAC7E,SAAS;QACP,OAAO,IAAI,CAAC,MAAM,EAAE,KAAK,0BAA0B,CAAC;IACtD,CAAC;IAED;wEACoE;IACpE,YAAY;QACV,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QACpD,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClE,CAAC;IAED,aAAa;QACX,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QACrD,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAc,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,CAAC;IAED;;;;;;;kFAO8E;IAC9E,iBAAiB;QACf,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QACzB,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,eAAe,EAAE,CAAC;QACrD,OAAO,GAAG,IAAI,4BAA4B,CAAC;IAC7C,CAAC;IAED;;0EAEsE;IACtE,iBAAiB;QACf,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QACxB,OAAO,CAAC,KAAK,SAAS,IAAI,yCAAyC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC;CACF"}

package/dist/core/requirement/requirement-constants.d.ts

@@ -12,19 +12,47 @@ export declare const REQUIREMENT_ATTR_TRACKED_BY = "trackedBy";
 export declare const REQUIREMENT_ATTR_STATEMENT = "statement";
 export declare const REQUIREMENT_ATTR_COUNTEREXAMPLE = "counterexample";
 export declare const REQUIREMENT_ATTR_IMPLEMENTED_BY = "implementedBy";
+/** FR-039 — the requirement that REPLACED a retired one. A resolving reference,
+ *  so a supersession chain stays walkable: A -> B, and when B is retired too it
+ *  carries its own. Legal ONLY on `retired`; the original 2026-08-10 ruling
+ *  asked for a resolving `supersededBy` (point 4) and 0.24.0 deregistered the
+ *  unresolved string version without ever building it. */
+export declare const REQUIREMENT_ATTR_SUPERSEDED_BY = "supersededBy";
 export declare const REQUIREMENT_STATUS_PLANNED = "planned";
 export declare const REQUIREMENT_STATUS_LIVE = "live";
 export declare const REQUIREMENT_STATUS_PARTIAL = "partial";
-export declare const REQUIREMENT_STATUSES: readonly ["planned", "live", "partial"];
+/** FR-039 — built, then deliberately removed; it must NOT be rebuilt.
+ *
+ *  PRESCRIPTIVE, which is what makes it admissible under FR-038's rule that a
+ *  requirement never journals what happened: the entry states a prohibition in
+ *  force, falsifiable by exactly one observable — the capability reappearing.
+ *  The retired `abandoned` described the past; this describes the standing rule.
+ *
+ *  This is the status the ledger's only surviving controlled result is about:
+ *  model-only agents flagged a deliberately-retired capability 0 times out of
+ *  24, ledger arms 19 of 40. */
+export declare const REQUIREMENT_STATUS_RETIRED = "retired";
+export declare const REQUIREMENT_STATUSES: readonly ["planned", "live", "partial", "retired"];
 export type RequirementStatus = (typeof REQUIREMENT_STATUSES)[number];
 /** Statuses whose implementing nodes are supposed to still exist. A dangling
  *  `@implementedBy` on one of these means the model moved and the requirement is
- *  stale. `planned` is the only exemption — there the nodes do not exist YET. */
+ *  stale. `planned` is exempt — there the nodes do not exist YET — and `retired`
+ *  cannot appear here at all, because it may not carry `@implementedBy`. */
 export declare const REQUIREMENT_STATUSES_REQUIRING_LIVE_NODES: readonly RequirementStatus[];
 /** Statuses with outstanding work, so a `@disposition` is meaningful on them.
  *  On any other status the decision IS the status, and recording a second one
  *  can only agree with it or contradict it. */
 export declare const REQUIREMENT_STATUSES_WITH_OUTSTANDING_WORK: readonly RequirementStatus[];
+/** Statuses on which `@implementedBy` is REFUSED AT LOAD (FR-039).
+ *
+ *  This is the structural half of FR-039 and the reason it is a list rather
+ *  than an inline test. FR-038 removed `abandoned` because `verify` was SILENT
+ *  on dangling refs for it, hiding 29 unresolvable references across 14 entries
+ *  in one estate. That silence was a deliberate EXEMPTION — dangling was
+ *  specified as correct there. Forbidding the attribute outright makes the bug
+ *  class UNREACHABLE instead: a retired capability has no implementation by
+ *  definition, so the references cannot dangle because they cannot exist. */
+export declare const REQUIREMENT_STATUSES_FORBIDDING_IMPLEMENTORS: readonly RequirementStatus[];
 export declare const REQUIREMENT_DISPOSITION_ACCEPTED = "accepted";
 export declare const REQUIREMENT_DISPOSITION_DEFERRED = "deferred";
 export declare const REQUIREMENT_DISPOSITIONS: readonly ["accepted", "deferred"];

package/dist/core/requirement/requirement-constants.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"requirement-constants.d.ts","sourceRoot":"","sources":["../../../src/core/requirement/requirement-constants.ts"],"names":[],"mappings":"AAOA,eAAO,MAAM,WAAW,gBAAgB,CAAC;AASzC,eAAO,MAAM,8BAA8B,eAAe,CAAC;AAC3D,eAAO,MAAM,iCAAiC,kBAAkB,CAAC;AAEjE,eAAO,MAAM,oBAAoB,0CAGvB,CAAC;AACX,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAMvE;gFACgF;AAChF,eAAO,MAAM,sBAAsB,UAAU,CAAC;AAC9C,eAAO,MAAM,uBAAuB,WAAW,CAAC;AAChD,eAAO,MAAM,4BAA4B,gBAAgB,CAAC;AAC1D,eAAO,MAAM,2BAA2B,cAAc,CAAC;AACvD,eAAO,MAAM,0BAA0B,cAAc,CAAC;AACtD,eAAO,MAAM,+BAA+B,mBAAmB,CAAC;AAChE,eAAO,MAAM,+BAA+B,kBAAkB,CAAC;AAS/D,eAAO,MAAM,0BAA0B,YAAY,CAAC;AACpD,eAAO,MAAM,uBAAuB,SAAS,CAAC;AAC9C,eAAO,MAAM,0BAA0B,YAAY,CAAC;AAEpD,eAAO,MAAM,oBAAoB,yCAIvB,CAAC;AACX,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtE;;iFAEiF;AACjF,eAAO,MAAM,yCAAyC,EAAE,SAAS,iBAAiB,EAGjF,CAAC;AAEF;;+CAE+C;AAC/C,eAAO,MAAM,0CAA0C,EAAE,SAAS,iBAAiB,EAGlF,CAAC;AASF,eAAO,MAAM,gCAAgC,aAAa,CAAC;AAC3D,eAAO,MAAM,gCAAgC,aAAa,CAAC;AAE3D,eAAO,MAAM,wBAAwB,mCAG3B,CAAC;AACX,MAAM,MAAM,sBAAsB,GAAG,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,CAAC;AAM/E,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAC5C,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAC3C,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAC3C,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAC1C,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C;mDACmD;AACnD,eAAO,MAAM,4BAA4B,IAA2B,CAAC;AACrE,eAAO,MAAM,qBAAqB,IAA6B,CAAC;AAChE,eAAO,MAAM,qBAAqB,IAA2B,CAAC"}
+{"version":3,"file":"requirement-constants.d.ts","sourceRoot":"","sources":["../../../src/core/requirement/requirement-constants.ts"],"names":[],"mappings":"AAOA,eAAO,MAAM,WAAW,gBAAgB,CAAC;AASzC,eAAO,MAAM,8BAA8B,eAAe,CAAC;AAC3D,eAAO,MAAM,iCAAiC,kBAAkB,CAAC;AAEjE,eAAO,MAAM,oBAAoB,0CAGvB,CAAC;AACX,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAMvE;gFACgF;AAChF,eAAO,MAAM,sBAAsB,UAAU,CAAC;AAC9C,eAAO,MAAM,uBAAuB,WAAW,CAAC;AAChD,eAAO,MAAM,4BAA4B,gBAAgB,CAAC;AAC1D,eAAO,MAAM,2BAA2B,cAAc,CAAC;AACvD,eAAO,MAAM,0BAA0B,cAAc,CAAC;AACtD,eAAO,MAAM,+BAA+B,mBAAmB,CAAC;AAChE,eAAO,MAAM,+BAA+B,kBAAkB,CAAC;AAE/D;;;;0DAI0D;AAC1D,eAAO,MAAM,8BAA8B,iBAAiB,CAAC;AAS7D,eAAO,MAAM,0BAA0B,YAAY,CAAC;AACpD,eAAO,MAAM,uBAAuB,SAAS,CAAC;AAC9C,eAAO,MAAM,0BAA0B,YAAY,CAAC;AACpD;;;;;;;;;gCASgC;AAChC,eAAO,MAAM,0BAA0B,YAAY,CAAC;AAEpD,eAAO,MAAM,oBAAoB,oDAKvB,CAAC;AACX,MAAM,MAAM,iBAAiB,GAAG,CAAC,OAAO,oBAAoB,CAAC,CAAC,MAAM,CAAC,CAAC;AAEtE;;;4EAG4E;AAC5E,eAAO,MAAM,yCAAyC,EAAE,SAAS,iBAAiB,EAGjF,CAAC;AAEF;;+CAE+C;AAC/C,eAAO,MAAM,0CAA0C,EAAE,SAAS,iBAAiB,EAGlF,CAAC;AAEF;;;;;;;;6EAQ6E;AAC7E,eAAO,MAAM,4CAA4C,EAAE,SAAS,iBAAiB,EAEpF,CAAC;AASF,eAAO,MAAM,gCAAgC,aAAa,CAAC;AAC3D,eAAO,MAAM,gCAAgC,aAAa,CAAC;AAE3D,eAAO,MAAM,wBAAwB,mCAG3B,CAAC;AACX,MAAM,MAAM,sBAAsB,GAAG,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,CAAC;AAM/E,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAC5C,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAC3C,eAAO,MAAM,yBAAyB,IAAI,CAAC;AAC3C,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAC1C,eAAO,MAAM,wBAAwB,IAAI,CAAC;AAE1C;mDACmD;AACnD,eAAO,MAAM,4BAA4B,IAA2B,CAAC;AACrE,eAAO,MAAM,qBAAqB,IAA6B,CAAC;AAChE,eAAO,MAAM,qBAAqB,IAA2B,CAAC"}

package/dist/core/requirement/requirement-constants.js

@@ -29,6 +29,12 @@ export const REQUIREMENT_ATTR_TRACKED_BY = "trackedBy";
 export const REQUIREMENT_ATTR_STATEMENT = "statement";
 export const REQUIREMENT_ATTR_COUNTEREXAMPLE = "counterexample";
 export const REQUIREMENT_ATTR_IMPLEMENTED_BY = "implementedBy";
+/** FR-039 — the requirement that REPLACED a retired one. A resolving reference,
+ *  so a supersession chain stays walkable: A -> B, and when B is retired too it
+ *  carries its own. Legal ONLY on `retired`; the original 2026-08-10 ruling
+ *  asked for a resolving `supersededBy` (point 4) and 0.24.0 deregistered the
+ *  unresolved string version without ever building it. */
+export const REQUIREMENT_ATTR_SUPERSEDED_BY = "supersededBy";
 // ---------------------------------------------------------------------------
 // Status — a closed enum, enforced by the registry via `allowedValues`. This is
 // the one payload with controlled evidence behind it: model-only agents flagged
@@ -38,14 +44,27 @@ export const REQUIREMENT_ATTR_IMPLEMENTED_BY = "implementedBy";
 export const REQUIREMENT_STATUS_PLANNED = "planned";
 export const REQUIREMENT_STATUS_LIVE = "live";
 export const REQUIREMENT_STATUS_PARTIAL = "partial";
+/** FR-039 — built, then deliberately removed; it must NOT be rebuilt.
+ *
+ *  PRESCRIPTIVE, which is what makes it admissible under FR-038's rule that a
+ *  requirement never journals what happened: the entry states a prohibition in
+ *  force, falsifiable by exactly one observable — the capability reappearing.
+ *  The retired `abandoned` described the past; this describes the standing rule.
+ *
+ *  This is the status the ledger's only surviving controlled result is about:
+ *  model-only agents flagged a deliberately-retired capability 0 times out of
+ *  24, ledger arms 19 of 40. */
+export const REQUIREMENT_STATUS_RETIRED = "retired";
 export const REQUIREMENT_STATUSES = [
     REQUIREMENT_STATUS_PLANNED,
     REQUIREMENT_STATUS_LIVE,
     REQUIREMENT_STATUS_PARTIAL,
+    REQUIREMENT_STATUS_RETIRED,
 ];
 /** Statuses whose implementing nodes are supposed to still exist. A dangling
  *  `@implementedBy` on one of these means the model moved and the requirement is
- *  stale. `planned` is the only exemption — there the nodes do not exist YET. */
+ *  stale. `planned` is exempt — there the nodes do not exist YET — and `retired`
+ *  cannot appear here at all, because it may not carry `@implementedBy`. */
 export const REQUIREMENT_STATUSES_REQUIRING_LIVE_NODES = [
     REQUIREMENT_STATUS_LIVE,
     REQUIREMENT_STATUS_PARTIAL,
@@ -57,6 +76,18 @@ export const REQUIREMENT_STATUSES_WITH_OUTSTANDING_WORK = [
     REQUIREMENT_STATUS_PLANNED,
     REQUIREMENT_STATUS_PARTIAL,
 ];
+/** Statuses on which `@implementedBy` is REFUSED AT LOAD (FR-039).
+ *
+ *  This is the structural half of FR-039 and the reason it is a list rather
+ *  than an inline test. FR-038 removed `abandoned` because `verify` was SILENT
+ *  on dangling refs for it, hiding 29 unresolvable references across 14 entries
+ *  in one estate. That silence was a deliberate EXEMPTION — dangling was
+ *  specified as correct there. Forbidding the attribute outright makes the bug
+ *  class UNREACHABLE instead: a retired capability has no implementation by
+ *  definition, so the references cannot dangle because they cannot exist. */
+export const REQUIREMENT_STATUSES_FORBIDDING_IMPLEMENTORS = [
+    REQUIREMENT_STATUS_RETIRED,
+];
 // ---------------------------------------------------------------------------
 // Disposition — what was DECIDED about the outstanding work. Orthogonal to
 // status, which says whether the work is done. Absent means UNDECIDED, and that

package/dist/core/requirement/requirement-constants.js.map

@@ -1 +1 @@
-{"version":3,"file":"requirement-constants.js","sourceRoot":"","sources":["../../../src/core/requirement/requirement-constants.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,EAAE;AACF,+EAA+E;AAC/E,6EAA6E;AAC7E,+EAA+E;AAC/E,2CAA2C;AAE3C,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAC;AAEzC,8EAA8E;AAC9E,0EAA0E;AAC1E,wDAAwD;AACxD,oEAAoE;AACpE,oEAAoE;AACpE,8EAA8E;AAE9E,MAAM,CAAC,MAAM,8BAA8B,GAAG,YAAY,CAAC;AAC3D,MAAM,CAAC,MAAM,iCAAiC,GAAG,eAAe,CAAC;AAEjE,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,8BAA8B;IAC9B,iCAAiC;CACzB,CAAC;AAGX,8EAA8E;AAC9E,QAAQ;AACR,8EAA8E;AAE9E;gFACgF;AAChF,MAAM,CAAC,MAAM,sBAAsB,GAAG,OAAO,CAAC;AAC9C,MAAM,CAAC,MAAM,uBAAuB,GAAG,QAAQ,CAAC;AAChD,MAAM,CAAC,MAAM,4BAA4B,GAAG,aAAa,CAAC;AAC1D,MAAM,CAAC,MAAM,2BAA2B,GAAG,WAAW,CAAC;AACvD,MAAM,CAAC,MAAM,0BAA0B,GAAG,WAAW,CAAC;AACtD,MAAM,CAAC,MAAM,+BAA+B,GAAG,gBAAgB,CAAC;AAChE,MAAM,CAAC,MAAM,+BAA+B,GAAG,eAAe,CAAC;AAE/D,8EAA8E;AAC9E,gFAAgF;AAChF,gFAAgF;AAChF,+EAA+E;AAC/E,iDAAiD;AACjD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,0BAA0B,GAAG,SAAS,CAAC;AACpD,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC;AAC9C,MAAM,CAAC,MAAM,0BAA0B,GAAG,SAAS,CAAC;AAEpD,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,0BAA0B;IAC1B,uBAAuB;IACvB,0BAA0B;CAClB,CAAC;AAGX;;iFAEiF;AACjF,MAAM,CAAC,MAAM,yCAAyC,GAAiC;IACrF,uBAAuB;IACvB,0BAA0B;CAC3B,CAAC;AAEF;;+CAE+C;AAC/C,MAAM,CAAC,MAAM,0CAA0C,GAAiC;IACtF,0BAA0B;IAC1B,0BAA0B;CAC3B,CAAC;AAEF,8EAA8E;AAC9E,2EAA2E;AAC3E,gFAAgF;AAChF,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,gCAAgC,GAAG,UAAU,CAAC;AAC3D,MAAM,CAAC,MAAM,gCAAgC,GAAG,UAAU,CAAC;AAE3D,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,gCAAgC;IAChC,gCAAgC;CACxB,CAAC;AAGX,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AAC5C,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAC3C,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAC3C,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAC1C,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAE1C;mDACmD;AACnD,MAAM,CAAC,MAAM,4BAA4B,GAAG,wBAAwB,CAAC;AACrE,MAAM,CAAC,MAAM,qBAAqB,GAAG,0BAA0B,CAAC;AAChE,MAAM,CAAC,MAAM,qBAAqB,GAAG,wBAAwB,CAAC"}
+{"version":3,"file":"requirement-constants.js","sourceRoot":"","sources":["../../../src/core/requirement/requirement-constants.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,EAAE;AACF,+EAA+E;AAC/E,6EAA6E;AAC7E,+EAA+E;AAC/E,2CAA2C;AAE3C,MAAM,CAAC,MAAM,WAAW,GAAG,aAAa,CAAC;AAEzC,8EAA8E;AAC9E,0EAA0E;AAC1E,wDAAwD;AACxD,oEAAoE;AACpE,oEAAoE;AACpE,8EAA8E;AAE9E,MAAM,CAAC,MAAM,8BAA8B,GAAG,YAAY,CAAC;AAC3D,MAAM,CAAC,MAAM,iCAAiC,GAAG,eAAe,CAAC;AAEjE,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,8BAA8B;IAC9B,iCAAiC;CACzB,CAAC;AAGX,8EAA8E;AAC9E,QAAQ;AACR,8EAA8E;AAE9E;gFACgF;AAChF,MAAM,CAAC,MAAM,sBAAsB,GAAG,OAAO,CAAC;AAC9C,MAAM,CAAC,MAAM,uBAAuB,GAAG,QAAQ,CAAC;AAChD,MAAM,CAAC,MAAM,4BAA4B,GAAG,aAAa,CAAC;AAC1D,MAAM,CAAC,MAAM,2BAA2B,GAAG,WAAW,CAAC;AACvD,MAAM,CAAC,MAAM,0BAA0B,GAAG,WAAW,CAAC;AACtD,MAAM,CAAC,MAAM,+BAA+B,GAAG,gBAAgB,CAAC;AAChE,MAAM,CAAC,MAAM,+BAA+B,GAAG,eAAe,CAAC;AAE/D;;;;0DAI0D;AAC1D,MAAM,CAAC,MAAM,8BAA8B,GAAG,cAAc,CAAC;AAE7D,8EAA8E;AAC9E,gFAAgF;AAChF,gFAAgF;AAChF,+EAA+E;AAC/E,iDAAiD;AACjD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,0BAA0B,GAAG,SAAS,CAAC;AACpD,MAAM,CAAC,MAAM,uBAAuB,GAAG,MAAM,CAAC;AAC9C,MAAM,CAAC,MAAM,0BAA0B,GAAG,SAAS,CAAC;AACpD;;;;;;;;;gCASgC;AAChC,MAAM,CAAC,MAAM,0BAA0B,GAAG,SAAS,CAAC;AAEpD,MAAM,CAAC,MAAM,oBAAoB,GAAG;IAClC,0BAA0B;IAC1B,uBAAuB;IACvB,0BAA0B;IAC1B,0BAA0B;CAClB,CAAC;AAGX;;;4EAG4E;AAC5E,MAAM,CAAC,MAAM,yCAAyC,GAAiC;IACrF,uBAAuB;IACvB,0BAA0B;CAC3B,CAAC;AAEF;;+CAE+C;AAC/C,MAAM,CAAC,MAAM,0CAA0C,GAAiC;IACtF,0BAA0B;IAC1B,0BAA0B;CAC3B,CAAC;AAEF;;;;;;;;6EAQ6E;AAC7E,MAAM,CAAC,MAAM,4CAA4C,GAAiC;IACxF,0BAA0B;CAC3B,CAAC;AAEF,8EAA8E;AAC9E,2EAA2E;AAC3E,gFAAgF;AAChF,2EAA2E;AAC3E,4EAA4E;AAC5E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,gCAAgC,GAAG,UAAU,CAAC;AAC3D,MAAM,CAAC,MAAM,gCAAgC,GAAG,UAAU,CAAC;AAE3D,MAAM,CAAC,MAAM,wBAAwB,GAAG;IACtC,gCAAgC;IAChC,gCAAgC;CACxB,CAAC;AAGX,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AAC5C,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAC3C,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC;AAC3C,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAC1C,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,CAAC;AAE1C;mDACmD;AACnD,MAAM,CAAC,MAAM,4BAA4B,GAAG,wBAAwB,CAAC;AACrE,MAAM,CAAC,MAAM,qBAAqB,GAAG,0BAA0B,CAAC;AAChE,MAAM,CAAC,MAAM,qBAAqB,GAAG,wBAAwB,CAAC"}

package/dist/core/requirement/requirement-definition.embedded.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"requirement-definition.embedded.d.ts","sourceRoot":"","sources":["../../../src/core/requirement/requirement-definition.embedded.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,eAAO,MAAM,sBAAsB,EAAE,kBA0KpC,CAAC"}
+{"version":3,"file":"requirement-definition.embedded.d.ts","sourceRoot":"","sources":["../../../src/core/requirement/requirement-definition.embedded.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAEjE,eAAO,MAAM,sBAAsB,EAAE,kBA4LpC,CAAC"}

package/dist/core/requirement/requirement-definition.embedded.js

@@ -24,9 +24,10 @@ export const REQUIREMENT_DEFINITION = {
                     "allowedValues": [
                         "planned",
                         "live",
-                        "partial"
+                        "partial",
+                        "retired"
                     ],
-                    "description": "planned intended but not built yet; live implemented and in use; partial implemented with known gaps. A requirement is PRESCRIPTIVE — it states what SHOULD happen and is never a journal of what happened — so a capability that no longer applies is DELETED, not annotated as retired; the record of it having existed belongs to version control and to notes on the entries that survive. A dangling @implementedBy is an ERROR on live/partial (the model moved, the requirement is stale) and ALLOWED on planned, where the nodes do not exist YET. A planned requirement also never contributes to object coverage: planning a capability must not silence the warning that nothing implements it."
+                    "description": "planned intended but not built yet; live implemented and in use; partial implemented with known gaps; retired BUILT THEN DELIBERATELY REMOVED — it must not be rebuilt. A requirement is PRESCRIPTIVE: it states what SHOULD be true and never journals what happened, and retired satisfies that because it states a prohibition in force, falsifiable by the capability reappearing. On retired, @implementedBy is REFUSED at load (ERR_REQUIREMENT_RETIRED_HAS_IMPLEMENTORS) — a retired capability has no implementation by definition, so its references cannot dangle because they cannot exist; @supersededBy names the requirement that replaced it. A dangling @implementedBy is an ERROR on live/partial (the model moved, the requirement is stale) and ALLOWED on planned, where the nodes do not exist YET. Neither planned nor retired contributes to object coverage: planning a capability must not silence the warning that nothing implements it, and neither must retiring one."
                 },
                 {
                     "type": "attr",
@@ -65,6 +66,14 @@ export const REQUIREMENT_DEFINITION = {
                     "max": 1,
                     "description": "What breaking it looks like, in one sentence — a STATIC falsifiability test, authored once, never a state. A requirement MUST be violable: 'every entity has a uuid primary key' is (point at one with a composite string key); 'things are persisted' is not, and is a description rather than a requirement. Renamed from @violation in 0.24.0, which read as a status."
                 },
+                {
+                    "type": "attr",
+                    "subType": "string",
+                    "name": "supersededBy",
+                    "min": 0,
+                    "max": 1,
+                    "description": "The requirement that REPLACED this one. Legal on @status: retired only (ERR_REQUIREMENT_SUPERSEDED_BY_NOT_RETIRED otherwise), and RESOLVED like any other reference, so a dangling one is ERR_REQUIREMENT_DANGLING_REF and a supersession chain stays walkable: A names B, and when B is retired in turn it names C. That resolution is the whole point — 0.24.0 deregistered an unresolved string, and the 2026-08-10 ruling had asked for the resolving form (point 4) which was never built. A prose note in @notes points one hop and goes stale; this does not."
+                },
                 {
                     "type": "attr",
                     "subType": "string",
@@ -107,9 +116,10 @@ export const REQUIREMENT_DEFINITION = {
                     "allowedValues": [
                         "planned",
                         "live",
-                        "partial"
+                        "partial",
+                        "retired"
                     ],
-                    "description": "As on requirement.functional. A live or partial architectural requirement claimed by NOTHING is an error: a policy declared and applied to nothing. A planned one is exempt from that check — it is not applied yet by definition."
+                    "description": "As on requirement.functional. A live or partial architectural requirement claimed by NOTHING is an error: a policy declared and applied to nothing. planned is exempt from that check — it is not applied yet by definition — and retired is exempt because a withdrawn policy governs nothing."
                 },
                 {
                     "type": "attr",
@@ -148,6 +158,14 @@ export const REQUIREMENT_DEFINITION = {
                     "max": 1,
                     "description": "What breaking it looks like — the node that would contradict it. A STATIC falsifiability test, not a state. This is what makes universality checkable. Renamed from @violation in 0.24.0, which read as a status."
                 },
+                {
+                    "type": "attr",
+                    "subType": "string",
+                    "name": "supersededBy",
+                    "min": 0,
+                    "max": 1,
+                    "description": "The requirement that REPLACED this one. Legal on @status: retired only (ERR_REQUIREMENT_SUPERSEDED_BY_NOT_RETIRED otherwise), and RESOLVED like any other reference, so a dangling one is ERR_REQUIREMENT_DANGLING_REF and a supersession chain stays walkable: A names B, and when B is retired in turn it names C. That resolution is the whole point — 0.24.0 deregistered an unresolved string, and the 2026-08-10 ruling had asked for the resolving form (point 4) which was never built. A prose note in @notes points one hop and goes stale; this does not."
+                },
                 {
                     "type": "attr",
                     "subType": "string",

package/dist/core/requirement/requirement-definition.embedded.js.map

@@ -1 +1 @@
-{"version":3,"file":"requirement-definition.embedded.js","sourceRoot":"","sources":["../../../src/core/requirement/requirement-definition.embedded.ts"],"names":[],"mappings":"AAQA,MAAM,CAAC,MAAM,sBAAsB,GAAuB;IACxD,UAAU,EAAE,wBAAwB;IACpC,OAAO,EAAE;QACP;YACE,MAAM,EAAE,aAAa;YACrB,SAAS,EAAE,YAAY;YACvB,aAAa,EAAE,gRAAgR;YAC/R,WAAW,EAAE,gbAAgb;YAC7b,UAAU,EAAE;gBACV;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,KAAK;oBAChB,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,sOAAsO;iBACtP;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,eAAe,EAAE;wBACf,SAAS;wBACT,MAAM;wBACN,SAAS;qBACV;oBACD,aAAa,EAAE,4qBAA4qB;iBAC5rB;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,aAAa;oBACrB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,eAAe,EAAE;wBACf,UAAU;wBACV,UAAU;qBACX;oBACD,aAAa,EAAE,4sBAA4sB;iBAC5tB;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,WAAW;oBACnB,SAAS,EAAE,IAAI;oBACf,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,8ZAA8Z;iBAC9a;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,WAAW;oBACnB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,0CAA0C;iBAC1D;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,gBAAgB;oBACxB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,2WAA2W;iBAC3X;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,eAAe;oBACvB,SAAS,EAAE,IAAI;oBACf,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,+RAA+R;iBAC/S;gBACD;oBACE,MAAM,EAAE,aAAa;oBACrB,SAAS,EAAE,GAAG;oBACd,MAAM,EAAE,GAAG;oBACX,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,IAAI;oBACX,aAAa,EAAE,iRAAiR;iBACjS;aACF;SACF;QACD;YACE,MAAM,EAAE,aAAa;YACrB,SAAS,EAAE,eAAe;YAC1B,aAAa,EAAE,0VAA0V;YACzW,WAAW,EAAE,6gBAA6gB;YAC1hB,UAAU,EAAE;gBACV;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,KAAK;oBAChB,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,4dAA4d;iBAC5e;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,eAAe,EAAE;wBACf,SAAS;wBACT,MAAM;wBACN,SAAS;qBACV;oBACD,aAAa,EAAE,oOAAoO;iBACpP;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,aAAa;oBACrB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,eAAe,EAAE;wBACf,UAAU;wBACV,UAAU;qBACX;oBACD,aAAa,EAAE,0QAA0Q;iBAC1R;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,WAAW;oBACnB,SAAS,EAAE,IAAI;oBACf,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,yGAAyG;iBACzH;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,WAAW;oBACnB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,8BAA8B;iBAC9C;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,gBAAgB;oBACxB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,mNAAmN;iBACnO;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,eAAe;oBACvB,SAAS,EAAE,IAAI;oBACf,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,qJAAqJ;iBACrK;gBACD;oBACE,MAAM,EAAE,aAAa;oBACrB,SAAS,EAAE,GAAG;oBACd,MAAM,EAAE,GAAG;oBACX,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,IAAI;oBACX,aAAa,EAAE,wVAAwV;iBACxW;aACF;SACF;KACF;CACF,CAAC"}
+{"version":3,"file":"requirement-definition.embedded.js","sourceRoot":"","sources":["../../../src/core/requirement/requirement-definition.embedded.ts"],"names":[],"mappings":"AAQA,MAAM,CAAC,MAAM,sBAAsB,GAAuB;IACxD,UAAU,EAAE,wBAAwB;IACpC,OAAO,EAAE;QACP;YACE,MAAM,EAAE,aAAa;YACrB,SAAS,EAAE,YAAY;YACvB,aAAa,EAAE,gRAAgR;YAC/R,WAAW,EAAE,gbAAgb;YAC7b,UAAU,EAAE;gBACV;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,KAAK;oBAChB,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,sOAAsO;iBACtP;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,eAAe,EAAE;wBACf,SAAS;wBACT,MAAM;wBACN,SAAS;wBACT,SAAS;qBACV;oBACD,aAAa,EAAE,o8BAAo8B;iBACp9B;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,aAAa;oBACrB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,eAAe,EAAE;wBACf,UAAU;wBACV,UAAU;qBACX;oBACD,aAAa,EAAE,4sBAA4sB;iBAC5tB;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,WAAW;oBACnB,SAAS,EAAE,IAAI;oBACf,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,8ZAA8Z;iBAC9a;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,WAAW;oBACnB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,0CAA0C;iBAC1D;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,gBAAgB;oBACxB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,2WAA2W;iBAC3X;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,cAAc;oBACtB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,siBAAsiB;iBACtjB;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,eAAe;oBACvB,SAAS,EAAE,IAAI;oBACf,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,+RAA+R;iBAC/S;gBACD;oBACE,MAAM,EAAE,aAAa;oBACrB,SAAS,EAAE,GAAG;oBACd,MAAM,EAAE,GAAG;oBACX,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,IAAI;oBACX,aAAa,EAAE,iRAAiR;iBACjS;aACF;SACF;QACD;YACE,MAAM,EAAE,aAAa;YACrB,SAAS,EAAE,eAAe;YAC1B,aAAa,EAAE,0VAA0V;YACzW,WAAW,EAAE,6gBAA6gB;YAC1hB,UAAU,EAAE;gBACV;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,KAAK;oBAChB,MAAM,EAAE,OAAO;oBACf,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,4dAA4d;iBAC5e;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,QAAQ;oBAChB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,eAAe,EAAE;wBACf,SAAS;wBACT,MAAM;wBACN,SAAS;wBACT,SAAS;qBACV;oBACD,aAAa,EAAE,iSAAiS;iBACjT;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,aAAa;oBACrB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,eAAe,EAAE;wBACf,UAAU;wBACV,UAAU;qBACX;oBACD,aAAa,EAAE,0QAA0Q;iBAC1R;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,WAAW;oBACnB,SAAS,EAAE,IAAI;oBACf,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,yGAAyG;iBACzH;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,WAAW;oBACnB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,8BAA8B;iBAC9C;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,gBAAgB;oBACxB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,mNAAmN;iBACnO;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,cAAc;oBACtB,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,siBAAsiB;iBACtjB;gBACD;oBACE,MAAM,EAAE,MAAM;oBACd,SAAS,EAAE,QAAQ;oBACnB,MAAM,EAAE,eAAe;oBACvB,SAAS,EAAE,IAAI;oBACf,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,CAAC;oBACR,aAAa,EAAE,qJAAqJ;iBACrK;gBACD;oBACE,MAAM,EAAE,aAAa;oBACrB,SAAS,EAAE,GAAG;oBACd,MAAM,EAAE,GAAG;oBACX,KAAK,EAAE,CAAC;oBACR,KAAK,EAAE,IAAI;oBACX,aAAa,EAAE,wVAAwV;iBACxW;aACF;SACF;KACF;CACF,CAAC"}

package/dist/core/vocabulary-rewrite-yaml.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vocabulary-rewrite-yaml.d.ts","sourceRoot":"","sources":["../../src/core/vocabulary-rewrite-yaml.ts"],"names":[],"mappings":"AAoCA,OAAO,KAAK,EAAiC,WAAW,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAE1G;;;;;;;GAOG;AACH,MAAM,WAAW,iBAAkB,SAAQ,aAAa;IACtD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AAqHD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,GAAE,WAAgB,GAAG,iBAAiB,CA8F7F"}
+{"version":3,"file":"vocabulary-rewrite-yaml.d.ts","sourceRoot":"","sources":["../../src/core/vocabulary-rewrite-yaml.ts"],"names":[],"mappings":"AA2CA,OAAO,KAAK,EAAiC,WAAW,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAE1G;;;;;;;GAOG;AACH,MAAM,WAAW,iBAAkB,SAAQ,aAAa;IACtD,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;CAC/B;AA0KD;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,GAAE,WAAgB,GAAG,iBAAiB,CA8I7F"}

package/dist/core/vocabulary-rewrite-yaml.js

@@ -22,11 +22,17 @@
 // span replacement on the original text, and any region not deliberately changed comes back
 // byte-identical. That is the same guarantee the JSON arm makes, by the same means.
 //
+// IT ALSO RESOLVES ATTRIBUTE CONTRADICTIONS (`../attr-contradictions.ts`), matched per NODE
+// rather than per pair — the illegal thing is the PAIR of keys, so the unit is the mapping
+// that holds one node's own keys. `eachNodeBody` below is that walk. Doing it by proximity
+// instead was tried in the JSON arm and took a `fields` belonging to a sibling node.
+//
 // SIGIL-FREE, PER ADR-0006. YAML authoring writes bare attribute keys (`violation:`) and the
 // desugar re-adds the `@` when lowering to canonical JSON. So a rename emits a BARE key here
 // where the JSON arm emits `"@name"`. A leading `@` is still matched on input — an author who
 // wrote one gets it fixed rather than skipped — but is never introduced.
 import { LineCounter, isMap, isSeq, parseDocument } from "yaml";
+import { ATTR_CONTRADICTIONS, contradictionScopeMatches } from "../attr-contradictions.js";
 import { RETIRED_VOCABULARY, note, scopeMatches, } from "../retired-vocabulary.js";
 /** A canonical node key: `<type>.<subType>`. Identical to the JSON arm's scope shape. */
 const TYPE_KEY = /^[a-z][A-Za-z0-9]*\.[A-Za-z0-9_*]+$/;
@@ -139,6 +145,53 @@ function eachPair(node, scope, visit) {
             eachPair(item, scope, visit);
     }
 }
+/**
+ * Visit every node BODY in the document.
+ *
+ * The unit is the body rather than the pair because a contradiction is a property of a
+ * SIBLING SET. `body.items` is exactly this node's own keys — a child node lives inside the
+ * value of a `children:` pair, so it is reached by recursion and never mistaken for a
+ * sibling.
+ */
+function eachNodeBody(node, visit) {
+    if (isMap(node)) {
+        for (const pair of node.items) {
+            const k = keyText(pair.key);
+            if (k !== undefined && TYPE_KEY.test(k) && isMap(pair.value)) {
+                visit(k, { items: pair.value.items, flow: pair.value.flow === true });
+            }
+            if (pair.value != null)
+                eachNodeBody(pair.value, visit);
+        }
+        return;
+    }
+    if (isSeq(node)) {
+        for (const item of node.items)
+            eachNodeBody(item, visit);
+    }
+}
+/** An authored `@` must not hide a key from either table; the sigil is never introduced. */
+function bareKey(pair) {
+    const k = keyText(pair.key);
+    if (k === undefined)
+        return undefined;
+    return k.startsWith("@") ? k.slice(1) : k;
+}
+/** True when `keep` holds one of the entry's `keepValues` (or the entry names none,
+ *  in which case mere presence is the contradiction). Mirrors the JSON rewriter's
+ *  `keepValueMatches` — one rule, two doors, and a divergence here is a file format
+ *  silently migrating differently from the other. */
+function keepValueMatches(pair, c) {
+    if (c.keepValues === undefined)
+        return true;
+    const v = pair.value?.value;
+    return typeof v === "string" && c.keepValues.includes(v);
+}
+/** Does this pair carry a string that actually says something? */
+function suppliesText(pair) {
+    const v = pair.value?.value;
+    return typeof v === "string" && v.trim().length > 0;
+}
 /**
  * Rewrite retired vocabulary in one raw YAML metadata document.
  *
@@ -160,6 +213,49 @@ export function rewriteYamlDocument(source, opts = {}) {
     }
     const lineOf = (offset) => lineCounter.linePos(offset).line;
     const inWindow = (e) => opts.maxVersion === undefined || atOrBefore(e.since, opts.maxVersion);
+    // ── Attribute contradictions: two LIVE attrs that may not sit on one node ──
+    //
+    // THE TWO SIDES ARE ASKED DIFFERENT QUESTIONS, mirroring the loader's Rule 1a exactly
+    // (`validation-passes.ts`, `hasFieldsAttr` vs `hasExpr`) and the JSON arm's copy of it.
+    // The DROP side counts on PRESENCE — an empty `fields: []` beside `expr` is still a
+    // declaration of both, and is the case where the discard is total. The KEEP side counts
+    // only when it supplies a key, so a blank `expr: ""` beside `fields` is a plain column
+    // index the loader accepts and this must leave alone.
+    //
+    // IT SEES ONLY THIS NODE'S OWN KEYS. A node declaring `expr` while INHERITING `fields`
+    // through `extends` contradicts itself in the loaded model and not on the page; no
+    // raw-document rewriter can resolve a super-reference, so that stays the loader's refusal.
+    eachNodeBody(doc.contents, (typeKey, body) => {
+        for (const c of ATTR_CONTRADICTIONS) {
+            if (opts.maxVersion !== undefined && !atOrBefore(c.since, opts.maxVersion))
+                continue;
+            if (!contradictionScopeMatches(c, typeKey))
+                continue;
+            // `keep` must be present AND, when the entry names values, hold one of them —
+            // otherwise status and implementedBy would contradict on every status.
+            if (!body.items.some((p) => bareKey(p) === c.keep && suppliesText(p) && keepValueMatches(p, c)))
+                continue;
+            for (const pair of body.items) {
+                if (bareKey(pair) !== c.drop)
+                    continue;
+                const span = pairSpan(pair);
+                if (span === undefined)
+                    continue;
+                const d = dropSpan(source, span, body.flow);
+                // Undeletable in place (a sequence item's leading key) — leave it, and let the
+                // loader keep refusing rather than reshape the author's sequence.
+                if (d === undefined)
+                    continue;
+                edits.push({ ...d, text: "" });
+                changes.push({
+                    attr: c.drop,
+                    from: c.drop,
+                    to: `(removed — ${c.keep} keys this node)`,
+                    line: lineOf(span.keyStart),
+                });
+            }
+        }
+    });
     eachPair(doc.contents, undefined, (pair, scope, flow) => {
         const key = keyText(pair.key);
         if (key === undefined)
@@ -213,6 +309,13 @@ export function rewriteYamlDocument(source, opts = {}) {
             if (rw === undefined)
                 refuse();
             else if (rw.kind === "renameAttr") {
+                // NOTE — the JSON rewriter refuses a rename onto a key the node already declares,
+                // because two `"@counterexample"` members in one object parse silently with the
+                // last one winning. YAML needs no such guard: a duplicate key is a hard PARSE
+                // ERROR, so the same document fails loudly on the next load rather than quietly
+                // losing the author's surviving sentence. Same rule, different blast radius —
+                // if `eachPair` ever gains sibling access, mirror the JSON guard here anyway.
+                //
                 // Preserve the author's quoting style; YAML keys are usually bare, but a quoted key
                 // must stay quoted or the surrounding style stops being self-consistent.
                 const rawKey = source.slice(span.keyStart, span.keyEnd);