@cavelang/core 0.1.0

package/README.md

@@ -0,0 +1,76 @@
+# @cavelang/core
+
+The CAVE domain model — the dependency-free foundation every other package in
+this monorepo builds on. Implements the model layer of the
+[CAVE specification](../../README.md#the-specification): canonical claims (§2), metadata
+semantics (§6), values/units/uncertainty (§7), claim keys and append-only
+belief evolution primitives (§9).
+
+Modules follow the `@prelude` convention — import a module as a namespace,
+its principal type is `t`:
+
+```ts
+import { Claim, Key, Value, Confidence, Uuidv7 } from '@cavelang/core'
+
+const claim: Claim.t = Claim.of({
+  subject: Claim.entity('auth/middleware'),
+  verb: 'USES',
+  payload: Claim.relation(Claim.entity('jwt'))
+})
+
+Key.of(claim)   // '["e:auth/middleware","USES",0,"r:e:jwt",[]]'
+Uuidv7.next()   // '01977b6e-…' — monotonic transaction id
+```
+
+## Modules
+
+| Module | Spec | Purpose |
+|---|---|---|
+| `Claim` | §2.1, §3.1 | Canonical claim shape: subject/verb/payload/negated + metadata. Payloads: `relation`, `attribute`, `metric`. Terms: `entity`, `text` (double-quoted), `code` (backticked). |
+| `Key` | §9.2 | Stable claim keys computed on the canonical form. Values excluded; contexts as a sorted set; negation included. |
+| `Value` | §7.1 | Value parsing: numbers, glued units (`30ms`), multipliers (`20B` → 2×10¹⁰), compound units (`USD/yr`), `~` approximation, date-likes (`2026-H2`), atoms. Raw text always preserved. |
+| `Uncertainty` | §7.2 | Aleatory `+/- Δ (kσ)` semantics: σ = Δ/k, default 2σ. |
+| `Confidence` | §6.3 | Epistemic `@ N%` in [0, 1]; omitted means 1. |
+| `Tag` | §6.2 | Flat `#tag` and scoped `#key:value`; flat ≡ value `undefined`. |
+| `Context` | §6.1 | `@ctx` contexts and the recommended `src:`/`time:`/`loc:`/`scope:` prefixes. |
+| `Entity` | §4.1 | Name normalization (whitespace → `-`, casing preserved) and advisory checks. |
+| `Verb` | §5 | Standard vocabulary, qualifier verbs, `REVERSE`, lexical shape of verbs. |
+| `Multiplier` | §7.1 | `T`/`B`/`M`/`K` scale factors. |
+| `Uuidv7` | §9.1 | Monotonic UUIDv7 transaction ids — lexicographic order ⇒ transaction order, so `MAX(tx)` resolves current belief. |
+
+## Design decisions
+
+Decisions this package pins down where the spec leaves latitude:
+
+- **Key format** is a JSON array string —
+  `[subject, verb, negated, payloadPart, sortedContexts]` — deterministic,
+  collision-free (JSON escaping), and human-readable in the database.
+  `payloadPart` is `r:<object>` / `a:<attribute>` / `m` / `n`, and *every*
+  term is kind-prefixed (`e:` entity, `code:`, `text:`) so the three term
+  encodings occupy disjoint namespaces — even an entity literally named
+  `code:<=` cannot collide with the code literal `` `<=` ``.
+- **Negation is a key component for all payload kinds.** §9.2 lists it for
+  relational claims; we extend it to attribute/metric claims so
+  `x HAS NOT a: v` and `x HAS a: v` evolve as separate facts, mirroring the
+  relational rule.
+- **Metric claims key on the subject alone** (`m` payload part): `latency IS
+  30ms` and `latency IS 800ms` are one fact whose value evolves, matching the
+  attribute rule "the value may change over time; the key stays about the
+  same property".
+- **Claim classification** (relation vs metric) is the parser's job; core
+  only defines the shapes. `IS` + numeric/date value ⇒ metric, anything
+  else ⇒ relation.
+- **`Value.parse` never fails** — unparseable text degrades to an `atom`
+  value with raw text preserved, honoring the LLM-friendliness goal (§1.6).
+- **UUIDv7 monotonicity**: same-millisecond calls increment a 12-bit
+  sequence in `rand_a`; a backwards clock reuses the last timestamp. Strictly
+  increasing ids within a process, random `rand_b` across processes.
+
+## Tests
+
+```
+pnpm --filter @cavelang/core test
+```
+
+Every table and example in spec §6–§7 that concerns the model layer appears
+as a test case (`test/*.test.ts`).

package/dist/src/claim.d.ts

@@ -0,0 +1,108 @@
+/**
+ * Claims — the CAVE model (spec §2.1).
+ *
+ * Every CAVE line denotes a claim c = ⟨s, v, o, n, m⟩: subject, verb,
+ * object-or-attribute/value, negated, metadata (confidence, contexts, tags,
+ * value uncertainty, importance, comment, transaction identity). Claims are
+ * immutable — belief changes by appending (spec §9).
+ *
+ * This module defines the *canonical* claim shape: subject/verb/object are in
+ * primary direction (inverse forms are normalized before keying, spec §5.5),
+ * with the author's original text preserved in `raw`.
+ */
+import * as Value from './value.ts';
+import * as Tag from './tag.ts';
+import * as Context from './context.ts';
+import * as Confidence from './confidence.ts';
+/** Subject or object term (spec §16: atom, literal or code literal). */
+export type TermKind = 'entity' | 'text' | 'code';
+export type Term = {
+    readonly kind: TermKind;
+    readonly text: string;
+};
+/** @returns entity term. */
+export declare const entity: (text: string) => Term;
+/** @returns double-quoted natural-language literal term. */
+export declare const text: (value: string) => Term;
+/** @returns backticked code literal term. */
+export declare const code: (value: string) => Term;
+/** @returns canonical text of a term with its delimiters. */
+export declare const formatTerm: (term: Term) => string;
+/**
+ * Claim payload — the canonical line shapes (spec §3.1) plus the object-less
+ * form used by bare existence assertions (spec §5.2 `EXISTS`):
+ *
+ * - `relation`:  `subject VERB object`
+ * - `attribute`: `subject HAS attribute: value`
+ * - `metric`:    `metric IS value`
+ * - `none`:      `memory-leak EXISTS @production`
+ */
+export type Payload = {
+    readonly kind: 'relation';
+    readonly object: Term;
+} | {
+    readonly kind: 'attribute';
+    readonly attribute: string;
+    readonly value: Value.t;
+} | {
+    readonly kind: 'metric';
+    readonly value: Value.t;
+} | {
+    readonly kind: 'none';
+};
+/** Canonical (primary-direction) claim. */
+export type Claim = {
+    readonly subject: Term;
+    /** Canonical primary verb, uppercase (spec §13.4 steps 1–2). */
+    readonly verb: string;
+    /** `VERB NOT` logical negation (spec §5.6). */
+    readonly negated: boolean;
+    readonly payload: Payload;
+    /** Contexts in author order, deduplicated. */
+    readonly contexts: readonly Context.t[];
+    readonly tags: readonly Tag.t[];
+    /** Epistemic confidence in [0, 1]; 1 when omitted (spec §6.3). */
+    readonly conf: Confidence.t;
+    /** `!` marker (spec §6). */
+    readonly importance: boolean;
+    /** `+/-` value uncertainty (spec §7.2). */
+    readonly delta?: Value.t;
+    /** `(Nσ)` σ-level override; semantic default is 2 (spec §7.2). */
+    readonly sigmaLevel?: number;
+    /** `;` persisted prose (spec §6.4). */
+    readonly comment?: string;
+    /** The line exactly as written, including inverse form (spec §5.5). */
+    readonly raw: string;
+};
+export type t = Claim;
+export type Init = {
+    subject: Term;
+    verb: string;
+    payload: Payload;
+    negated?: boolean;
+    contexts?: readonly Context.t[];
+    tags?: readonly Tag.t[];
+    conf?: Confidence.t;
+    importance?: boolean;
+    delta?: Value.t;
+    sigmaLevel?: number;
+    comment?: string;
+    raw?: string;
+};
+/** @returns claim with defaults applied (spec §6: all suffixes optional). */
+export declare const of: (init: Init) => Claim;
+/** @returns relational claim payload. */
+export declare const relation: (object: Term) => Payload;
+/** @returns attribute/value claim payload. */
+export declare const attribute: (attribute: string, value: Value.t) => Payload;
+/** @returns metric claim payload. */
+export declare const metric: (value: Value.t) => Payload;
+/** Object-less payload — bare existence assertion (spec §5.2 `EXISTS`). */
+export declare const none: Payload;
+/**
+ * σ derived from the claim's `+/- Δ (kσ)` metadata: σ = Δ / k with k
+ * defaulting to 2 (spec §7.2). `undefined` when the claim carries no numeric
+ * uncertainty.
+ */
+export declare const sigmaOf: (claim: Claim) => undefined | number;
+//# sourceMappingURL=claim.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"claim.d.ts","sourceRoot":"","sources":["../../src/claim.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAE7C,wEAAwE;AACxE,MAAM,MAAM,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAA;AAEjD,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB,CAAA;AAED,4BAA4B;AAC5B,eAAO,MAAM,MAAM,GAAI,MAAM,MAAM,KAAG,IACV,CAAA;AAE5B,4DAA4D;AAC5D,eAAO,MAAM,IAAI,GAAI,OAAO,MAAM,KAAG,IACJ,CAAA;AAEjC,6CAA6C;AAC7C,eAAO,MAAM,IAAI,GAAI,OAAO,MAAM,KAAG,IACJ,CAAA;AAEjC,6DAA6D;AAC7D,eAAO,MAAM,UAAU,GAAI,MAAM,IAAI,KAAG,MASvC,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,OAAO,GACf;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;CAAE,GACnF;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAE7B,2CAA2C;AAC3C,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAA;IACtB,gEAAgE;IAChE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,+CAA+C;IAC/C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,8CAA8C;IAC9C,QAAQ,CAAC,QAAQ,EAAE,SAAS,OAAO,CAAC,CAAC,EAAE,CAAA;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,CAAC,CAAC,EAAE,CAAA;IAC/B,kEAAkE;IAClE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAA;IAC3B,4BAA4B;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAA;IAC5B,2CAA2C;IAC3C,QAAQ,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;IACxB,kEAAkE;IAClE,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAA;IAC5B,uCAAuC;IACvC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;IACzB,uEAAuE;IACvE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACrB,CAAA;AAED,MAAM,MAAM,CAAC,GAAG,KAAK,CAAA;AAErB,MAAM,MAAM,IAAI,GAAG;IACjB,OAAO,EAAE,IAAI,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,OAAO,CAAA;IAChB,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,QAAQ,CAAC,EAAE,SAAS,OAAO,CAAC,CAAC,EAAE,CAAA;IAC/B,IAAI,CAAC,EAAE,SAAS,GAAG,CAAC,CAAC,EAAE,CAAA;IACvB,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC,CAAA;IACnB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAA;IACf,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,GAAG,CAAC,EAAE,MAAM,CAAA;CACb,CAAA;AAED,6EAA6E;AAC7E,eAAO,MAAM,EAAE,GAAI,MAAM,IAAI,KAAG,KAa9B,CAAA;AAEF,yCAAyC;AACzC,eAAO,MAAM,QAAQ,GAAI,QAAQ,IAAI,KAAG,OACR,CAAA;AAEhC,8CAA8C;AAC9C,eAAO,MAAM,SAAS,GAAI,WAAW,MAAM,EAAE,OAAO,KAAK,CAAC,CAAC,KAAG,OACnB,CAAA;AAE3C,qCAAqC;AACrC,eAAO,MAAM,MAAM,GAAI,OAAO,KAAK,CAAC,CAAC,KAAG,OACX,CAAA;AAE7B,2EAA2E;AAC3E,eAAO,MAAM,IAAI,EAAE,OACD,CAAA;AAElB;;;;GAIG;AACH,eAAO,MAAM,OAAO,GAAI,OAAO,KAAK,KAAG,SAAS,GAAG,MAGN,CAAA"}

package/dist/src/claim.js

@@ -0,0 +1,65 @@
+/**
+ * Claims — the CAVE model (spec §2.1).
+ *
+ * Every CAVE line denotes a claim c = ⟨s, v, o, n, m⟩: subject, verb,
+ * object-or-attribute/value, negated, metadata (confidence, contexts, tags,
+ * value uncertainty, importance, comment, transaction identity). Claims are
+ * immutable — belief changes by appending (spec §9).
+ *
+ * This module defines the *canonical* claim shape: subject/verb/object are in
+ * primary direction (inverse forms are normalized before keying, spec §5.5),
+ * with the author's original text preserved in `raw`.
+ */
+import * as Value from "./value.js";
+import * as Tag from "./tag.js";
+import * as Context from "./context.js";
+import * as Confidence from "./confidence.js";
+/** @returns entity term. */
+export const entity = (text) => ({ kind: 'entity', text });
+/** @returns double-quoted natural-language literal term. */
+export const text = (value) => ({ kind: 'text', text: value });
+/** @returns backticked code literal term. */
+export const code = (value) => ({ kind: 'code', text: value });
+/** @returns canonical text of a term with its delimiters. */
+export const formatTerm = (term) => {
+    switch (term.kind) {
+        case 'text':
+            return `"${term.text}"`;
+        case 'code':
+            return `\`${term.text}\``;
+        default:
+            return term.text;
+    }
+};
+/** @returns claim with defaults applied (spec §6: all suffixes optional). */
+export const of = (init) => ({
+    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) => ({ kind: 'relation', object });
+/** @returns attribute/value claim payload. */
+export const attribute = (attribute, value) => ({ kind: 'attribute', attribute, value });
+/** @returns metric claim payload. */
+export const metric = (value) => ({ kind: 'metric', value });
+/** Object-less payload — bare existence assertion (spec §5.2 `EXISTS`). */
+export const none = { kind: 'none' };
+/**
+ * σ derived from the claim's `+/- Δ (kσ)` metadata: σ = Δ / k with k
+ * defaulting to 2 (spec §7.2). `undefined` when the claim carries no numeric
+ * uncertainty.
+ */
+export const sigmaOf = (claim) => claim.delta?.num === undefined ?
+    undefined :
+    claim.delta.num / (claim.sigmaLevel ?? 2);
+//# sourceMappingURL=claim.js.map

package/dist/src/claim.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim.js","sourceRoot":"","sources":["../../src/claim.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAU7C,4BAA4B;AAC5B,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAQ,EAAE,CAC3C,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAA;AAE5B,4DAA4D;AAC5D,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAQ,EAAE,CAC1C,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AAEjC,6CAA6C;AAC7C,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,KAAa,EAAQ,EAAE,CAC1C,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AAEjC,6DAA6D;AAC7D,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAU,EAAU,EAAE;IAC/C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,IAAI,IAAI,CAAC,IAAI,GAAG,CAAA;QACzB,KAAK,MAAM;YACT,OAAO,KAAK,IAAI,CAAC,IAAI,IAAI,CAAA;QAC3B;YACE,OAAO,IAAI,CAAC,IAAI,CAAA;IACpB,CAAC;AACH,CAAC,CAAA;AA2DD,6EAA6E;AAC7E,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAU,EAAS,EAAE,CAAC,CAAC;IACxC,OAAO,EAAE,IAAI,CAAC,OAAO;IACrB,IAAI,EAAE,IAAI,CAAC,IAAI;IACf,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,KAAK;IAC9B,OAAO,EAAE,IAAI,CAAC,OAAO;IACrB,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC;IAC7C,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE;IACrB,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,UAAU,CAAC,iBAAiB;IAC/C,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,KAAK;IACpC,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;IAC9D,GAAG,EAAE,IAAI,CAAC,GAAG,IAAI,EAAE;CACpB,CAAC,CAAA;AAEF,yCAAyC;AACzC,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,MAAY,EAAW,EAAE,CAChD,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,CAAA;AAEhC,8CAA8C;AAC9C,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,SAAiB,EAAE,KAAc,EAAW,EAAE,CACtE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAA;AAE3C,qCAAqC;AACrC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,KAAc,EAAW,EAAE,CAChD,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAA;AAE7B,2EAA2E;AAC3E,MAAM,CAAC,MAAM,IAAI,GACf,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;AAElB;;;;GAIG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAY,EAAsB,EAAE,CAC1D,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,SAAS,CAAC,CAAC;IAC9B,SAAS,CAAC,CAAC;IACX,KAAK,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC,CAAA"}

package/dist/src/confidence.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Claim confidence — `@ N%` (spec §6.3).
+ *
+ * Epistemic belief in the assertion, stored as a decimal in [0, 1].
+ * Omitted confidence means `@ 100%` — directly observed, certain for
+ * practical purposes. `@ 0%` means evidentially false or fully rejected
+ * (retraction, spec §9.3).
+ */
+export type Confidence = number;
+export type t = Confidence;
+/** Confidence of a claim with no explicit `@ N%` (spec §6.3). */
+export declare const defaultConfidence = 1;
+/**
+ * Parses a percentage token (`90%`) to a decimal clamped to [0, 1]
+ * (spec §13.4 step 6: `@ 90%` → `0.9`). The `%` is required — the grammar
+ * (spec §16) defines confidence as a percentage ending in `%`, and demanding
+ * it keeps a mistyped context like `@ 2026` from silently becoming
+ * certainty.
+ * @returns `undefined` when the token is not a percentage.
+ */
+export declare const parse: (token: string) => undefined | Confidence;
+/** @returns confidence clamped to [0, 1]. */
+export declare const clamp: (conf: number) => Confidence;
+/** @returns canonical `N%` text: `0.9` → `90%`. */
+export declare const format: (conf: Confidence) => string;
+//# sourceMappingURL=confidence.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"confidence.d.ts","sourceRoot":"","sources":["../../src/confidence.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,MAAM,UAAU,GAAG,MAAM,CAAA;AAE/B,MAAM,MAAM,CAAC,GAAG,UAAU,CAAA;AAE1B,iEAAiE;AACjE,eAAO,MAAM,iBAAiB,IAAI,CAAA;AAElC;;;;;;;GAOG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,MAAM,KAAG,SAAS,GAAG,UAMjD,CAAA;AAED,6CAA6C;AAC7C,eAAO,MAAM,KAAK,GAAI,MAAM,MAAM,KAAG,UACL,CAAA;AAEhC,mDAAmD;AACnD,eAAO,MAAM,MAAM,GAAI,MAAM,UAAU,KAAG,MAIzC,CAAA"}

package/dist/src/confidence.js

@@ -0,0 +1,34 @@
+/**
+ * Claim confidence — `@ N%` (spec §6.3).
+ *
+ * Epistemic belief in the assertion, stored as a decimal in [0, 1].
+ * Omitted confidence means `@ 100%` — directly observed, certain for
+ * practical purposes. `@ 0%` means evidentially false or fully rejected
+ * (retraction, spec §9.3).
+ */
+/** Confidence of a claim with no explicit `@ N%` (spec §6.3). */
+export const defaultConfidence = 1;
+/**
+ * Parses a percentage token (`90%`) to a decimal clamped to [0, 1]
+ * (spec §13.4 step 6: `@ 90%` → `0.9`). The `%` is required — the grammar
+ * (spec §16) defines confidence as a percentage ending in `%`, and demanding
+ * it keeps a mistyped context like `@ 2026` from silently becoming
+ * certainty.
+ * @returns `undefined` when the token is not a percentage.
+ */
+export const parse = (token) => {
+    const match = /^(\d+(?:\.\d+)?)%$/.exec(token.trim());
+    if (!match || match[1] === undefined) {
+        return undefined;
+    }
+    return clamp(Number(match[1]) / 100);
+};
+/** @returns confidence clamped to [0, 1]. */
+export const clamp = (conf) => Math.min(1, Math.max(0, conf));
+/** @returns canonical `N%` text: `0.9` → `90%`. */
+export const format = (conf) => {
+    const percent = conf * 100;
+    const rounded = Math.round(percent * 100) / 100;
+    return `${rounded}%`;
+};
+//# sourceMappingURL=confidence.js.map

package/dist/src/confidence.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"confidence.js","sourceRoot":"","sources":["../../src/confidence.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH,iEAAiE;AACjE,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAA;AAElC;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAa,EAA0B,EAAE;IAC7D,MAAM,KAAK,GAAG,oBAAoB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;IACrD,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;QACrC,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAA;AACtC,CAAC,CAAA;AAED,6CAA6C;AAC7C,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,IAAY,EAAc,EAAE,CAChD,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAA;AAEhC,mDAAmD;AACnD,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAgB,EAAU,EAAE;IACjD,MAAM,OAAO,GAAG,IAAI,GAAG,GAAG,CAAA;IAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,GAAG,CAAC,GAAG,GAAG,CAAA;IAC/C,OAAO,GAAG,OAAO,GAAG,CAAA;AACtB,CAAC,CAAA"}

package/dist/src/context.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Contexts — `@ctx` (spec §6.1).
+ *
+ * A context scopes a claim by time, place, source or logical scope:
+ * `@production`, `@2026-Q1`, `@auth.ts:42`, `@src:filing`. No space after
+ * `@` (with a space it is confidence, spec §6.3). Multiple contexts per
+ * claim are allowed and are part of the claim key (spec §9.2).
+ */
+export type Context = string;
+export type t = Context;
+/** Recommended context prefixes (spec §6.1). */
+export declare const prefixes: readonly ["src", "time", "loc", "scope"];
+export type Prefix = (typeof prefixes)[number];
+/**
+ * @returns the recommended prefix of a context, when it has one:
+ * `src:filing` → `src`, `production` → `undefined`.
+ */
+export declare const prefix: (context: Context) => undefined | Prefix;
+/** @returns canonical `@ctx` text. */
+export declare const format: (context: Context) => string;
+/**
+ * @returns deduplicated contexts in original order. Claim keys use the
+ * sorted form (see `Key`); emission preserves author order.
+ */
+export declare const dedupe: (contexts: readonly Context[]) => Context[];
+//# sourceMappingURL=context.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"context.d.ts","sourceRoot":"","sources":["../../src/context.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAA;AAE5B,MAAM,MAAM,CAAC,GAAG,OAAO,CAAA;AAEvB,gDAAgD;AAChD,eAAO,MAAM,QAAQ,0CAA2C,CAAA;AAEhE,MAAM,MAAM,MAAM,GAAG,CAAC,OAAO,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAA;AAI9C;;;GAGG;AACH,eAAO,MAAM,MAAM,GAAI,SAAS,OAAO,KAAG,SAAS,GAAG,MAOrD,CAAA;AAED,sCAAsC;AACtC,eAAO,MAAM,MAAM,GAAI,SAAS,OAAO,KAAG,MAC3B,CAAA;AAEf;;;GAGG;AACH,eAAO,MAAM,MAAM,GAAI,UAAU,SAAS,OAAO,EAAE,KAAG,OAAO,EACrC,CAAA"}

package/dist/src/context.js

@@ -0,0 +1,31 @@
+/**
+ * Contexts — `@ctx` (spec §6.1).
+ *
+ * A context scopes a claim by time, place, source or logical scope:
+ * `@production`, `@2026-Q1`, `@auth.ts:42`, `@src:filing`. No space after
+ * `@` (with a space it is confidence, spec §6.3). Multiple contexts per
+ * claim are allowed and are part of the claim key (spec §9.2).
+ */
+/** Recommended context prefixes (spec §6.1). */
+export const prefixes = ['src', 'time', 'loc', 'scope'];
+const prefixSet = new Set(prefixes);
+/**
+ * @returns the recommended prefix of a context, when it has one:
+ * `src:filing` → `src`, `production` → `undefined`.
+ */
+export const prefix = (context) => {
+    const colonAt = context.indexOf(':');
+    if (colonAt === -1) {
+        return undefined;
+    }
+    const head = context.slice(0, colonAt);
+    return prefixSet.has(head) ? head : undefined;
+};
+/** @returns canonical `@ctx` text. */
+export const format = (context) => `@${context}`;
+/**
+ * @returns deduplicated contexts in original order. Claim keys use the
+ * sorted form (see `Key`); emission preserves author order.
+ */
+export const dedupe = (contexts) => [...new Set(contexts)];
+//# sourceMappingURL=context.js.map

package/dist/src/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../src/context.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH,gDAAgD;AAChD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAU,CAAA;AAIhE,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,QAAQ,CAAC,CAAA;AAE3C;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,OAAgB,EAAsB,EAAE;IAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;IACpC,IAAI,OAAO,KAAK,CAAC,CAAC,EAAE,CAAC;QACnB,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;IACtC,OAAO,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAc,CAAC,CAAC,CAAC,SAAS,CAAA;AACzD,CAAC,CAAA;AAED,sCAAsC;AACtC,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,OAAgB,EAAU,EAAE,CACjD,IAAI,OAAO,EAAE,CAAA;AAEf;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,QAA4B,EAAa,EAAE,CAChE,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA"}

package/dist/src/entity.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Entity names (spec §4.1).
+ *
+ * Entities are compact names: `auth/middleware`, `react/hooks/use-memo`,
+ * `PostgreSQL`, `Sarah`. `/` separates scope segments (at most 3:
+ * `domain/entity/aspect`), segments are kebab-case, proper nouns keep their
+ * casing.
+ */
+export type Entity = string;
+export type t = Entity;
+/**
+ * Normalizes an entity name (spec §13.4 step 4): trims and collapses runs of
+ * internal whitespace to `-`. Casing is preserved — proper nouns keep theirs.
+ *
+ * `token expiry` → `token-expiry`, `PostgreSQL` → `PostgreSQL`.
+ */
+export declare const normalize: (name: string) => Entity;
+/** @returns scope segments of an entity name: `a/b/c` → `['a', 'b', 'c']`. */
+export declare const segments: (entity: Entity) => string[];
+/**
+ * Advisory well-formedness check (spec §4.1). Returns a list of human-readable
+ * problems; an empty list means the name follows every convention. Problems
+ * are advisories, not parse errors — CAVE tolerates messy extraction input.
+ */
+export declare const check: (entity: Entity) => string[];
+//# sourceMappingURL=entity.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"entity.d.ts","sourceRoot":"","sources":["../../src/entity.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,MAAM,MAAM,MAAM,GAAG,MAAM,CAAA;AAE3B,MAAM,MAAM,CAAC,GAAG,MAAM,CAAA;AAEtB;;;;;GAKG;AACH,eAAO,MAAM,SAAS,GAAI,MAAM,MAAM,KAAG,MACP,CAAA;AAElC,8EAA8E;AAC9E,eAAO,MAAM,QAAQ,GAAI,QAAQ,MAAM,KAAG,MAAM,EAC7B,CAAA;AAEnB;;;;GAIG;AACH,eAAO,MAAM,KAAK,GAAI,QAAQ,MAAM,KAAG,MAAM,EAiB5C,CAAA"}

package/dist/src/entity.js

@@ -0,0 +1,41 @@
+/**
+ * Entity names (spec §4.1).
+ *
+ * Entities are compact names: `auth/middleware`, `react/hooks/use-memo`,
+ * `PostgreSQL`, `Sarah`. `/` separates scope segments (at most 3:
+ * `domain/entity/aspect`), segments are kebab-case, proper nouns keep their
+ * casing.
+ */
+/**
+ * Normalizes an entity name (spec §13.4 step 4): trims and collapses runs of
+ * internal whitespace to `-`. Casing is preserved — proper nouns keep theirs.
+ *
+ * `token expiry` → `token-expiry`, `PostgreSQL` → `PostgreSQL`.
+ */
+export const normalize = (name) => name.trim().replace(/\s+/g, '-');
+/** @returns scope segments of an entity name: `a/b/c` → `['a', 'b', 'c']`. */
+export const segments = (entity) => entity.split('/');
+/**
+ * Advisory well-formedness check (spec §4.1). Returns a list of human-readable
+ * problems; an empty list means the name follows every convention. Problems
+ * are advisories, not parse errors — CAVE tolerates messy extraction input.
+ */
+export const check = (entity) => {
+    const problems = [];
+    if (entity.length === 0) {
+        problems.push('empty entity name');
+        return problems;
+    }
+    const parts = segments(entity);
+    if (parts.length > 3) {
+        problems.push(`more than 3 scope segments (${parts.length}): domain/entity/aspect is the maximum`);
+    }
+    if (parts.some(part => part.length === 0)) {
+        problems.push('empty scope segment');
+    }
+    if (/\s/.test(entity)) {
+        problems.push('whitespace in entity name (normalize to -)');
+    }
+    return problems;
+};
+//# sourceMappingURL=entity.js.map

package/dist/src/entity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"entity.js","sourceRoot":"","sources":["../../src/entity.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAMH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAY,EAAU,EAAE,CAChD,IAAI,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;AAElC,8EAA8E;AAC9E,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,MAAc,EAAY,EAAE,CACnD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;AAEnB;;;;GAIG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAc,EAAY,EAAE;IAChD,MAAM,QAAQ,GAAa,EAAE,CAAA;IAC7B,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,QAAQ,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;QAClC,OAAO,QAAQ,CAAA;IACjB,CAAC;IACD,MAAM,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC9B,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,QAAQ,CAAC,IAAI,CAAC,+BAA+B,KAAK,CAAC,MAAM,wCAAwC,CAAC,CAAA;IACpG,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QAC1C,QAAQ,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAA;IACtC,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,QAAQ,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAA;IAC7D,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC,CAAA"}

package/dist/src/index.d.ts

@@ -0,0 +1,23 @@
+/**
+ * `@cavelang/core` — the CAVE domain model (spec §2, §6, §7, §9).
+ *
+ * Dependency-free foundation of the CAVE monorepo: canonical claim shapes,
+ * values/units/multipliers, uncertainty and confidence semantics, claim keys
+ * and UUIDv7 transaction identifiers. Higher packages (parser, canonical,
+ * store, query, fusion, loop, cli) build on these types.
+ *
+ * Modules follow the `@prelude` convention: `import * as Claim from ...`,
+ * with each module exporting its principal type as `t`.
+ */
+export * as Claim from './claim.ts';
+export * as Confidence from './confidence.ts';
+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 Tag from './tag.ts';
+export * as Uncertainty from './uncertainty.ts';
+export * as Uuidv7 from './uuidv7.ts';
+export * as Value from './value.ts';
+export * as Verb from './verb.ts';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAC/C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA"}

package/dist/src/index.js

@@ -0,0 +1,23 @@
+/**
+ * `@cavelang/core` — the CAVE domain model (spec §2, §6, §7, §9).
+ *
+ * Dependency-free foundation of the CAVE monorepo: canonical claim shapes,
+ * values/units/multipliers, uncertainty and confidence semantics, claim keys
+ * and UUIDv7 transaction identifiers. Higher packages (parser, canonical,
+ * store, query, fusion, loop, cli) build on these types.
+ *
+ * Modules follow the `@prelude` convention: `import * as Claim from ...`,
+ * with each module exporting its principal type as `t`.
+ */
+export * as Claim from "./claim.js";
+export * as Confidence from "./confidence.js";
+export * as Context from "./context.js";
+export * as Entity from "./entity.js";
+export * as Key from "./key.js";
+export * as Multiplier from "./multiplier.js";
+export * as Tag from "./tag.js";
+export * as Uncertainty from "./uncertainty.js";
+export * as Uuidv7 from "./uuidv7.js";
+export * as Value from "./value.js";
+export * as Verb from "./verb.js";
+//# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,GAAG,MAAM,UAAU,CAAA;AAC/B,OAAO,KAAK,WAAW,MAAM,kBAAkB,CAAA;AAC/C,OAAO,KAAK,MAAM,MAAM,aAAa,CAAA;AACrC,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAA"}

package/dist/src/key.d.ts

@@ -0,0 +1,28 @@
+/**
+ * Claim keys (spec §9.2).
+ *
+ * The claim key identifies the *fact* whose belief evolves over time: the
+ * latest transaction with the same key is the current belief (spec §9.1).
+ * Keys are computed on the canonical (primary-direction) form, so a forward
+ * claim and its inverse reading share one key — one fact, two names
+ * (spec §5.5).
+ *
+ * Key components:
+ *
+ * - relational claim:      subject, verb, object, negated, context set
+ * - attribute/value claim: subject, verb, attribute, negated, context set
+ * - metric claim:          subject, verb, negated, context set
+ *
+ * The value is *excluded* — it may change over time while the key stays
+ * about the same property. Confidence, tags, uncertainty, importance and
+ * comments are metadata and never key components. Contexts participate as a
+ * sorted, deduplicated set, which is what lets competing hypotheses
+ * differentiate by `@hyp:` context (spec §10.3).
+ *
+ * The key format is a JSON array — deterministic, collision-free and
+ * readable in the database.
+ */
+import type * as Claim from './claim.ts';
+/** @returns stable claim key of a canonical claim. */
+export declare const of: (claim: Claim.t) => string;
+//# sourceMappingURL=key.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"key.d.ts","sourceRoot":"","sources":["../../src/key.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAEH,OAAO,KAAK,KAAK,KAAK,MAAM,YAAY,CAAA;AAqBxC,sDAAsD;AACtD,eAAO,MAAM,EAAE,GAAI,OAAO,KAAK,CAAC,CAAC,KAAG,MAOhC,CAAA"}

package/dist/src/key.js

@@ -0,0 +1,49 @@
+/**
+ * Claim keys (spec §9.2).
+ *
+ * The claim key identifies the *fact* whose belief evolves over time: the
+ * latest transaction with the same key is the current belief (spec §9.1).
+ * Keys are computed on the canonical (primary-direction) form, so a forward
+ * claim and its inverse reading share one key — one fact, two names
+ * (spec §5.5).
+ *
+ * Key components:
+ *
+ * - relational claim:      subject, verb, object, negated, context set
+ * - attribute/value claim: subject, verb, attribute, negated, context set
+ * - metric claim:          subject, verb, negated, context set
+ *
+ * The value is *excluded* — it may change over time while the key stays
+ * about the same property. Confidence, tags, uncertainty, importance and
+ * comments are metadata and never key components. Contexts participate as a
+ * sorted, deduplicated set, which is what lets competing hypotheses
+ * differentiate by `@hyp:` context (spec §10.3).
+ *
+ * The key format is a JSON array — deterministic, collision-free and
+ * readable in the database.
+ */
+// Every term kind gets its own prefix so the three encodings occupy
+// disjoint namespaces — an entity literally named `code:<=` must not
+// collide with the backticked code literal `<=`.
+const termPart = (term) => term.kind === 'entity' ? `e:${term.text}` : `${term.kind}:${term.text}`;
+const payloadPart = (payload) => {
+    switch (payload.kind) {
+        case 'relation':
+            return `r:${termPart(payload.object)}`;
+        case 'attribute':
+            return `a:${payload.attribute}`;
+        case 'metric':
+            return 'm';
+        case 'none':
+            return 'n';
+    }
+};
+/** @returns stable claim key of a canonical claim. */
+export const of = (claim) => JSON.stringify([
+    termPart(claim.subject),
+    claim.verb,
+    claim.negated ? 1 : 0,
+    payloadPart(claim.payload),
+    [...new Set(claim.contexts)].sort()
+]);
+//# sourceMappingURL=key.js.map

package/dist/src/key.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"key.js","sourceRoot":"","sources":["../../src/key.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AAIH,oEAAoE;AACpE,qEAAqE;AACrE,iDAAiD;AACjD,MAAM,QAAQ,GAAG,CAAC,IAAgB,EAAU,EAAE,CAC5C,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAA;AAEzE,MAAM,WAAW,GAAG,CAAC,OAAsB,EAAU,EAAE;IACrD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,KAAK,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAA;QACxC,KAAK,WAAW;YACd,OAAO,KAAK,OAAO,CAAC,SAAS,EAAE,CAAA;QACjC,KAAK,QAAQ;YACX,OAAO,GAAG,CAAA;QACZ,KAAK,MAAM;YACT,OAAO,GAAG,CAAA;IACd,CAAC;AACH,CAAC,CAAA;AAED,sDAAsD;AACtD,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,KAAc,EAAU,EAAE,CAC3C,IAAI,CAAC,SAAS,CAAC;IACb,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC;IACvB,KAAK,CAAC,IAAI;IACV,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACrB,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC;IAC1B,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE;CACpC,CAAC,CAAA"}

package/dist/src/multiplier.d.ts

@@ -0,0 +1,17 @@
+/**
+ * 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.
+ */
+/** Multiplier letter. */
+export type Multiplier = 'T' | 'B' | 'M' | 'K';
+export type t = Multiplier;
+/** Scale factor per multiplier letter. */
+export declare const factors: Readonly<Record<Multiplier, number>>;
+/** @returns `true` if `s` is exactly one multiplier letter. */
+export declare const is: (s: string) => s is Multiplier;
+/** @returns scale factor of multiplier. */
+export declare const factor: (m: Multiplier) => number;
+//# sourceMappingURL=multiplier.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"multiplier.d.ts","sourceRoot":"","sources":["../../src/multiplier.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,yBAAyB;AACzB,MAAM,MAAM,UAAU,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAA;AAE9C,MAAM,MAAM,CAAC,GAAG,UAAU,CAAA;AAE1B,0CAA0C;AAC1C,eAAO,MAAM,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAKxD,CAAA;AAED,+DAA+D;AAC/D,eAAO,MAAM,EAAE,GAAI,GAAG,MAAM,KAAG,CAAC,IAAI,UACc,CAAA;AAElD,2CAA2C;AAC3C,eAAO,MAAM,MAAM,GAAI,GAAG,UAAU,KAAG,MAC3B,CAAA"}