@mneme-ai/core 2.22.0 → 2.22.1-lite

package/dist/physics_lathe/index.d.ts

@@ -0,0 +1,35 @@
+/**
+ * v2.22.1 — PHYSICS LATHE.
+ *
+ * Formal physics-axiom verifier for LLM claims. Given free-text
+ * containing quantities + units (e.g. "the rocket needs ~50,000 km/s
+ * to reach LEO"), the lathe extracts the numbers, normalises them to
+ * SI, and checks against:
+ *   1. A list of well-known physical values (LEO velocity, escape
+ *      velocity, ISS altitude, delta-v budgets, etc.)
+ *   2. A list of axioms (Tsiolkovsky, Kepler, ideal gas,
+ *      Stefan-Boltzmann, Newtonian gravity, etc.)
+ *
+ * Verdict: CONFIRMED | REFUTED | OUT_OF_AXIOM_SET | INSUFFICIENT_DATA
+ *
+ * No LLM is called. All work is deterministic SAT-style numerics —
+ * the verdict is reproducible and auditable.
+ *
+ * Composes with:
+ *   - `mneme.truth.check`     (general claim verifier; lathe extends
+ *                              for physics)
+ *   - `mneme.chronostasis.*`  (axioms here could become Chronostasis
+ *                              crystallised claims in a future
+ *                              release)
+ *   - `mneme conduct`         (lathe verdict gates verb execution
+ *                              when conduct is asked to do something
+ *                              physics-bounded)
+ */
+export { allAxioms, allConstants, allKnownValues, CONSTANTS, KNOWN_VALUES, AXIOMS, type Constant, type Axiom, type KnownValue, type Unit, type SiBase } from "./axioms.js";
+export { parseUnit, unitsEqual, formatUnit, type ParsedUnit } from "./units.js";
+export { extractQuantities, type ExtractedQuantity } from "./extractor.js";
+export { verifyClaim, formatReport, type PhysicsCheckReport, type Verdict, type Hit, type AxiomHit, type KnownValueHit } from "./verifier.js";
+import { type PhysicsCheckReport } from "./verifier.js";
+/** One-shot verifier — extract quantities then check. */
+export declare function physicsCheck(claim: string): PhysicsCheckReport;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/physics_lathe/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,cAAc,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,KAAK,QAAQ,EAAE,KAAK,KAAK,EAAE,KAAK,UAAU,EAAE,KAAK,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAC3K,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAAE,KAAK,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,kBAAkB,EAAE,KAAK,OAAO,EAAE,KAAK,GAAG,EAAE,KAAK,QAAQ,EAAE,KAAK,aAAa,EAAE,MAAM,eAAe,CAAC;AAG9I,OAAO,EAAe,KAAK,kBAAkB,EAAE,MAAM,eAAe,CAAC;AAErE,yDAAyD;AACzD,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,kBAAkB,CAG9D"}

package/dist/physics_lathe/index.js

@@ -0,0 +1,39 @@
+/**
+ * v2.22.1 — PHYSICS LATHE.
+ *
+ * Formal physics-axiom verifier for LLM claims. Given free-text
+ * containing quantities + units (e.g. "the rocket needs ~50,000 km/s
+ * to reach LEO"), the lathe extracts the numbers, normalises them to
+ * SI, and checks against:
+ *   1. A list of well-known physical values (LEO velocity, escape
+ *      velocity, ISS altitude, delta-v budgets, etc.)
+ *   2. A list of axioms (Tsiolkovsky, Kepler, ideal gas,
+ *      Stefan-Boltzmann, Newtonian gravity, etc.)
+ *
+ * Verdict: CONFIRMED | REFUTED | OUT_OF_AXIOM_SET | INSUFFICIENT_DATA
+ *
+ * No LLM is called. All work is deterministic SAT-style numerics —
+ * the verdict is reproducible and auditable.
+ *
+ * Composes with:
+ *   - `mneme.truth.check`     (general claim verifier; lathe extends
+ *                              for physics)
+ *   - `mneme.chronostasis.*`  (axioms here could become Chronostasis
+ *                              crystallised claims in a future
+ *                              release)
+ *   - `mneme conduct`         (lathe verdict gates verb execution
+ *                              when conduct is asked to do something
+ *                              physics-bounded)
+ */
+export { allAxioms, allConstants, allKnownValues, CONSTANTS, KNOWN_VALUES, AXIOMS } from "./axioms.js";
+export { parseUnit, unitsEqual, formatUnit } from "./units.js";
+export { extractQuantities } from "./extractor.js";
+export { verifyClaim, formatReport } from "./verifier.js";
+import { extractQuantities } from "./extractor.js";
+import { verifyClaim } from "./verifier.js";
+/** One-shot verifier — extract quantities then check. */
+export function physicsCheck(claim) {
+    const qs = extractQuantities(claim);
+    return verifyClaim(claim, qs);
+}
+//# sourceMappingURL=index.js.map

package/dist/physics_lathe/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/physics_lathe/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,cAAc,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAsE,MAAM,aAAa,CAAC;AAC3K,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,UAAU,EAAmB,MAAM,YAAY,CAAC;AAChF,OAAO,EAAE,iBAAiB,EAA0B,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EAAE,WAAW,EAAE,YAAY,EAAsF,MAAM,eAAe,CAAC;AAE9I,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AACnD,OAAO,EAAE,WAAW,EAA2B,MAAM,eAAe,CAAC;AAErE,yDAAyD;AACzD,MAAM,UAAU,YAAY,CAAC,KAAa;IACxC,MAAM,EAAE,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACpC,OAAO,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;AAChC,CAAC"}

