@mneme-ai/core 2.22.1-lite → 2.22.2-lite

package/dist/challenger_librarian/challenger_librarian.test.js

@@ -0,0 +1,87 @@
+import { describe, expect, it } from "vitest";
+import { crossCheck, formatReport, findFailure, FAILURES } from "./index.js";
+describe("challenger librarian (v2.22.2)", () => {
+    describe("catalog", () => {
+        it("ships ≥ 8 historical failure entries", () => {
+            expect(FAILURES.length).toBeGreaterThanOrEqual(8);
+        });
+        it("every entry has root-cause + avoidance + citation + detector", () => {
+            for (const f of FAILURES) {
+                expect(f.rootCause.length).toBeGreaterThan(20);
+                expect(f.avoid.length).toBeGreaterThan(15);
+                expect(f.citation.length).toBeGreaterThan(5);
+                expect(["dimensional", "physics-axiom", "keyword", "structural"]).toContain(f.detector);
+            }
+        });
+        it("findFailure resolves known ids", () => {
+            expect(findFailure("mars-climate-orbiter")?.name).toContain("Mars");
+            expect(findFailure("therac-25")?.name).toContain("Therac");
+            expect(findFailure("nope")).toBeNull();
+        });
+    });
+    describe("Mars Climate Orbiter detector (dimensional)", () => {
+        it("flags imperial-unit thrust claim with keyword cues", () => {
+            const r = crossCheck("Engine thrust = 500 lbf·s applied for orbit insertion.");
+            expect(r.matches.some((m) => m.id === "mars-climate-orbiter")).toBe(true);
+        });
+        it("flags dimensional MISMATCH in plan as Mars-Climate-Orbiter class", () => {
+            const r = crossCheck("Thrust = 9.8 N/m^2 needed for descent burn.");
+            const mco = r.matches.find((m) => m.id === "mars-climate-orbiter");
+            expect(mco).toBeDefined();
+            expect(mco.confidence).toBeGreaterThan(0.5);
+        });
+    });
+    describe("Challenger O-ring detector (physics-axiom + keyword)", () => {
+        it("fires on cold-launch wording", () => {
+            const r = crossCheck("O-ring qualified down to 12 °C; ambient at launch is -2 °C but proceed.");
+            expect(r.matches.some((m) => m.id === "challenger-o-ring")).toBe(true);
+        });
+    });
+    describe("Columbia foam-strike detector (keyword)", () => {
+        it("fires on 'normalised deviance' wording", () => {
+            const r = crossCheck("Foam strike noted but normalised deviance — previous flights had foam, no inspection needed.");
+            expect(r.matches.some((m) => m.id === "columbia-foam-strike")).toBe(true);
+        });
+    });
+    describe("Therac-25 detector (structural → keyword)", () => {
+        it("fires on race-condition + software-only-safety wording", () => {
+            const r = crossCheck("Software-only safety: a race condition in fast operator data-entry could miss the interlock check.");
+            expect(r.matches.some((m) => m.id === "therac-25")).toBe(true);
+        });
+    });
+    describe("Ariane 5 detector (keyword)", () => {
+        it("fires on legacy-software reuse without re-qualification", () => {
+            const r = crossCheck("Reuse Ariane 4 inertial software with 16-bit casting; untested at new range.");
+            expect(r.matches.some((m) => m.id === "ariane-5-501")).toBe(true);
+        });
+    });
+    describe("verdict bands", () => {
+        it("SAFE when plan has no matches", () => {
+            const r = crossCheck("Generic plan: write a markdown file and commit.");
+            expect(r.verdict).toBe("SAFE");
+            expect(r.matches.length).toBe(0);
+        });
+        it("BLOCK on high-confidence dimensional MISMATCH", () => {
+            const r = crossCheck("Thrust = 9.8 N/m^2 for the descent burn; reuse Ariane 4 16-bit casting.");
+            expect(["BLOCK", "WARN"]).toContain(r.verdict);
+        });
+        it("rationale text always populated", () => {
+            const r1 = crossCheck("Generic plan: edit file.");
+            expect(r1.rationale.length).toBeGreaterThan(10);
+            const r2 = crossCheck("Pure oxygen 16.7 psi pressurised cabin with inward-opening hatch.");
+            expect(r2.rationale.length).toBeGreaterThan(10);
+        });
+    });
+    describe("formatter", () => {
+        it("SAFE renders ✓ badge", () => {
+            const out = formatReport(crossCheck("Plain plan."));
+            expect(out).toContain("SAFE");
+        });
+        it("WARN/BLOCK renders root cause + citation", () => {
+            const out = formatReport(crossCheck("Pure oxygen 16.7 psi pressurised cabin with inward-opening hatch."));
+            expect(out).toMatch(/WARN|BLOCK|CAUTION/);
+            expect(out).toContain("citation:");
+        });
+    });
+});
+//# sourceMappingURL=challenger_librarian.test.js.map

