@cavelang/core 0.28.1 → 0.29.0

package/dist/src/value.js

@@ -19,16 +19,17 @@
  * with their kind already known; use {@link ofText} / {@link ofCode}.
  */
 import * as Multiplier from "./multiplier.js";
+import { parsePeriod } from "./time.js";
 const numberRe = /^(-?\d+(?:\.\d+)?)([A-Za-z%]*)$/;
 const unitRe = /^[A-Za-z%$][A-Za-z0-9%$]*(?:\/[A-Za-z0-9%$]+)*$/;
-const dateRe = /^\d{4}-(?:H[1-2]|Q[1-4]|W\d{1,2}|\d{2})(?:-\d{2})?$/;
 /** @returns `true` if `s` is a valid unit expression (`USD/yr`, `ms`, `%`). */
 export const isUnit = (s) => unitRe.test(s);
 /**
  * @returns `true` if `s` is date-like (spec §16 `date_like`): `2026-H2`,
- * `2026-Q1`, `2026-04`, `2026-04-10`. A bare year parses as a number instead.
+ * `2026-Q1`, `2026-04`, `2026-04-10`. Calendar validity is shared with
+ * {@link parsePeriod}; a bare year parses as a number instead.
  */
-export const isDateLike = (s) => dateRe.test(s);
+export const isDateLike = (s) => s.includes('-') && parsePeriod(s) !== undefined;
 /**
  * Parses `body` as number [multiplier] [unit] where the unit is either glued
  * (`30ms`, `94.5%`) or space-separated (`20B USD/yr`, `20 conn`).

package/dist/src/value.js.map

@@ -1 +1 @@
-{"version":3,"file":"value.js","sourceRoot":"","sources":["../../src/value.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAiC7C,MAAM,QAAQ,GAAG,iCAAiC,CAAA;AAClD,MAAM,MAAM,GAAG,iDAAiD,CAAA;AAChE,MAAM,MAAM,GAAG,qDAAqD,CAAA;AAEpE,+EAA+E;AAC/E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE,CAC3C,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAEhB;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAS,EAAW,EAAE,CAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAIhB;;;;GAIG;AACH,MAAM,YAAY,GAAG,CAAC,IAAY,EAAuB,EAAE;IACzD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACjC,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;IAC3D,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACxE,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACjC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,KAAK,CAAA;IAC/B,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;IACxB,IAAI,IAAwB,CAAA;IAC5B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;QACxC,IAAI,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACjC,CAAC;aAAM,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,IAAI,GAAG,KAAK,CAAA;QACd,CAAC;aAAM,CAAC;YACN,OAAO,SAAS,CAAA;QAClB,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,IAAI,GAAG,IAAI,CAAA;IACb,CAAC;IACD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAA;AACrD,CAAC,CAAA;AAUD,MAAM,gBAAgB,GAAG,yBAAyB,CAAA;AAElD;;;;;GAKG;AACH,MAAM,eAAe,GAAG,CAAC,IAAY,EAA0B,EAAE;IAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAChC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QAC7D,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,KAAyB,CAAA;IACvD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAA;IACnC,MAAM,KAAK,GAAG,YAAY,CAAC,SAAS,CAAC,CAAA;IACrC,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QACpF,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAA;IACpC,OAAO;QACL,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,EAAE,EAAE,KAAK,CAAC,GAAG;QACb,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE;QACrC,KAAK,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC;QAChF,UAAU,EAAE,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;KAC9G,CAAA;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAS,EAAE;IAC1C,MAAM,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;IAClC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;IACxC,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC5E,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO;YACL,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE;YACxE,GAAG,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE;SAClE,CAAA;IACH,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;IAClC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACjC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;YACnD,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAA;IACzE,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAA;IACtC,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAA;AACtC,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,mCAAmC,CAAA;AAEtD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAS,EAAU,EAAE;IAChD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,GAAG,CAAC,CAAA;IACxD,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACxC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;IAClB,CAAC;IACD,MAAM,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,GAAG,EAAE,EAAE,QAAQ,GAAG,EAAE,EAAE,QAAQ,GAAG,GAAG,CAAC,GAAG,KAAK,CAAA;IACtE,MAAM,MAAM,GAAG,GAAG,KAAK,GAAG,QAAQ,EAAE,CAAA;IACpC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;IAC7C,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC;QAC7D,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACjF,GAAG,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAA;AAC7D,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAY,EAAE,QAAgB,EAAsB,EAAE,CAChF,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC;IAClD,SAAS,CAAC,CAAC;IACX,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAA;AAE7E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,QAAgB,EAAsB,EAAE;IAC7E,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IACxC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC5E,IAAI,MAAM,GAAG,GAAG,CAAA;IAChB,IAAI,MAAM,GAAG,EAAE,CAAA;IACf,IAAI,KAAK,EAAE,UAAU,KAAK,IAAI,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAU,EAAE,CAAC;YAC9C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1C,MAAM,GAAG,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;gBACnC,MAAM,GAAG,CAAC,CAAA;gBACV,MAAK;YACP,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1D,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAC/B,GAAG,MAAM,GAAG,MAAM,EAAE,CAAC,CAAC;QACtB,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,CAAA;AACxE,CAAC,CAAA;AAED,+EAA+E;AAC/E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAS,EAAE,CAC5C,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;AAE9C,sEAAsE;AACtE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAS,EAAE,CAC5C,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;AAE9C;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAU,EAAE;IAC7C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,IAAI,KAAK,CAAC,GAAG,GAAG,CAAA;QACzB,KAAK,MAAM;YACT,OAAO,KAAK,KAAK,CAAC,GAAG,IAAI,CAAA;QAC3B;YACE,OAAO,KAAK,CAAC,GAAG,CAAA;IACpB,CAAC;AACH,CAAC,CAAA"}
+{"version":3,"file":"value.js","sourceRoot":"","sources":["../../src/value.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAA;AAiCvC,MAAM,QAAQ,GAAG,iCAAiC,CAAA;AAClD,MAAM,MAAM,GAAG,iDAAiD,CAAA;AAChE,+EAA+E;AAC/E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAS,EAAW,EAAE,CAC3C,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAEhB;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAS,EAAW,EAAE,CAC/C,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,KAAK,SAAS,CAAA;AAIjD;;;;GAIG;AACH,MAAM,YAAY,GAAG,CAAC,IAAY,EAAuB,EAAE;IACzD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACjC,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;IAC3D,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;IACxE,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACjC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,KAAK,CAAA;IAC/B,IAAI,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;IACxB,IAAI,IAAwB,CAAA;IAC5B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,EAAE,EAAE,CAAC;QACxC,IAAI,UAAU,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACjC,CAAC;aAAM,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,IAAI,GAAG,KAAK,CAAA;QACd,CAAC;aAAM,CAAC;YACN,OAAO,SAAS,CAAA;QAClB,CAAC;IACH,CAAC;IACD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,IAAI,GAAG,IAAI,CAAA;IACb,CAAC;IACD,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAA;AACrD,CAAC,CAAA;AAUD,MAAM,gBAAgB,GAAG,yBAAyB,CAAA;AAElD;;;;;GAKG;AACH,MAAM,eAAe,GAAG,CAAC,IAAY,EAA0B,EAAE;IAC/D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAA;IAChC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QAC7D,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,GAAG,KAAyB,CAAA;IACvD,MAAM,IAAI,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAA;IACnC,MAAM,KAAK,GAAG,YAAY,CAAC,SAAS,CAAC,CAAA;IACrC,IAAI,IAAI,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC9C,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;QACpF,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,CAAA;IACpC,OAAO;QACL,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,EAAE,EAAE,KAAK,CAAC,GAAG;QACb,GAAG,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE;QACrC,KAAK,EAAE,IAAI,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC;QAChF,UAAU,EAAE,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;KAC9G,CAAA;AACH,CAAC,CAAA;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,GAAW,EAAS,EAAE;IAC1C,MAAM,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;IAClC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;IACxC,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC5E,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO;YACL,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,EAAE,EAAE,EAAE,UAAU,CAAC,EAAE;YACxE,GAAG,UAAU,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE;SAClE,CAAA;IACH,CAAC;IACD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;IAClC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;YACjC,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;YACnD,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAA;IACzE,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAA;IACtC,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAA;AACtC,CAAC,CAAA;AAED,MAAM,UAAU,GAAG,mCAAmC,CAAA;AAEtD;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAS,EAAU,EAAE;IAChD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,GAAG,CAAC,CAAA;IACxD,CAAC;IACD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;IACxC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;IAClB,CAAC;IACD,MAAM,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,GAAG,EAAE,EAAE,QAAQ,GAAG,EAAE,EAAE,QAAQ,GAAG,GAAG,CAAC,GAAG,KAAK,CAAA;IACtE,MAAM,MAAM,GAAG,GAAG,KAAK,GAAG,QAAQ,EAAE,CAAA;IACpC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;IAC7C,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,KAAK,GAAG,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,MAAM,EAAE,CAAC,CAAC;QAC7D,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACjF,GAAG,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAA;AAC7D,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAY,EAAE,QAAgB,EAAsB,EAAE,CAChF,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC;IAClD,SAAS,CAAC,CAAC;IACX,KAAK,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAA;AAE7E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAY,EAAE,QAAgB,EAAsB,EAAE;IAC7E,MAAM,GAAG,GAAG,WAAW,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IACxC,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC5E,IAAI,MAAM,GAAG,GAAG,CAAA;IAChB,IAAI,MAAM,GAAG,EAAE,CAAA;IACf,IAAI,KAAK,EAAE,UAAU,KAAK,IAAI,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAU,EAAE,CAAC;YAC9C,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1C,MAAM,GAAG,GAAG,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;gBACnC,MAAM,GAAG,CAAC,CAAA;gBACV,MAAK;YACP,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;IAC1D,OAAO,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAC/B,GAAG,MAAM,GAAG,MAAM,EAAE,CAAC,CAAC;QACtB,GAAG,MAAM,GAAG,MAAM,GAAG,KAAK,EAAE,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,KAAK,CAAC,IAAI,EAAE,CAAA;AACxE,CAAC,CAAA;AAED,+EAA+E;AAC/E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAS,EAAE,CAC5C,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;AAE9C,sEAAsE;AACtE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAS,EAAE,CAC5C,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;AAE9C;;;;GAIG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAY,EAAU,EAAE;IAC7C,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,MAAM;YACT,OAAO,IAAI,KAAK,CAAC,GAAG,GAAG,CAAA;QACzB,KAAK,MAAM;YACT,OAAO,KAAK,KAAK,CAAC,GAAG,IAAI,CAAA;QAC3B;YACE,OAAO,KAAK,CAAC,GAAG,CAAA;IACpB,CAAC;AACH,CAAC,CAAA"}

package/dist/src/verb.d.ts

@@ -18,12 +18,16 @@ export declare const causation: readonly ["CAUSE", "FIX", "BECOMES"];
 /** Dependency and production (spec §5.2). */
 export declare const dependency: readonly ["NEEDS", "USES", "YIELDS", "ENABLES", "BLOCKS"];
 /** Structure and ordering (spec §5.2). */