package/dist/physics_lathe/physics_lathe.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=physics_lathe.test.d.ts.map

package/dist/physics_lathe/physics_lathe.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"physics_lathe.test.d.ts","sourceRoot":"","sources":["../../src/physics_lathe/physics_lathe.test.ts"],"names":[],"mappings":""}

package/dist/physics_lathe/physics_lathe.test.js

@@ -0,0 +1,109 @@
+import { describe, expect, it } from "vitest";
+import { physicsCheck, formatReport, extractQuantities, parseUnit, unitsEqual, allAxioms, allKnownValues } from "./index.js";
+describe("physics lathe (v2.22.1) — formal LLM-claim verifier", () => {
+    // ─── unit parser ────────────────────────────────────────────────
+    describe("unit parser", () => {
+        it("'km/s' parses to m·s⁻¹ with scale 1000", () => {
+            const r = parseUnit("km/s");
+            expect(r).not.toBeNull();
+            expect(unitsEqual(r.unit, [["m", 1], ["s", -1]])).toBe(true);
+            expect(r.scale).toBeCloseTo(1000, 4);
+        });
+        it("'m/s²' parses correctly", () => {
+            const r = parseUnit("m/s^2");
+            expect(unitsEqual(r.unit, [["m", 1], ["s", -2]])).toBe(true);
+        });
+        it("'N/m²' parses to Pa-equivalent (pressure)", () => {
+            const r = parseUnit("N/m^2");
+            const pa = parseUnit("Pa");
+            expect(unitsEqual(r.unit, pa.unit)).toBe(true);
+        });
+        it("'GPa' parses to Pa with scale 1e9", () => {
+            const r = parseUnit("GPa");
+            expect(r.scale).toBeCloseTo(1e9, 6);
+        });
+        it("'kg' is recognised", () => {
+            const r = parseUnit("kg");
+            expect(unitsEqual(r.unit, [["kg", 1]])).toBe(true);
+            expect(r.scale).toBe(1);
+        });
+        it("garbage tokens return null", () => {
+            expect(parseUnit("Xyzzy")).toBeNull();
+        });
+    });
+    // ─── extractor ──────────────────────────────────────────────────
+    describe("quantity extractor", () => {
+        it("extracts '9.4 km/s' from a delta-v claim", () => {
+            const qs = extractQuantities("Delta-v to LEO is roughly 9.4 km/s");
+            const hit = qs.find((q) => q.rawUnit === "km/s");
+            expect(hit).toBeDefined();
+            expect(hit.siValue).toBeCloseTo(9400, 0);
+        });
+        it("extracts large scientific notation '1.5 × 10^6'", () => {
+            const qs = extractQuantities("Mars escape velocity is 5.03 × 10^3 m/s");
+            expect(qs.some((q) => Math.abs(q.siValue - 5030) < 1)).toBe(true);
+        });
+        it("handles thousands commas '50,000 N'", () => {
+            const qs = extractQuantities("Engine produces 50,000 N of thrust");
+            const hit = qs.find((q) => q.rawUnit === "N");
+            expect(hit).toBeDefined();
+            expect(hit.siValue).toBeCloseTo(50000, 0);
+        });
+        it("ignores numbers without units", () => {
+            const qs = extractQuantities("Test number 42 has no unit");
+            // numbers must be followed by recognised unit
+            expect(qs.filter((q) => q.rawUnit).length).toBe(0);
+        });
+    });
+    // ─── verifier ───────────────────────────────────────────────────
+    describe("verifier — known values", () => {
+        it("CONFIRMS LEO velocity claim ~7.8 km/s", () => {
+            const r = physicsCheck("LEO orbital velocity is about 7.66 km/s");
+            expect(r.verdict).toBe("CONFIRMED");
+            expect(r.hits.some((h) => h.kind === "known-value" && h.passed)).toBe(true);
+        });
+        it("REFUTES grossly wrong LEO velocity '50 km/s'", () => {
+            const r = physicsCheck("To reach LEO orbital velocity you need 50 km/s");
+            expect(r.verdict).toBe("REFUTED");
+        });
+        it("CONFIRMS Earth escape velocity ~11.2 km/s", () => {
+            const r = physicsCheck("Earth escape velocity is 11.2 km/s");
+            expect(r.verdict).toBe("CONFIRMED");
+        });
+        it("REFUTES wrong Earth escape velocity '25 km/s'", () => {
+            const r = physicsCheck("To escape Earth you need an escape velocity of 25 km/s");
+            expect(r.verdict).toBe("REFUTED");
+        });
+        it("CONFIRMS ISS altitude 400 km", () => {
+            const r = physicsCheck("The ISS altitude is approximately 408 km");
+            expect(r.verdict).toBe("CONFIRMED");
+        });
+        it("INSUFFICIENT_DATA on text with no quantities", () => {
+            const r = physicsCheck("The rocket goes up");
+            expect(r.verdict).toBe("INSUFFICIENT_DATA");
+        });
+        it("OUT_OF_AXIOM_SET when units recognised but no axiom matches", () => {
+            const r = physicsCheck("My weight is 70 kg");
+            // bare mass with no context — no known-value matches; no axiom can solve
+            expect(["OUT_OF_AXIOM_SET", "INSUFFICIENT_DATA"]).toContain(r.verdict);
+        });
+    });
+    // ─── citations + format ─────────────────────────────────────────
+    it("formatReport renders verdict badge + extracted quantities + evaluations", () => {
+        const r = physicsCheck("LEO orbital velocity is 7.66 km/s");
+        const out = formatReport(r);
+        expect(out).toContain("PHYSICS LATHE");
+        expect(out).toContain("CONFIRMED");
+        expect(out).toContain("km/s");
+    });
+    it("CONFIRMED report includes deterministic citation(s)", () => {
+        const r = physicsCheck("LEO orbital velocity is 7.66 km/s");
+        expect(r.citations.length).toBeGreaterThan(0);
+    });
+    // ─── catalog sanity ─────────────────────────────────────────────
+    it("ships at least 10 axioms + 10 known-values + 15 constants", () => {
+        expect(allAxioms().length).toBeGreaterThanOrEqual(10);
+        expect(allKnownValues().length).toBeGreaterThanOrEqual(10);
+    });
+});
+//# sourceMappingURL=physics_lathe.test.js.map