package/dist/challenger_librarian/challenger_librarian.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"challenger_librarian.test.js","sourceRoot":"","sources":["../../src/challenger_librarian/challenger_librarian.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,YAAY,EAAgB,WAAW,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3F,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;IAE9C,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACvB,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;YAC9C,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACtE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;gBAC/C,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;gBAC3C,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAC7C,MAAM,CAAC,CAAC,aAAa,EAAE,eAAe,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;YAC1F,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gCAAgC,EAAE,GAAG,EAAE;YACxC,MAAM,CAAC,WAAW,CAAC,sBAAsB,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YACpE,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC3D,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QACzC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;QAC3D,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,CAAC,GAAG,UAAU,CAAC,wDAAwD,CAAC,CAAC;YAC/E,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kEAAkE,EAAE,GAAG,EAAE;YAC1E,MAAM,CAAC,GAAG,UAAU,CAAC,6CAA6C,CAAC,CAAC;YACpE,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,sBAAsB,CAAC,CAAC;YACnE,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAI,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sDAAsD,EAAE,GAAG,EAAE;QACpE,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,CAAC,GAAG,UAAU,CAAC,yEAAyE,CAAC,CAAC;YAChG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACvD,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,CAAC,GAAG,UAAU,CAAC,8FAA8F,CAAC,CAAC;YACrH,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,sBAAsB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACzD,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,CAAC,GAAG,UAAU,CAAC,oGAAoG,CAAC,CAAC;YAC3H,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,EAAE,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACjE,MAAM,CAAC,GAAG,UAAU,CAAC,8EAA8E,CAAC,CAAC;YACrG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,CAAC,GAAG,UAAU,CAAC,iDAAiD,CAAC,CAAC;YACxE,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC/B,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,CAAC,GAAG,UAAU,CAAC,yEAAyE,CAAC,CAAC;YAChG,MAAM,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,EAAE,GAAG,UAAU,CAAC,0BAA0B,CAAC,CAAC;YAClD,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;YAChD,MAAM,EAAE,GAAG,UAAU,CAAC,mEAAmE,CAAC,CAAC;YAC3F,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;QACzB,EAAE,CAAC,sBAAsB,EAAE,GAAG,EAAE;YAC9B,MAAM,GAAG,GAAG,YAAY,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,CAAC;YACpD,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAChC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,GAAG,GAAG,YAAY,CAAC,UAAU,CAAC,mEAAmE,CAAC,CAAC,CAAC;YAC1G,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;YAC1C,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/challenger_librarian/index.d.ts

@@ -0,0 +1,49 @@
+/**
+ * v2.22.2 — CHALLENGER LIBRARIAN.
+ *
+ * Cross-checks an AI-generated plan / spec / claim against a curated
+ * library of historical aerospace + safety-critical software failures.
+ * For each registered pattern, the librarian:
+ *
+ *   - Runs the appropriate DETECTOR (keyword / dimensional /
+ *     physics-axiom / structural)
+ *   - Returns matches with the historical root cause + avoidance
+ *     prescription + citation
+ *
+ * Composes:
+ *   - dimensional_oracle.dimensionalCheck (for Mars Climate Orbiter)
+ *   - physics_lathe.physicsCheck         (for Challenger O-ring temp,
+ *                                          Apollo 1 over-pressure)
+ *   - keyword + structural rules (simple regex over plan text)
+ *
+ * No LLM is called. All judgements are deterministic.
+ */
+import { FAILURES, listFailures, findFailure, type FailurePattern, type DetectorKind } from "./catalog.js";
+export { FAILURES, listFailures, findFailure, type FailurePattern, type DetectorKind };
+export interface FailureMatch {
+    /** Stable id from the catalog. */
+    id: string;
+    /** Plain-English failure name. */
+    name: string;
+    /** Why this matched. */
+    why: string;
+    /** Match strength 0-1 (how certain the librarian is). */
+    confidence: number;
+    /** Root cause + avoidance. */
+    rootCause: string;
+    avoid: string;
+    citation: string;
+}
+export interface CrossCheckReport {
+    v: 1;
+    plan: string;
+    matches: FailureMatch[];
+    /** Aggregate verdict: SAFE if no matches, CAUTION on 1+ low-conf,
+     *  WARN on ≥1 high-conf, BLOCK on ≥1 max-conf + safety-critical. */
+    verdict: "SAFE" | "CAUTION" | "WARN" | "BLOCK";
+    /** Plain-English summary. */
+    rationale: string;
+}
+export declare function crossCheck(plan: string): CrossCheckReport;
+export declare function formatReport(r: CrossCheckReport): string;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/challenger_librarian/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAIH,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,cAAc,EAAE,KAAK,YAAY,EAAE,MAAM,cAAc,CAAC;AAE3G,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,cAAc,EAAE,KAAK,YAAY,EAAE,CAAC;AAEvF,MAAM,WAAW,YAAY;IAC3B,kCAAkC;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,kCAAkC;IAClC,IAAI,EAAE,MAAM,CAAC;IACb,wBAAwB;IACxB,GAAG,EAAE,MAAM,CAAC;IACZ,yDAAyD;IACzD,UAAU,EAAE,MAAM,CAAC;IACnB,8BAA8B;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,QAAQ,EAAE,MAAM,CAAC;CAClB;AA8GD,MAAM,WAAW,gBAAgB;IAC/B,CAAC,EAAE,CAAC,CAAC;IACL,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,YAAY,EAAE,CAAC;IACxB;wEACoE;IACpE,OAAO,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,CAAC;IAC/C,6BAA6B;IAC7B,SAAS,EAAE,MAAM,CAAC;CACnB;AAKD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,CAuBzD;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,gBAAgB,GAAG,MAAM,CAoBxD"}

package/dist/challenger_librarian/index.js

@@ -0,0 +1,182 @@
+/**
+ * v2.22.2 — CHALLENGER LIBRARIAN.
+ *
+ * Cross-checks an AI-generated plan / spec / claim against a curated
+ * library of historical aerospace + safety-critical software failures.
+ * For each registered pattern, the librarian:
+ *
+ *   - Runs the appropriate DETECTOR (keyword / dimensional /
+ *     physics-axiom / structural)
+ *   - Returns matches with the historical root cause + avoidance
+ *     prescription + citation
+ *
+ * Composes:
+ *   - dimensional_oracle.dimensionalCheck (for Mars Climate Orbiter)
+ *   - physics_lathe.physicsCheck         (for Challenger O-ring temp,
+ *                                          Apollo 1 over-pressure)
+ *   - keyword + structural rules (simple regex over plan text)
+ *
+ * No LLM is called. All judgements are deterministic.
+ */
+import { dimensionalCheck } from "../dimensional_oracle/index.js";
+import { physicsCheck } from "../physics_lathe/index.js";
+import { FAILURES, listFailures, findFailure } from "./catalog.js";
+export { FAILURES, listFailures, findFailure };
+function keywordMatch(plan, triggers) {
+    if (!triggers)
+        return { matched: [], score: 0 };
+    const lower = plan.toLowerCase();
+    const matched = triggers.filter((t) => lower.includes(t.toLowerCase()));
+    return { matched, score: triggers.length === 0 ? 0 : matched.length / triggers.length };
+}
+function runDimensional(plan, pattern) {
+    // Find any dimensional claim in the plan ("X = N lbf·s" etc.) by
+    // splitting on sentence-ending punctuation (period FOLLOWED BY space
+    // or end, never inside a decimal number like 9.8).
+    const candidates = plan.split(/(?<=[a-zA-Z²³⁻\d])\s*[.;\n]+\s+|[.;\n]+$/).map((s) => s.trim()).filter((s) => /=|is\s/.test(s));
+    for (const c of candidates) {
+        const r = dimensionalCheck(c);
+        if (r.verdict === "MISMATCH") {
+            return {
+                id: pattern.id,
+                name: pattern.name,
+                why: `dimensional mismatch: ${r.rationale}`,
+                confidence: 0.9,
+                rootCause: pattern.rootCause,
+                avoid: pattern.avoid,
+                citation: pattern.citation,
+            };
+        }
+    }
+    // Fallback: keyword-pass
+    const { matched } = keywordMatch(plan, pattern.triggers);
+    if (matched.length > 0) {
+        return {
+            id: pattern.id,
+            name: pattern.name,
+            why: `keyword cues: ${matched.join(", ")}`,
+            confidence: 0.4,
+            rootCause: pattern.rootCause,
+            avoid: pattern.avoid,
+            citation: pattern.citation,
+        };
+    }
+    return null;
+}
+function runPhysics(plan, pattern) {
+    if (!pattern.physicsProbes)
+        return null;
+    // For each probe sentence, see if the PLAN contains structurally
+    // similar phrasing (keyword overlap + numeric inconsistency).
+    // v1: simple substring match on the probe template; if both halves
+    // appear in plan, run physicsCheck on the whole thing.
+    const lower = plan.toLowerCase();
+    let anyMatched = false;
+    for (const p of pattern.physicsProbes) {
+        const tokens = p.toLowerCase().replace(/\$\{[^}]+\}/g, "").split(/\s+/).filter((t) => t.length > 2);
+        const overlap = tokens.filter((t) => lower.includes(t)).length;
+        if (overlap >= 2)
+            anyMatched = true;
+    }
+    if (anyMatched) {
+        const r = physicsCheck(plan);
+        if (r.verdict === "REFUTED") {
+            return {
+                id: pattern.id,
+                name: pattern.name,
+                why: `physics-axiom refutation: ${r.rationale}`,
+                confidence: 0.9,
+                rootCause: pattern.rootCause,
+                avoid: pattern.avoid,
+                citation: pattern.citation,
+            };
+        }
+    }
+    // Fallback keyword
+    const { matched } = keywordMatch(plan, pattern.triggers);
+    if (matched.length > 0) {
+        return {
+            id: pattern.id,
+            name: pattern.name,
+            why: `keyword cues: ${matched.join(", ")}`,
+            confidence: 0.5,
+            rootCause: pattern.rootCause,
+            avoid: pattern.avoid,
+            citation: pattern.citation,
+        };
+    }
+    return null;
+}
+function runKeyword(plan, pattern) {
+    const { matched, score } = keywordMatch(plan, pattern.triggers);
+    if (matched.length === 0)
+        return null;
+    return {
+        id: pattern.id,
+        name: pattern.name,
+        why: `keyword cues: ${matched.join(", ")}`,
+        confidence: Math.min(0.9, 0.4 + score * 0.5),
+        rootCause: pattern.rootCause,
+        avoid: pattern.avoid,
+        citation: pattern.citation,
+    };
+}
+function runDetector(plan, pattern) {
+    switch (pattern.detector) {
+        case "dimensional": return runDimensional(plan, pattern);
+        case "physics-axiom": return runPhysics(plan, pattern);
+        case "keyword": return runKeyword(plan, pattern);
+        case "structural": return runKeyword(plan, pattern); // v1: structural reduces to keyword
+    }
+}
+const HIGH_CONF = 0.7;
+const BLOCK_CONF = 0.85;
+export function crossCheck(plan) {
+    const matches = [];
+    for (const pattern of FAILURES) {
+        const m = runDetector(plan, pattern);
+        if (m)
+            matches.push(m);
+    }
+    matches.sort((a, b) => b.confidence - a.confidence);
+    let verdict = "SAFE";
+    let rationale = `No historical failure pattern matched (${FAILURES.length} catalog entries checked).`;
+    if (matches.length > 0) {
+        const top = matches[0];
+        if (top.confidence >= BLOCK_CONF) {
+            verdict = "BLOCK";
+            rationale = `BLOCK: plan structurally resembles ${top.name} (${(top.confidence * 100).toFixed(0)}% confidence). ${top.why}`;
+        }
+        else if (top.confidence >= HIGH_CONF) {
+            verdict = "WARN";
+            rationale = `WARN: plan resembles ${top.name} (${(top.confidence * 100).toFixed(0)}% confidence). Review root cause.`;
+        }
+        else {
+            verdict = "CAUTION";
+            rationale = `CAUTION: ${matches.length} weak match(es); top is ${top.name} (${(top.confidence * 100).toFixed(0)}%).`;
+        }
+    }
+    return { v: 1, plan, matches, verdict, rationale };
+}
+export function formatReport(r) {
+    const badge = r.verdict === "SAFE" ? "✓" : r.verdict === "BLOCK" ? "🚨" : r.verdict === "WARN" ? "⚠" : "·";
+    const lines = [
+        `📚 CHALLENGER LIBRARIAN — ${badge} ${r.verdict}`,
+        "",
+        `  ${r.rationale}`,
+    ];
+    if (r.matches.length > 0) {
+        lines.push("");
+        lines.push("  Matches (highest confidence first):");
+        for (const m of r.matches) {
+            lines.push("");
+            lines.push(`    ${m.name}   confidence=${(m.confidence * 100).toFixed(0)}%`);
+            lines.push(`      why:        ${m.why}`);
+            lines.push(`      root cause: ${m.rootCause}`);
+            lines.push(`      avoid:      ${m.avoid}`);
+            lines.push(`      citation:   ${m.citation}`);
+        }
+    }
+    return lines.join("\n");
+}
+//# sourceMappingURL=index.js.map