-export declare const structure: readonly ["CONTAINS", "PRECEDES", "EXCEEDS", "VS"];
+export declare const structure: readonly ["CONTAINS", "PRECEDES", "VS"];
+/** Canonical verbs for qualifier comparisons (spec §8.2). */
+export declare const comparison: readonly ["EXCEEDS", "IS-BELOW", "IS-AT-LEAST", "IS-AT-MOST", "EQUALS", "DIFFERS-FROM"];
 /** Qualifier verbs — appear indented under another claim (spec §5.2, §8.2). */
 export declare const qualifiers: readonly ["WHEN", "UNLESS", "VIA", "BECAUSE"];
 export type Qualifier = (typeof qualifiers)[number];
 /** The inverse-declaration verb (spec §5.5). */
 export declare const REVERSE = "REVERSE";
+/** The verb-lifecycle declaration (spec §5.8). */
+export declare const RENAMED_TO = "RENAMED-TO";
 /** The shape-expectation meta-verb (spec §20.1). */
 export declare const EXPECTS = "EXPECTS";
 /** The standard inverse names (spec §5.5's declaration block). */
@@ -32,7 +36,8 @@ export declare const standardInverses: readonly ["PART-OF", "CAUSED-BY", "FOLLOW
 export declare const standard: readonly Verb[];
 /**
  * @returns `true` if `s` has the lexical shape of a verb — an uppercase atom:
- * uppercase letters and internal `-` (spec §16 `uppercase_atom`).
+ * an uppercase letter followed by uppercase letters or `-` (spec §16
+ * `uppercase_atom`, which permits a trailing hyphen).
  */
 export declare const isVerbToken: (s: string) => boolean;
 /** @returns `true` if `v` is one of the standard relational verbs. */
@@ -41,7 +46,7 @@ export declare const isStandard: (v: string) => boolean;
 export declare const isQualifier: (v: string) => v is Qualifier;
 /**
  * @returns `true` if `v` belongs to the known standard vocabulary —
- * standard verbs, `HAS`, `REVERSE`, `EXPECTS`, and the standard §5.5
+ * standard verbs, `HAS`, `REVERSE`, `RENAMED-TO`, `EXPECTS`, and the standard §5.5
  * inverse names.
  * Used by the parser's indentation tiebreak: `USES JWT` is a continuation
  * (JWT is not a known verb) while `API NEEDS auth` is a full triple.

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

@@ -1 +1 @@
-{"version":3,"file":"verb.d.ts","sourceRoot":"","sources":["../../src/verb.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,MAAM,IAAI,GAAG,MAAM,CAAA;AAEzB,MAAM,MAAM,CAAC,GAAG,IAAI,CAAA;AAEpB,mCAAmC;AACnC,eAAO,MAAM,SAAS,wBAAyB,CAAA;AAE/C,yCAAyC;AACzC,eAAO,MAAM,QAAQ,uDAAwD,CAAA;AAE7E,wCAAwC;AACxC,eAAO,MAAM,SAAS,sCAAuC,CAAA;AAE7D,6CAA6C;AAC7C,eAAO,MAAM,UAAU,2DAA4D,CAAA;AAEnF,0CAA0C;AAC1C,eAAO,MAAM,SAAS,oDAAqD,CAAA;AAE3E,+EAA+E;AAC/E,eAAO,MAAM,UAAU,+CAAgD,CAAA;AAEvE,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;AAEnD,gDAAgD;AAChD,eAAO,MAAM,OAAO,YAAY,CAAA;AAEhC,oDAAoD;AACpD,eAAO,MAAM,OAAO,YAAY,CAAA;AAEhC,kEAAkE;AAClE,eAAO,MAAM,gBAAgB,iHAGnB,CAAA;AAEV,2DAA2D;AAC3D,eAAO,MAAM,QAAQ,EAAE,SAAS,IAAI,EAKnC,CAAA;AAMD;;;GAGG;AACH,eAAO,MAAM,WAAW,GAAI,GAAG,MAAM,KAAG,OACJ,CAAA;AAEpC,sEAAsE;AACtE,eAAO,MAAM,UAAU,GAAI,GAAG,MAAM,KAAG,OACnB,CAAA;AAEpB,uFAAuF;AACvF,eAAO,MAAM,WAAW,GAAI,GAAG,MAAM,KAAG,CAAC,IAAI,SACxB,CAAA;AAErB;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,MAAM,KAAG,OACnB,CAAA"}
+{"version":3,"file":"verb.d.ts","sourceRoot":"","sources":["../../src/verb.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,MAAM,IAAI,GAAG,MAAM,CAAA;AAEzB,MAAM,MAAM,CAAC,GAAG,IAAI,CAAA;AAEpB,mCAAmC;AACnC,eAAO,MAAM,SAAS,wBAAyB,CAAA;AAE/C,yCAAyC;AACzC,eAAO,MAAM,QAAQ,uDAAwD,CAAA;AAE7E,wCAAwC;AACxC,eAAO,MAAM,SAAS,sCAAuC,CAAA;AAE7D,6CAA6C;AAC7C,eAAO,MAAM,UAAU,2DAA4D,CAAA;AAEnF,0CAA0C;AAC1C,eAAO,MAAM,SAAS,yCAA0C,CAAA;AAEhE,6DAA6D;AAC7D,eAAO,MAAM,UAAU,yFAEb,CAAA;AAEV,+EAA+E;AAC/E,eAAO,MAAM,UAAU,+CAAgD,CAAA;AAEvE,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,UAAU,CAAC,CAAC,MAAM,CAAC,CAAA;AAEnD,gDAAgD;AAChD,eAAO,MAAM,OAAO,YAAY,CAAA;AAEhC,kDAAkD;AAClD,eAAO,MAAM,UAAU,eAAe,CAAA;AAEtC,oDAAoD;AACpD,eAAO,MAAM,OAAO,YAAY,CAAA;AAEhC,kEAAkE;AAClE,eAAO,MAAM,gBAAgB,iHAGnB,CAAA;AAEV,2DAA2D;AAC3D,eAAO,MAAM,QAAQ,EAAE,SAAS,IAAI,EAMnC,CAAA;AAMD;;;;GAIG;AACH,eAAO,MAAM,WAAW,GAAI,GAAG,MAAM,KAAG,OACd,CAAA;AAE1B,sEAAsE;AACtE,eAAO,MAAM,UAAU,GAAI,GAAG,MAAM,KAAG,OACnB,CAAA;AAEpB,uFAAuF;AACvF,eAAO,MAAM,WAAW,GAAI,GAAG,MAAM,KAAG,CAAC,IAAI,SACxB,CAAA;AAErB;;;;;;GAMG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,MAAM,KAAG,OACnB,CAAA"}

package/dist/src/verb.js

@@ -16,11 +16,17 @@ export const causation = ['CAUSE', 'FIX', 'BECOMES'];
 /** Dependency and production (spec §5.2). */
 export const dependency = ['NEEDS', 'USES', 'YIELDS', 'ENABLES', 'BLOCKS'];
 /** Structure and ordering (spec §5.2). */
-export const structure = ['CONTAINS', 'PRECEDES', 'EXCEEDS', 'VS'];
+export const structure = ['CONTAINS', 'PRECEDES', 'VS'];
+/** Canonical verbs for qualifier comparisons (spec §8.2). */
+export const comparison = [
+    'EXCEEDS', 'IS-BELOW', 'IS-AT-LEAST', 'IS-AT-MOST', 'EQUALS', 'DIFFERS-FROM'
+];
 /** Qualifier verbs — appear indented under another claim (spec §5.2, §8.2). */
 export const qualifiers = ['WHEN', 'UNLESS', 'VIA', 'BECAUSE'];
 /** The inverse-declaration verb (spec §5.5). */
 export const REVERSE = 'REVERSE';
+/** The verb-lifecycle declaration (spec §5.8). */
+export const RENAMED_TO = 'RENAMED-TO';
 /** The shape-expectation meta-verb (spec §20.1). */
 export const EXPECTS = 'EXPECTS';
 /** The standard inverse names (spec §5.5's declaration block). */
@@ -33,23 +39,25 @@ export const standard = [
     ...identity,
     ...causation,
     ...dependency,
-    ...structure
+    ...structure,
+    ...comparison
 ];
 const standardSet = new Set(standard);
 const qualifierSet = new Set(qualifiers);
-const knownSet = new Set([...standard, 'HAS', REVERSE, EXPECTS, ...standardInverses]);
+const knownSet = new Set([...standard, 'HAS', REVERSE, RENAMED_TO, EXPECTS, ...standardInverses]);
 /**
  * @returns `true` if `s` has the lexical shape of a verb — an uppercase atom:
- * uppercase letters and internal `-` (spec §16 `uppercase_atom`).
+ * an uppercase letter followed by uppercase letters or `-` (spec §16
+ * `uppercase_atom`, which permits a trailing hyphen).
  */
-export const isVerbToken = (s) => /^[A-Z](?:[A-Z-]*[A-Z])?$/.test(s);
+export const isVerbToken = (s) => /^[A-Z][A-Z-]*$/.test(s);
 /** @returns `true` if `v` is one of the standard relational verbs. */
 export const isStandard = (v) => standardSet.has(v);
 /** @returns `true` if `v` is a qualifier verb (`WHEN`, `UNLESS`, `VIA`, `BECAUSE`). */
 export const isQualifier = (v) => qualifierSet.has(v);
 /**
  * @returns `true` if `v` belongs to the known standard vocabulary —
- * standard verbs, `HAS`, `REVERSE`, `EXPECTS`, and the standard §5.5
+ * standard verbs, `HAS`, `REVERSE`, `RENAMED-TO`, `EXPECTS`, and the standard §5.5
  * inverse names.
  * Used by the parser's indentation tiebreak: `USES JWT` is a continuation
  * (JWT is not a known verb) while `API NEEDS auth` is a full triple.

package/dist/src/verb.js.map

@@ -1 +1 @@
-{"version":3,"file":"verb.js","sourceRoot":"","sources":["../../src/verb.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,mCAAmC;AACnC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAI,EAAE,KAAK,CAAU,CAAA;AAE/C,yCAAyC;AACzC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAU,CAAA;AAE7E,wCAAwC;AACxC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAU,CAAA;AAE7D,6CAA6C;AAC7C,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAU,CAAA;AAEnF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,CAAU,CAAA;AAE3E,+EAA+E;AAC/E,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAU,CAAA;AAIvE,gDAAgD;AAChD,MAAM,CAAC,MAAM,OAAO,GAAG,SAAS,CAAA;AAEhC,oDAAoD;AACpD,MAAM,CAAC,MAAM,OAAO,GAAG,SAAS,CAAA;AAEhC,kEAAkE;AAClE,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS;IAC5C,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa;CAC9C,CAAA;AAEV,2DAA2D;AAC3D,MAAM,CAAC,MAAM,QAAQ,GAAoB;IACvC,GAAG,QAAQ;IACX,GAAG,SAAS;IACZ,GAAG,UAAU;IACb,GAAG,SAAS;CACb,CAAA;AAED,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAA;AAC7C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,UAAU,CAAC,CAAA;AAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAA;AAE7F;;;GAGG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAS,EAAW,EAAE,CAChD,0BAA0B,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAEpC,sEAAsE;AACtE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAS,EAAW,EAAE,CAC/C,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAEpB,uFAAuF;AACvF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAS,EAAkB,EAAE,CACvD,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAErB;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAS,EAAW,EAAE,CAC5C,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA"}
+{"version":3,"file":"verb.js","sourceRoot":"","sources":["../../src/verb.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,mCAAmC;AACnC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAI,EAAE,KAAK,CAAU,CAAA;AAE/C,yCAAyC;AACzC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAU,CAAA;AAE7E,wCAAwC;AACxC,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAU,CAAA;AAE7D,6CAA6C;AAC7C,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,CAAU,CAAA;AAEnF,0CAA0C;AAC1C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAU,CAAA;AAEhE,6DAA6D;AAC7D,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,SAAS,EAAE,UAAU,EAAE,aAAa,EAAE,YAAY,EAAE,QAAQ,EAAE,cAAc;CACpE,CAAA;AAEV,+EAA+E;AAC/E,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAU,CAAA;AAIvE,gDAAgD;AAChD,MAAM,CAAC,MAAM,OAAO,GAAG,SAAS,CAAA;AAEhC,kDAAkD;AAClD,MAAM,CAAC,MAAM,UAAU,GAAG,YAAY,CAAA;AAEtC,oDAAoD;AACpD,MAAM,CAAC,MAAM,OAAO,GAAG,SAAS,CAAA;AAEhC,kEAAkE;AAClE,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,SAAS,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS;IAC5C,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,aAAa;CAC9C,CAAA;AAEV,2DAA2D;AAC3D,MAAM,CAAC,MAAM,QAAQ,GAAoB;IACvC,GAAG,QAAQ;IACX,GAAG,SAAS;IACZ,GAAG,UAAU;IACb,GAAG,SAAS;IACZ,GAAG,UAAU;CACd,CAAA;AAED,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAA;AAC7C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAS,UAAU,CAAC,CAAA;AAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,gBAAgB,CAAC,CAAC,CAAA;AAEzG;;;;GAIG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAS,EAAW,EAAE,CAChD,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA;AAE1B,sEAAsE;AACtE,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAS,EAAW,EAAE,CAC/C,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAEpB,uFAAuF;AACvF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAS,EAAkB,EAAE,CACvD,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;AAErB;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAS,EAAW,EAAE,CAC5C,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA"}

package/package.json

@@ -1,8 +1,18 @@
 {
   "name": "@cavelang/core",
-  "version": "0.28.1",
+  "version": "0.29.0",
   "type": "module",
   "description": "CAVE domain model — claims, values, units, uncertainty, claim keys, UUIDv7 transactions.",
+  "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,14 +36,15 @@
     "src",
     "!src/**/*.test.ts",
     "README.md",
-    "License.md"
+    "License.md",
+    "Authors.md"
   ],
   "publishConfig": {
     "access": "public"
   },
   "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/claim.ts

