@cavelang/core 0.1.0

package/dist/src/multiplier.js

@@ -0,0 +1,19 @@
+/**
+ * Numeric multipliers (spec §7.1).
+ *
+ * A multiplier is a single uppercase letter glued to a number: `20B`, `900M`,
+ * `1.5T`, `10K`. It scales the numeric value during canonicalization
+ * (spec §13.4 step 8: `20B` → `20000000000`); the raw text is preserved.
+ */
+/** Scale factor per multiplier letter. */
+export const factors = {
+    T: 1e12,
+    B: 1e9,
+    M: 1e6,
+    K: 1e3
+};
+/** @returns `true` if `s` is exactly one multiplier letter. */
+export const is = (s) => s === 'T' || s === 'B' || s === 'M' || s === 'K';
+/** @returns scale factor of multiplier. */
+export const factor = (m) => factors[m];
+//# sourceMappingURL=multiplier.js.map

package/dist/src/multiplier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"multiplier.js","sourceRoot":"","sources":["../../src/multiplier.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAOH,0CAA0C;AAC1C,MAAM,CAAC,MAAM,OAAO,GAAyC;IAC3D,CAAC,EAAE,IAAI;IACP,CAAC,EAAE,GAAG;IACN,CAAC,EAAE,GAAG;IACN,CAAC,EAAE,GAAG;CACP,CAAA;AAED,+DAA+D;AAC/D,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAS,EAAmB,EAAE,CAC/C,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAA;AAElD,2CAA2C;AAC3C,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAa,EAAU,EAAE,CAC9C,OAAO,CAAC,CAAC,CAAC,CAAA"}

package/dist/src/tag.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Tags — flat `#tag` and scoped `#key:value` (spec §6.2).
+ *
+ * A flat `#security` is `key=security, value=undefined`; a scoped
+ * `#topic:auth-security` splits on the first `:`. Scoped tags subsume flat
+ * tags — a flat `#tag` is simply a tag with null value.
+ *
+ * Tags classify the claim, not the entity, and carry no independent belief
+ * history (the two-lane rule, spec §11.1).
+ */
+export type Tag = {
+    readonly key: string;
+    /** `undefined` for flat tags; spec stores NULL (spec §13.2). */
+    readonly value?: string;
+};
+export type t = Tag;
+/** @returns tag from key and optional scoped value. */
+export declare const of: (key: string, value?: string) => Tag;
+/**
+ * Splits a tag body (without the leading `#`) on the first `:`
+ * (spec §6.2 disambiguation): `topic:auth-security` → scoped,
+ * `security` → flat.
+ */
+export declare const parse: (body: string) => Tag;
+/** @returns canonical `#key[:value]` text. */
+export declare const format: (tag: Tag) => string;
+/** @returns `true` when both tags have the same key and value. */
+export declare const equals: (a: Tag, b: Tag) => boolean;
+//# sourceMappingURL=tag.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"tag.d.ts","sourceRoot":"","sources":["../../src/tag.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,MAAM,MAAM,GAAG,GAAG;IAChB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,gEAAgE;IAChE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,CAAC,GAAG,GAAG,CAAA;AAEnB,uDAAuD;AACvD,eAAO,MAAM,EAAE,GAAI,KAAK,MAAM,EAAE,QAAQ,MAAM,KAAG,GACD,CAAA;AAEhD;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,MAAM,MAAM,KAAG,GAKpC,CAAA;AAED,8CAA8C;AAC9C,eAAO,MAAM,MAAM,GAAI,KAAK,GAAG,KAAG,MACoC,CAAA;AAEtE,kEAAkE;AAClE,eAAO,MAAM,MAAM,GAAI,GAAG,GAAG,EAAE,GAAG,GAAG,KAAG,OACA,CAAA"}

package/dist/src/tag.js