package/dist/challenger_librarian/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/challenger_librarian/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,gCAAgC,CAAC;AAClE,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAA0C,MAAM,cAAc,CAAC;AAE3G,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAA0C,CAAC;AAiBvF,SAAS,YAAY,CAAC,IAAY,EAAE,QAA8B;IAChE,IAAI,CAAC,QAAQ;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;IACxE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;AAC1F,CAAC;AAED,SAAS,cAAc,CAAC,IAAY,EAAE,OAAuB;IAC3D,iEAAiE;IACjE,qEAAqE;IACrE,mDAAmD;IACnD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,0CAA0C,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/H,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAI,CAAC,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YAC7B,OAAO;gBACL,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,GAAG,EAAE,yBAAyB,CAAC,CAAC,SAAS,EAAE;gBAC3C,UAAU,EAAE,GAAG;gBACf,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;aAC3B,CAAC;QACJ,CAAC;IACH,CAAC;IACD,yBAAyB;IACzB,MAAM,EAAE,OAAO,EAAE,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,GAAG,EAAE,iBAAiB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC1C,UAAU,EAAE,GAAG;YACf,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,OAAuB;IACvD,IAAI,CAAC,OAAO,CAAC,aAAa;QAAE,OAAO,IAAI,CAAC;IACxC,iEAAiE;IACjE,8DAA8D;IAC9D,mEAAmE;IACnE,uDAAuD;IACvD,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;IACjC,IAAI,UAAU,GAAG,KAAK,CAAC;IACvB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACpG,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC/D,IAAI,OAAO,IAAI,CAAC;YAAE,UAAU,GAAG,IAAI,CAAC;IACtC,CAAC;IACD,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAC5B,OAAO;gBACL,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,GAAG,EAAE,6BAA6B,CAAC,CAAC,SAAS,EAAE;gBAC/C,UAAU,EAAE,GAAG;gBACf,SAAS,EAAE,OAAO,CAAC,SAAS;gBAC5B,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;aAC3B,CAAC;QACJ,CAAC;IACH,CAAC;IACD,mBAAmB;IACnB,MAAM,EAAE,OAAO,EAAE,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,GAAG,EAAE,iBAAiB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC1C,UAAU,EAAE,GAAG;YACf,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;SAC3B,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,IAAY,EAAE,OAAuB;IACvD,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;IAChE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACtC,OAAO;QACL,EAAE,EAAE,OAAO,CAAC,EAAE;QACd,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,GAAG,EAAE,iBAAiB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC1C,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,GAAG,KAAK,GAAG,GAAG,CAAC;QAC5C,SAAS,EAAE,OAAO,CAAC,SAAS;QAC5B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;KAC3B,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,IAAY,EAAE,OAAuB;IACxD,QAAQ,OAAO,CAAC,QAAQ,EAAE,CAAC;QACzB,KAAK,aAAa,CAAC,CAAC,OAAO,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACzD,KAAK,eAAe,CAAC,CAAC,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACvD,KAAK,SAAS,CAAC,CAAK,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrD,KAAK,YAAY,CAAC,CAAE,OAAO,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,oCAAoC;IAC5F,CAAC;AACH,CAAC;AAaD,MAAM,SAAS,GAAG,GAAG,CAAC;AACtB,MAAM,UAAU,GAAG,IAAI,CAAC;AAExB,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QACrC,IAAI,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;IACpD,IAAI,OAAO,GAAgC,MAAM,CAAC;IAClD,IAAI,SAAS,GAAG,0CAA0C,QAAQ,CAAC,MAAM,4BAA4B,CAAC;IACtG,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;QACxB,IAAI,GAAG,CAAC,UAAU,IAAI,UAAU,EAAE,CAAC;YACjC,OAAO,GAAG,OAAO,CAAC;YAClB,SAAS,GAAG,sCAAsC,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,kBAAkB,GAAG,CAAC,GAAG,EAAE,CAAC;QAC9H,CAAC;aAAM,IAAI,GAAG,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC;YACvC,OAAO,GAAG,MAAM,CAAC;YACjB,SAAS,GAAG,wBAAwB,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,mCAAmC,CAAC;QACxH,CAAC;aAAM,CAAC;YACN,OAAO,GAAG,SAAS,CAAC;YACpB,SAAS,GAAG,YAAY,OAAO,CAAC,MAAM,2BAA2B,GAAG,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;QACvH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AACrD,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,CAAmB;IAC9C,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;IAC3G,MAAM,KAAK,GAAa;QACtB,6BAA6B,KAAK,IAAI,CAAC,CAAC,OAAO,EAAE;QACjD,EAAE;QACF,KAAK,CAAC,CAAC,SAAS,EAAE;KACnB,CAAC;IACF,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;QACpD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,iBAAiB,CAAC,CAAC,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC7E,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;YACzC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;QAChD,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/dimensional_oracle/dimensional_oracle.test.d.ts

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

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

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

