@cavelang/canonical 0.1.0

package/README.md

@@ -0,0 +1,100 @@
+# @cavelang/canonical
+
+The CAVE semantic layer: verb registry, the §13.4 canonicalization
+pipeline, the shared standard prelude, and the canonical emitter. Sits
+between `@cavelang/parser` (pure syntax) and `@cavelang/store` (persistence).
+
+```ts
+import { canonicalizeText, standardRegistry, emit } from '@cavelang/canonical'
+import { Key } from '@cavelang/core'
+
+const result = canonicalizeText('packages/api PART-OF monorepo', standardRegistry)
+result.claims[0].claim.verb           // 'CONTAINS' — primary direction
+result.claims[0].claim.raw            // 'packages/api PART-OF monorepo' — as written
+emit(result)                          // 'monorepo CONTAINS packages/api\n'
+```
+
+## Registry (spec §5.5)
+
+Inverse pairs are declared in-band — `CONTAINS REVERSE PART-OF` is an
+ordinary claim whose subject and object happen to be verbs. The registry is
+an immutable value threaded through the pipeline, so a declaration takes
+effect for *subsequent* lines only. Rules:
+
+- the **primary** is the left side of the first declaration;
+- redeclaring the mirror is a no-op;
+- a conflicting declaration is rejected with a problem — first wins;
+- no verb is born with an inverse; `standardRegistry` (and the equivalent
+  `standardPrelude` CAVE text) carries the eight §5.5 pairs as the "shared
+  prelude" the spec allows.
+
+## Pipeline (spec §13.4)
+
+`canonicalize(document, registry?)` → `{ claims, edges, registry, problems }`
+
+- **Inverse resolution**: a relational claim with an inverse verb swaps
+  subject/object and takes the primary verb *before* keying — a forward
+  claim and its inverse reading share one `Key.of` value: one fact, two
+  names, one belief series. `raw` keeps the author's text.
+- **Continuations** (§8.3): a bare-verb line inherits the parent's subject
+  *as written*; if the verb is an inverse, canonicalization then flips it.
+  Continuations are independent sibling claims — no edges.
+- **Qualifiers** (§8.1–8.2): `WHEN`/`VIA`/`BECAUSE` lines become claim
+  nodes joined to the parent by role edges. `UNLESS x` normalizes to
+  role `WHEN` + negated condition. Condition shapes:
+  - bare entity → `x EXISTS` claim (negated for `NOT x`);
+  - comparison → `left EXCEEDS value` (metric payload); `>`→`EXCEEDS`,
+    other operators keep their symbol as the verb;
+  - full claim → canonicalized as usual (inverse resolution applies).
+- **Grouped claims** (§8.4): indented full triples stay independent and
+  link to their parent with the `QUALIFIES` edge role (§13.2's role list).
+- **Declarations**: `A REVERSE B` and `X IS verb` claims update the
+  registry after the line itself is canonicalized.
+
+## Emitter
+
+`emit(result)` produces canonical text — the spec's MUSTs for emitters:
+
+- colon attribute form (`revenue: 20B USD/yr`), even when the input used
+  the legacy colonless form (§3.4);
+- primary verb direction (§5.5);
+- `WHEN NOT x`, never `UNLESS` (§8.2);
+- §3.2 anatomy order: payload, `+/- delta`, `(Nσ)`, contexts, tags,
+  `@ N%` (omitted at 100%), `!`, `; comment`.
+
+Emission is stable: `emit ∘ canonicalize ∘ emit ≡ emit`, and claim keys
+survive the round trip (tested).
+
+## Design decisions
+
+- **"As written" inheritance**: a continuation under an inverse-form parent
+  (`packages/api PART-OF monorepo` + `  CONTAINS x`) inherits the parent's
+  *written* subject (`packages/api`), matching §8.3's mechanical rule, then
+  canonicalizes independently — including in-band declarations, which work
+  from continuations exactly as from full lines (§5.4).
+- **The inverse swap re-classifies endpoints symmetrically**: a date/number
+  endpoint is a metric payload in one direction and a subject term in the
+  other, so `deploy PRECEDES 2026-01-01` and `2026-01-01 FOLLOWS deploy`
+  land on one claim key. Qualifier negation always emits as the `WHEN NOT …`
+  prefix — a claim-internal `VERB NOT` after a symbolic comparison operator
+  would invert the condition on reparse.
+- **Undeclared inverse continuations** (§8.3 calls them ill-formed) cannot
+  be *detected* — `PART-OF` without a declaration is just an unknown verb,
+  so the line canonicalizes forward with the inherited subject. Loading the
+  standard prelude first gives the intended reading.
+- **Comparison verbs**: only `>` has a standard verb (`EXCEEDS`); `<`,
+  `>=`, `<=`, `=`, `!=` keep their symbol as the stored verb. They appear
+  only as condition claims.
+- **Three-way negation XOR** for qualifier conditions: inner `NOT`,
+  qualifier-level `NOT`, and `UNLESS` each flip the condition's negation.
+
+## Tests
+
+```
+pnpm --filter @cavelang/canonical test
+```
+
+Covers the §5.5 inverse semantics (shared keys, negation riding the row,
+belief series through either name), §8.3 continuation table, §8.2
+equivalent forms, the §21 worked example including its inverse reads, and
+emitter round-trip stability.

package/dist/src/canonicalize.d.ts

@@ -0,0 +1,56 @@
+/**
+ * Canonicalization pipeline (spec §13.4).
+ *
+ * Turns a parsed document into canonical claims plus qualifier edges:
+ *
+ * 1. verbs are already uppercase (parser enforces the lexical shape);
+ * 2. inverse verbs swap subject/object and substitute the primary (§5.5);
+ * 3. continuation lines fill their inherited endpoint from the parent (§8.3);
+ * 4. entity whitespace normalizes to `-`, proper-noun casing preserved;
+ * 5. `raw` keeps the line exactly as written;
+ * 6–10. confidence, `~`, multipliers, tag splitting are handled by the
+ *    parser and `@cavelang/core`;
+ * 11. claim keys are computed on the canonical form (`Key.of`);
+ * 12. contexts/tags ride on each claim for the store's side tables.
+ *
+ * Qualifier lines become claim nodes joined to their parent by edges
+ * (§8.1); `UNLESS x` normalizes to `WHEN` + negated condition (§8.2);
+ * grouped full claims link to their parent with the `QUALIFIES` role
+ * (§13.2). `REVERSE` and extension-verb declarations update the registry
+ * in-band, affecting subsequent lines (§5.4, §5.5).
+ */
+import { Claim } from '@cavelang/core';
+import { type Ast } from '@cavelang/parser';
+import * as Registry from './registry.ts';
+/** Edge roles persisted in `cave_edge` (spec §13.2). */
+export type EdgeRole = 'WHEN' | 'VIA' | 'BECAUSE' | 'QUALIFIES';
+/** A canonical claim with its 1-based source line. */
+export type Entry = {
+    readonly claim: Claim.t;
+    readonly line: number;
+};
+/** Edge between claim indices (into `Result.claims`). */
+export type Edge = {
+    readonly parent: number;
+    readonly role: EdgeRole;
+    readonly child: number;
+};
+export type Problem = {
+    readonly line: number;
+    readonly message: string;
+};
+export type Result = {
+    readonly claims: readonly Entry[];
+    readonly edges: readonly Edge[];
+    /** Registry after processing — input registry plus in-band declarations. */
+    readonly registry: Registry.t;
+    readonly problems: readonly Problem[];
+};
+/** Canonicalizes a parsed document. */
+export declare const canonicalize: (document: Ast.Document, registry?: Registry.t) => Result;
+/**
+ * Parses and canonicalizes CAVE text in one step. Parser diagnostics merge
+ * into `problems`.
+ */
+export declare const canonicalizeText: (input: string, registry?: Registry.t) => Result;
+//# sourceMappingURL=canonicalize.d.ts.map

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

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

package/dist/src/canonicalize.js

@@ -0,0 +1,227 @@
+/**
+ * Canonicalization pipeline (spec §13.4).
+ *
+ * Turns a parsed document into canonical claims plus qualifier edges:
+ *
+ * 1. verbs are already uppercase (parser enforces the lexical shape);
+ * 2. inverse verbs swap subject/object and substitute the primary (§5.5);
+ * 3. continuation lines fill their inherited endpoint from the parent (§8.3);
+ * 4. entity whitespace normalizes to `-`, proper-noun casing preserved;
+ * 5. `raw` keeps the line exactly as written;
+ * 6–10. confidence, `~`, multipliers, tag splitting are handled by the
+ *    parser and `@cavelang/core`;
+ * 11. claim keys are computed on the canonical form (`Key.of`);
+ * 12. contexts/tags ride on each claim for the store's side tables.
+ *
+ * Qualifier lines become claim nodes joined to their parent by edges
+ * (§8.1); `UNLESS x` normalizes to `WHEN` + negated condition (§8.2);
+ * grouped full claims link to their parent with the `QUALIFIES` role
+ * (§13.2). `REVERSE` and extension-verb declarations update the registry
+ * in-band, affecting subsequent lines (§5.4, §5.5).
+ */
+import { Claim, Entity, Value, Verb } from '@cavelang/core';
+import { parseDocument } from '@cavelang/parser';
+import * as Registry from "./registry.js";
+const roleOf = {
+    WHEN: 'WHEN',
+    UNLESS: 'WHEN',
+    VIA: 'VIA',
+    BECAUSE: 'BECAUSE'
+};
+/** `>` maps to the standard `EXCEEDS`; other operators keep their symbol. */
+const comparisonVerb = (op) => op === '>' ? 'EXCEEDS' : op;
+const normalizeTerm = (term) => term.kind === 'entity' ? Claim.entity(Entity.normalize(term.text)) : term;
+/**
+ * Term ↔ payload conversion for the §5.5 inverse swap. The parser
+ * classifies a date/number endpoint as a metric payload but a subject is
+ * always a term; swapping must re-classify both directions the same way,
+ * or `deploy PRECEDES 2026-01-01` and `2026-01-01 FOLLOWS deploy` would
+ * key differently — two keys for one fact.
+ */
+const termOfPayload = (payload) => {
+    switch (payload.kind) {
+        case 'relation':
+            return payload.object;
+        case 'metric':
+            return payload.value.kind === 'code' ? Claim.code(payload.value.raw) :
+                payload.value.kind === 'text' ? Claim.text(payload.value.raw) :
+                    Claim.entity(Entity.normalize(payload.value.raw));
+        default:
+            return undefined;
+    }
+};
+const payloadOfTerm = (term) => {
+    if (term.kind === 'entity') {
+        const value = Value.parse(term.text);
+        if (value.kind === 'number' || value.kind === 'date') {
+            return Claim.metric(value);
+        }
+    }
+    return Claim.relation(term);
+};
+const initOf = (meta) => ({
+    contexts: meta.contexts,
+    tags: meta.tags,
+    importance: meta.importance,
+    ...meta.conf !== undefined ? { conf: meta.conf } : {},
+    ...meta.delta !== undefined ? { delta: meta.delta } : {},
+    ...meta.sigmaLevel !== undefined ? { sigmaLevel: meta.sigmaLevel } : {},
+    ...meta.comment !== undefined ? { comment: meta.comment } : {}
+});
+/** Canonicalizes a parsed document. */
+export const canonicalize = (document, registry = Registry.empty) => {
+    const claims = [];
+    const edges = [];
+    const problems = [];
+    /** line index → claim index + the subject as (virtually) written, for §8.3 inheritance. */
+    const byLine = new Map();
+    const problem = (line, message) => {
+        problems.push({ line, message });
+    };
+    /** Canonicalizes one full claim body — §13.4 steps 2 and 4 plus assembly. */
+    const buildClaim = (full, raw, line) => {
+        const writtenSubject = normalizeTerm(full.subject);
+        let subject = writtenSubject;
+        let verb = full.verb;
+        let payload = full.payload;
+        if (payload.kind === 'relation') {
+            payload = Claim.relation(normalizeTerm(payload.object));
+        }
+        const { primary, isInverse } = Registry.primaryOf(registry, verb);
+        if (isInverse) {
+            const objectTerm = termOfPayload(payload);
+            if (objectTerm === undefined) {
+                problem(line, `inverse verb ${verb} needs an object to swap with — keeping the line as written (spec §5.5)`);
+            }
+            else {
+                payload = payloadOfTerm(subject);
+                subject = objectTerm;
+                verb = primary;
+            }
+        }
+        const claim = Claim.of({
+            subject,
+            verb,
+            negated: full.negated,
+            payload,
+            raw,
+            ...initOf(full.meta)
+        });
+        return { claim, writtenSubject };
+    };
+    const append = (claim, line, writtenSubject, lineIndex) => {
+        const index = claims.length;
+        claims.push({ claim, line });
+        byLine.set(lineIndex, { index, writtenSubject });
+        return index;
+    };
+    /** In-band declarations take effect for subsequent lines (spec §5.4, §5.5). */
+    const applyDeclarations = (claim, line) => {
+        if (claim.payload.kind !== 'relation' || claim.negated) {
+            return;
+        }
+        const object = claim.payload.object;
+        if (claim.verb === Verb.REVERSE && claim.subject.kind === 'entity' && object.kind === 'entity') {
+            const declared = Registry.declareReverse(registry, claim.subject.text, object.text);
+            registry = declared.registry;
+            if (!declared.ok) {
+                problem(line, declared.problem);
+            }
+            return;
+        }
+        if (claim.verb === 'IS' && object.kind === 'entity' && object.text === 'verb' &&
+            claim.subject.kind === 'entity' && Verb.isVerbToken(claim.subject.text)) {
+            registry = Registry.declareVerb(registry, claim.subject.text);
+        }
+    };
+    /** Builds the condition claim of a qualifier line (spec §8.2). */
+    const conditionOf = (payload, unless) => {
+        switch (payload.kind) {
+            case 'claim':
+                return {
+                    ...payload.claim,
+                    negated: payload.claim.negated !== (payload.negated !== unless)
+                };
+            case 'entity':
+                return {
+                    subject: payload.term,
+                    verb: 'EXISTS',
+                    negated: payload.negated !== unless,
+                    payload: Claim.none,
+                    meta: payload.meta
+                };
+            case 'comparison':
+                return {
+                    subject: payload.left,
+                    verb: comparisonVerb(payload.op),
+                    negated: payload.negated !== unless,
+                    payload: Claim.metric(payload.value),
+                    meta: payload.meta
+                };
+        }
+    };
+    document.lines.forEach((line, lineIndex) => {
+        switch (line.kind) {
+            case 'claim': {
+                const { claim, writtenSubject } = buildClaim(line.claim, line.raw, line.line);
+                const index = append(claim, line.line, writtenSubject, lineIndex);
+                if (line.parent !== undefined) {
+                    const parent = byLine.get(line.parent);
+                    if (parent !== undefined) {
+                        edges.push({ parent: parent.index, role: 'QUALIFIES', child: index });
+                    }
+                }
+                applyDeclarations(claim, line.line);
+                return;
+            }
+            case 'continuation': {
+                const parent = byLine.get(line.parent);
+                if (parent === undefined) {
+                    problem(line.line, 'continuation has no canonicalized parent');
+                    return;
+                }
+                const full = { subject: parent.writtenSubject, ...line.body };
+                const { claim, writtenSubject } = buildClaim(full, line.raw, line.line);
+                append(claim, line.line, writtenSubject, lineIndex);
+                // §8.3: each continuation is an ordinary independent claim, so an
+                // in-band declaration works here exactly as on a full line (§5.4).
+                applyDeclarations(claim, line.line);
+                return;
+            }
+            case 'qualifier': {
+                const parent = byLine.get(line.parent);
+                if (parent === undefined) {
+                    problem(line.line, 'qualifier has no canonicalized parent');
+                    return;
+                }
+                const full = conditionOf(line.payload, line.qualifier === 'UNLESS');
+                const { claim, writtenSubject } = buildClaim(full, line.raw, line.line);
+                const index = append(claim, line.line, writtenSubject, lineIndex);
+                edges.push({ parent: parent.index, role: roleOf[line.qualifier], child: index });
+                return;
+            }
+            default:
+                return;
+        }
+    });
+    return { claims, edges, registry, problems };
+};
+/**
+ * Parses and canonicalizes CAVE text in one step. Parser diagnostics merge
+ * into `problems`.
+ */
+export const canonicalizeText = (input, registry = Registry.empty) => {
+    const document = parseDocument(input);
+    const result = canonicalize(document, registry);
+    if (document.diagnostics.length === 0) {
+        return result;
+    }
+    return {
+        ...result,
+        problems: [
+            ...document.diagnostics.map(diagnostic => ({ line: diagnostic.line, message: diagnostic.message })),
+            ...result.problems
+        ]
+    };
+};
+//# sourceMappingURL=canonicalize.js.map

package/dist/src/canonicalize.js.map

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

package/dist/src/emit.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Canonical emitter.
+ *
+ * Emits canonical CAVE text from canonical claims: colon attribute form
+ * (§3.4 — emitters MUST produce it), primary verb direction (§5.5),
+ * `WHEN NOT` rather than `UNLESS` (§8.2), metadata in the §3.2 anatomy
+ * order. Qualifier edges re-indent under their parent; grouped claims
+ * (`QUALIFIES` edges) re-indent as full lines.
+ */
+import { Claim } from '@cavelang/core';
+import type * as Canonicalize from './canonicalize.ts';
+/** @returns one canonical line for a claim (no indentation). */
+export declare const emitClaim: (claim: Claim.t) => string;
+/**
+ * Emits a whole canonicalization result as canonical CAVE text: top-level
+ * claims in claim order, children indented two spaces per level.
+ */
+export declare const emit: (result: Pick<Canonicalize.Result, "claims" | "edges">) => string;
+//# sourceMappingURL=emit.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"emit.d.ts","sourceRoot":"","sources":["../../src/emit.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,KAAK,EAA0B,MAAM,gBAAgB,CAAA;AAC9D,OAAO,KAAK,KAAK,YAAY,MAAM,mBAAmB,CAAA;AAyCtD,gEAAgE;AAChE,eAAO,MAAM,SAAS,GAAI,OAAO,KAAK,CAAC,CAAC,KAAG,MAW1C,CAAA;AAgBD;;;GAGG;AACH,eAAO,MAAM,IAAI,GAAI,QAAQ,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,QAAQ,GAAG,OAAO,CAAC,KAAG,MA+B5E,CAAA"}

package/dist/src/emit.js

@@ -0,0 +1,112 @@
+/**
+ * Canonical emitter.
+ *
+ * Emits canonical CAVE text from canonical claims: colon attribute form
+ * (§3.4 — emitters MUST produce it), primary verb direction (§5.5),
+ * `WHEN NOT` rather than `UNLESS` (§8.2), metadata in the §3.2 anatomy
+ * order. Qualifier edges re-indent under their parent; grouped claims
+ * (`QUALIFIES` edges) re-indent as full lines.
+ */
+import { Claim, Confidence, Tag, Value } from '@cavelang/core';
+const payloadText = (payload) => {
+    switch (payload.kind) {
+        case 'relation':
+            return Claim.formatTerm(payload.object);
+        case 'attribute':
+            return `${payload.attribute}: ${Value.format(payload.value)}`;
+        case 'metric':
+            return Value.format(payload.value);
+        case 'none':
+            return undefined;
+    }
+};
+const metaText = (claim) => {
+    const parts = [];
+    if (claim.delta !== undefined) {
+        parts.push(`+/- ${Value.format(claim.delta)}`);
+    }
+    if (claim.sigmaLevel !== undefined) {
+        parts.push(`(${claim.sigmaLevel}σ)`);
+    }
+    for (const context of claim.contexts) {
+        parts.push(`@${context}`);
+    }
+    for (const tag of claim.tags) {
+        parts.push(Tag.format(tag));
+    }
+    if (claim.conf !== 1) {
+        parts.push(`@ ${Confidence.format(claim.conf)}`);
+    }
+    if (claim.importance) {
+        parts.push('!');
+    }
+    if (claim.comment !== undefined) {
+        parts.push(`; ${claim.comment}`);
+    }
+    return parts;
+};
+/** @returns one canonical line for a claim (no indentation). */
+export const emitClaim = (claim) => {
+    const parts = [Claim.formatTerm(claim.subject), claim.verb];
+    if (claim.negated) {
+        parts.push('NOT');
+    }
+    const payload = payloadText(claim.payload);
+    if (payload !== undefined) {
+        parts.push(payload);
+    }
+    parts.push(...metaText(claim));
+    return parts.join(' ');
+};
+/**
+ * @returns the qualifier-payload text of a condition claim. Negation always
+ * emits as a `NOT` *prefix* — the §8.2 canonical `WHEN NOT x` shape — never
+ * as the claim-internal `VERB NOT` form: a postfix `NOT` after a symbolic
+ * comparison verb (`WHEN cpu >= NOT 900`) would be unreadable to the
+ * parser and silently invert the condition on round trip.
+ */
+const conditionText = (claim) => {
+    const body = claim.verb === 'EXISTS' && claim.payload.kind === 'none' ?
+        [Claim.formatTerm(claim.subject), ...metaText(claim)].join(' ') :
+        emitClaim({ ...claim, negated: false });
+    return claim.negated ? `NOT ${body}` : body;
+};
+/**
+ * Emits a whole canonicalization result as canonical CAVE text: top-level
+ * claims in claim order, children indented two spaces per level.
+ */
+export const emit = (result) => {
+    const childEdges = new Map();
+    const isChild = new Set();
+    for (const edge of result.edges) {
+        isChild.add(edge.child);
+        const existing = childEdges.get(edge.parent);
+        if (existing === undefined) {
+            childEdges.set(edge.parent, [edge]);
+        }
+        else {
+            existing.push(edge);
+        }
+    }
+    const lines = [];
+    const emitAt = (index, depth, role) => {
+        const { claim } = result.claims[index];
+        const indent = '  '.repeat(depth);
+        if (role === undefined || role === 'QUALIFIES') {
+            lines.push(`${indent}${emitClaim(claim)}`);
+        }
+        else {
+            lines.push(`${indent}${role} ${conditionText(claim)}`);
+        }
+        for (const edge of childEdges.get(index) ?? []) {
+            emitAt(edge.child, depth + 1, edge.role);
+        }
+    };
+    result.claims.forEach((_, index) => {
+        if (!isChild.has(index)) {
+            emitAt(index, 0, undefined);
+        }
+    });
+    return lines.length === 0 ? '' : `${lines.join('\n')}\n`;
+};
+//# sourceMappingURL=emit.js.map

package/dist/src/emit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit.js","sourceRoot":"","sources":["../../src/emit.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAA;AAG9D,MAAM,WAAW,GAAG,CAAC,OAAsB,EAAsB,EAAE;IACjE,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,UAAU;YACb,OAAO,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACzC,KAAK,WAAW;YACd,OAAO,GAAG,OAAO,CAAC,SAAS,KAAK,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAA;QAC/D,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QACpC,KAAK,MAAM;YACT,OAAO,SAAS,CAAA;IACpB,CAAC;AACH,CAAC,CAAA;AAED,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAY,EAAE;IAC5C,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAChD,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,UAAU,IAAI,CAAC,CAAA;IACtC,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC,CAAA;IAC3B,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;IAC7B,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAClD,CAAC;IACD,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACjB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;IAClC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC,CAAA;AAED,gEAAgE;AAChE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,KAAc,EAAU,EAAE;IAClD,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;IAC3D,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IACnB,CAAC;IACD,MAAM,OAAO,GAAG,WAAW,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IAC1C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACrB,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9B,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;AACxB,CAAC,CAAA;AAED;;;;;;GAMG;AACH,MAAM,aAAa,GAAG,CAAC,KAAc,EAAU,EAAE;IAC/C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACrE,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACjE,SAAS,CAAC,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;IACzC,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;AAC7C,CAAC,CAAA;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,MAAqD,EAAU,EAAE;IACpF,MAAM,UAAU,GAAG,IAAI,GAAG,EAA+B,CAAA;IACzD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAA;IACjC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QAChC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACvB,MAAM,QAAQ,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC5C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC,CAAA;QACrC,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACrB,CAAC;IACH,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,KAAa,EAAE,IAAuC,EAAQ,EAAE;QAC7F,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAE,CAAA;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;QACjC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QAC5C,CAAC;aAAM,CAAC;YACN,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,IAAI,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;QACxD,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QAC1C,CAAC;IACH,CAAC,CAAA;IACD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QACjC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,CAAC,KAAK,EAAE,CAAC,EAAE,SAAS,CAAC,CAAA;QAC7B,CAAC;IACH,CAAC,CAAC,CAAA;IACF,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;AAC1D,CAAC,CAAA"}

package/dist/src/index.d.ts

@@ -0,0 +1,22 @@
+/**
+ * `@cavelang/canonical` — the CAVE semantic layer (spec §5.4, §5.5, §8, §13.4).
+ *
+ * Verb registry with in-band `REVERSE`/extension declarations, the
+ * canonicalization pipeline (inverse resolution, continuation expansion,
+ * qualifier edges, `UNLESS` normalization), the shared standard prelude and
+ * the canonical emitter.
+ *
+ * ```ts
+ * import { canonicalizeText, standardRegistry, emit } from '@cavelang/canonical'
+ *
+ * const result = canonicalizeText('packages/api PART-OF monorepo', standardRegistry)
+ * result.claims[0].claim // monorepo CONTAINS packages/api — one fact, two names
+ * emit(result)           // canonical text, primary direction
+ * ```
+ */
+export * as Registry from './registry.ts';
+export { canonicalize, canonicalizeText } from './canonicalize.ts';
+export type { Edge, EdgeRole, Entry, Problem, Result } from './canonicalize.ts';
+export { emit, emitClaim } from './emit.ts';
+export { standardPrelude, standardRegistry } from './prelude.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;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAClE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAA;AAC/E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC3C,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA"}

package/dist/src/index.js

@@ -0,0 +1,21 @@
+/**
+ * `@cavelang/canonical` — the CAVE semantic layer (spec §5.4, §5.5, §8, §13.4).
+ *
+ * Verb registry with in-band `REVERSE`/extension declarations, the
+ * canonicalization pipeline (inverse resolution, continuation expansion,
+ * qualifier edges, `UNLESS` normalization), the shared standard prelude and
+ * the canonical emitter.
+ *
+ * ```ts
+ * import { canonicalizeText, standardRegistry, emit } from '@cavelang/canonical'
+ *
+ * const result = canonicalizeText('packages/api PART-OF monorepo', standardRegistry)
+ * result.claims[0].claim // monorepo CONTAINS packages/api — one fact, two names
+ * emit(result)           // canonical text, primary direction
+ * ```
+ */
+export * as Registry from "./registry.js";
+export { canonicalize, canonicalizeText } from "./canonicalize.js";
+export { emit, emitClaim } from "./emit.js";
+export { standardPrelude, standardRegistry } from "./prelude.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;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AACzC,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAElE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC3C,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA"}