@@ -0,0 +1,28 @@
+/**
+ * Tags — flat `#tag` and scoped `#key:value` (spec §6.2).
+ *
+ * A flat `#security` is `key=security, value=undefined`; a scoped
+ * `#topic:auth-security` splits on the first `:`. Scoped tags subsume flat
+ * tags — a flat `#tag` is simply a tag with null value.
+ *
+ * Tags classify the claim, not the entity, and carry no independent belief
+ * history (the two-lane rule, spec §11.1).
+ */
+/** @returns tag from key and optional scoped value. */
+export const of = (key, value) => value === undefined ? { key } : { key, value };
+/**
+ * Splits a tag body (without the leading `#`) on the first `:`
+ * (spec §6.2 disambiguation): `topic:auth-security` → scoped,
+ * `security` → flat.
+ */
+export const parse = (body) => {
+    const colonAt = body.indexOf(':');
+    return colonAt === -1 ?
+        { key: body } :
+        { key: body.slice(0, colonAt), value: body.slice(colonAt + 1) };
+};
+/** @returns canonical `#key[:value]` text. */
+export const format = (tag) => tag.value === undefined ? `#${tag.key}` : `#${tag.key}:${tag.value}`;
+/** @returns `true` when both tags have the same key and value. */
+export const equals = (a, b) => a.key === b.key && a.value === b.value;
+//# sourceMappingURL=tag.js.map

package/dist/src/tag.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tag.js","sourceRoot":"","sources":["../../src/tag.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAUH,uDAAuD;AACvD,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAW,EAAE,KAAc,EAAO,EAAE,CACrD,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAA;AAEhD;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAO,EAAE;IACzC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACjC,OAAO,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;QACrB,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;QACf,EAAE,GAAG,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,CAAC,CAAC,EAAE,CAAA;AACnE,CAAC,CAAA;AAED,8CAA8C;AAC9C,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,GAAQ,EAAU,EAAE,CACzC,GAAG,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,EAAE,CAAA;AAEtE,kEAAkE;AAClE,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAM,EAAE,CAAM,EAAW,EAAE,CAChD,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAA"}

package/dist/src/uncertainty.d.ts

@@ -0,0 +1,21 @@
+/**
+ * Value uncertainty — `+/- delta [(Nσ)]` (spec §7.2).
+ *
+ * `+/-` defines a symmetric interval around the value; the default
+ * interpretation is 2σ (≈95% interval). If the interval is Δ at kσ then
+ * σ = Δ / k:
+ *
+ * - `20B +/- 2B`      → σ = 1B  (default 2σ)
+ * - `20B +/- 2B (1σ)` → σ = 2B  (wider)
+ * - `20B +/- 2B (3σ)` → σ ≈ 0.67B (tighter)
+ *
+ * Value uncertainty is aleatory (the quantity itself is imprecise) and is
+ * independent of epistemic claim confidence `@ N%` (spec §7.3).
+ */
+/** Default σ level when `(Nσ)` is omitted (spec §7.2). */
+export declare const defaultSigmaLevel = 2;
+/** @returns σ from an interval `delta` given at `level`σ: σ = Δ / k. */
+export declare const sigma: (delta: number, level?: number) => number;
+/** @returns symmetric `[low, high]` interval around `mean`. */
+export declare const interval: (mean: number, delta: number) => [number, number];
+//# sourceMappingURL=uncertainty.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"uncertainty.d.ts","sourceRoot":"","sources":["../../src/uncertainty.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,0DAA0D;AAC1D,eAAO,MAAM,iBAAiB,IAAI,CAAA;AAElC,wEAAwE;AACxE,eAAO,MAAM,KAAK,GAAI,OAAO,MAAM,EAAE,QAAO,MAA0B,KAAG,MAKxE,CAAA;AAED,+DAA+D;AAC/D,eAAO,MAAM,QAAQ,GAAI,MAAM,MAAM,EAAE,OAAO,MAAM,KAAG,CAAC,MAAM,EAAE,MAAM,CACxC,CAAA"}

package/dist/src/uncertainty.js

@@ -0,0 +1,26 @@
+/**
+ * Value uncertainty — `+/- delta [(Nσ)]` (spec §7.2).
+ *
+ * `+/-` defines a symmetric interval around the value; the default
+ * interpretation is 2σ (≈95% interval). If the interval is Δ at kσ then
+ * σ = Δ / k:
+ *
+ * - `20B +/- 2B`      → σ = 1B  (default 2σ)
+ * - `20B +/- 2B (1σ)` → σ = 2B  (wider)
+ * - `20B +/- 2B (3σ)` → σ ≈ 0.67B (tighter)
+ *
+ * Value uncertainty is aleatory (the quantity itself is imprecise) and is
+ * independent of epistemic claim confidence `@ N%` (spec §7.3).
+ */
+/** Default σ level when `(Nσ)` is omitted (spec §7.2). */
+export const defaultSigmaLevel = 2;
+/** @returns σ from an interval `delta` given at `level`σ: σ = Δ / k. */
+export const sigma = (delta, level = defaultSigmaLevel) => {
+    if (!(level > 0)) {
+        throw new Error(`Expected positive sigma level, got ${level}.`);
+    }
+    return delta / level;
+};
+/** @returns symmetric `[low, high]` interval around `mean`. */
+export const interval = (mean, delta) => [mean - delta, mean + delta];
+//# sourceMappingURL=uncertainty.js.map