package/dist/dimensional_oracle/dimensional_oracle.test.js

@@ -0,0 +1,100 @@
+import { describe, expect, it } from "vitest";
+import { dimensionalCheck, formatReport, listDimensions, DIMENSION_CLASSES, QUANTITY_DIMENSION } from "./index.js";
+describe("dimensional oracle (v2.22.2)", () => {
+    describe("matches", () => {
+        it("MATCH: altitude in km is length", () => {
+            const r = dimensionalCheck("altitude = 400 km");
+            expect(r.verdict).toBe("MATCH");
+            expect(r.expected).toBe("length");
+            expect(r.observed).toBe("length");
+        });
+        it("MATCH: thrust in kN is force", () => {
+            const r = dimensionalCheck("thrust = 500 kN");
+            expect(r.verdict).toBe("MATCH");
+            expect(r.expected).toBe("force");
+        });
+        it("MATCH: velocity in m/s", () => {
+            const r = dimensionalCheck("velocity = 7600 m/s");
+            expect(r.verdict).toBe("MATCH");
+            expect(r.expected).toBe("velocity");
+        });
+        it("MATCH: pressure in MPa", () => {
+            const r = dimensionalCheck("pressure = 25 MPa");
+            expect(r.verdict).toBe("MATCH");
+            expect(r.expected).toBe("pressure");
+        });
+    });
+    describe("mismatches — the Mars Climate Orbiter class", () => {
+        it("MISMATCH: thrust in N/m² is pressure not force", () => {
+            const r = dimensionalCheck("thrust = 9.8 N/m^2");
+            expect(r.verdict).toBe("MISMATCH");
+            expect(r.expected).toBe("force");
+            expect(r.observed).toBe("pressure");
+            expect(r.suggestions.length).toBeGreaterThan(0);
+        });
+        it("MISMATCH: altitude in m/s is velocity not length", () => {
+            const r = dimensionalCheck("altitude = 400 m/s");
+            expect(r.verdict).toBe("MISMATCH");
+            expect(r.expected).toBe("length");
+            expect(r.observed).toBe("velocity");
+        });
+        it("MISMATCH: mass in J is energy not mass", () => {
+            const r = dimensionalCheck("mass = 500 J");
+            expect(r.verdict).toBe("MISMATCH");
+            expect(r.expected).toBe("mass");
+            expect(r.observed).toBe("energy");
+        });
+        it("MISMATCH: power in J is energy not power", () => {
+            const r = dimensionalCheck("power output = 1000 J");
+            expect(r.verdict).toBe("MISMATCH");
+            expect(r.expected).toBe("power");
+            expect(r.observed).toBe("energy");
+        });
+    });
+    describe("ambiguous + unknown", () => {
+        it("UNKNOWN_QUANTITY: unrecognised name with valid unit", () => {
+            const r = dimensionalCheck("flux capacitor = 1.21 GW");
+            expect(r.verdict).toBe("UNKNOWN_QUANTITY");
+            expect(r.observed).toBe("power");
+        });
+        it("UNKNOWN_UNIT: garbage unit", () => {
+            const r = dimensionalCheck("velocity = 5 flibbergibbets");
+            expect(r.verdict).toBe("UNKNOWN_UNIT");
+        });
+    });
+    describe("catalog", () => {
+        it("ships ≥ 15 dimension classes", () => {
+            expect(DIMENSION_CLASSES.length).toBeGreaterThanOrEqual(15);
+        });
+        it("every dimension class has shorthands + description", () => {
+            for (const d of DIMENSION_CLASSES) {
+                expect(d.shorthands.length).toBeGreaterThan(0);
+                expect(d.description.length).toBeGreaterThan(5);
+            }
+        });
+        it("every quantity-name → dimension is one of the registered dimensions", () => {
+            const valid = new Set(DIMENSION_CLASSES.map((d) => d.name));
+            for (const [, dim] of Object.entries(QUANTITY_DIMENSION)) {
+                if (dim === "torque")
+                    continue; // alias for energy SI base
+                expect(valid.has(dim)).toBe(true);
+            }
+        });
+        it("listDimensions returns the full catalog", () => {
+            expect(listDimensions().length).toBe(DIMENSION_CLASSES.length);
+        });
+    });
+    describe("formatter", () => {
+        it("formatReport shows ✓ on MATCH", () => {
+            const out = formatReport(dimensionalCheck("altitude = 400 km"));
+            expect(out).toContain("MATCH");
+            expect(out).toContain("✓");
+        });
+        it("formatReport shows ✗ + suggestions on MISMATCH", () => {
+            const out = formatReport(dimensionalCheck("thrust = 9.8 N/m^2"));
+            expect(out).toContain("MISMATCH");
+            expect(out).toContain("Suggestions");
+        });
+    });
+});
+//# sourceMappingURL=dimensional_oracle.test.js.map