@@ -15,6 +15,7 @@ import * as Value from './value.ts'
 import * as Tag from './tag.ts'
 import * as Context from './context.ts'
 import * as Confidence from './confidence.ts'
+import * as Uncertainty from './uncertainty.ts'
 
 /** Subject or object term (spec §16: atom, literal or code literal). */
 export type TermKind = 'entity' | 'text' | 'code'
@@ -106,20 +107,24 @@ export type Init = {
 }
 
 /** @returns claim with defaults applied (spec §6: all suffixes optional). */
-export const of = (init: Init): Claim => ({
-  subject: init.subject,
-  verb: init.verb,
-  negated: init.negated ?? false,
-  payload: init.payload,
-  contexts: Context.dedupe(init.contexts ?? []),
-  tags: init.tags ?? [],
-  conf: init.conf ?? Confidence.defaultConfidence,
-  importance: init.importance ?? false,
-  ...init.delta !== undefined ? { delta: init.delta } : {},
-  ...init.sigmaLevel !== undefined ? { sigmaLevel: init.sigmaLevel } : {},
-  ...init.comment !== undefined ? { comment: init.comment } : {},
-  raw: init.raw ?? ''
-})
+export const of = (init: Init): Claim => {
+  if (init.delta !== undefined) Uncertainty.validateDelta(init.delta.num)
+  if (init.sigmaLevel !== undefined) Uncertainty.validateSigmaLevel(init.sigmaLevel)
+  return {
+    subject: init.subject,
+    verb: init.verb,
+    negated: init.negated ?? false,
+    payload: init.payload,
+    contexts: Context.dedupe(init.contexts ?? []),
+    tags: init.tags ?? [],
+    conf: init.conf ?? Confidence.defaultConfidence,
+    importance: init.importance ?? false,
+    ...init.delta !== undefined ? { delta: init.delta } : {},
+    ...init.sigmaLevel !== undefined ? { sigmaLevel: init.sigmaLevel } : {},
+    ...init.comment !== undefined ? { comment: init.comment } : {},
+    raw: init.raw ?? ''
+  }
+}
 
 /** @returns relational claim payload. */
 export const relation = (object: Term): Payload =>