package/dist/src/uncertainty.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"uncertainty.js","sourceRoot":"","sources":["../../src/uncertainty.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,0DAA0D;AAC1D,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAA;AAElC,wEAAwE;AACxE,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAa,EAAE,QAAgB,iBAAiB,EAAU,EAAE;IAChF,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,sCAAsC,KAAK,GAAG,CAAC,CAAA;IACjE,CAAC;IACD,OAAO,KAAK,GAAG,KAAK,CAAA;AACtB,CAAC,CAAA;AAED,+DAA+D;AAC/D,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,KAAa,EAAoB,EAAE,CACxE,CAAC,IAAI,GAAG,KAAK,EAAE,IAAI,GAAG,KAAK,CAAC,CAAA"}

package/dist/src/uuidv7.d.ts

@@ -0,0 +1,28 @@
+/**
+ * UUIDv7 transaction identifiers (spec §9.1).
+ *
+ * CAVE storage is append-only; each appended claim carries a transaction id.
+ * UUIDv7 is recommended because it encodes timestamp and ordering — ids sort
+ * lexicographically by creation time, so `MAX(tx)` resolves current belief.
+ *
+ * {@link next} is strictly monotonic within a process: same-millisecond calls
+ * increment a 12-bit sequence in the `rand_a` field, and a backwards system
+ * clock never produces a smaller id.
+ */
+/**
+ * Formats a UUIDv7 from parts — pure, for tests and deterministic imports.
+ *
+ * @param ms unix timestamp in milliseconds (48 bits)
+ * @param seq 12-bit sequence placed in `rand_a`
+ * @param rand 62 bits of randomness for `rand_b` as 8 bytes (top 2 bits are
+ * overwritten by the variant)
+ */
+export declare const at: (ms: number, seq: number, rand: Uint8Array) => string;
+/**
+ * @returns next monotonic UUIDv7. Strictly increasing (lexicographically)
+ * within the process even across same-millisecond calls and clock skew.
+ */
+export declare const next: (now?: () => number) => string;
+/** @returns `true` if `s` is a well-formed UUIDv7 string. */
+export declare const is: (s: string) => boolean;
+//# sourceMappingURL=uuidv7.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"uuidv7.d.ts","sourceRoot":"","sources":["../../src/uuidv7.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAOH;;;;;;;GAOG;AACH,eAAO,MAAM,EAAE,GAAI,IAAI,MAAM,EAAE,KAAK,MAAM,EAAE,MAAM,UAAU,KAAG,MAmB9D,CAAA;AAKD;;;GAGG;AACH,eAAO,MAAM,IAAI,GAAI,MAAK,MAAM,MAAiB,KAAG,MAgBnD,CAAA;AAID,6DAA6D;AAC7D,eAAO,MAAM,EAAE,GAAI,GAAG,MAAM,KAAG,OACf,CAAA"}

package/dist/src/uuidv7.js