package/dist/dimensional_oracle/dimensional_oracle.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dimensional_oracle.test.js","sourceRoot":"","sources":["../../src/dimensional_oracle/dimensional_oracle.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,cAAc,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAEnH,QAAQ,CAAC,8BAA8B,EAAE,GAAG,EAAE;IAE5C,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACvB,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,CAAC,GAAG,gBAAgB,CAAC,mBAAmB,CAAC,CAAC;YAChD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAChC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,CAAC,GAAG,gBAAgB,CAAC,iBAAiB,CAAC,CAAC;YAC9C,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAChC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,CAAC,GAAG,gBAAgB,CAAC,qBAAqB,CAAC,CAAC;YAClD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAChC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,CAAC,GAAG,gBAAgB,CAAC,mBAAmB,CAAC,CAAC;YAChD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAChC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;QAC3D,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,CAAC,GAAG,gBAAgB,CAAC,oBAAoB,CAAC,CAAC;YACjD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACnC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACjC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACpC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,CAAC,GAAG,gBAAgB,CAAC,oBAAoB,CAAC,CAAC;YACjD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACnC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACtC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,CAAC,GAAG,gBAAgB,CAAC,cAAc,CAAC,CAAC;YAC3C,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACnC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAChC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,CAAC,GAAG,gBAAgB,CAAC,uBAAuB,CAAC,CAAC;YACpD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACnC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACjC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,CAAC,GAAG,gBAAgB,CAAC,0BAA0B,CAAC,CAAC;YACvD,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAC3C,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,CAAC,GAAG,gBAAgB,CAAC,6BAA6B,CAAC,CAAC;YAC1D,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACvB,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;QAC9D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,KAAK,MAAM,CAAC,IAAI,iBAAiB,EAAE,CAAC;gBAClC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;gBAC/C,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAClD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,iBAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC5D,KAAK,MAAM,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,EAAE,CAAC;gBACzD,IAAI,GAAG,KAAK,QAAQ;oBAAE,SAAS,CAAC,2BAA2B;gBAC3D,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,CAAC,cAAc,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACjE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;QACzB,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,GAAG,GAAG,YAAY,CAAC,gBAAgB,CAAC,mBAAmB,CAAC,CAAC,CAAC;YAChE,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;YAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC7B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,GAAG,GAAG,YAAY,CAAC,gBAAgB,CAAC,oBAAoB,CAAC,CAAC,CAAC;YACjE,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;YAClC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/dimensional_oracle/index.d.ts