package/dist/physics_lathe/physics_lathe.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"physics_lathe.test.js","sourceRoot":"","sources":["../../src/physics_lathe/physics_lathe.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,iBAAiB,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE7H,QAAQ,CAAC,qDAAqD,EAAE,GAAG,EAAE;IAEnE,mEAAmE;IAEnE,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YAC5B,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACzB,MAAM,CAAC,UAAU,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9D,MAAM,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;YAC7B,MAAM,CAAC,UAAU,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC,CAAC;YAC7B,MAAM,EAAE,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC3B,MAAM,CAAC,UAAU,CAAC,CAAE,CAAC,IAAI,EAAE,EAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC3C,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;YAC3B,MAAM,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oBAAoB,EAAE,GAAG,EAAE;YAC5B,MAAM,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;YAC1B,MAAM,CAAC,UAAU,CAAC,CAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpD,MAAM,CAAC,CAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,mEAAmE;IAEnE,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,EAAE,GAAG,iBAAiB,CAAC,oCAAoC,CAAC,CAAC;YACnE,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;YACjD,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAI,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC5C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,EAAE,GAAG,iBAAiB,CAAC,yCAAyC,CAAC,CAAC;YACxE,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,EAAE,GAAG,iBAAiB,CAAC,oCAAoC,CAAC,CAAC;YACnE,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,GAAG,CAAC,CAAC;YAC9C,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAI,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,EAAE,GAAG,iBAAiB,CAAC,4BAA4B,CAAC,CAAC;YAC3D,8CAA8C;YAC9C,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,mEAAmE;IAEnE,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,CAAC,GAAG,YAAY,CAAC,yCAAyC,CAAC,CAAC;YAClE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACpC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,CAAC,GAAG,YAAY,CAAC,gDAAgD,CAAC,CAAC;YACzE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,CAAC,GAAG,YAAY,CAAC,oCAAoC,CAAC,CAAC;YAC7D,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,CAAC,GAAG,YAAY,CAAC,wDAAwD,CAAC,CAAC;YACjF,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,CAAC,GAAG,YAAY,CAAC,0CAA0C,CAAC,CAAC;YACnE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACtD,MAAM,CAAC,GAAG,YAAY,CAAC,oBAAoB,CAAC,CAAC;YAC7C,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,CAAC,GAAG,YAAY,CAAC,oBAAoB,CAAC,CAAC;YAC7C,yEAAyE;YACzE,MAAM,CAAC,CAAC,kBAAkB,EAAE,mBAAmB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,mEAAmE;IAEnE,EAAE,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,CAAC,GAAG,YAAY,CAAC,mCAAmC,CAAC,CAAC;QAC5D,MAAM,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,YAAY,CAAC,mCAAmC,CAAC,CAAC;QAC5D,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,mEAAmE;IAEnE,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QACtD,MAAM,CAAC,cAAc,EAAE,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/physics_lathe/units.d.ts

@@ -0,0 +1,23 @@
+/**
+ * v2.22.1 — PHYSICS LATHE · UNITS.
+ *
+ * Parse a unit string ("km/s", "m·s⁻²", "N/m²", "GPa") into the
+ * canonical SI base-vector form, plus a scaling factor so the
+ * extractor can normalise everything before comparison.
+ *
+ * Handles common unit prefixes (k / M / G / m / μ / n / p / etc.)
+ * and the conventional rocketry shorthands ("km/s", "g" for
+ * acceleration).
+ */
+import type { Unit } from "./axioms.js";
+export interface ParsedUnit {
+    unit: Unit;
+    scale: number;
+}
+/** Parse a unit string of the form `term/term/term · term² ...`. Returns
+ *  null on tokens we cannot recognise — caller should report
+ *  OUT_OF_AXIOM_SET. */
+export declare function parseUnit(text: string): ParsedUnit | null;
+export declare function unitsEqual(a: Unit, b: Unit): boolean;
+export declare function formatUnit(u: Unit): string;
+//# sourceMappingURL=units.d.ts.map

package/dist/physics_lathe/units.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"units.d.ts","sourceRoot":"","sources":["../../src/physics_lathe/units.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,KAAK,EAAU,IAAI,EAAE,MAAM,aAAa,CAAC;AAuFhD,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,IAAI,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;wBAEwB;AACxB,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,GAAG,IAAI,CA2BzD;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,OAAO,CAQpD;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,IAAI,GAAG,MAAM,CAG1C"}

package/dist/physics_lathe/units.js

@@ -0,0 +1,143 @@
+/**
+ * v2.22.1 — PHYSICS LATHE · UNITS.
+ *
+ * Parse a unit string ("km/s", "m·s⁻²", "N/m²", "GPa") into the
+ * canonical SI base-vector form, plus a scaling factor so the
+ * extractor can normalise everything before comparison.
+ *
+ * Handles common unit prefixes (k / M / G / m / μ / n / p / etc.)
+ * and the conventional rocketry shorthands ("km/s", "g" for
+ * acceleration).
+ */
+/** Multiplicative prefix factors. */
+const PREFIXES = {
+    Y: 1e24, Z: 1e21, E: 1e18, P: 1e15, T: 1e12, G: 1e9, M: 1e6, k: 1e3,
+    h: 1e2, da: 10,
+    d: 1e-1, c: 1e-2, m: 1e-3, "μ": 1e-6, u: 1e-6, n: 1e-9, p: 1e-12, f: 1e-15, a: 1e-18,
+};
+/** Recognised base unit symbols + their decomposition. */
+const BASE_UNITS = {
+    // strict base
+    "m": { unit: [["m", 1]], scale: 1 },
+    "g": { unit: [["kg", 1]], scale: 1e-3 }, // gram → kg
+    "kg": { unit: [["kg", 1]], scale: 1 },
+    "s": { unit: [["s", 1]], scale: 1 },
+    "A": { unit: [["A", 1]], scale: 1 },
+    "K": { unit: [["K", 1]], scale: 1 },
+    "mol": { unit: [["mol", 1]], scale: 1 },
+    "cd": { unit: [["cd", 1]], scale: 1 },
+    // derived
+    "N": { unit: [["kg", 1], ["m", 1], ["s", -2]], scale: 1 },
+    "Pa": { unit: [["kg", 1], ["m", -1], ["s", -2]], scale: 1 },
+    "J": { unit: [["kg", 1], ["m", 2], ["s", -2]], scale: 1 },
+    "W": { unit: [["kg", 1], ["m", 2], ["s", -3]], scale: 1 },
+    "C": { unit: [["A", 1], ["s", 1]], scale: 1 },
+    "V": { unit: [["kg", 1], ["m", 2], ["s", -3], ["A", -1]], scale: 1 },
+    "Hz": { unit: [["s", -1]], scale: 1 },
+    // rocketry shorthand
+    "bar": { unit: [["kg", 1], ["m", -1], ["s", -2]], scale: 1e5 },
+    "atm": { unit: [["kg", 1], ["m", -1], ["s", -2]], scale: 101325 },
+    "psi": { unit: [["kg", 1], ["m", -1], ["s", -2]], scale: 6894.76 },
+    "eV": { unit: [["kg", 1], ["m", 2], ["s", -2]], scale: 1.602176634e-19 },
+};
+/** Time + length shorthands beyond the strict base. */
+const COMPOUND = {
+    "min": { unit: [["s", 1]], scale: 60 },
+    "hr": { unit: [["s", 1]], scale: 3600 },
+    "h": { unit: [["s", 1]], scale: 3600 },
+    "day": { unit: [["s", 1]], scale: 86400 },
+    "yr": { unit: [["s", 1]], scale: 365.25 * 86400 },
+    "Hz": { unit: [["s", -1]], scale: 1 },
+};
+function multiplyUnits(a, b, expB = 1) {
+    const m = new Map();
+    for (const [k, v] of a)
+        m.set(k, (m.get(k) ?? 0) + v);
+    for (const [k, v] of b)
+        m.set(k, (m.get(k) ?? 0) + v * expB);
+    return Array.from(m.entries()).filter(([, v]) => v !== 0).sort((x, y) => x[0].localeCompare(y[0]));
+}
+/** Strip a prefix from a symbol (e.g. "km" → "m" + factor 1e3). Returns
+ *  null when no recognised prefix applies. */
+function tryPrefix(token) {
+    // Try two-character prefixes first (`da`).
+    for (const len of [2, 1]) {
+        if (token.length <= len)
+            continue;
+        const p = token.slice(0, len);
+        if (p in PREFIXES) {
+            const core = token.slice(len);
+            if (core in BASE_UNITS || core in COMPOUND) {
+                return { core, scale: PREFIXES[p] };
+            }
+        }
+    }
+    return null;
+}
+function lookup(token) {
+    // exact match
+    if (token in BASE_UNITS)
+        return BASE_UNITS[token];
+    if (token in COMPOUND)
+        return { unit: COMPOUND[token].unit, scale: COMPOUND[token].scale };
+    // prefixed
+    const p = tryPrefix(token);
+    if (!p)
+        return null;
+    const base = (p.core in BASE_UNITS ? BASE_UNITS[p.core] : COMPOUND[p.core]);
+    return { unit: base.unit, scale: base.scale * p.scale };
+}
+/** Parse a unit string of the form `term/term/term · term² ...`. Returns
+ *  null on tokens we cannot recognise — caller should report
+ *  OUT_OF_AXIOM_SET. */
+export function parseUnit(text) {
+    if (!text || text.trim().length === 0)
+        return { unit: [], scale: 1 };
+    // Normalise separators.
+    let t = text.trim()
+        .replace(/·/g, "*")
+        .replace(/⁻¹/g, "^-1").replace(/⁻²/g, "^-2").replace(/⁻³/g, "^-3").replace(/⁻⁴/g, "^-4")
+        .replace(/²/g, "^2").replace(/³/g, "^3").replace(/⁴/g, "^4")
+        .replace(/\s+/g, "");
+    let unit = [];
+    let scale = 1;
+    // Split on "/" first to track division.
+    const parts = t.split("/");
+    for (let i = 0; i < parts.length; i++) {
+        const sign = i === 0 ? 1 : -1;
+        for (const factor of parts[i].split("*")) {
+            if (!factor)
+                continue;
+            let exp = 1;
+            let token = factor;
+            const m = factor.match(/^(.+?)\^?(-?\d+)$/);
+            if (m) {
+                token = m[1];
+                exp = parseInt(m[2], 10);
+            }
+            const def = lookup(token);
+            if (!def)
+                return null;
+            unit = multiplyUnits(unit, def.unit, sign * exp);
+            scale *= def.scale ** (sign * exp);
+        }
+    }
+    return { unit, scale };
+}
+export function unitsEqual(a, b) {
+    if (a.length !== b.length)
+        return false;
+    const sa = [...a].sort();
+    const sb = [...b].sort();
+    for (let i = 0; i < sa.length; i++) {
+        if (sa[i][0] !== sb[i][0] || sa[i][1] !== sb[i][1])
+            return false;
+    }
+    return true;
+}
+export function formatUnit(u) {
+    if (u.length === 0)
+        return "(dimensionless)";
+    return u.map(([s, e]) => e === 1 ? s : `${s}^${e}`).join("·");
+}
+//# sourceMappingURL=units.js.map

package/dist/physics_lathe/units.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"units.js","sourceRoot":"","sources":["../../src/physics_lathe/units.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,qCAAqC;AACrC,MAAM,QAAQ,GAA2B;IACvC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG;IACnE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,EAAE;IACd,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK;CACrF,CAAC;AASF,0DAA0D;AAC1D,MAAM,UAAU,GAAgC;IAC9C,cAAc;IACd,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACnC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,YAAY;IACrD,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACrC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACnC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACnC,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACnC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACvC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACrC,UAAU;IACV,GAAG,EAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAC1D,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAC3D,GAAG,EAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAC1D,GAAG,EAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAC1D,GAAG,EAAG,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IAC9C,GAAG,EAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACrE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;IACrC,qBAAqB;IACrB,KAAK,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE;IAC7D,KAAK,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE;IAChE,KAAK,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE;IACjE,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,eAAe,EAAE;CACzE,CAAC;AAEF,uDAAuD;AACvD,MAAM,QAAQ,GAAkD;IAC9D,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE;IACtC,IAAI,EAAG,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE;IACxC,GAAG,EAAI,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE;IACxC,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE;IACzC,IAAI,EAAG,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,KAAK,EAAE;IAClD,IAAI,EAAG,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;CACvC,CAAC;AAEF,SAAS,aAAa,CAAC,CAAO,EAAE,CAAO,EAAE,IAAI,GAAG,CAAC;IAC/C,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACtD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,CAAC;IAC7D,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACrG,CAAC;AAED;8CAC8C;AAC9C,SAAS,SAAS,CAAC,KAAa;IAC9B,2CAA2C;IAC3C,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACzB,IAAI,KAAK,CAAC,MAAM,IAAI,GAAG;YAAE,SAAS;QAClC,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC;YAClB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAI,IAAI,IAAI,UAAU,IAAI,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC3C,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAE,EAAE,CAAC;YACvC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,MAAM,CAAC,KAAa;IAC3B,cAAc;IACd,IAAI,KAAK,IAAI,UAAU;QAAE,OAAO,UAAU,CAAC,KAAK,CAAE,CAAC;IACnD,IAAI,KAAK,IAAI,QAAQ;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAE,CAAC,KAAK,EAAE,CAAC;IAC7F,WAAW;IACX,MAAM,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC;IAC3B,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IACpB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAE,CAAC,CAAC;IAC7E,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;AAC1D,CAAC;AAOD;;wBAEwB;AACxB,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IACrE,wBAAwB;IACxB,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE;SAChB,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC;SAClB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;SACvF,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC;SAC3D,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;IACvB,IAAI,IAAI,GAAS,EAAE,CAAC;IACpB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,wCAAwC;IACxC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,CAAC,CAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,IAAI,GAAG,GAAG,CAAC,CAAC;YACZ,IAAI,KAAK,GAAG,MAAM,CAAC;YACnB,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;YAC5C,IAAI,CAAC,EAAE,CAAC;gBAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;gBAAC,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAE,EAAE,EAAE,CAAC,CAAC;YAAC,CAAC;YACpD,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;YAC1B,IAAI,CAAC,GAAG;gBAAE,OAAO,IAAI,CAAC;YACtB,IAAI,GAAG,aAAa,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,GAAG,CAAC,CAAC;YACjD,KAAK,IAAI,GAAG,CAAC,KAAK,IAAI,CAAC,IAAI,GAAG,GAAG,CAAC,CAAC;QACrC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACzB,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,CAAO,EAAE,CAAO;IACzC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACxC,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACzB,MAAM,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,IAAI,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;IACvE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,CAAO;IAChC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,iBAAiB,CAAC;IAC7C,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAChE,CAAC"}

package/dist/physics_lathe/verifier.d.ts

@@ -0,0 +1,56 @@
+/**
+ * v2.22.1 — PHYSICS LATHE · VERIFIER.
+ *
+ * Take an LLM claim + a set of extracted quantities and decide:
+ *   - CONFIRMED      — claim is consistent with at least one axiom OR
+ *                      matches a known-value within tolerance
+ *   - REFUTED        — claim is inconsistent with an axiom by more than
+ *                      its tolerance
+ *   - OUT_OF_AXIOM_SET — no axiom or known-value applies; the lathe
+ *                      cannot speak
+ *   - INSUFFICIENT_DATA — claim mentions quantities but the verifier
+ *                      cannot extract enough to check
+ *
+ * The verifier is deterministic; no LLM is called.
+ */
+import type { ExtractedQuantity } from "./extractor.js";
+export type Verdict = "CONFIRMED" | "REFUTED" | "OUT_OF_AXIOM_SET" | "INSUFFICIENT_DATA";
+export interface KnownValueHit {
+    kind: "known-value";
+    label: string;
+    expected: number;
+    observed: number;
+    relativeError: number;
+    tolerance: number;
+    citation: string;
+    passed: boolean;
+}
+export interface AxiomHit {
+    kind: "axiom";
+    axiomId: string;
+    axiomName: string;
+    formula: string;
+    predicted: number;
+    observed: number;
+    relativeError: number;
+    tolerance: number;
+    citation: string;
+    computation: string;
+    passed: boolean;
+}
+export type Hit = KnownValueHit | AxiomHit;
+export interface PhysicsCheckReport {
+    v: 1;
+    verdict: Verdict;
+    /** All quantities the extractor pulled out of the claim. */
+    quantities: ExtractedQuantity[];
+    /** Per-axiom or per-known-value evaluation results. */
+    hits: Hit[];
+    /** Plain-English rationale. */
+    rationale: string;
+    /** Citations consumed by the verdict, deduplicated. */
+    citations: string[];
+}
+export declare function verifyClaim(claim: string, qs: ExtractedQuantity[]): PhysicsCheckReport;
+export declare function formatReport(r: PhysicsCheckReport): string;
+//# sourceMappingURL=verifier.d.ts.map

package/dist/physics_lathe/verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.d.ts","sourceRoot":"","sources":["../../src/physics_lathe/verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAIH,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAExD,MAAM,MAAM,OAAO,GAAG,WAAW,GAAG,SAAS,GAAG,kBAAkB,GAAG,mBAAmB,CAAC;AAEzF,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,OAAO,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,MAAM,GAAG,GAAG,aAAa,GAAG,QAAQ,CAAC;AAE3C,MAAM,WAAW,kBAAkB;IACjC,CAAC,EAAE,CAAC,CAAC;IACL,OAAO,EAAE,OAAO,CAAC;IACjB,4DAA4D;IAC5D,UAAU,EAAE,iBAAiB,EAAE,CAAC;IAChC,uDAAuD;IACvD,IAAI,EAAE,GAAG,EAAE,CAAC;IACZ,+BAA+B;IAC/B,SAAS,EAAE,MAAM,CAAC;IAClB,uDAAuD;IACvD,SAAS,EAAE,MAAM,EAAE,CAAC;CACrB;AAuED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,iBAAiB,EAAE,GAAG,kBAAkB,CAyBtF;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,kBAAkB,GAAG,MAAM,CAmC1D"}

package/dist/physics_lathe/verifier.js

@@ -0,0 +1,155 @@
+/**
+ * v2.22.1 — PHYSICS LATHE · VERIFIER.
+ *
+ * Take an LLM claim + a set of extracted quantities and decide:
+ *   - CONFIRMED      — claim is consistent with at least one axiom OR
+ *                      matches a known-value within tolerance
+ *   - REFUTED        — claim is inconsistent with an axiom by more than
+ *                      its tolerance
+ *   - OUT_OF_AXIOM_SET — no axiom or known-value applies; the lathe
+ *                      cannot speak
+ *   - INSUFFICIENT_DATA — claim mentions quantities but the verifier
+ *                      cannot extract enough to check
+ *
+ * The verifier is deterministic; no LLM is called.
+ */
+import { allAxioms, allKnownValues } from "./axioms.js";
+import { unitsEqual, formatUnit } from "./units.js";
+/** Match an extracted quantity to a known-value entry by units +
+ *  best-guess label keyword overlap against the FULL claim text. */
+function matchKnownValues(qs, claim) {
+    const hits = [];
+    const lowerClaim = claim.toLowerCase();
+    for (const q of qs) {
+        for (const kv of allKnownValues()) {
+            if (!unitsEqual(q.siUnit, kv.unit))
+                continue;
+            const tokens = kv.label.toLowerCase().split(/[\s-]+/).filter((t) => t.length > 2);
+            // Match: ≥1 label keyword appears in the surrounding claim text.
+            const overlap = tokens.filter((tok) => lowerClaim.includes(tok)).length;
+            if (overlap < 1)
+                continue;
+            const expected = kv.value;
+            const observed = q.siValue;
+            const relErr = Math.abs(observed - expected) / Math.max(Math.abs(expected), 1e-30);
+            hits.push({
+                kind: "known-value",
+                label: kv.label,
+                expected,
+                observed,
+                relativeError: relErr,
+                tolerance: kv.tolerance,
+                citation: kv.citation,
+                passed: relErr <= kv.tolerance,
+            });
+        }
+    }
+    return hits;
+}
+/** Group extracted quantities by guessed symbol → solve axioms when
+ *  enough variables match. */
+function matchAxioms(qs) {
+    const hits = [];
+    // Build symbol → value map from extracted quantities.
+    const symbols = {};
+    for (const q of qs)
+        if (q.quantityGuess)
+            symbols[q.quantityGuess] = q.siValue;
+    for (const axiom of allAxioms()) {
+        const known = axiom.variables.filter((v) => v.symbol in symbols);
+        if (known.length < 2)
+            continue;
+        // Try solving the axiom: many axioms have one "unknown" they
+        // compute. For our greedy v1: feed every supplied symbol and let
+        // the axiom return its predicted scalar.
+        const r = axiom.apply(symbols);
+        if (!r)
+            continue;
+        // Compare prediction to: (a) the unknown variable if it was also
+        // supplied; (b) any other supplied variable with the same units.
+        // For simplicity v1: compare against the LHS variable when present.
+        const lhs = axiom.variables[0];
+        if (!(lhs.symbol in symbols))
+            continue;
+        const observed = symbols[lhs.symbol];
+        const relErr = Math.abs(r.value - observed) / Math.max(Math.abs(r.value), 1e-30);
+        hits.push({
+            kind: "axiom",
+            axiomId: axiom.id,
+            axiomName: axiom.name,
+            formula: axiom.formulaText,
+            predicted: r.value,
+            observed,
+            relativeError: relErr,
+            tolerance: axiom.tolerance,
+            citation: axiom.citation,
+            computation: r.computed,
+            passed: relErr <= axiom.tolerance,
+        });
+    }
+    return hits;
+}
+export function verifyClaim(claim, qs) {
+    if (qs.length === 0) {
+        return { v: 1, verdict: "INSUFFICIENT_DATA", quantities: qs, hits: [], rationale: "No numeric quantities with units detected in the claim.", citations: [] };
+    }
+    const kvHits = matchKnownValues(qs, claim);
+    const axiomHits = matchAxioms(qs);
+    const hits = [...kvHits, ...axiomHits];
+    if (hits.length === 0) {
+        return { v: 1, verdict: "OUT_OF_AXIOM_SET", quantities: qs, hits, rationale: `Quantities extracted (${qs.map((q) => q.raw).join(", ")}) but no axiom or known-value applied. The lathe cannot speak to this claim — add a relevant axiom under packages/core/src/physics_lathe/axioms.ts and re-run.`, citations: [] };
+    }
+    const refuted = hits.filter((h) => !h.passed);
+    const confirmed = hits.filter((h) => h.passed);
+    const citations = Array.from(new Set(hits.map((h) => h.citation)));
+    if (refuted.length > 0 && confirmed.length === 0) {
+        return {
+            v: 1, verdict: "REFUTED", quantities: qs, hits,
+            rationale: `Claim is inconsistent with ${refuted.length} reference(s). Largest mismatch: ${(Math.max(...refuted.map((r) => r.relativeError)) * 100).toFixed(1)}% (tolerance ${(refuted[0].tolerance * 100).toFixed(1)}%).`,
+            citations,
+        };
+    }
+    return {
+        v: 1, verdict: "CONFIRMED", quantities: qs, hits,
+        rationale: `Claim is consistent with ${confirmed.length} reference(s) within tolerance; ${refuted.length} mismatch(es) below the confidence floor.`,
+        citations,
+    };
+}
+export function formatReport(r) {
+    const badge = r.verdict === "CONFIRMED" ? "✓"
+        : r.verdict === "REFUTED" ? "✗"
+            : r.verdict === "OUT_OF_AXIOM_SET" ? "·"
+                : "?";
+    const lines = [
+        `🔬 PHYSICS LATHE — ${badge} ${r.verdict}`,
+        "",
+        `  ${r.rationale}`,
+        "",
+    ];
+    if (r.quantities.length > 0) {
+        lines.push("  Extracted quantities:");
+        for (const q of r.quantities) {
+            lines.push(`    - ${q.raw}  →  ${q.siValue.toExponential(3)} ${formatUnit(q.siUnit)}${q.quantityGuess ? ` (guess: ${q.quantityGuess})` : ""}`);
+        }
+        lines.push("");
+    }
+    if (r.hits.length > 0) {
+        lines.push("  Evaluations:");
+        for (const h of r.hits) {
+            const tag = h.passed ? "✓" : "✗";
+            if (h.kind === "known-value") {
+                lines.push(`    ${tag} known-value: ${h.label}`);
+                lines.push(`         observed ${h.observed.toExponential(3)} vs expected ${h.expected.toExponential(3)} (rel err ${(h.relativeError * 100).toFixed(1)}% / tol ${(h.tolerance * 100).toFixed(1)}%)`);
+                lines.push(`         citation: ${h.citation}`);
+            }
+            else {
+                lines.push(`    ${tag} axiom: ${h.axiomName} — ${h.formula}`);
+                lines.push(`         computation: ${h.computation}`);
+                lines.push(`         observed ${h.observed.toExponential(3)} vs predicted ${h.predicted.toExponential(3)} (rel err ${(h.relativeError * 100).toFixed(1)}% / tol ${(h.tolerance * 100).toFixed(1)}%)`);
+                lines.push(`         citation: ${h.citation}`);
+            }
+        }
+    }
+    return lines.join("\n");
+}
+//# sourceMappingURL=verifier.js.map

package/dist/physics_lathe/verifier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verifier.js","sourceRoot":"","sources":["../../src/physics_lathe/verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,SAAS,EAAE,cAAc,EAAc,MAAM,aAAa,CAAC;AACpE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AA6CpD;oEACoE;AACpE,SAAS,gBAAgB,CAAC,EAAuB,EAAE,KAAa;IAC9D,MAAM,IAAI,GAAoB,EAAE,CAAC;IACjC,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC;QACnB,KAAK,MAAM,EAAE,IAAI,cAAc,EAAE,EAAE,CAAC;YAClC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7C,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAClF,iEAAiE;YACjE,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YACxE,IAAI,OAAO,GAAG,CAAC;gBAAE,SAAS;YAC1B,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC;YAC1B,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,CAAC;YAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;YACnF,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,QAAQ;gBACR,QAAQ;gBACR,aAAa,EAAE,MAAM;gBACrB,SAAS,EAAE,EAAE,CAAC,SAAS;gBACvB,QAAQ,EAAE,EAAE,CAAC,QAAQ;gBACrB,MAAM,EAAE,MAAM,IAAI,EAAE,CAAC,SAAS;aAC/B,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;8BAC8B;AAC9B,SAAS,WAAW,CAAC,EAAuB;IAC1C,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,sDAAsD;IACtD,MAAM,OAAO,GAA2B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,IAAI,EAAE;QAAE,IAAI,CAAC,CAAC,aAAa;YAAE,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;IAC9E,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,OAAO,CAAC,CAAC;QACjE,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAC/B,6DAA6D;QAC7D,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,iEAAiE;QACjE,iEAAiE;QACjE,oEAAoE;QACpE,MAAM,GAAG,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAE,CAAC;QAChC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,OAAO,CAAC;YAAE,SAAS;QACvC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC;QACtC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,QAAQ,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;QACjF,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,KAAK,CAAC,EAAE;YACjB,SAAS,EAAE,KAAK,CAAC,IAAI;YACrB,OAAO,EAAE,KAAK,CAAC,WAAW;YAC1B,SAAS,EAAE,CAAC,CAAC,KAAK;YAClB,QAAQ;YACR,aAAa,EAAE,MAAM;YACrB,SAAS,EAAE,KAAK,CAAC,SAAS;YAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,WAAW,EAAE,CAAC,CAAC,QAAQ;YACvB,MAAM,EAAE,MAAM,IAAI,KAAK,CAAC,SAAS;SAClC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAa,EAAE,EAAuB;IAChE,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,mBAAmB,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,yDAAyD,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAC/J,CAAC;IACD,MAAM,MAAM,GAAG,gBAAgB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,IAAI,GAAU,CAAC,GAAG,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC;IAC9C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,kBAAkB,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,yBAAyB,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,gKAAgK,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACzT,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9C,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;IACnE,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjD,OAAO;YACL,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI;YAC9C,SAAS,EAAE,8BAA8B,OAAO,CAAC,MAAM,oCAAoC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK;YAC3N,SAAS;SACV,CAAC;IACJ,CAAC;IACD,OAAO;QACL,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,EAAE,IAAI;QAChD,SAAS,EAAE,4BAA4B,SAAS,CAAC,MAAM,mCAAmC,OAAO,CAAC,MAAM,2CAA2C;QACnJ,SAAS;KACV,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAqB;IAChD,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC,CAAC,GAAG;QACjC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG;YAC/B,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,kBAAkB,CAAC,CAAC,CAAC,GAAG;gBACxC,CAAC,CAAC,GAAG,CAAC;IAClB,MAAM,KAAK,GAAa;QACtB,sBAAsB,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE;QAC1C,EAAE;QACF,KAAK,CAAC,CAAC,SAAS,EAAE;QAClB,EAAE;KACH,CAAC;IACF,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjJ,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IACD,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACvB,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;YACjC,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAC7B,KAAK,CAAC,IAAI,CAAC,OAAO,GAAG,iBAAiB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;gBACjD,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACpM,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;YACjD,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC,OAAO,GAAG,WAAW,CAAC,CAAC,SAAS,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC9D,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;gBACrD,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,aAAa,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACtM,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}