@@ -145,4 +150,4 @@ export const none: Payload =
 export const sigmaOf = (claim: Claim): undefined | number =>
   claim.delta?.num === undefined ?
     undefined :
-    claim.delta.num / (claim.sigmaLevel ?? 2)
+    Uncertainty.sigma(claim.delta.num, claim.sigmaLevel)

package/src/index.ts

@@ -16,6 +16,7 @@ export * as Context from './context.ts'
 export * as Entity from './entity.ts'
 export * as Key from './key.ts'
 export * as Multiplier from './multiplier.ts'
+export * as SourceSpan from './source-span.ts'
 export * as Tag from './tag.ts'
 export * as Time from './time.ts'
 export * as Uncertainty from './uncertainty.ts'
@@ -23,3 +24,4 @@ export * as Uuidv7 from './uuidv7.ts'
 export * as Value from './value.ts'
 export * as Verb from './verb.ts'
 export * as Version from './version.ts'
+export type { LineSpan, Reference as SourceReference } from './source-span.ts'

package/src/source-span.ts

@@ -0,0 +1,98 @@
+/** Stable source-line provenance carried by `src:` contexts (spec §9.8). */
+
+import type { Context } from './context.ts'
+
+export type LineSpan = {
+  /** One-based first source line. */
+  readonly startLine: number
+  /** One-based inclusive last source line. */
+  readonly endLine: number
+}
+
+export type Reference = {
+  /** Canonical stored context, without the leading `@`. */
+  readonly context: Context
+  /** Decoded underlying source identity, without the line fragment. */
+  readonly source: string
+  readonly span?: LineSpan
+  /** Human-facing source plus line fragment. */
+  readonly location: string
+  /** Navigable location when the source is an HTTP(S) URL. */
+  readonly href?: string
+}
+
+const lineFragment = (span: LineSpan): string =>
+  span.startLine === span.endLine ? `L${span.startLine}` : `L${span.startLine}-L${span.endLine}`
+
+const validSpan = (span: LineSpan): boolean =>
+  Number.isInteger(span.startLine) && Number.isInteger(span.endLine) &&
+  span.startLine >= 1 && span.endLine >= span.startLine
+
+/** Percent-escape a source while keeping readable path and URL separators. */
+export const escape = (source: string): string =>
+  encodeURIComponent(source)
+    .replace(/[!'()*]/g, char => `%${char.charCodeAt(0).toString(16).toUpperCase()}`)
+    .replaceAll('%2F', '/')
+    .replaceAll('%3A', ':')
+
+/** Reverse {@link escape}; malformed percent encodings are rejected. */
+export const unescape = (source: string): undefined | string => {
+  try {
+    return decodeURIComponent(source)
+  } catch {
+    return undefined
+  }
+}
+
+/** Build a canonical `src:` context from a source and optional line span. */
+export const context = (source: string, span?: LineSpan): Context => {
+  if (source === '') {
+    throw new Error('source must not be empty')
+  }
+  if (span !== undefined && !validSpan(span)) {
+    throw new Error(`invalid source line span ${JSON.stringify(span)}`)
+  }
+  return `src:${escape(source)}${span === undefined ? '' : `#${lineFragment(span)}`}`
+}
+
+/** Parse one canonical source context, preserving an unspanned source too. */
+export const parse = (value: Context): undefined | Reference => {
+  if (!value.startsWith('src:')) {
+    return undefined
+  }
+  const payload = value.slice(4)
+  const hashAt = payload.indexOf('#')
+  const encodedSource = hashAt === -1 ? payload : payload.slice(0, hashAt)
+  const fragment = hashAt === -1 ? undefined : payload.slice(hashAt + 1)
+  const match = fragment === undefined ? undefined : /^L([1-9]\d*)(?:-L([1-9]\d*))?$/.exec(fragment)
+  if (encodedSource === '' || (fragment !== undefined && match === null)) {
+    return undefined
+  }
+  const source = unescape(encodedSource)
+  if (source === undefined || escape(source) !== encodedSource) {
+    return undefined
+  }
+  const start = match == null ? undefined : Number(match[1])
+  const end = start === undefined || match == null ? undefined : Number(match[2] ?? match[1])
+  const span = start === undefined ? undefined : { startLine: start, endLine: end! }
+  if (span !== undefined && !validSpan(span)) {
+    return undefined
+  }
+  const location = `${source}${span === undefined ? '' : `#${lineFragment(span)}`}`
+  const href = /^https?:\/\//i.test(source) && !source.includes('#') ?
+    `${encodeURI(source)}${span === undefined ? '' : `#${lineFragment(span)}`}` : undefined
+  return {
+    context: value,
+    source,
+    ...span === undefined ? {} : { span },
+    location,
+    ...href === undefined ? {} : { href }
+  }
+}
+
+/** Parse every valid `src:` context, in authored order. */
+export const ofContexts = (contexts: readonly Context[]): Reference[] =>
+  contexts.flatMap(value => {
+    const reference = parse(value)
+    return reference === undefined ? [] : [reference]
+  })

package/src/time.ts

@@ -24,6 +24,9 @@ export type Period = {
 
 export type t = Period
 
+/** A query boundary as a UTC half-open interval. */
+export type Boundary = Period
+
 /** How a context reads as time: a point period, or a `..` range. */
 export type TimeContext =
   | { readonly kind: 'point', readonly period: Period }
@@ -31,8 +34,14 @@ export type TimeContext =
 
 const dayMs = 86_400_000
 
-const utcDay = (year: number, month: number, day: number): number =>
-  Date.UTC(year, month - 1, day)
+const utcDay = (year: number, month: number, day: number): number => {
+  // Date.UTC treats years 0..99 as 1900..1999. Setting the full year on an
+  // existing date preserves the four-digit year written in the CAVE value.
+  const date = new Date(0)
+  date.setUTCHours(0, 0, 0, 0)
+  date.setUTCFullYear(year, month - 1, day)
+  return date.getTime()
+}
 
 /** Monday starting ISO week `week` of `year` (ISO 8601: week 1 contains Jan 4). */
 const isoWeekStart = (year: number, week: number): number => {
@@ -70,6 +79,10 @@ export const parsePeriod = (text: string): undefined | Period => {
       return undefined
     }
     const start = isoWeekStart(year, w)
+    // Only years whose next ISO week-year starts after week 53 have one.
+    if (start >= isoWeekStart(year + 1, 1)) {
+      return undefined
+    }
     return { start, end: start + 7 * dayMs }
   }
   if (month !== undefined) {
@@ -154,6 +167,40 @@ export const ofContext = (context: string): undefined | TimeContext => {
   return period === undefined ? undefined : { kind: 'point', period }
 }
 
+const timestampRe = /^(\d{4}-\d{2}-\d{2})T(\d{2}):(\d{2}):(\d{2})(?:\.(\d+))?([zZ]|[+-]\d{2}:\d{2})?$/
+
+/**
+ * Parses an ISO timestamp into a UTC instant. An omitted offset means UTC,
+ * never the host's local timezone; explicit `Z` and numeric offsets retain
+ * their usual ISO meaning. Date and clock fields are validated before the
+ * platform parser can normalize them.
+ */
+export const parseTimestamp = (text: string): undefined | number => {
+  const match = timestampRe.exec(text)
+  if (match === null) return undefined
+  const [, date, hour, minute, second, , zone] = match
+  if (parsePeriod(date!) === undefined || Number(hour) > 23 || Number(minute) > 59 || Number(second) > 59) {
+    return undefined
+  }
+  if (zone !== undefined && zone !== 'Z' && zone !== 'z') {
+    const [offsetHour, offsetMinute] = zone.slice(1).split(':').map(Number)
+    if (offsetHour! > 23 || offsetMinute! > 59) return undefined
+  }
+  const parsed = Date.parse(zone === undefined ? `${text}Z` : text)
+  return Number.isNaN(parsed) ? undefined : parsed
+}
+
+/**
+ * Parses the shared query-time boundary: a date-like period keeps its whole
+ * UTC interval, while a timestamp covers one second from its exact instant.
+ */
+export const parseBoundary = (text: string): undefined | Boundary => {
+  const period = parsePeriod(text)
+  if (period !== undefined) return period
+  const start = parseTimestamp(text)
+  return start === undefined ? undefined : { start, end: start + 1_000 }
+}
+
 /**
  * Parses a query anchor into an instant (ms since epoch): a date-like
  * period reads as its *start* instant (`2026` is 2026-01-01T00:00:00Z —
@@ -161,15 +208,7 @@ export const ofContext = (context: string): undefined | TimeContext => {
  * exactly. @returns `undefined` when `text` is neither.
  */
 export const parseInstant = (text: string): undefined | number => {
-  const period = parsePeriod(text)
-  if (period !== undefined) {
-    return period.start
-  }
-  if (!text.includes('T')) {
-    return undefined
-  }
-  const parsed = Date.parse(text)
-  return Number.isNaN(parsed) ? undefined : parsed
+  return parseBoundary(text)?.start
 }
 
 /** @returns whether a time context covers the instant (spec §32.4). */

package/src/uncertainty.ts

@@ -16,12 +16,43 @@
 /** Default σ level when `(Nσ)` is omitted (spec §7.2). */
 export const defaultSigmaLevel = 2
 
+export type Field = 'uncertainty delta' | 'sigma level' | 'sigma'
+
+/** Typed failure for uncertainty values that cannot define a finite distribution. */
+export class InvalidUncertaintyError extends RangeError {
+  readonly field: Field
+  readonly value: unknown
+
+  constructor(field: Field, value: unknown) {
+    super(`Expected positive finite ${field}, got ${String(value)}.`)
+    this.name = 'InvalidUncertaintyError'
+    this.field = field
+    this.value = value
+  }
+}
+
+const positiveFinite = (field: Field, value: unknown): number => {
+  if (typeof value !== 'number' || !Number.isFinite(value) || !(value > 0)) {
+    throw new InvalidUncertaintyError(field, value)
+  }
+  return value
+}
+
+/** Validates a `+/-` interval half-width. */
+export const validateDelta = (value: unknown): number =>
+  positiveFinite('uncertainty delta', value)
+
+/** Validates the `N` in an `(Nσ)` override. */
+export const validateSigmaLevel = (value: unknown): number =>
+  positiveFinite('sigma level', value)
+
+/** Validates a directly supplied standard deviation. */
+export const validateSigma = (value: unknown): number =>
+  positiveFinite('sigma', value)
+
 /** @returns σ from an interval `delta` given at `level`σ: σ = Δ / k. */
 export const sigma = (delta: number, level: number = defaultSigmaLevel): number => {
-  if (!(level > 0)) {
-    throw new Error(`Expected positive sigma level, got ${level}.`)
-  }
-  return delta / level
+  return validateSigma(validateDelta(delta) / validateSigmaLevel(level))
 }
 
 /** @returns symmetric `[low, high]` interval around `mean`. */

package/src/uuidv7.ts

@@ -104,3 +104,19 @@ export const observe = (id: string): void => {
     lastSeq = seq
   }
 }
+
+/**
+ * Runs synchronous speculative work without retaining UUID generator state.
+ * Database dry-runs use this alongside transaction rollback so explicit-id
+ * observations and locally minted rows are both absent after the preview.
+ */
+export const withStatePreserved = <T>(body: () => T): T => {
+  const savedMs = lastMs
+  const savedSeq = lastSeq
+  try {
+    return body()
+  } finally {
+    lastMs = savedMs
+    lastSeq = savedSeq
+  }
+}

package/src/value.ts

@@ -20,6 +20,7 @@
  */
 
 import * as Multiplier from './multiplier.ts'
+import { parsePeriod } from './time.ts'
 
 /** How the value text was classified. */
 export type Kind =
@@ -54,18 +55,17 @@ export type t = Value
 
 const numberRe = /^(-?\d+(?:\.\d+)?)([A-Za-z%]*)$/
 const unitRe = /^[A-Za-z%$][A-Za-z0-9%$]*(?:\/[A-Za-z0-9%$]+)*$/
-const dateRe = /^\d{4}-(?:H[1-2]|Q[1-4]|W\d{1,2}|\d{2})(?:-\d{2})?$/
-
 /** @returns `true` if `s` is a valid unit expression (`USD/yr`, `ms`, `%`). */
 export const isUnit = (s: string): boolean =>
   unitRe.test(s)
 
 /**
  * @returns `true` if `s` is date-like (spec §16 `date_like`): `2026-H2`,
- * `2026-Q1`, `2026-04`, `2026-04-10`. A bare year parses as a number instead.
+ * `2026-Q1`, `2026-04`, `2026-04-10`. Calendar validity is shared with
+ * {@link parsePeriod}; a bare year parses as a number instead.
  */
 export const isDateLike = (s: string): boolean =>
-  dateRe.test(s)
+  s.includes('-') && parsePeriod(s) !== undefined
 
 type Numeric = { num: number, unit?: string }
 

package/src/verb.ts

@@ -25,7 +25,12 @@ export const causation = ['CAUSE', 'FIX', 'BECOMES'] as const
 export const dependency = ['NEEDS', 'USES', 'YIELDS', 'ENABLES', 'BLOCKS'] as const
 
 /** Structure and ordering (spec §5.2). */
-export const structure = ['CONTAINS', 'PRECEDES', 'EXCEEDS', 'VS'] as const
+export const structure = ['CONTAINS', 'PRECEDES', 'VS'] as const
+
+/** Canonical verbs for qualifier comparisons (spec §8.2). */
+export const comparison = [
+  'EXCEEDS', 'IS-BELOW', 'IS-AT-LEAST', 'IS-AT-MOST', 'EQUALS', 'DIFFERS-FROM'
+] as const
 
 /** Qualifier verbs — appear indented under another claim (spec §5.2, §8.2). */
 export const qualifiers = ['WHEN', 'UNLESS', 'VIA', 'BECAUSE'] as const
@@ -35,6 +40,9 @@ export type Qualifier = (typeof qualifiers)[number]
 /** The inverse-declaration verb (spec §5.5). */
 export const REVERSE = 'REVERSE'
 
+/** The verb-lifecycle declaration (spec §5.8). */
+export const RENAMED_TO = 'RENAMED-TO'
+
 /** The shape-expectation meta-verb (spec §20.1). */
 export const EXPECTS = 'EXPECTS'
 
@@ -49,19 +57,21 @@ export const standard: readonly Verb[] = [
   ...identity,
   ...causation,
   ...dependency,
-  ...structure
+  ...structure,
+  ...comparison
 ]
 
 const standardSet = new Set<string>(standard)
 const qualifierSet = new Set<string>(qualifiers)
-const knownSet = new Set<string>([...standard, 'HAS', REVERSE, EXPECTS, ...standardInverses])
+const knownSet = new Set<string>([...standard, 'HAS', REVERSE, RENAMED_TO, EXPECTS, ...standardInverses])
 
 /**
  * @returns `true` if `s` has the lexical shape of a verb — an uppercase atom:
- * uppercase letters and internal `-` (spec §16 `uppercase_atom`).
+ * an uppercase letter followed by uppercase letters or `-` (spec §16
+ * `uppercase_atom`, which permits a trailing hyphen).
  */
 export const isVerbToken = (s: string): boolean =>
-  /^[A-Z](?:[A-Z-]*[A-Z])?$/.test(s)
+  /^[A-Z][A-Z-]*$/.test(s)
 
 /** @returns `true` if `v` is one of the standard relational verbs. */
 export const isStandard = (v: string): boolean =>
@@ -73,7 +83,7 @@ export const isQualifier = (v: string): v is Qualifier =>
 
 /**
  * @returns `true` if `v` belongs to the known standard vocabulary —
- * standard verbs, `HAS`, `REVERSE`, `EXPECTS`, and the standard §5.5
+ * standard verbs, `HAS`, `REVERSE`, `RENAMED-TO`, `EXPECTS`, and the standard §5.5
  * inverse names.
  * Used by the parser's indentation tiebreak: `USES JWT` is a continuation
  * (JWT is not a known verb) while `API NEEDS auth` is a full triple.