@@ -0,0 +1,62 @@
+/**
+ * v2.22.2 — DIMENSIONAL ORACLE.
+ *
+ * Pure unit-algebra check on any LLM claim. Catches the
+ * "Mars Climate Orbiter" class of bug: the claim states a quantity
+ * is one physical kind (force, energy) but the units it carries are a
+ * DIFFERENT kind (pressure, momentum). LLMs do this constantly.
+ *
+ *   "thrust = 9.8 N/m²"       → N/m² is pressure, not force      → MISMATCH
+ *   "burn rate = 12 J·s"      → J·s is action, not power         → MISMATCH
+ *   "altitude = 400 km"       → km is length; altitude IS length → MATCH
+ *   "torque = 25 J"           → J is energy; torque is N·m       → AMBIGUOUS
+ *                                (same SI base vector — formally
+ *                                 indistinguishable without context)
+ *
+ * Composes with:
+ *   - physics_lathe/units.ts  (SI parser + base-vector form)
+ *   - challenger_librarian    (Mars Climate Orbiter detector calls
+ *                              this primitive)
+ */
+import type { Unit } from "../physics_lathe/axioms.js";
+/** Physical-kind classification. Each entry is the canonical SI base
+ *  vector for that kind. When a claim's parsed unit matches a
+ *  classification, we know the dimension. */
+export interface DimensionClass {
+    /** Human label. */
+    name: string;
+    /** Canonical SI base vector. */
+    unit: Unit;
+    /** Common unit shorthands seen in LLM claims. */
+    shorthands: string[];
+    /** Plain-English description. */
+    description: string;
+}
+export declare const DIMENSION_CLASSES: DimensionClass[];
+/** Quantity-name → expected dimension. Used when a claim explicitly
+ *  names a physical kind ("thrust", "altitude", "specific impulse"). */
+export declare const QUANTITY_DIMENSION: Record<string, string>;
+export type Verdict = "MATCH" | "MISMATCH" | "AMBIGUOUS" | "UNKNOWN_QUANTITY" | "UNKNOWN_UNIT";
+export interface DimensionalReport {
+    v: 1;
+    verdict: Verdict;
+    /** The quantity name extracted (if any). */
+    quantity?: string;
+    /** Expected dimension class label (from QUANTITY_DIMENSION). */
+    expected?: string;
+    /** Observed dimension class label (from parsed unit). */
+    observed?: string;
+    /** Suggested corrections (for MISMATCH only). */
+    suggestions: string[];
+    /** Raw inputs for debug. */
+    raw: {
+        unitText: string;
+        siUnit: Unit | null;
+    };
+    /** Plain-English rationale. */
+    rationale: string;
+}
+export declare function dimensionalCheck(claim: string): DimensionalReport;
+export declare function formatReport(r: DimensionalReport): string;
+export declare function listDimensions(): DimensionClass[];
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/dimensional_oracle/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAGH,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,4BAA4B,CAAC;AAEvD;;6CAE6C;AAC7C,MAAM,WAAW,cAAc;IAC7B,mBAAmB;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,gCAAgC;IAChC,IAAI,EAAE,IAAI,CAAC;IACX,iDAAiD;IACjD,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,iCAAiC;IACjC,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,eAAO,MAAM,iBAAiB,EAAE,cAAc,EAsB7C,CAAC;AAEF;wEACwE;AACxE,eAAO,MAAM,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAyCrD,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,OAAO,GAAG,UAAU,GAAG,WAAW,GAAG,kBAAkB,GAAG,cAAc,CAAC;AAE/F,MAAM,WAAW,iBAAiB;IAChC,CAAC,EAAE,CAAC,CAAC;IACL,OAAO,EAAE,OAAO,CAAC;IACjB,4CAA4C;IAC5C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,gEAAgE;IAChE,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,yDAAyD;IACzD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,iDAAiD;IACjD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,4BAA4B;IAC5B,GAAG,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,IAAI,GAAG,IAAI,CAAA;KAAE,CAAC;IAC/C,+BAA+B;IAC/B,SAAS,EAAE,MAAM,CAAC;CACnB;AAuBD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,MAAM,GAAG,iBAAiB,CA4CjE;AAED,wBAAgB,YAAY,CAAC,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAoBzD;AAED,wBAAgB,cAAc,IAAI,cAAc,EAAE,CAA8B"}