@@ -0,0 +1,69 @@
+/**
+ * UUIDv7 transaction identifiers (spec §9.1).
+ *
+ * CAVE storage is append-only; each appended claim carries a transaction id.
+ * UUIDv7 is recommended because it encodes timestamp and ordering — ids sort
+ * lexicographically by creation time, so `MAX(tx)` resolves current belief.
+ *
+ * {@link next} is strictly monotonic within a process: same-millisecond calls
+ * increment a 12-bit sequence in the `rand_a` field, and a backwards system
+ * clock never produces a smaller id.
+ */
+import { randomFillSync } from 'node:crypto';
+const hex = (n, digits) => n.toString(16).padStart(digits, '0');
+/**
+ * Formats a UUIDv7 from parts — pure, for tests and deterministic imports.
+ *
+ * @param ms unix timestamp in milliseconds (48 bits)
+ * @param seq 12-bit sequence placed in `rand_a`
+ * @param rand 62 bits of randomness for `rand_b` as 8 bytes (top 2 bits are
+ * overwritten by the variant)
+ */
+export const at = (ms, seq, rand) => {
+    if (!Number.isInteger(ms) || ms < 0 || ms > 0xffff_ffff_ffff) {
+        throw new Error(`Expected 48-bit millisecond timestamp, got ${ms}.`);
+    }
+    if (!Number.isInteger(seq) || seq < 0 || seq > 0xfff) {
+        throw new Error(`Expected 12-bit sequence, got ${seq}.`);
+    }
+    if (rand.length < 8) {
+        throw new Error(`Expected 8 random bytes, got ${rand.length}.`);
+    }
+    const time = hex(ms, 12);
+    const variantByte = (rand[0] & 0x3f) | 0x80;
+    return [
+        time.slice(0, 8),
+        time.slice(8, 12),
+        `7${hex(seq, 3)}`,
+        hex(variantByte, 2) + hex(rand[1], 2),
+        [...rand.slice(2, 8)].map(byte => hex(byte, 2)).join('')
+    ].join('-');
+};
+let lastMs = -1;
+let lastSeq = 0;
+/**
+ * @returns next monotonic UUIDv7. Strictly increasing (lexicographically)
+ * within the process even across same-millisecond calls and clock skew.
+ */
+export const next = (now = Date.now) => {
+    let ms = now();
+    if (ms <= lastMs) {
+        ms = lastMs;
+        lastSeq += 1;
+        if (lastSeq > 0xfff) {
+            ms += 1;
+            lastSeq = 0;
+        }
+    }
+    else {
+        lastSeq = 0;
+    }
+    lastMs = ms;
+    const rand = new Uint8Array(8);
+    randomFillSync(rand);
+    return at(ms, lastSeq, rand);
+};
+const uuidRe = /^[0-9a-f]{8}-[0-9a-f]{4}-7[0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/;
+/** @returns `true` if `s` is a well-formed UUIDv7 string. */
+export const is = (s) => uuidRe.test(s);
+//# sourceMappingURL=uuidv7.js.map

package/dist/src/uuidv7.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"uuidv7.js","sourceRoot":"","sources":["../../src/uuidv7.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAE5C,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,MAAc,EAAU,EAAE,CAChD,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;AAEtC;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,EAAU,EAAE,GAAW,EAAE,IAAgB,EAAU,EAAE;IACtE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,gBAAgB,EAAE,CAAC;QAC7D,MAAM,IAAI,KAAK,CAAC,8CAA8C,EAAE,GAAG,CAAC,CAAA;IACtE,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,KAAK,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,iCAAiC,GAAG,GAAG,CAAC,CAAA;IAC1D,CAAC;IACD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAA;IACjE,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;IACxB,MAAM,WAAW,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAA;IAC5C,OAAO;QACL,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAChB,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QACjB,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE;QACjB,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAE,EAAE,CAAC,CAAC;QACtC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;KACzD,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACb,CAAC,CAAA;AAED,IAAI,MAAM,GAAG,CAAC,CAAC,CAAA;AACf,IAAI,OAAO,GAAG,CAAC,CAAA;AAEf;;;GAGG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,MAAoB,IAAI,CAAC,GAAG,EAAU,EAAE;IAC3D,IAAI,EAAE,GAAG,GAAG,EAAE,CAAA;IACd,IAAI,EAAE,IAAI,MAAM,EAAE,CAAC;QACjB,EAAE,GAAG,MAAM,CAAA;QACX,OAAO,IAAI,CAAC,CAAA;QACZ,IAAI,OAAO,GAAG,KAAK,EAAE,CAAC;YACpB,EAAE,IAAI,CAAC,CAAA;YACP,OAAO,GAAG,CAAC,CAAA;QACb,CAAC;IACH,CAAC;SAAM,CAAC;QACN,OAAO,GAAG,CAAC,CAAA;IACb,CAAC;IACD,MAAM,GAAG,EAAE,CAAA;IACX,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,CAAA;IAC9B,cAAc,CAAC,IAAI,CAAC,CAAA;IACpB,OAAO,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;AAC9B,CAAC,CAAA;AAED,MAAM,MAAM,GAAG,uEAAuE,CAAA;AAEtF,6DAA6D;AAC7D,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAS,EAAW,EAAE,CACvC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAA"}

package/dist/src/value.d.ts

@@ -0,0 +1,57 @@
+/**
+ * Values, units and multipliers (spec §7.1).
+ *
+ * A value is the payload of an attribute claim (`HAS attr: value`), a metric
+ * claim (`metric IS value`), or a `+/-` uncertainty delta. Parsing keeps the
+ * raw text verbatim and additionally extracts a normalized numeric value and
+ * unit when possible (spec §13.4 steps 7–9):
+ *
+ * - `30ms`           → num 30, unit `ms`
+ * - `20B USD/yr`     → num 20000000000, unit `USD/yr`
+ * - `~20B USD/yr`    → the same, `approx` set
+ * - `94.5%`          → num 94.5, unit `%`
+ * - `20 conn`        → num 20, unit `conn`
+ * - `2026-H2`        → date-like, kept textual
+ * - `token-expiry`   → atom, kept textual
+ *
+ * Quoted (`"..."`) and backticked (`` `...` ``) values arrive from the parser
+ * with their kind already known; use {@link ofText} / {@link ofCode}.
+ */
+/** How the value text was classified. */
+export type Kind = 'number' | 'date' | 'atom' | 'text' | 'code';
+export type Value = {
+    /** Exactly as written, including `~` and multiplier letter. */
+    readonly raw: string;
+    readonly kind: Kind;
+    /** `~` prefix (spec §7.1): the value is approximate. */
+    readonly approx: boolean;
+    /** Normalized numeric value with multiplier expanded, when parseable. */
+    readonly num?: number;
+    /** Normalized unit expression (`USD/yr`, `ms`, `%`), when present. */
+    readonly unit?: string;
+};
+export type t = Value;
+/** @returns `true` if `s` is a valid unit expression (`USD/yr`, `ms`, `%`). */
+export declare const isUnit: (s: string) => boolean;
+/**
+ * @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.
+ */
+export declare const isDateLike: (s: string) => boolean;
+/**
+ * Parses an unquoted value string (spec §16 `value`), classifying it as
+ * number, date or atom. The raw text (including `~` and multiplier letters)
+ * is preserved verbatim.
+ */
+export declare const parse: (raw: string) => Value;
+/** @returns value for a double-quoted natural-language literal (spec §4.2). */
+export declare const ofText: (text: string) => Value;
+/** @returns value for a backticked exact code literal (spec §4.2). */
+export declare const ofCode: (code: string) => Value;
+/**
+ * @returns canonical text of the value for emission. Raw text is already
+ * canonical (spec normalizes multipliers only in storage, never in text);
+ * quoted kinds are re-wrapped in their delimiters.
+ */
+export declare const format: (value: Value) => string;
+//# sourceMappingURL=value.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"value.d.ts","sourceRoot":"","sources":["../../src/value.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAIH,yCAAyC;AACzC,MAAM,MAAM,IAAI,GACZ,QAAQ,GACR,MAAM,GACN,MAAM,GACN,MAAM,GACN,MAAM,CAAA;AAEV,MAAM,MAAM,KAAK,GAAG;IAClB,+DAA+D;IAC/D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,yEAAyE;IACzE,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAA;IACrB,sEAAsE;IACtE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,CAAC,GAAG,KAAK,CAAA;AAMrB,+EAA+E;AAC/E,eAAO,MAAM,MAAM,GAAI,GAAG,MAAM,KAAG,OACnB,CAAA;AAEhB;;;GAGG;AACH,eAAO,MAAM,UAAU,GAAI,GAAG,MAAM,KAAG,OACvB,CAAA;AAsChB;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,KAAK,MAAM,KAAG,KAanC,CAAA;AAED,+EAA+E;AAC/E,eAAO,MAAM,MAAM,GAAI,MAAM,MAAM,KAAG,KACQ,CAAA;AAE9C,sEAAsE;AACtE,eAAO,MAAM,MAAM,GAAI,MAAM,MAAM,KAAG,KACQ,CAAA;AAE9C;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,KAAG,MASrC,CAAA"}

package/dist/src/value.js

@@ -0,0 +1,104 @@
+/**
+ * Values, units and multipliers (spec §7.1).
+ *
+ * A value is the payload of an attribute claim (`HAS attr: value`), a metric
+ * claim (`metric IS value`), or a `+/-` uncertainty delta. Parsing keeps the
+ * raw text verbatim and additionally extracts a normalized numeric value and
+ * unit when possible (spec §13.4 steps 7–9):
+ *
+ * - `30ms`           → num 30, unit `ms`
+ * - `20B USD/yr`     → num 20000000000, unit `USD/yr`
+ * - `~20B USD/yr`    → the same, `approx` set
+ * - `94.5%`          → num 94.5, unit `%`
+ * - `20 conn`        → num 20, unit `conn`
+ * - `2026-H2`        → date-like, kept textual
+ * - `token-expiry`   → atom, kept textual
+ *
+ * Quoted (`"..."`) and backticked (`` `...` ``) values arrive from the parser
+ * with their kind already known; use {@link ofText} / {@link ofCode}.
+ */
+import * as Multiplier from "./multiplier.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.
+ */
+export const isDateLike = (s) => dateRe.test(s);
+/**
+ * Parses `body` as number [multiplier] [unit] where the unit is either glued
+ * (`30ms`, `94.5%`) or space-separated (`20B USD/yr`, `20 conn`).
+ * @returns `undefined` when `body` is not numeric.
+ */
+const parseNumeric = (body) => {
+    const spaceAt = body.indexOf(' ');
+    const head = spaceAt === -1 ? body : body.slice(0, spaceAt);
+    const tail = spaceAt === -1 ? undefined : body.slice(spaceAt + 1).trim();
+    const match = numberRe.exec(head);
+    if (!match) {
+        return undefined;
+    }
+    const [, digits, glued] = match;
+    let num = Number(digits);
+    let unit;
+    if (glued !== undefined && glued !== '') {
+        if (Multiplier.is(glued)) {
+            num *= Multiplier.factor(glued);
+        }
+        else if (isUnit(glued)) {
+            unit = glued;
+        }
+        else {
+            return undefined;
+        }
+    }
+    if (tail !== undefined) {
+        if (unit !== undefined || !isUnit(tail)) {
+            return undefined;
+        }
+        unit = tail;
+    }
+    return unit === undefined ? { num } : { num, unit };
+};
+/**
+ * Parses an unquoted value string (spec §16 `value`), classifying it as
+ * number, date or atom. The raw text (including `~` and multiplier letters)
+ * is preserved verbatim.
+ */
+export const parse = (raw) => {
+    const approx = raw.startsWith('~');
+    const body = approx ? raw.slice(1) : raw;
+    const numeric = parseNumeric(body);
+    if (numeric !== undefined) {
+        return numeric.unit === undefined ?
+            { raw, kind: 'number', approx, num: numeric.num } :
+            { raw, kind: 'number', approx, num: numeric.num, unit: numeric.unit };
+    }
+    if (isDateLike(body)) {
+        return { raw, kind: 'date', approx };
+    }
+    return { raw, kind: 'atom', approx };
+};
+/** @returns value for a double-quoted natural-language literal (spec §4.2). */
+export const ofText = (text) => ({ raw: text, kind: 'text', approx: false });
+/** @returns value for a backticked exact code literal (spec §4.2). */
+export const ofCode = (code) => ({ raw: code, kind: 'code', approx: false });
+/**
+ * @returns canonical text of the value for emission. Raw text is already
+ * canonical (spec normalizes multipliers only in storage, never in text);
+ * quoted kinds are re-wrapped in their delimiters.
+ */
+export const format = (value) => {
+    switch (value.kind) {
+        case 'text':
+            return `"${value.raw}"`;
+        case 'code':
+            return `\`${value.raw}\``;
+        default:
+            return value.raw;
+    }
+};
+//# sourceMappingURL=value.js.map

package/dist/src/value.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"value.js","sourceRoot":"","sources":["../../src/value.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAwB7C,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;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,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,+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

@@ -0,0 +1,47 @@
+/**
+ * Verbs (spec §5).
+ *
+ * Verbs are uppercase atoms. Two bootstrap verbs (`IS`, `HAS`) can define
+ * everything else in-band; the standard set below exists for graph quality.
+ * Extension verbs (spec §5.4) and inverse declarations (spec §5.5 `REVERSE`)
+ * are ordinary claims, not syntax — this module only knows the lexical shape
+ * and the standard vocabulary.
+ */
+export type Verb = string;
+export type t = Verb;
+/** Bootstrap verbs (spec §5.1). */
+export declare const bootstrap: readonly ["IS", "HAS"];
+/** Identity and taxonomy (spec §5.2). */
+export declare const identity: readonly ["IS", "EXTENDS", "ALIAS", "LIKE", "EXISTS"];
+/** Causation and change (spec §5.2). */
+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"];
+/** 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 standard inverse names (spec §5.5's declaration block). */
+export declare const standardInverses: readonly ["PART-OF", "CAUSED-BY", "FOLLOWS", "USED-BY", "NEEDED-BY", "ENABLED-BY", "BLOCKED-BY", "EXTENDED-BY"];
+/** All standard relational verbs (qualifiers excluded). */
+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`).
+ */
+export declare const isVerbToken: (s: string) => boolean;
+/** @returns `true` if `v` is one of the standard relational verbs. */
+export declare const isStandard: (v: string) => boolean;
+/** @returns `true` if `v` is a qualifier verb (`WHEN`, `UNLESS`, `VIA`, `BECAUSE`). */
+export declare const isQualifier: (v: string) => v is Qualifier;
+/**
+ * @returns `true` if `v` belongs to the known standard vocabulary —
+ * standard verbs, `HAS`, `REVERSE`, 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.
+ */
+export declare const isKnown: (v: string) => boolean;
+//# sourceMappingURL=verb.d.ts.map

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

@@ -0,0 +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,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;;;;;GAKG;AACH,eAAO,MAAM,OAAO,GAAI,GAAG,MAAM,KAAG,OACnB,CAAA"}

package/dist/src/verb.js

@@ -0,0 +1,55 @@
+/**
+ * Verbs (spec §5).
+ *
+ * Verbs are uppercase atoms. Two bootstrap verbs (`IS`, `HAS`) can define
+ * everything else in-band; the standard set below exists for graph quality.
+ * Extension verbs (spec §5.4) and inverse declarations (spec §5.5 `REVERSE`)
+ * are ordinary claims, not syntax — this module only knows the lexical shape
+ * and the standard vocabulary.
+ */
+/** Bootstrap verbs (spec §5.1). */
+export const bootstrap = ['IS', 'HAS'];
+/** Identity and taxonomy (spec §5.2). */
+export const identity = ['IS', 'EXTENDS', 'ALIAS', 'LIKE', 'EXISTS'];
+/** Causation and change (spec §5.2). */
+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'];
+/** 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 standard inverse names (spec §5.5's declaration block). */
+export const standardInverses = [
+    'PART-OF', 'CAUSED-BY', 'FOLLOWS', 'USED-BY',
+    'NEEDED-BY', 'ENABLED-BY', 'BLOCKED-BY', 'EXTENDED-BY'
+];
+/** All standard relational verbs (qualifiers excluded). */
+export const standard = [
+    ...identity,
+    ...causation,
+    ...dependency,
+    ...structure
+];
+const standardSet = new Set(standard);
+const qualifierSet = new Set(qualifiers);
+const knownSet = new Set([...standard, 'HAS', REVERSE, ...standardInverses]);
+/**
+ * @returns `true` if `s` has the lexical shape of a verb — an uppercase atom:
+ * uppercase letters and internal `-` (spec §16 `uppercase_atom`).
+ */
+export const isVerbToken = (s) => /^[A-Z](?:[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`, 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.
+ */
+export const isKnown = (v) => knownSet.has(v);
+//# sourceMappingURL=verb.js.map

package/dist/src/verb.js.map

@@ -0,0 +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,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,GAAG,gBAAgB,CAAC,CAAC,CAAA;AAEpF;;;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;;;;;GAKG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAS,EAAW,EAAE,CAC5C,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA"}

package/package.json

@@ -0,0 +1,39 @@
+{
+  "name": "@cavelang/core",
+  "version": "0.1.0",
+  "type": "module",
+  "description": "CAVE domain model — claims, values, units, uncertainty, claim keys, UUIDv7 transactions.",
+  "license": "CC0-1.0",
+  "author": "Mirek Rusin (https://github.com/mirek)",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/mirek/cave.git",
+    "directory": "packages/core"
+  },
+  "engines": {
+    "node": ">=22.18"
+  },
+  "exports": {
+    ".": {
+      "types": "./dist/src/index.d.ts",
+      "default": "./dist/src/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "!dist/test",
+    "!dist/tsconfig.tsbuildinfo",
+    "src",
+    "!src/**/*.test.ts",
+    "README.md",
+    "License.md"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "scripts": {
+    "build": "tsc -b",
+    "test": "node --disable-warning=ExperimentalWarning --test 'test/*.test.ts'",
+    "typecheck": "tsc -b"
+  }
+}