@cavelang/canonical 0.27.14 → 0.29.0

package/Authors.md

@@ -0,0 +1,5 @@
+# Authors
+
+By adding their name to this file, all listed authors confirm they have copyright over their contributions to this project and are waiving these rights, placing their work in the public domain in accordance with the CC0 1.0 Universal Public Domain Dedication.
+
+- Mirek Rusin (Switzerland)

package/License.md

@@ -0,0 +1,6 @@
+# CC0 1.0 Universal (CC0 1.0) Public Domain Dedication
+
+To the extent possible under law, the authors listed in [Authors.md](./Authors.md) have waived all copyright and related or neighboring rights to this software and associated documentation files (the "Software").
+
+For more information, please see:
+https://creativecommons.org/publicdomain/zero/1.0/

package/README.md

@@ -14,7 +14,7 @@ result.claims[0].claim.raw            // 'packages/api PART-OF monorepo' — as
 emit(result)                          // 'monorepo CONTAINS packages/api\n'
 ```
 
-## Registry (spec §5.5)
+## Registry (spec §5.5, §5.8)
 
 Inverse pairs are declared in-band — `CONTAINS REVERSE PART-OF` is an
 ordinary claim whose subject and object happen to be verbs. The registry is
@@ -28,6 +28,14 @@ effect for *subsequent* lines only. Rules:
   `standardPrelude` CAVE text) carries the eight §5.5 pairs as the "shared
   prelude" the spec allows.
 
+Lifecycle declarations use `OLD RENAMED-TO NEW`. Both same-direction
+spellings resolve to the oldest, stable storage verb, while `NEW` is exposed
+as preferred and `OLD` as deprecated. This lets later writes use the new name
+without rewriting rows or splitting the existing claim key and history.
+Linear chains are supported; branches, joins, cycles, and collisions with an
+existing verb identity are rejected. Renaming either side of a `REVERSE` pair
+preserves direction and makes reverse reads return the preferred opposite name.
+
 ## Pipeline (spec §13.4)
 
 `canonicalize(document, registry?)` → `{ claims, edges, registry, problems }`
@@ -43,13 +51,14 @@ effect for *subsequent* lines only. Rules:
   nodes joined to the parent by role edges. `UNLESS x` normalizes to
   role `WHEN` + negated condition. Condition shapes:
   - bare entity → `x EXISTS` claim (negated for `NOT x`);
-  - comparison → `left EXCEEDS value` (metric payload); `>`→`EXCEEDS`,
-    other operators keep their symbol as the verb;
+  - comparison → a metric claim with a canonical verb: `>` → `EXCEEDS`,
+    `<` → `IS-BELOW`, `>=` → `IS-AT-LEAST`, `<=` → `IS-AT-MOST`,
+    `=` → `EQUALS`, and `!=` → `DIFFERS-FROM`;
   - full claim → canonicalized as usual (inverse resolution applies).
 - **Grouped claims** (§8.4): indented full triples stay independent and
   link to their parent with the `QUALIFIES` edge role (§13.2's role list).
-- **Declarations**: `A REVERSE B` and `X IS verb` claims update the
-  registry after the line itself is canonicalized.
+- **Declarations**: `A REVERSE B`, `OLD RENAMED-TO NEW`, and `X IS verb`
+  claims update the registry after the line itself is canonicalized.
 
 ## Emitter
 
@@ -62,8 +71,11 @@ effect for *subsequent* lines only. Rules:
 - §3.2 anatomy order: payload, `+/- delta`, `(Nσ)`, contexts, tags,
   `@ N%` (omitted at 100%), `!`, `; comment`.
 
-Emission is stable: `emit ∘ canonicalize ∘ emit ≡ emit`, and claim keys
-survive the round trip (tested).
+Emission of a complete canonicalization result is stable:
+`emit ∘ canonicalize ∘ emit ≡ emit`, and claim keys survive the round trip
+(tested). Comparison rows are valid CAVE both under their qualifier edge and
+when emitted in isolation, which keeps storage fallbacks and citations
+parseable.
 
 ## Design decisions
 
@@ -82,9 +94,11 @@ survive the round trip (tested).
   be *detected* — `PART-OF` without a declaration is just an unknown verb,
   so the line canonicalizes forward with the inherited subject. Loading the
   standard prelude first gives the intended reading.
-- **Comparison verbs**: only `>` has a standard verb (`EXCEEDS`); `<`,
-  `>=`, `<=`, `=`, `!=` keep their symbol as the stored verb. They appear
-  only as condition claims.
+- **Comparison compatibility**: symbolic operators remain accepted in authored
+  `WHEN`/`UNLESS` input, and `>` retains its existing stored `EXCEEDS` verb.
+  The other five operators now store and emit the canonical verbs listed
+  above. Consumers that inspect condition-row verbs should accept those names;
+  operator input and CAVE-Q `WHERE value <op> ...` filters are unchanged.
 - **Three-way negation XOR** for qualifier conditions: inner `NOT`,
   qualifier-level `NOT`, and `UNLESS` each flip the condition's negation.
 
@@ -97,4 +111,5 @@ pnpm --filter @cavelang/canonical test
 Covers the §5.5 inverse semantics (shared keys, negation riding the row,
 belief series through either name), §8.3 continuation table, §8.2
 equivalent forms, the §21 worked example including its inverse reads, and
-emitter round-trip stability.
+emitter round-trip stability, plus §5.8 rename chains, deprecation,
+collision handling, stable history, and inverse composition.

package/dist/src/canonicalize.d.ts

@@ -16,8 +16,8 @@
  * Qualifier lines become claim nodes joined to their parent by edges
  * (§8.1); `UNLESS x` normalizes to `WHEN` + negated condition (§8.2);
  * grouped full claims link to their parent with the `QUALIFIES` role
- * (§13.2). `REVERSE` and extension-verb declarations update the registry
- * in-band, affecting subsequent lines (§5.4, §5.5).
+ * (§13.2). `REVERSE`, `RENAMED-TO`, and extension-verb declarations update
+ * the registry in-band, affecting subsequent lines (§5.4, §5.5, §5.8).
  */
 import { Claim } from '@cavelang/core';
 import { type Ast } from '@cavelang/parser';

package/dist/src/canonicalize.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"canonicalize.d.ts","sourceRoot":"","sources":["../../src/canonicalize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,KAAK,EAAuB,MAAM,gBAAgB,CAAA;AAC3D,OAAO,EAAiB,KAAK,GAAG,EAAE,MAAM,kBAAkB,CAAA;AAC1D,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,wDAAwD;AACxD,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,KAAK,GAAG,SAAS,GAAG,WAAW,CAAA;AAE/D,sDAAsD;AACtD,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,CAAA;AAED,yDAAyD;AACzD,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAA;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;IAC/B,4EAA4E;IAC5E,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;CACtC,CAAA;AAwDD,uCAAuC;AACvC,eAAO,MAAM,YAAY,GAAI,UAAU,GAAG,CAAC,QAAQ,EAAE,WAAU,QAAQ,CAAC,CAAkB,KAAG,MA8I5F,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,MAAM,EAAE,WAAU,QAAQ,CAAC,CAAkB,KAAG,MAavF,CAAA"}
+{"version":3,"file":"canonicalize.d.ts","sourceRoot":"","sources":["../../src/canonicalize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,KAAK,EAAuB,MAAM,gBAAgB,CAAA;AAC3D,OAAO,EAAiB,KAAK,GAAG,EAAE,MAAM,kBAAkB,CAAA;AAC1D,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,wDAAwD;AACxD,MAAM,MAAM,QAAQ,GAAG,MAAM,GAAG,KAAK,GAAG,SAAS,GAAG,WAAW,CAAA;AAE/D,sDAAsD;AACtD,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,CAAA;AAED,yDAAyD;AACzD,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAA;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,IAAI,EAAE,CAAA;IAC/B,4EAA4E;IAC5E,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAA;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,EAAE,CAAA;CACtC,CAAA;AA8DD,uCAAuC;AACvC,eAAO,MAAM,YAAY,GAAI,UAAU,GAAG,CAAC,QAAQ,EAAE,WAAU,QAAQ,CAAC,CAAkB,KAAG,MAsJ5F,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,gBAAgB,GAAI,OAAO,MAAM,EAAE,WAAU,QAAQ,CAAC,CAAkB,KAAG,MAavF,CAAA"}

package/dist/src/canonicalize.js

@@ -16,8 +16,8 @@
  * Qualifier lines become claim nodes joined to their parent by edges
  * (§8.1); `UNLESS x` normalizes to `WHEN` + negated condition (§8.2);
  * grouped full claims link to their parent with the `QUALIFIES` role
- * (§13.2). `REVERSE` and extension-verb declarations update the registry
- * in-band, affecting subsequent lines (§5.4, §5.5).
+ * (§13.2). `REVERSE`, `RENAMED-TO`, and extension-verb declarations update
+ * the registry in-band, affecting subsequent lines (§5.4, §5.5, §5.8).
  */
 import { Claim, Entity, Value, Verb } from '@cavelang/core';
 import { parseDocument } from '@cavelang/parser';
@@ -28,8 +28,15 @@ const roleOf = {
     VIA: 'VIA',
     BECAUSE: 'BECAUSE'
 };
-/** `>` maps to the standard `EXCEEDS`; other operators keep their symbol. */
-const comparisonVerb = (op) => op === '>' ? 'EXCEEDS' : op;
+/** Every qualifier operator maps to a parseable canonical verb. */
+const comparisonVerbs = {
+    '>': 'EXCEEDS',
+    '<': 'IS-BELOW',
+    '>=': 'IS-AT-LEAST',
+    '<=': 'IS-AT-MOST',
+    '=': 'EQUALS',
+    '!=': 'DIFFERS-FROM'
+};
 const normalizeTerm = (term) => term.kind === 'entity' ? Claim.entity(Entity.normalize(term.text)) : term;
 /**
  * Term ↔ payload conversion for the §5.5 inverse swap. The parser
@@ -82,7 +89,7 @@ export const canonicalize = (document, registry = Registry.empty) => {
     const buildClaim = (full, raw, line) => {
         const writtenSubject = normalizeTerm(full.subject);
         let subject = writtenSubject;
-        let verb = full.verb;
+        let verb = Registry.storageOf(registry, full.verb);
         let payload = full.payload;
         if (payload.kind === 'relation') {
             payload = Claim.relation(normalizeTerm(payload.object));
@@ -129,6 +136,14 @@ export const canonicalize = (document, registry = Registry.empty) => {
             }
             return;
         }
+        if (claim.verb === Verb.RENAMED_TO && claim.subject.kind === 'entity' && object.kind === 'entity') {
+            const declared = Registry.declareRename(registry, claim.subject.text, object.text);
+            registry = declared.registry;
+            if (!declared.ok) {
+                problem(line, declared.problem);
+            }
+            return;
+        }
         if (claim.verb === 'IS' && object.kind === 'entity' && object.text === 'verb' &&
             claim.subject.kind === 'entity' && Verb.isVerbToken(claim.subject.text)) {
             registry = Registry.declareVerb(registry, claim.subject.text);
@@ -153,7 +168,7 @@ export const canonicalize = (document, registry = Registry.empty) => {
             case 'comparison':
                 return {
                     subject: payload.left,
-                    verb: comparisonVerb(payload.op),
+                    verb: comparisonVerbs[payload.op],
                     negated: payload.negated !== unless,
                     payload: Claim.metric(payload.value),
                     meta: payload.meta

package/dist/src/canonicalize.js.map

@@ -1 +1 @@
-{"version":3,"file":"canonicalize.js","sourceRoot":"","sources":["../../src/canonicalize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAC3D,OAAO,EAAE,aAAa,EAAY,MAAM,kBAAkB,CAAA;AAC1D,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AA+BzC,MAAM,MAAM,GAAqC;IAC/C,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,KAAK;IACV,OAAO,EAAE,SAAS;CACnB,CAAA;AAED,6EAA6E;AAC7E,MAAM,cAAc,GAAG,CAAC,EAAoB,EAAU,EAAE,CACtD,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAA;AAE7B,MAAM,aAAa,GAAG,CAAC,IAAgB,EAAc,EAAE,CACrD,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAE3E;;;;;;GAMG;AACH,MAAM,aAAa,GAAG,CAAC,OAAsB,EAA0B,EAAE;IACvE,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,OAAO,CAAC,MAAM,CAAA;QACvB,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpE,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;oBAC/D,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;QACrD;YACE,OAAO,SAAS,CAAA;IACpB,CAAC;AACH,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,IAAgB,EAAiB,EAAE;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrD,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;AAC7B,CAAC,CAAA;AAED,MAAM,MAAM,GAAG,CAAC,IAAc,EAAuB,EAAE,CAAC,CAAC;IACvD,QAAQ,EAAE,IAAI,CAAC,QAAQ;IACvB,IAAI,EAAE,IAAI,CAAC,IAAI;IACf,UAAU,EAAE,IAAI,CAAC,UAAU;IAC3B,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;IACrD,GAAG,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;IACxD,GAAG,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE;IACvE,GAAG,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE;CAC/D,CAAC,CAAA;AAEF,uCAAuC;AACvC,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAsB,EAAE,WAAuB,QAAQ,CAAC,KAAK,EAAU,EAAE;IACpG,MAAM,MAAM,GAAY,EAAE,CAAA;IAC1B,MAAM,KAAK,GAAW,EAAE,CAAA;IACxB,MAAM,QAAQ,GAAc,EAAE,CAAA;IAC9B,2FAA2F;IAC3F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyD,CAAA;IAE/E,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,OAAe,EAAQ,EAAE;QACtD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;IAClC,CAAC,CAAA;IAED,6EAA6E;IAC7E,MAAM,UAAU,GAAG,CAAC,IAAc,EAAE,GAAW,EAAE,IAAY,EAAkD,EAAE;QAC/G,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAClD,IAAI,OAAO,GAAG,cAAc,CAAA;QAC5B,IAAI,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACpB,IAAI,OAAO,GAAkB,IAAI,CAAC,OAAO,CAAA;QACzC,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAChC,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;QACzD,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;QACjE,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,CAAA;YACzC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,OAAO,CAAC,IAAI,EAAE,gBAAgB,IAAI,yEAAyE,CAAC,CAAA;YAC9G,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAA;gBAChC,OAAO,GAAG,UAAU,CAAA;gBACpB,IAAI,GAAG,OAAO,CAAA;YAChB,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO;YACP,IAAI;YACJ,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,OAAO;YACP,GAAG;YACH,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;SACrB,CAAC,CAAA;QACF,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,CAAA;IAClC,CAAC,CAAA;IAED,MAAM,MAAM,GAAG,CAAC,KAAc,EAAE,IAAY,EAAE,cAA0B,EAAE,SAAiB,EAAU,EAAE;QACrG,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAA;QAC3B,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QAC5B,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAA;QAChD,OAAO,KAAK,CAAA;IACd,CAAC,CAAA;IAED,+EAA+E;IAC/E,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAAE,IAAY,EAAQ,EAAE;QAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACvD,OAAM;QACR,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAA;QACnC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/F,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;YACnF,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAA;YAC5B,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACjB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;YACjC,CAAC;YACD,OAAM;QACR,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YACzE,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5E,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAC/D,CAAC;IACH,CAAC,CAAA;IAED,kEAAkE;IAClE,MAAM,WAAW,GAAG,CAAC,OAA6B,EAAE,MAAe,EAAY,EAAE;QAC/E,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,OAAO;gBACV,OAAO;oBACL,GAAG,OAAO,CAAC,KAAK;oBAChB,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC;iBAChE,CAAA;YACH,KAAK,QAAQ;gBACX,OAAO;oBACL,OAAO,EAAE,OAAO,CAAC,IAAI;oBACrB,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,MAAM;oBACnC,OAAO,EAAE,KAAK,CAAC,IAAI;oBACnB,IAAI,EAAE,OAAO,CAAC,IAAI;iBACnB,CAAA;YACH,KAAK,YAAY;gBACf,OAAO;oBACL,OAAO,EAAE,OAAO,CAAC,IAAI;oBACrB,IAAI,EAAE,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;oBAChC,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,MAAM;oBACnC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;oBACpC,IAAI,EAAE,OAAO,CAAC,IAAI;iBACnB,CAAA;QACL,CAAC;IACH,CAAC,CAAA;IAED,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;QACzC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC7E,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,SAAS,CAAC,CAAA;gBACjE,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;oBAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;oBACtC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBACzB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;oBACvE,CAAC;gBACH,CAAC;gBACD,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;gBACnC,OAAM;YACR,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAO,CAAC,CAAA;gBACvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,0CAA0C,CAAC,CAAA;oBAC9D,OAAM;gBACR,CAAC;gBACD,MAAM,IAAI,GAAa,EAAE,OAAO,EAAE,MAAM,CAAC,cAAc,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;gBACvE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;gBACvE,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,SAAS,CAAC,CAAA;gBACnD,kEAAkE;gBAClE,mEAAmE;gBACnE,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;gBACnC,OAAM;YACR,CAAC;YACD,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAO,CAAC,CAAA;gBACvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,uCAAuC,CAAC,CAAA;oBAC3D,OAAM;gBACR,CAAC;gBACD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAA;gBACnE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;gBACvE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,SAAS,CAAC,CAAA;gBACjE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;gBAChF,OAAM;YACR,CAAC;YACD;gBACE,OAAM;QACV,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAA;AAC9C,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAa,EAAE,WAAuB,QAAQ,CAAC,KAAK,EAAU,EAAE;IAC/F,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;IACrC,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAC/C,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,MAAM,CAAA;IACf,CAAC;IACD,OAAO;QACL,GAAG,MAAM;QACT,QAAQ,EAAE;YACR,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;YACnG,GAAG,MAAM,CAAC,QAAQ;SACnB;KACF,CAAA;AACH,CAAC,CAAA"}
+{"version":3,"file":"canonicalize.js","sourceRoot":"","sources":["../../src/canonicalize.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAC3D,OAAO,EAAE,aAAa,EAAY,MAAM,kBAAkB,CAAA;AAC1D,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AA+BzC,MAAM,MAAM,GAAqC;IAC/C,IAAI,EAAE,MAAM;IACZ,MAAM,EAAE,MAAM;IACd,GAAG,EAAE,KAAK;IACV,OAAO,EAAE,SAAS;CACnB,CAAA;AAED,mEAAmE;AACnE,MAAM,eAAe,GAA+C;IAClE,GAAG,EAAE,SAAS;IACd,GAAG,EAAE,UAAU;IACf,IAAI,EAAE,aAAa;IACnB,IAAI,EAAE,YAAY;IAClB,GAAG,EAAE,QAAQ;IACb,IAAI,EAAE,cAAc;CACrB,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,IAAgB,EAAc,EAAE,CACrD,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAE3E;;;;;;GAMG;AACH,MAAM,aAAa,GAAG,CAAC,OAAsB,EAA0B,EAAE;IACvE,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,OAAO,CAAC,MAAM,CAAA;QACvB,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;gBACpE,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;oBAC/D,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAA;QACrD;YACE,OAAO,SAAS,CAAA;IACpB,CAAC;AACH,CAAC,CAAA;AAED,MAAM,aAAa,GAAG,CAAC,IAAgB,EAAiB,EAAE;IACxD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpC,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACrD,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QAC5B,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;AAC7B,CAAC,CAAA;AAED,MAAM,MAAM,GAAG,CAAC,IAAc,EAAuB,EAAE,CAAC,CAAC;IACvD,QAAQ,EAAE,IAAI,CAAC,QAAQ;IACvB,IAAI,EAAE,IAAI,CAAC,IAAI;IACf,UAAU,EAAE,IAAI,CAAC,UAAU;IAC3B,GAAG,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;IACrD,GAAG,IAAI,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE;IACxD,GAAG,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE;IACvE,GAAG,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE;CAC/D,CAAC,CAAA;AAEF,uCAAuC;AACvC,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAsB,EAAE,WAAuB,QAAQ,CAAC,KAAK,EAAU,EAAE;IACpG,MAAM,MAAM,GAAY,EAAE,CAAA;IAC1B,MAAM,KAAK,GAAW,EAAE,CAAA;IACxB,MAAM,QAAQ,GAAc,EAAE,CAAA;IAC9B,2FAA2F;IAC3F,MAAM,MAAM,GAAG,IAAI,GAAG,EAAyD,CAAA;IAE/E,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,OAAe,EAAQ,EAAE;QACtD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAA;IAClC,CAAC,CAAA;IAED,6EAA6E;IAC7E,MAAM,UAAU,GAAG,CAAC,IAAc,EAAE,GAAW,EAAE,IAAY,EAAkD,EAAE;QAC/G,MAAM,cAAc,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAClD,IAAI,OAAO,GAAG,cAAc,CAAA;QAC5B,IAAI,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QAClD,IAAI,OAAO,GAAkB,IAAI,CAAC,OAAO,CAAA;QACzC,IAAI,OAAO,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAChC,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;QACzD,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;QACjE,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,UAAU,GAAG,aAAa,CAAC,OAAO,CAAC,CAAA;YACzC,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;gBAC7B,OAAO,CAAC,IAAI,EAAE,gBAAgB,IAAI,yEAAyE,CAAC,CAAA;YAC9G,CAAC;iBAAM,CAAC;gBACN,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAA;gBAChC,OAAO,GAAG,UAAU,CAAA;gBACpB,IAAI,GAAG,OAAO,CAAA;YAChB,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,KAAK,CAAC,EAAE,CAAC;YACrB,OAAO;YACP,IAAI;YACJ,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,OAAO;YACP,GAAG;YACH,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC;SACrB,CAAC,CAAA;QACF,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,CAAA;IAClC,CAAC,CAAA;IAED,MAAM,MAAM,GAAG,CAAC,KAAc,EAAE,IAAY,EAAE,cAA0B,EAAE,SAAiB,EAAU,EAAE;QACrG,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAA;QAC3B,MAAM,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;QAC5B,MAAM,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAA;QAChD,OAAO,KAAK,CAAA;IACd,CAAC,CAAA;IAED,+EAA+E;IAC/E,MAAM,iBAAiB,GAAG,CAAC,KAAc,EAAE,IAAY,EAAQ,EAAE;QAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YACvD,OAAM;QACR,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAA;QACnC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC/F,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;YACnF,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAA;YAC5B,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACjB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;YACjC,CAAC;YACD,OAAM;QACR,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAClG,MAAM,QAAQ,GAAG,QAAQ,CAAC,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;YAClF,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAA;YAC5B,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;gBACjB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;YACjC,CAAC;YACD,OAAM;QACR,CAAC;QACD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;YACzE,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5E,QAAQ,GAAG,QAAQ,CAAC,WAAW,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;QAC/D,CAAC;IACH,CAAC,CAAA;IAED,kEAAkE;IAClE,MAAM,WAAW,GAAG,CAAC,OAA6B,EAAE,MAAe,EAAY,EAAE;QAC/E,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,OAAO;gBACV,OAAO;oBACL,GAAG,OAAO,CAAC,KAAK;oBAChB,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC;iBAChE,CAAA;YACH,KAAK,QAAQ;gBACX,OAAO;oBACL,OAAO,EAAE,OAAO,CAAC,IAAI;oBACrB,IAAI,EAAE,QAAQ;oBACd,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,MAAM;oBACnC,OAAO,EAAE,KAAK,CAAC,IAAI;oBACnB,IAAI,EAAE,OAAO,CAAC,IAAI;iBACnB,CAAA;YACH,KAAK,YAAY;gBACf,OAAO;oBACL,OAAO,EAAE,OAAO,CAAC,IAAI;oBACrB,IAAI,EAAE,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC;oBACjC,OAAO,EAAE,OAAO,CAAC,OAAO,KAAK,MAAM;oBACnC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;oBACpC,IAAI,EAAE,OAAO,CAAC,IAAI;iBACnB,CAAA;QACL,CAAC;IACH,CAAC,CAAA;IAED,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;QACzC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,OAAO,CAAC,CAAC,CAAC;gBACb,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;gBAC7E,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,SAAS,CAAC,CAAA;gBACjE,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;oBAC9B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;oBACtC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;wBACzB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;oBACvE,CAAC;gBACH,CAAC;gBACD,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;gBACnC,OAAM;YACR,CAAC;YACD,KAAK,cAAc,CAAC,CAAC,CAAC;gBACpB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAO,CAAC,CAAA;gBACvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,0CAA0C,CAAC,CAAA;oBAC9D,OAAM;gBACR,CAAC;gBACD,MAAM,IAAI,GAAa,EAAE,OAAO,EAAE,MAAM,CAAC,cAAc,EAAE,GAAG,IAAI,CAAC,IAAI,EAAE,CAAA;gBACvE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;gBACvE,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,SAAS,CAAC,CAAA;gBACnD,kEAAkE;gBAClE,mEAAmE;gBACnE,iBAAiB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;gBACnC,OAAM;YACR,CAAC;YACD,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,MAAO,CAAC,CAAA;gBACvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,uCAAuC,CAAC,CAAA;oBAC3D,OAAM;gBACR,CAAC;gBACD,MAAM,IAAI,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAA;gBACnE,MAAM,EAAE,KAAK,EAAE,cAAc,EAAE,GAAG,UAAU,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;gBACvE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,cAAc,EAAE,SAAS,CAAC,CAAA;gBACjE,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAA;gBAChF,OAAM;YACR,CAAC;YACD;gBACE,OAAM;QACV,CAAC;IACH,CAAC,CAAC,CAAA;IAEF,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAA;AAC9C,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAa,EAAE,WAAuB,QAAQ,CAAC,KAAK,EAAU,EAAE;IAC/F,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAA;IACrC,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAA;IAC/C,IAAI,QAAQ,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,MAAM,CAAA;IACf,CAAC;IACD,OAAO;QACL,GAAG,MAAM;QACT,QAAQ,EAAE;YACR,GAAG,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,CAAC,CAAC;YACnG,GAAG,MAAM,CAAC,QAAQ;SACnB;KACF,CAAA;AACH,CAAC,CAAA"}

package/dist/src/prelude.d.ts

@@ -8,8 +8,8 @@
  * ingesting the text first.
  */
 import * as Registry from './registry.ts';
-/** The spec §5.5 declaration block, verbatim, plus §20.1's `EXPECTS`. */
-export declare const standardPrelude = "REVERSE IS verb ; declares that two verbs name the same edge read in opposite directions\nREVERSE HAS arity: 2\nEXPECTS IS verb ; a type expects its instances to carry an attribute or relation\nCONTAINS REVERSE PART-OF\nCAUSE REVERSE CAUSED-BY\nPRECEDES REVERSE FOLLOWS\nUSES REVERSE USED-BY\nNEEDS REVERSE NEEDED-BY\nENABLES REVERSE ENABLED-BY\nBLOCKS REVERSE BLOCKED-BY\nEXTENDS REVERSE EXTENDED-BY\n";
-/** Registry with the standard §5.5 inverse pairs and §20.1 `EXPECTS` declared. */
+/** The spec §5.5 declaration block, plus §5.8 `RENAMED-TO` and §20.1 `EXPECTS`. */
+export declare const standardPrelude = "REVERSE IS verb ; declares that two verbs name the same edge read in opposite directions\nREVERSE HAS arity: 2\nRENAMED-TO IS verb ; deprecates a verb spelling in favor of a compatible replacement\nRENAMED-TO HAS arity: 2\nEXPECTS IS verb ; a type expects its instances to carry an attribute or relation\nCONTAINS REVERSE PART-OF\nCAUSE REVERSE CAUSED-BY\nPRECEDES REVERSE FOLLOWS\nUSES REVERSE USED-BY\nNEEDS REVERSE NEEDED-BY\nENABLES REVERSE ENABLED-BY\nBLOCKS REVERSE BLOCKED-BY\nEXTENDS REVERSE EXTENDED-BY\n";
+/** Registry with standard inverse pairs plus `RENAMED-TO` and `EXPECTS`. */
 export declare const standardRegistry: Registry.t;
 //# sourceMappingURL=prelude.d.ts.map

package/dist/src/prelude.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"prelude.d.ts","sourceRoot":"","sources":["../../src/prelude.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,yEAAyE;AACzE,eAAO,MAAM,eAAe,uZAW3B,CAAA;AAaD,kFAAkF;AAClF,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,CAI8C,CAAA"}
+{"version":3,"file":"prelude.d.ts","sourceRoot":"","sources":["../../src/prelude.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,mFAAmF;AACnF,eAAO,MAAM,eAAe,sgBAa3B,CAAA;AAaD,4EAA4E;AAC5E,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,CAOpC,CAAA"}

package/dist/src/prelude.js

@@ -8,9 +8,11 @@
  * ingesting the text first.
  */
 import * as Registry from "./registry.js";
-/** The spec §5.5 declaration block, verbatim, plus §20.1's `EXPECTS`. */
+/** The spec §5.5 declaration block, plus §5.8 `RENAMED-TO` and §20.1 `EXPECTS`. */
 export const standardPrelude = `REVERSE IS verb ; declares that two verbs name the same edge read in opposite directions
 REVERSE HAS arity: 2