package/dist/src/prelude.d.ts

@@ -0,0 +1,15 @@
+/**
+ * The shared standard prelude (spec §5.5).
+ *
+ * Standard verbs SHOULD carry inverse declarations; emitters MAY prepend
+ * them to a document or keep them in a shared prelude. This module is that
+ * shared prelude: the spec's declaration block as CAVE text, plus a
+ * pre-built registry for callers that want inverse-aware reads without
+ * ingesting the text first.
+ */
+import * as Registry from './registry.ts';
+/** The spec §5.5 declaration block, verbatim. */
+export declare const standardPrelude = "REVERSE IS verb ; declares that two verbs name the same edge read in opposite directions\nREVERSE HAS arity: 2\nCONTAINS REVERSE PART-OF\nCAUSE REVERSE CAUSED-BY\nPRECEDES REVERSE FOLLOWS\nUSES REVERSE USED-BY\nNEEDS REVERSE NEEDED-BY\nENABLES REVERSE ENABLED-BY\nBLOCKS REVERSE BLOCKED-BY\nEXTENDS REVERSE EXTENDED-BY\n";
+/** Registry with the standard §5.5 inverse pairs declared. */
+export declare const standardRegistry: Registry.t;
+//# sourceMappingURL=prelude.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"prelude.d.ts","sourceRoot":"","sources":["../../src/prelude.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,QAAQ,MAAM,eAAe,CAAA;AAEzC,iDAAiD;AACjD,eAAO,MAAM,eAAe,qUAU3B,CAAA;AAaD,8DAA8D;AAC9D,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,CAIa,CAAA"}