+RENAMED-TO IS verb ; deprecates a verb spelling in favor of a compatible replacement
+RENAMED-TO HAS arity: 2
 EXPECTS IS verb ; a type expects its instances to carry an attribute or relation
 CONTAINS REVERSE PART-OF
 CAUSE REVERSE CAUSED-BY
@@ -31,9 +33,9 @@ const standardPairs = [
     ['BLOCKS', 'BLOCKED-BY'],
     ['EXTENDS', 'EXTENDED-BY']
 ];
-/** Registry with the standard §5.5 inverse pairs and §20.1 `EXPECTS` declared. */
+/** Registry with standard inverse pairs plus `RENAMED-TO` and `EXPECTS`. */
 export const standardRegistry = standardPairs.reduce((registry, [primary, inverse]) => {
     const declared = Registry.declareReverse(registry, primary, inverse);
     return declared.registry;
-}, Registry.declareVerb(Registry.declareVerb(Registry.empty, 'REVERSE'), 'EXPECTS'));
+}, Registry.declareVerb(Registry.declareVerb(Registry.declareVerb(Registry.empty, 'REVERSE'), 'RENAMED-TO'), 'EXPECTS'));
 //# sourceMappingURL=prelude.js.map

package/dist/src/prelude.js.map

@@ -1 +1 @@
-{"version":3,"file":"prelude.js","sourceRoot":"","sources":["../../src/prelude.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,yEAAyE;AACzE,MAAM,CAAC,MAAM,eAAe,GAAG;;;;;;;;;;;CAW9B,CAAA;AAED,MAAM,aAAa,GAAgC;IACjD,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,OAAO,EAAE,WAAW,CAAC;IACtB,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,MAAM,EAAE,SAAS,CAAC;IACnB,CAAC,OAAO,EAAE,WAAW,CAAC;IACtB,CAAC,SAAS,EAAE,YAAY,CAAC;IACzB,CAAC,QAAQ,EAAE,YAAY,CAAC;IACxB,CAAC,SAAS,EAAE,aAAa,CAAC;CAC3B,CAAA;AAED,kFAAkF;AAClF,MAAM,CAAC,MAAM,gBAAgB,GAC3B,aAAa,CAAC,MAAM,CAAa,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE;IAChE,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IACpE,OAAO,QAAQ,CAAC,QAAQ,CAAA;AAC1B,CAAC,EAAE,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC,CAAA"}
+{"version":3,"file":"prelude.js","sourceRoot":"","sources":["../../src/prelude.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,mFAAmF;AACnF,MAAM,CAAC,MAAM,eAAe,GAAG;;;;;;;;;;;;;CAa9B,CAAA;AAED,MAAM,aAAa,GAAgC;IACjD,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,OAAO,EAAE,WAAW,CAAC;IACtB,CAAC,UAAU,EAAE,SAAS,CAAC;IACvB,CAAC,MAAM,EAAE,SAAS,CAAC;IACnB,CAAC,OAAO,EAAE,WAAW,CAAC;IACtB,CAAC,SAAS,EAAE,YAAY,CAAC;IACzB,CAAC,QAAQ,EAAE,YAAY,CAAC;IACxB,CAAC,SAAS,EAAE,aAAa,CAAC;CAC3B,CAAA;AAED,4EAA4E;AAC5E,MAAM,CAAC,MAAM,gBAAgB,GAC3B,aAAa,CAAC,MAAM,CAAa,CAAC,QAAQ,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,EAAE;IAChE,MAAM,QAAQ,GAAG,QAAQ,CAAC,cAAc,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;IACpE,OAAO,QAAQ,CAAC,QAAQ,CAAA;AAC1B,CAAC,EAAE,QAAQ,CAAC,WAAW,CACrB,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,YAAY,CAAC,EACnF,SAAS,CACV,CAAC,CAAA"}

package/dist/src/registry.d.ts

@@ -1,10 +1,9 @@
 /**
- * Verb registry (spec §5.4, §5.5).
+ * Verb registry (spec §5.4, §5.5, §5.8).
  *
  * Tracks in-band verb knowledge: extension verb declarations (`MIGRATES IS
- * verb`) and inverse pairs (`CONTAINS REVERSE PART-OF`). No verb is born
- * with an inverse — a relation without a `REVERSE` declaration simply has
- * no reverse name.
+ * verb`), inverse pairs (`CONTAINS REVERSE PART-OF`), and lifecycle chains
+ * (`OLD RENAMED-TO NEW`). No verb is born with an inverse or alias.
  *
  * The registry is an immutable value; declaring returns a new registry, so
  * the canonicalization pipeline can thread it through a document and
@@ -20,6 +19,12 @@ export type Registry = {
     readonly pairs: ReadonlyMap<string, Pair>;
     /** Extension verbs declared via `X IS verb`. */
     readonly declared: ReadonlySet<string>;
+    /** Every lifecycle spelling → its stable, oldest storage spelling. */
+    readonly storage: ReadonlyMap<string, string>;
+    /** Stable storage spelling → the currently preferred spelling. */
+    readonly preferred: ReadonlyMap<string, string>;
+    /** Accepted `old → new` declarations, used to make replay idempotent. */
+    readonly renames: ReadonlyMap<string, string>;
 };
 export type t = Registry;
 /** Registry with no declarations. */
@@ -41,6 +46,21 @@ export type Declared = {
 export declare const declareReverse: (registry: Registry, a: string, b: string) => Declared;
 /** Declares an extension verb (`X IS verb`, spec §5.4). */
 export declare const declareVerb: (registry: Registry, verb: string) => Registry;
+/** @returns the stable storage spelling for a lifecycle alias (spec §5.8). */
+export declare const storageOf: (registry: Registry, verb: string) => string;
+/** @returns the latest preferred spelling in a lifecycle chain (spec §5.8). */
+export declare const preferredOf: (registry: Registry, verb: string) => string;
+/** @returns whether `verb` remains accepted but has a newer preferred spelling. */
+export declare const isDeprecated: (registry: Registry, verb: string) => boolean;
+/** All accepted spellings for the same-direction verb, storage spelling first. */
+export declare const spellingsOf: (registry: Registry, verb: string) => string[];
+/**
+ * Declares `old RENAMED-TO new` (spec §5.8). The oldest spelling remains
+ * the stable storage identity, while the right side becomes preferred for
+ * authors. A chain must advance from its current preferred spelling;
+ * branches, joins, and cycles are rejected, and the first declaration wins.
+ */
+export declare const declareRename: (registry: Registry, old: string, replacement: string) => Declared;
 /**
  * @returns the canonical primary of `verb` and whether `verb` is the
  * inverse side. An unpaired verb is its own primary.

package/dist/src/registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAIH,0FAA0F;AAC1F,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,QAAQ,GAAG;IACrB,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IACzC,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CACvC,CAAA;AAED,MAAM,MAAM,CAAC,GAAG,QAAQ,CAAA;AAExB,qCAAqC;AACrC,eAAO,MAAM,KAAK,EAAE,QAGnB,CAAA;AAED,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAA;AAEjF;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GAAI,UAAU,QAAQ,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,KAAG,QAyBzE,CAAA;AAED,2DAA2D;AAC3D,eAAO,MAAM,WAAW,GAAI,UAAU,QAAQ,EAAE,MAAM,MAAM,KAAG,QAO9D,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,SAAS,GAAI,UAAU,QAAQ,EAAE,MAAM,MAAM,KAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAMjG,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,UAAU,QAAQ,EAAE,MAAM,MAAM,KAAG,SAAS,GAAG,MAMxE,CAAA;AAED,mEAAmE;AACnE,eAAO,MAAM,UAAU,GAAI,UAAU,QAAQ,EAAE,MAAM,MAAM,KAAG,OACjC,CAAA;AAE7B,mDAAmD;AACnD,eAAO,MAAM,QAAQ,GAAI,UAAU,QAAQ,KAAG,IAAI,EACX,CAAA"}
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,0FAA0F;AAC1F,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACzB,CAAA;AAED,MAAM,MAAM,QAAQ,GAAG;IACrB,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IACzC,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;IACtC,sEAAsE;IACtE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC7C,kEAAkE;IAClE,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC/C,yEAAyE;IACzE,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;CAC9C,CAAA;AAED,MAAM,MAAM,CAAC,GAAG,QAAQ,CAAA;AAExB,qCAAqC;AACrC,eAAO,MAAM,KAAK,EAAE,QAMnB,CAAA;AAED,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAA;AAEjF;;;;;GAKG;AACH,eAAO,MAAM,cAAc,GAAI,UAAU,QAAQ,EAAE,GAAG,MAAM,EAAE,GAAG,MAAM,KAAG,QA2BzE,CAAA;AAED,2DAA2D;AAC3D,eAAO,MAAM,WAAW,GAAI,UAAU,QAAQ,EAAE,MAAM,MAAM,KAAG,QAQ9D,CAAA;AAED,8EAA8E;AAC9E,eAAO,MAAM,SAAS,GAAI,UAAU,QAAQ,EAAE,MAAM,MAAM,KAAG,MACzB,CAAA;AAEpC,+EAA+E;AAC/E,eAAO,MAAM,WAAW,GAAI,UAAU,QAAQ,EAAE,MAAM,MAAM,KAAG,MAG9D,CAAA;AAED,mFAAmF;AACnF,eAAO,MAAM,YAAY,GAAI,UAAU,QAAQ,EAAE,MAAM,MAAM,KAAG,OACI,CAAA;AAEpE,kFAAkF;AAClF,eAAO,MAAM,WAAW,GAAI,UAAU,QAAQ,EAAE,MAAM,MAAM,KAAG,MAAM,EAQpE,CAAA;AAED;;;;;GAKG;AACH,eAAO,MAAM,aAAa,GAAI,UAAU,QAAQ,EAAE,KAAK,MAAM,EAAE,aAAa,MAAM,KAAG,QAkDpF,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,SAAS,GAAI,UAAU,QAAQ,EAAE,MAAM,MAAM,KAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAOjG,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,SAAS,GAAI,UAAU,QAAQ,EAAE,MAAM,MAAM,KAAG,SAAS,GAAG,MAQxE,CAAA;AAED,mEAAmE;AACnE,eAAO,MAAM,UAAU,GAAI,UAAU,QAAQ,EAAE,MAAM,MAAM,KAAG,OACZ,CAAA;AAElD,mDAAmD;AACnD,eAAO,MAAM,QAAQ,GAAI,UAAU,QAAQ,KAAG,IAAI,EACX,CAAA"}

package/dist/src/registry.js

@@ -1,10 +1,9 @@
 /**
- * Verb registry (spec §5.4, §5.5).
+ * Verb registry (spec §5.4, §5.5, §5.8).
  *
  * Tracks in-band verb knowledge: extension verb declarations (`MIGRATES IS
- * verb`) and inverse pairs (`CONTAINS REVERSE PART-OF`). No verb is born
- * with an inverse — a relation without a `REVERSE` declaration simply has
- * no reverse name.
+ * verb`), inverse pairs (`CONTAINS REVERSE PART-OF`), and lifecycle chains
+ * (`OLD RENAMED-TO NEW`). No verb is born with an inverse or alias.
  *
  * The registry is an immutable value; declaring returns a new registry, so
  * the canonicalization pipeline can thread it through a document and
@@ -14,7 +13,10 @@ import { Verb } from '@cavelang/core';
 /** Registry with no declarations. */
 export const empty = {
     pairs: new Map(),
-    declared: new Set()
+    declared: new Set(),
+    storage: new Map(),
+    preferred: new Map(),
+    renames: new Map()
 };
 /**
  * Declares `a REVERSE b`: `a` is primary, `b` its inverse (spec §5.5).
@@ -26,6 +28,8 @@ export const declareReverse = (registry, a, b) => {
     if (!Verb.isVerbToken(a) || !Verb.isVerbToken(b)) {
         return { ok: false, registry, problem: `REVERSE operands must be UPPERCASE verbs, got ${a} REVERSE ${b}` };
     }
+    a = storageOf(registry, a);
+    b = storageOf(registry, b);
     const existingA = registry.pairs.get(a);
     const existingB = registry.pairs.get(b);
     const existing = existingA ?? existingB;
@@ -45,25 +49,103 @@ export const declareReverse = (registry, a, b) => {
     const pairs = new Map(registry.pairs);
     pairs.set(a, pair);
     pairs.set(b, pair);
-    return { ok: true, registry: { pairs, declared: registry.declared } };
+    return { ok: true, registry: { ...registry, pairs } };
 };
 /** Declares an extension verb (`X IS verb`, spec §5.4). */
 export const declareVerb = (registry, verb) => {
+    verb = storageOf(registry, verb);
     if (registry.declared.has(verb)) {
         return registry;
     }
     const declared = new Set(registry.declared);
     declared.add(verb);
-    return { pairs: registry.pairs, declared };
+    return { ...registry, declared };
+};
+/** @returns the stable storage spelling for a lifecycle alias (spec §5.8). */
+export const storageOf = (registry, verb) => registry.storage.get(verb) ?? verb;
+/** @returns the latest preferred spelling in a lifecycle chain (spec §5.8). */
+export const preferredOf = (registry, verb) => {
+    const storage = storageOf(registry, verb);
+    return registry.preferred.get(storage) ?? storage;
+};
+/** @returns whether `verb` remains accepted but has a newer preferred spelling. */
+export const isDeprecated = (registry, verb) => registry.storage.has(verb) && preferredOf(registry, verb) !== verb;
+/** All accepted spellings for the same-direction verb, storage spelling first. */
+export const spellingsOf = (registry, verb) => {
+    const storage = storageOf(registry, verb);
+    return [
+        storage,
+        ...[...registry.storage.entries()]
+            .filter(([spelling, root]) => root === storage && spelling !== storage)
+            .map(([spelling]) => spelling)
+    ];
+};
+/**
+ * Declares `old RENAMED-TO new` (spec §5.8). The oldest spelling remains
+ * the stable storage identity, while the right side becomes preferred for
+ * authors. A chain must advance from its current preferred spelling;
+ * branches, joins, and cycles are rejected, and the first declaration wins.
+ */
+export const declareRename = (registry, old, replacement) => {
+    if (!Verb.isVerbToken(old) || !Verb.isVerbToken(replacement)) {
+        return {
+            ok: false,
+            registry,
+            problem: `RENAMED-TO operands must be UPPERCASE verbs, got ${old} RENAMED-TO ${replacement}`
+        };
+    }
+    if (old === replacement) {
+        return { ok: false, registry, problem: `${old} cannot be RENAMED-TO itself` };
+    }
+    if (registry.renames.get(old) === replacement) {
+        return { ok: true, registry };
+    }
+    const storage = storageOf(registry, old);
+    const preferred = preferredOf(registry, old);
+    if (preferred !== old) {
+        return {
+            ok: false,
+            registry,
+            problem: `${old} was already renamed to ${preferred}; continue the chain from ${preferred}`
+        };
+    }
+    if (registry.storage.has(replacement)) {
+        return {
+            ok: false,
+            registry,
+            problem: `${replacement} already belongs to the ${storageOf(registry, replacement)} lifecycle; branches, joins, and cycles are not allowed`
+        };
+    }
+    if (Verb.isKnown(replacement) || registry.pairs.has(replacement) || registry.declared.has(replacement)) {
+        return {
+            ok: false,
+            registry,
+            problem: `${replacement} already has an independent verb identity and cannot join the ${storage} lifecycle`
+        };
+    }
+    const nextStorage = new Map(registry.storage);
+    // The original spelling is entered too, so deprecation is directly
+    // observable even for the first link in a chain.
+    nextStorage.set(old, storage);
+    nextStorage.set(replacement, storage);
+    const nextPreferred = new Map(registry.preferred);
+    nextPreferred.set(storage, replacement);
+    const renames = new Map(registry.renames);
+    renames.set(old, replacement);
+    return {
+        ok: true,
+        registry: { ...registry, storage: nextStorage, preferred: nextPreferred, renames }
+    };
 };
 /**
  * @returns the canonical primary of `verb` and whether `verb` is the
  * inverse side. An unpaired verb is its own primary.
  */
 export const primaryOf = (registry, verb) => {
-    const pair = registry.pairs.get(verb);
-    if (pair === undefined || pair.primary === verb) {
-        return { primary: verb, isInverse: false };
+    const storage = storageOf(registry, verb);
+    const pair = registry.pairs.get(storage);
+    if (pair === undefined || pair.primary === storage) {
+        return { primary: storage, isInverse: false };
     }
     return { primary: pair.primary, isInverse: true };
 };
@@ -73,14 +155,16 @@ export const primaryOf = (registry, verb) => {
  * (reverse reads then fall back to an un-named object-side scan, spec §5.5).
  */
 export const inverseOf = (registry, verb) => {
-    const pair = registry.pairs.get(verb);
+    const storage = storageOf(registry, verb);
+    const pair = registry.pairs.get(storage);
     if (pair === undefined) {
         return undefined;
     }
-    return pair.primary === verb ? pair.inverse : pair.primary;
+    const inverse = pair.primary === storage ? pair.inverse : pair.primary;
+    return preferredOf(registry, inverse);
 };
 /** @returns `true` if `verb` was declared as an extension verb. */
-export const isDeclared = (registry, verb) => registry.declared.has(verb);
+export const isDeclared = (registry, verb) => registry.declared.has(storageOf(registry, verb));
 /** All pairs, deduplicated, in insertion order. */
 export const allPairs = (registry) => [...new Set(registry.pairs.values())];
 //# sourceMappingURL=registry.js.map

package/dist/src/registry.js.map

@@ -1 +1 @@
-{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAiBrC,qCAAqC;AACrC,MAAM,CAAC,MAAM,KAAK,GAAa;IAC7B,KAAK,EAAE,IAAI,GAAG,EAAE;IAChB,QAAQ,EAAE,IAAI,GAAG,EAAE;CACpB,CAAA;AAMD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAkB,EAAE,CAAS,EAAE,CAAS,EAAY,EAAE;IACnF,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,iDAAiD,CAAC,YAAY,CAAC,EAAE,EAAE,CAAA;IAC5G,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACvC,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACvC,MAAM,QAAQ,GAAG,SAAS,IAAI,SAAS,CAAA;IACvC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,GACR,CAAC,QAAQ,CAAC,OAAO,KAAK,CAAC,IAAI,QAAQ,CAAC,OAAO,KAAK,CAAC,CAAC;YAClD,CAAC,QAAQ,CAAC,OAAO,KAAK,CAAC,IAAI,QAAQ,CAAC,OAAO,KAAK,CAAC,CAAC,CAAA;QACpD,IAAI,IAAI,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;QAC/B,CAAC;QACD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ;YACR,OAAO,EAAE,GAAG,CAAC,YAAY,CAAC,4BAA4B,QAAQ,CAAC,OAAO,YAAY,QAAQ,CAAC,OAAO,uCAAuC;SAC1I,CAAA;IACH,CAAC;IACD,MAAM,IAAI,GAAS,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAA;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IACrC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAClB,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAClB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAA;AACvE,CAAC,CAAA;AAED,2DAA2D;AAC3D,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAkB,EAAE,IAAY,EAAY,EAAE;IACxE,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,QAAQ,CAAA;IACjB,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;IAC3C,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAClB,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAA;AAC5C,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,QAAkB,EAAE,IAAY,EAA2C,EAAE;IACrG,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACrC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QAChD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;IAC5C,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAA;AACnD,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,QAAkB,EAAE,IAAY,EAAsB,EAAE;IAChF,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACrC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAA;AAC5D,CAAC,CAAA;AAED,mEAAmE;AACnE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,QAAkB,EAAE,IAAY,EAAW,EAAE,CACtE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;AAE7B,mDAAmD;AACnD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,QAAkB,EAAU,EAAE,CACrD,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA"}
+{"version":3,"file":"registry.js","sourceRoot":"","sources":["../../src/registry.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAA;AAuBrC,qCAAqC;AACrC,MAAM,CAAC,MAAM,KAAK,GAAa;IAC7B,KAAK,EAAE,IAAI,GAAG,EAAE;IAChB,QAAQ,EAAE,IAAI,GAAG,EAAE;IACnB,OAAO,EAAE,IAAI,GAAG,EAAE;IAClB,SAAS,EAAE,IAAI,GAAG,EAAE;IACpB,OAAO,EAAE,IAAI,GAAG,EAAE;CACnB,CAAA;AAMD;;;;;GAKG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAkB,EAAE,CAAS,EAAE,CAAS,EAAY,EAAE;IACnF,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QACjD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,iDAAiD,CAAC,YAAY,CAAC,EAAE,EAAE,CAAA;IAC5G,CAAC;IACD,CAAC,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAA;IAC1B,CAAC,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAA;IAC1B,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACvC,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;IACvC,MAAM,QAAQ,GAAG,SAAS,IAAI,SAAS,CAAA;IACvC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,GACR,CAAC,QAAQ,CAAC,OAAO,KAAK,CAAC,IAAI,QAAQ,CAAC,OAAO,KAAK,CAAC,CAAC;YAClD,CAAC,QAAQ,CAAC,OAAO,KAAK,CAAC,IAAI,QAAQ,CAAC,OAAO,KAAK,CAAC,CAAC,CAAA;QACpD,IAAI,IAAI,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YACpC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;QAC/B,CAAC;QACD,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ;YACR,OAAO,EAAE,GAAG,CAAC,YAAY,CAAC,4BAA4B,QAAQ,CAAC,OAAO,YAAY,QAAQ,CAAC,OAAO,uCAAuC;SAC1I,CAAA;IACH,CAAC;IACD,MAAM,IAAI,GAAS,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAA;IAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;IACrC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAClB,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;IAClB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAA;AACvD,CAAC,CAAA;AAED,2DAA2D;AAC3D,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAkB,EAAE,IAAY,EAAY,EAAE;IACxE,IAAI,GAAG,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IAChC,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,QAAQ,CAAA;IACjB,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;IAC3C,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAClB,OAAO,EAAE,GAAG,QAAQ,EAAE,QAAQ,EAAE,CAAA;AAClC,CAAC,CAAA;AAED,8EAA8E;AAC9E,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,QAAkB,EAAE,IAAY,EAAU,EAAE,CACpE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAA;AAEpC,+EAA+E;AAC/E,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAkB,EAAE,IAAY,EAAU,EAAE;IACtE,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IACzC,OAAO,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,OAAO,CAAA;AACnD,CAAC,CAAA;AAED,mFAAmF;AACnF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,QAAkB,EAAE,IAAY,EAAW,EAAE,CACxE,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC,KAAK,IAAI,CAAA;AAEpE,kFAAkF;AAClF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,QAAkB,EAAE,IAAY,EAAY,EAAE;IACxE,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IACzC,OAAO;QACL,OAAO;QACP,GAAG,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC;aAC/B,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,OAAO,IAAI,QAAQ,KAAK,OAAO,CAAC;aACtE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC;KACjC,CAAA;AACH,CAAC,CAAA;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,QAAkB,EAAE,GAAW,EAAE,WAAmB,EAAY,EAAE;IAC9F,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,WAAW,CAAC,EAAE,CAAC;QAC7D,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ;YACR,OAAO,EAAE,oDAAoD,GAAG,eAAe,WAAW,EAAE;SAC7F,CAAA;IACH,CAAC;IACD,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;QACxB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,GAAG,8BAA8B,EAAE,CAAA;IAC/E,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,WAAW,EAAE,CAAC;QAC9C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IAC/B,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;IACxC,MAAM,SAAS,GAAG,WAAW,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAA;IAC5C,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;QACtB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ;YACR,OAAO,EAAE,GAAG,GAAG,2BAA2B,SAAS,6BAA6B,SAAS,EAAE;SAC5F,CAAA;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACtC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ;YACR,OAAO,EAAE,GAAG,WAAW,2BAA2B,SAAS,CAAC,QAAQ,EAAE,WAAW,CAAC,yDAAyD;SAC5I,CAAA;IACH,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACvG,OAAO;YACL,EAAE,EAAE,KAAK;YACT,QAAQ;YACR,OAAO,EAAE,GAAG,WAAW,iEAAiE,OAAO,YAAY;SAC5G,CAAA;IACH,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;IAC7C,mEAAmE;IACnE,iDAAiD;IACjD,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,CAAC,CAAA;IAC7B,WAAW,CAAC,GAAG,CAAC,WAAW,EAAE,OAAO,CAAC,CAAA;IACrC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;IACjD,aAAa,CAAC,GAAG,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;IACzC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,WAAW,CAAC,CAAA;IAC7B,OAAO;QACL,EAAE,EAAE,IAAI;QACR,QAAQ,EAAE,EAAE,GAAG,QAAQ,EAAE,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,EAAE;KACnF,CAAA;AACH,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,QAAkB,EAAE,IAAY,EAA2C,EAAE;IACrG,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;QACnD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,CAAA;IAC/C,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAA;AACnD,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,QAAkB,EAAE,IAAY,EAAsB,EAAE;IAChF,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAA;IACtE,OAAO,WAAW,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;AACvC,CAAC,CAAA;AAED,mEAAmE;AACnE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,QAAkB,EAAE,IAAY,EAAW,EAAE,CACtE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAA;AAElD,mDAAmD;AACnD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,QAAkB,EAAU,EAAE,CACrD,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA"}

package/package.json

@@ -1,8 +1,18 @@
 {
   "name": "@cavelang/canonical",
-  "version": "0.27.14",
+  "version": "0.29.0",
   "type": "module",
-  "description": "CAVE canonicalization — verb registry, REVERSE inverse resolution, continuation expansion, canonical emitter.",
+  "description": "CAVE canonicalization — verb lifecycle and inverse registry, continuation expansion, canonical emitter.",
+  "keywords": [
+    "cave",
+    "knowledge-graph",
+    "knowledge-representation",
+    "typescript"
+  ],
+  "homepage": "https://github.com/mirek/cave#readme",
+  "bugs": {
+    "url": "https://github.com/mirek/cave/issues"
+  },
   "license": "CC0-1.0",
   "author": "Mirek Rusin (https://github.com/mirek)",
   "repository": {
@@ -26,18 +36,19 @@
     "src",
     "!src/**/*.test.ts",
     "README.md",
-    "License.md"
+    "License.md",
+    "Authors.md"
   ],
   "publishConfig": {
     "access": "public"
   },
   "dependencies": {
-    "@cavelang/core": "0.27.14",
-    "@cavelang/parser": "0.27.14"
+    "@cavelang/core": "0.29.0",
+    "@cavelang/parser": "0.29.0"
   },
   "scripts": {
     "build": "tsc -b",
-    "test": "node --disable-warning=ExperimentalWarning --test 'test/*.test.ts'",
+    "test": "node --disable-warning=ExperimentalWarning --test \"test/*.test.ts\"",
     "typecheck": "tsc -b"
   }
 }

package/src/canonicalize.ts

@@ -16,8 +16,8 @@
  * Qualifier lines become claim nodes joined to their parent by edges
  * (§8.1); `UNLESS x` normalizes to `WHEN` + negated condition (§8.2);
  * grouped full claims link to their parent with the `QUALIFIES` role
- * (§13.2). `REVERSE` and extension-verb declarations update the registry
- * in-band, affecting subsequent lines (§5.4, §5.5).
+ * (§13.2). `REVERSE`, `RENAMED-TO`, and extension-verb declarations update
+ * the registry in-band, affecting subsequent lines (§5.4, §5.5, §5.8).
  */
 
 import { Claim, Entity, Value, Verb } from '@cavelang/core'
@@ -60,9 +60,15 @@ const roleOf: Record<Verb.Qualifier, EdgeRole> = {
   BECAUSE: 'BECAUSE'
 }
 
-/** `>` maps to the standard `EXCEEDS`; other operators keep their symbol. */
-const comparisonVerb = (op: Ast.ComparisonOp): string =>
-  op === '>' ? 'EXCEEDS' : op
+/** Every qualifier operator maps to a parseable canonical verb. */
+const comparisonVerbs: Readonly<Record<Ast.ComparisonOp, string>> = {
+  '>': 'EXCEEDS',
+  '<': 'IS-BELOW',
+  '>=': 'IS-AT-LEAST',
+  '<=': 'IS-AT-MOST',
+  '=': 'EQUALS',
+  '!=': 'DIFFERS-FROM'
+}
 
 const normalizeTerm = (term: Claim.Term): Claim.Term =>
   term.kind === 'entity' ? Claim.entity(Entity.normalize(term.text)) : term
@@ -123,7 +129,7 @@ export const canonicalize = (document: Ast.Document, registry: Registry.t = Regi
   const buildClaim = (full: Ast.Full, raw: string, line: number): { claim: Claim.t, writtenSubject: Claim.Term } => {
     const writtenSubject = normalizeTerm(full.subject)
     let subject = writtenSubject
-    let verb = full.verb
+    let verb = Registry.storageOf(registry, full.verb)
     let payload: Claim.Payload = full.payload
     if (payload.kind === 'relation') {
       payload = Claim.relation(normalizeTerm(payload.object))
@@ -171,6 +177,14 @@ export const canonicalize = (document: Ast.Document, registry: Registry.t = Regi
       }
       return
     }
+    if (claim.verb === Verb.RENAMED_TO && claim.subject.kind === 'entity' && object.kind === 'entity') {
+      const declared = Registry.declareRename(registry, claim.subject.text, object.text)
+      registry = declared.registry
+      if (!declared.ok) {
+        problem(line, declared.problem)
+      }
+      return
+    }
     if (claim.verb === 'IS' && object.kind === 'entity' && object.text === 'verb' &&
         claim.subject.kind === 'entity' && Verb.isVerbToken(claim.subject.text)) {
       registry = Registry.declareVerb(registry, claim.subject.text)
@@ -196,7 +210,7 @@ export const canonicalize = (document: Ast.Document, registry: Registry.t = Regi
       case 'comparison':
         return {
           subject: payload.left,
-          verb: comparisonVerb(payload.op),
+          verb: comparisonVerbs[payload.op],
           negated: payload.negated !== unless,
           payload: Claim.metric(payload.value),
           meta: payload.meta

package/src/prelude.ts

@@ -10,9 +10,11 @@
 
 import * as Registry from './registry.ts'
 
-/** The spec §5.5 declaration block, verbatim, plus §20.1's `EXPECTS`. */
+/** The spec §5.5 declaration block, plus §5.8 `RENAMED-TO` and §20.1 `EXPECTS`. */
 export const standardPrelude = `REVERSE IS verb ; declares that two verbs name the same edge read in opposite directions
 REVERSE HAS arity: 2
+RENAMED-TO IS verb ; deprecates a verb spelling in favor of a compatible replacement
+RENAMED-TO HAS arity: 2
 EXPECTS IS verb ; a type expects its instances to carry an attribute or relation
 CONTAINS REVERSE PART-OF
 CAUSE REVERSE CAUSED-BY
@@ -35,9 +37,12 @@ const standardPairs: readonly [string, string][] = [
   ['EXTENDS', 'EXTENDED-BY']
 ]
 
-/** Registry with the standard §5.5 inverse pairs and §20.1 `EXPECTS` declared. */
+/** Registry with standard inverse pairs plus `RENAMED-TO` and `EXPECTS`. */
 export const standardRegistry: Registry.t =
   standardPairs.reduce<Registry.t>((registry, [primary, inverse]) => {
     const declared = Registry.declareReverse(registry, primary, inverse)
     return declared.registry
-  }, Registry.declareVerb(Registry.declareVerb(Registry.empty, 'REVERSE'), 'EXPECTS'))
+  }, Registry.declareVerb(
+    Registry.declareVerb(Registry.declareVerb(Registry.empty, 'REVERSE'), 'RENAMED-TO'),
+    'EXPECTS'
+  ))

package/src/registry.ts

@@ -1,10 +1,9 @@
 /**
- * Verb registry (spec §5.4, §5.5).
+ * Verb registry (spec §5.4, §5.5, §5.8).
  *
  * Tracks in-band verb knowledge: extension verb declarations (`MIGRATES IS
- * verb`) and inverse pairs (`CONTAINS REVERSE PART-OF`). No verb is born
- * with an inverse — a relation without a `REVERSE` declaration simply has
- * no reverse name.
+ * verb`), inverse pairs (`CONTAINS REVERSE PART-OF`), and lifecycle chains
+ * (`OLD RENAMED-TO NEW`). No verb is born with an inverse or alias.
  *
  * The registry is an immutable value; declaring returns a new registry, so
  * the canonicalization pipeline can thread it through a document and
@@ -24,6 +23,12 @@ export type Registry = {
   readonly pairs: ReadonlyMap<string, Pair>
   /** Extension verbs declared via `X IS verb`. */
   readonly declared: ReadonlySet<string>
+  /** Every lifecycle spelling → its stable, oldest storage spelling. */
+  readonly storage: ReadonlyMap<string, string>
+  /** Stable storage spelling → the currently preferred spelling. */
+  readonly preferred: ReadonlyMap<string, string>
+  /** Accepted `old → new` declarations, used to make replay idempotent. */
+  readonly renames: ReadonlyMap<string, string>
 }
 
 export type t = Registry
@@ -31,7 +36,10 @@ export type t = Registry
 /** Registry with no declarations. */
 export const empty: Registry = {
   pairs: new Map(),
-  declared: new Set()
+  declared: new Set(),
+  storage: new Map(),
+  preferred: new Map(),
+  renames: new Map()
 }
 
 export type Declared =
@@ -48,6 +56,8 @@ export const declareReverse = (registry: Registry, a: string, b: string): Declar
   if (!Verb.isVerbToken(a) || !Verb.isVerbToken(b)) {
     return { ok: false, registry, problem: `REVERSE operands must be UPPERCASE verbs, got ${a} REVERSE ${b}` }
   }
+  a = storageOf(registry, a)
+  b = storageOf(registry, b)
   const existingA = registry.pairs.get(a)
   const existingB = registry.pairs.get(b)
   const existing = existingA ?? existingB
@@ -68,17 +78,101 @@ export const declareReverse = (registry: Registry, a: string, b: string): Declar
   const pairs = new Map(registry.pairs)
   pairs.set(a, pair)
   pairs.set(b, pair)
-  return { ok: true, registry: { pairs, declared: registry.declared } }
+  return { ok: true, registry: { ...registry, pairs } }
 }
 
 /** Declares an extension verb (`X IS verb`, spec §5.4). */
 export const declareVerb = (registry: Registry, verb: string): Registry => {
+  verb = storageOf(registry, verb)
   if (registry.declared.has(verb)) {
     return registry
   }
   const declared = new Set(registry.declared)
   declared.add(verb)
-  return { pairs: registry.pairs, declared }
+  return { ...registry, declared }
+}
+
+/** @returns the stable storage spelling for a lifecycle alias (spec §5.8). */
+export const storageOf = (registry: Registry, verb: string): string =>
+  registry.storage.get(verb) ?? verb
+
+/** @returns the latest preferred spelling in a lifecycle chain (spec §5.8). */
+export const preferredOf = (registry: Registry, verb: string): string => {
+  const storage = storageOf(registry, verb)
+  return registry.preferred.get(storage) ?? storage
+}
+
+/** @returns whether `verb` remains accepted but has a newer preferred spelling. */
+export const isDeprecated = (registry: Registry, verb: string): boolean =>
+  registry.storage.has(verb) && preferredOf(registry, verb) !== verb
+
+/** All accepted spellings for the same-direction verb, storage spelling first. */
+export const spellingsOf = (registry: Registry, verb: string): string[] => {
+  const storage = storageOf(registry, verb)
+  return [
+    storage,
+    ...[...registry.storage.entries()]
+      .filter(([spelling, root]) => root === storage && spelling !== storage)
+      .map(([spelling]) => spelling)
+  ]
+}
+
+/**
+ * Declares `old RENAMED-TO new` (spec §5.8). The oldest spelling remains
+ * the stable storage identity, while the right side becomes preferred for
+ * authors. A chain must advance from its current preferred spelling;
+ * branches, joins, and cycles are rejected, and the first declaration wins.
+ */
+export const declareRename = (registry: Registry, old: string, replacement: string): Declared => {
+  if (!Verb.isVerbToken(old) || !Verb.isVerbToken(replacement)) {
+    return {
+      ok: false,
+      registry,
+      problem: `RENAMED-TO operands must be UPPERCASE verbs, got ${old} RENAMED-TO ${replacement}`
+    }
+  }
+  if (old === replacement) {
+    return { ok: false, registry, problem: `${old} cannot be RENAMED-TO itself` }
+  }
+  if (registry.renames.get(old) === replacement) {
+    return { ok: true, registry }
+  }
+  const storage = storageOf(registry, old)
+  const preferred = preferredOf(registry, old)
+  if (preferred !== old) {
+    return {
+      ok: false,
+      registry,
+      problem: `${old} was already renamed to ${preferred}; continue the chain from ${preferred}`
+    }
+  }
+  if (registry.storage.has(replacement)) {
+    return {
+      ok: false,
+      registry,
+      problem: `${replacement} already belongs to the ${storageOf(registry, replacement)} lifecycle; branches, joins, and cycles are not allowed`
+    }
+  }
+  if (Verb.isKnown(replacement) || registry.pairs.has(replacement) || registry.declared.has(replacement)) {
+    return {
+      ok: false,
+      registry,
+      problem: `${replacement} already has an independent verb identity and cannot join the ${storage} lifecycle`
+    }
+  }
+  const nextStorage = new Map(registry.storage)
+  // The original spelling is entered too, so deprecation is directly
+  // observable even for the first link in a chain.
+  nextStorage.set(old, storage)
+  nextStorage.set(replacement, storage)
+  const nextPreferred = new Map(registry.preferred)
+  nextPreferred.set(storage, replacement)
+  const renames = new Map(registry.renames)
+  renames.set(old, replacement)
+  return {
+    ok: true,
+    registry: { ...registry, storage: nextStorage, preferred: nextPreferred, renames }
+  }
 }
 
 /**
@@ -86,9 +180,10 @@ export const declareVerb = (registry: Registry, verb: string): Registry => {
  * inverse side. An unpaired verb is its own primary.
  */
 export const primaryOf = (registry: Registry, verb: string): { primary: string, isInverse: boolean } => {
-  const pair = registry.pairs.get(verb)
-  if (pair === undefined || pair.primary === verb) {
-    return { primary: verb, isInverse: false }
+  const storage = storageOf(registry, verb)
+  const pair = registry.pairs.get(storage)
+  if (pair === undefined || pair.primary === storage) {
+    return { primary: storage, isInverse: false }
   }
   return { primary: pair.primary, isInverse: true }
 }
@@ -99,16 +194,18 @@ export const primaryOf = (registry: Registry, verb: string): { primary: string,
  * (reverse reads then fall back to an un-named object-side scan, spec §5.5).
  */
 export const inverseOf = (registry: Registry, verb: string): undefined | string => {
-  const pair = registry.pairs.get(verb)
+  const storage = storageOf(registry, verb)
+  const pair = registry.pairs.get(storage)
   if (pair === undefined) {
     return undefined
   }
-  return pair.primary === verb ? pair.inverse : pair.primary
+  const inverse = pair.primary === storage ? pair.inverse : pair.primary
+  return preferredOf(registry, inverse)
 }
 
 /** @returns `true` if `verb` was declared as an extension verb. */
 export const isDeclared = (registry: Registry, verb: string): boolean =>
-  registry.declared.has(verb)
+  registry.declared.has(storageOf(registry, verb))
 
 /** All pairs, deduplicated, in insertion order. */
 export const allPairs = (registry: Registry): Pair[] =>