@mikeargento/bitgraph-player 0.1.0

package/dist/__tests__/logic-rule.test.js

@@ -0,0 +1,190 @@
+// Copyright (c) 2024-2026 Mike Argento. Licensed under the MIT License. See LICENSE.
+import { strict as assert } from "node:assert";
+import { test } from "node:test";
+import { kleeneAll, kleeneAny, kleeneNot } from "../logic.js";
+import { normalizeDigest, parseRule, RuleError } from "../rule.js";
+const T = "TRUE";
+const F = "FALSE";
+const U = "UNDETERMINED";
+const VALUES = [T, F, U];
+// ---------------------------------------------------------------------------
+// Kleene tables, exhaustively for the binary projections.
+// ---------------------------------------------------------------------------
+test("kleeneNot table", () => {
+    assert.equal(kleeneNot(T), F);
+    assert.equal(kleeneNot(F), T);
+    assert.equal(kleeneNot(U), U);
+});
+test("kleeneAll pairwise table", () => {
+    const expect = {
+        "TRUE,TRUE": T,
+        "TRUE,FALSE": F,
+        "TRUE,UNDETERMINED": U,
+        "FALSE,TRUE": F,
+        "FALSE,FALSE": F,
+        "FALSE,UNDETERMINED": F,
+        "UNDETERMINED,TRUE": U,
+        "UNDETERMINED,FALSE": F,
+        "UNDETERMINED,UNDETERMINED": U,
+    };
+    for (const a of VALUES) {
+        for (const b of VALUES) {
+            assert.equal(kleeneAll([a, b]), expect[`${a},${b}`], `all([${a}, ${b}])`);
+        }
+    }
+    assert.equal(kleeneAll([]), T, "empty conjunction is vacuously TRUE");
+});
+test("kleeneAny pairwise table", () => {
+    const expect = {
+        "TRUE,TRUE": T,
+        "TRUE,FALSE": T,
+        "TRUE,UNDETERMINED": T,
+        "FALSE,TRUE": T,
+        "FALSE,FALSE": F,
+        "FALSE,UNDETERMINED": U,
+        "UNDETERMINED,TRUE": T,
+        "UNDETERMINED,FALSE": U,
+        "UNDETERMINED,UNDETERMINED": U,
+    };
+    for (const a of VALUES) {
+        for (const b of VALUES) {
+            assert.equal(kleeneAny([a, b]), expect[`${a},${b}`], `any([${a}, ${b}])`);
+        }
+    }
+    assert.equal(kleeneAny([]), F, "empty disjunction is vacuously FALSE");
+});
+test("UNDETERMINED never launders into FALSE through not", () => {
+    // The single easiest way to make Player dishonest is a boolean evaluator.
+    assert.notEqual(kleeneNot(U), T);
+    assert.notEqual(kleeneNot(U), F);
+});
+// ---------------------------------------------------------------------------
+// Digest normalization: four spellings, one canonical form.
+// ---------------------------------------------------------------------------
+test("normalizeDigest accepts hex, sha256:hex, base64, base64url identically", () => {
+    const bytes = Buffer.alloc(32, 7);
+    const hex = bytes.toString("hex");
+    const b64 = bytes.toString("base64");
+    const b64url = bytes.toString("base64url");
+    assert.equal(normalizeDigest(hex), b64);
+    assert.equal(normalizeDigest(`sha256:${hex}`), b64);
+    assert.equal(normalizeDigest(b64), b64);
+    assert.equal(normalizeDigest(b64url), b64);
+});
+test("normalizeDigest rejects malformed input", () => {
+    assert.equal(normalizeDigest("not-a-digest"), undefined);
+    assert.equal(normalizeDigest("sha256:abcd"), undefined);
+    assert.equal(normalizeDigest(""), undefined);
+});
+// ---------------------------------------------------------------------------
+// Rule parsing.
+// ---------------------------------------------------------------------------
+const DIGEST = Buffer.alloc(32, 1).toString("base64");
+function baseRule() {
+    return {
+        rule: "bitgraph-player/1",
+        id: "test-rule",
+        cast: { a: { digest: DIGEST } },
+        world: "closed",
+        requires: { ordering: "hash-linked" },
+        claim: { exists: "a" },
+    };
+}
+test("a well-formed rule parses", () => {
+    const rule = parseRule(JSON.stringify(baseRule()));
+    assert.equal(rule.id, "test-rule");
+    assert.equal(rule.requires.ordering, "hash-linked");
+});
+test("a rule with no requires.ordering does not parse (mandatory trust floor)", () => {
+    const raw = baseRule();
+    delete raw["requires"];
+    assert.throws(() => parseRule(JSON.stringify(raw)), RuleError);
+    const raw2 = baseRule();
+    raw2["requires"] = {};
+    assert.throws(() => parseRule(JSON.stringify(raw2)), RuleError);
+});
+test("world is mandatory and must be closed", () => {
+    const raw = baseRule();
+    delete raw["world"];
+    assert.throws(() => parseRule(JSON.stringify(raw)), RuleError);
+    raw["world"] = "open";
+    assert.throws(() => parseRule(JSON.stringify(raw)), RuleError);
+});
+test("unknown fields are rejected at every level", () => {
+    const top = baseRule();
+    top["webhook"] = "https://example.com";
+    assert.throws(() => parseRule(JSON.stringify(top)), RuleError);
+    const castLevel = baseRule();
+    castLevel["cast"]["a"] = { digest: DIGEST, url: "x" };
+    assert.throws(() => parseRule(JSON.stringify(castLevel)), RuleError);
+});
+test("then accepts a label and nothing capable of causing an action", () => {
+    const ok = baseRule();
+    ok["then"] = { label: "release_payment" };
+    assert.equal(parseRule(JSON.stringify(ok)).then?.label, "release_payment");
+    // Constraint 3 enforced by the format: the first request for a webhook
+    // field is a request to make Player an enforcer.
+    const bad = baseRule();
+    bad["then"] = { label: "x", webhook: "https://example.com/pay" };
+    assert.throws(() => parseRule(JSON.stringify(bad)), RuleError);
+});
+test("claims must have exactly one known operator", () => {
+    const bad = baseRule();
+    bad["claim"] = { exists: "a", before: ["a", "a"] };
+    assert.throws(() => parseRule(JSON.stringify(bad)), RuleError);
+    const unknown = baseRule();
+    unknown["claim"] = { precedes: ["a", "b"] };
+    assert.throws(() => parseRule(JSON.stringify(unknown)), RuleError);
+});
+test("a claim referencing an undeclared role still parses (evaluates to UNDETERMINED, not a parse error)", () => {
+    const raw = baseRule();
+    raw["claim"] = { not: { before: ["ghost", "a"] } };
+    const rule = parseRule(JSON.stringify(raw));
+    assert.ok(rule);
+});
+test("malformed digests are parse errors", () => {
+    const raw = baseRule();
+    raw["cast"]["a"] = { digest: "zzzz" };
+    assert.throws(() => parseRule(JSON.stringify(raw)), RuleError);
+});
+test("a role named __proto__ is an ordinary own key, never a prototype assignment", () => {
+    // Built as JSON text: a JS object literal cannot even express an own
+    // "__proto__" key by assignment, which is exactly the trap the parser
+    // must not fall into on its side.
+    const json = `{"rule":"bitgraph-player/1","id":"t",` +
+        `"cast":{"a":{"digest":"${DIGEST}"},"__proto__":{"digest":"${DIGEST}"}},` +
+        `"world":"closed","requires":{"ordering":"hash-linked"},"claim":{"exists":"__proto__"}}`;
+    const rule = parseRule(json);
+    assert.ok(Object.keys(rule.cast).includes("__proto__"), "role survives as an own key");
+    assert.ok(Object.keys(rule.cast).includes("a"));
+    assert.equal(Object.getPrototypeOf(rule.cast), null);
+});
+test("pure-integer role names are rejected (declaration order would not survive)", () => {
+    const raw = baseRule();
+    raw["cast"]["2"] = { digest: DIGEST };
+    assert.throws(() => parseRule(JSON.stringify(raw)), RuleError);
+});
+test("non-canonical base64 spellings are rejected, not silently reinterpreted", () => {
+    // 43 chars + pad decodes to 32 bytes but carries nonzero trailing
+    // padding bits: Node's lenient decoder drops them, so accepting the
+    // spelling would collapse it into different bytes than written.
+    const nonCanonical = "A".repeat(42) + "B=";
+    assert.equal(normalizeDigest(nonCanonical), undefined);
+    const canonical = Buffer.alloc(32, 7).toString("base64");
+    assert.equal(normalizeDigest(canonical), canonical);
+});
+test("at pin must be exactly one of the two forms", () => {
+    const both = baseRule();
+    both["cast"]["a"] = {
+        digest: DIGEST,
+        at: { proofHash: "p", epochId: "e", counter: "1" },
+    };
+    assert.throws(() => parseRule(JSON.stringify(both)), RuleError);
+    const position = baseRule();
+    position["cast"]["a"] = {
+        digest: DIGEST,
+        at: { epochId: "e", counter: "12" },
+    };
+    assert.ok(parseRule(JSON.stringify(position)));
+});
+//# sourceMappingURL=logic-rule.test.js.map

package/dist/__tests__/logic-rule.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"logic-rule.test.js","sourceRoot":"","sources":["../../src/__tests__/logic-rule.test.ts"],"names":[],"mappings":"AAAA,qFAAqF;AAErF,OAAO,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAGnE,MAAM,CAAC,GAAgB,MAAM,CAAC;AAC9B,MAAM,CAAC,GAAgB,OAAO,CAAC;AAC/B,MAAM,CAAC,GAAgB,cAAc,CAAC;AACtC,MAAM,MAAM,GAA2B,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAEjD,8EAA8E;AAC9E,0DAA0D;AAC1D,8EAA8E;AAE9E,IAAI,CAAC,iBAAiB,EAAE,GAAG,EAAE;IAC3B,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9B,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAChC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACpC,MAAM,MAAM,GAAgC;QAC1C,WAAW,EAAE,CAAC;QACd,YAAY,EAAE,CAAC;QACf,mBAAmB,EAAE,CAAC;QACtB,YAAY,EAAE,CAAC;QACf,aAAa,EAAE,CAAC;QAChB,oBAAoB,EAAE,CAAC;QACvB,mBAAmB,EAAE,CAAC;QACtB,oBAAoB,EAAE,CAAC;QACvB,2BAA2B,EAAE,CAAC;KAC/B,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,qCAAqC,CAAC,CAAC;AACxE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACpC,MAAM,MAAM,GAAgC;QAC1C,WAAW,EAAE,CAAC;QACd,YAAY,EAAE,CAAC;QACf,mBAAmB,EAAE,CAAC;QACtB,YAAY,EAAE,CAAC;QACf,aAAa,EAAE,CAAC;QAChB,oBAAoB,EAAE,CAAC;QACvB,mBAAmB,EAAE,CAAC;QACtB,oBAAoB,EAAE,CAAC;QACvB,2BAA2B,EAAE,CAAC;KAC/B,CAAC;IACF,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;YACvB,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IACD,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,sCAAsC,CAAC,CAAC;AACzE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;IAC9D,0EAA0E;IAC1E,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACnC,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,4DAA4D;AAC5D,8EAA8E;AAE9E,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;IAClF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IACxC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,UAAU,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;IACpD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IACxC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yCAAyC,EAAE,GAAG,EAAE;IACnD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,cAAc,CAAC,EAAE,SAAS,CAAC,CAAC;IACzD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,aAAa,CAAC,EAAE,SAAS,CAAC,CAAC;IACxD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,CAAC;AAC/C,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAEtD,SAAS,QAAQ;IACf,OAAO;QACL,IAAI,EAAE,mBAAmB;QACzB,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;QAC/B,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE;QACrC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;KACvB,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACrC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IACnD,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;IACnC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,MAAM,GAAG,GAAG,QAAQ,EAAE,CAAC;IACvB,OAAO,GAAG,CAAC,UAAU,CAAC,CAAC;IACvB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAE/D,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;IACxB,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC;IACtB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AAClE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACjD,MAAM,GAAG,GAAG,QAAQ,EAAE,CAAC;IACvB,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;IACpB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAC/D,GAAG,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC;IACtB,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AACjE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4CAA4C,EAAE,GAAG,EAAE;IACtD,MAAM,GAAG,GAAG,QAAQ,EAAE,CAAC;IACvB,GAAG,CAAC,SAAS,CAAC,GAAG,qBAAqB,CAAC;IACvC,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAE/D,MAAM,SAAS,GAAG,QAAQ,EAAE,CAAC;IAC5B,SAAS,CAAC,MAAM,CAA6B,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC;IACnF,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AACvE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+DAA+D,EAAE,GAAG,EAAE;IACzE,MAAM,EAAE,GAAG,QAAQ,EAAE,CAAC;IACtB,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC1C,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,iBAAiB,CAAC,CAAC;IAE3E,uEAAuE;IACvE,iDAAiD;IACjD,MAAM,GAAG,GAAG,QAAQ,EAAE,CAAC;IACvB,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC;IACjE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AACjE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;IACvD,MAAM,GAAG,GAAG,QAAQ,EAAE,CAAC;IACvB,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;IACnD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAE/D,MAAM,OAAO,GAAG,QAAQ,EAAE,CAAC;IAC3B,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;IAC5C,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AACrE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oGAAoG,EAAE,GAAG,EAAE;IAC9G,MAAM,GAAG,GAAG,QAAQ,EAAE,CAAC;IACvB,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC;IACnD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5C,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;AAClB,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oCAAoC,EAAE,GAAG,EAAE;IAC9C,MAAM,GAAG,GAAG,QAAQ,EAAE,CAAC;IACtB,GAAG,CAAC,MAAM,CAA6B,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACnE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AACjE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6EAA6E,EAAE,GAAG,EAAE;IACvF,qEAAqE;IACrE,sEAAsE;IACtE,kCAAkC;IAClC,MAAM,IAAI,GACR,uCAAuC;QACvC,0BAA0B,MAAM,6BAA6B,MAAM,MAAM;QACzE,wFAAwF,CAAC;IAC3F,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,6BAA6B,CAAC,CAAC;IACvF,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAChD,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,MAAM,GAAG,GAAG,QAAQ,EAAE,CAAC;IACtB,GAAG,CAAC,MAAM,CAA6B,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IACnE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AACjE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,yEAAyE,EAAE,GAAG,EAAE;IACnF,kEAAkE;IAClE,oEAAoE;IACpE,gEAAgE;IAChE,MAAM,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;IAC3C,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,YAAY,CAAC,EAAE,SAAS,CAAC,CAAC;IACvD,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACzD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,CAAC;AACtD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;IACvD,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAC;IACvB,IAAI,CAAC,MAAM,CAA6B,CAAC,GAAG,CAAC,GAAG;QAC/C,MAAM,EAAE,MAAM;QACd,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE;KACnD,CAAC;IACF,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;IAEhE,MAAM,QAAQ,GAAG,QAAQ,EAAE,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAA6B,CAAC,GAAG,CAAC,GAAG;QACnD,MAAM,EAAE,MAAM;QACd,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE;KACpC,CAAC;IACF,MAAM,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AACjD,CAAC,CAAC,CAAC"}

package/dist/cast.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Cast resolution: digest -> recording.
+ *
+ * A digest identifies bits; a BitGraph recording identifies an OCCURRENCE
+ * of those bits at a causal position. The same bits can hold many
+ * positions by design (the ledger's by-digest index is one entry per
+ * causal position), so a role must resolve to exactly one recording:
+ *
+ *   exactly 1 verified match          -> resolved
+ *   0 matches, optional               -> absent (a definite fact under the closed world)
+ *   0 matches, required               -> absent (evaluates to UNDETERMINED)
+ *   2+ matches, no pin                -> ambiguous (UNDETERMINED, never a silent pick)
+ *   2+ matches, pin selects exactly 1 -> resolved
+ *
+ * Only proofs whose canonical verification passed (status "verified", at
+ * either tier) count as recordings. A file shaped like a proof that fails
+ * verification is noise, not evidence — but if matches exist and ALL fail
+ * verification, that is surfaced as invalid rather than silently treated
+ * as absence, because "the bundle contains only broken recordings of this
+ * digest" and "the bundle contains no recordings of this digest" are
+ * different situations and only one of them supports a closed-world
+ * absence claim.
+ */
+import type { AuditResult } from "@mikeargento/bitgraph-audit";
+import type { CastEntry, Resolution } from "./types.js";
+export declare function resolveRole(role: string, entry: CastEntry, audit: AuditResult): Resolution;
+/** Resolve every declared role. Deterministic: iterates the cast in declaration order. */
+export declare function resolveCast(cast: Record<string, CastEntry>, audit: AuditResult): Map<string, Resolution>;
+//# sourceMappingURL=cast.d.ts.map

package/dist/cast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cast.d.ts","sourceRoot":"","sources":["../src/cast.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAiB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAkBxD,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,GAAG,UAAU,CA6D1F;AAED,0FAA0F;AAC1F,wBAAgB,WAAW,CACzB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,EAC/B,KAAK,EAAE,WAAW,GACjB,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAMzB"}

package/dist/cast.js

@@ -0,0 +1,85 @@
+// Copyright (c) 2024-2026 Mike Argento. Licensed under the MIT License. See LICENSE.
+import { decodeDigestBytes, normalizeDigest } from "./rule.js";
+function matchesPin(proof, pin) {
+    if ("proofHash" in pin)
+        return proof.proofHash === pin.proofHash;
+    return proof.epochId === pin.epochId && proof.counter === pin.counter;
+}
+/**
+ * A recording counts when its canonical verification PASSED at either
+ * tier: "verified" is the full-tier pass (artifact bytes present and
+ * matching), "artifact-unavailable" is the integrity-tier pass (the proof
+ * verifies bytes-free; the digest is inside the signed body either way).
+ */
+function verificationPassed(proof) {
+    const status = proof.verification?.status;
+    return status === "verified" || status === "artifact-unavailable";
+}
+export function resolveRole(role, entry, audit) {
+    const digestB64 = normalizeDigest(entry.digest);
+    if (digestB64 === undefined) {
+        // parseRule already rejects malformed digests; this guards direct API use.
+        return { kind: "invalid", role, reason: "digest is not a well-formed 32-byte SHA-256" };
+    }
+    const targetBytes = decodeDigestBytes(digestB64);
+    const anyMatch = [];
+    const verified = [];
+    for (const proof of audit.ingest.proofs) {
+        // Byte-level match: a hostile file may spell its digest any way it
+        // likes, and "only broken recordings exist" must not masquerade as
+        // "no recordings exist".
+        const proofDigest = decodeDigestBytes(proof.proof.artifact.digestB64);
+        if (proofDigest === undefined || !proofDigest.equals(targetBytes))
+            continue;
+        anyMatch.push(proof);
+        if (verificationPassed(proof))
+            verified.push(proof);
+    }
+    if (verified.length === 0) {
+        if (anyMatch.length > 0) {
+            return {
+                kind: "invalid",
+                role,
+                reason: `${anyMatch.length} recording(s) of this digest are present but none passed verification`,
+            };
+        }
+        return { kind: "absent", role, optional: entry.optional === true };
+    }
+    let candidates = verified;
+    if (entry.at !== undefined) {
+        const pin = entry.at;
+        candidates = verified.filter((p) => matchesPin(p, pin));
+        if (candidates.length === 0) {
+            return {
+                kind: "invalid",
+                role,
+                reason: `"at" pin matches none of the ${verified.length} verified recording(s) of this digest`,
+            };
+        }
+    }
+    if (candidates.length > 1) {
+        return {
+            kind: "ambiguous",
+            role,
+            matchCount: candidates.length,
+            candidates: candidates.map((p) => p.proofHash).sort(),
+        };
+    }
+    const proof = candidates[0];
+    return {
+        kind: "resolved",
+        role,
+        proof,
+        verificationTier: proof.verification?.tier ?? "integrity",
+        matchCount: verified.length,
+    };
+}
+/** Resolve every declared role. Deterministic: iterates the cast in declaration order. */
+export function resolveCast(cast, audit) {
+    const out = new Map();
+    for (const [role, entry] of Object.entries(cast)) {
+        out.set(role, resolveRole(role, entry, audit));
+    }
+    return out;
+}
+//# sourceMappingURL=cast.js.map

package/dist/cast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cast.js","sourceRoot":"","sources":["../src/cast.ts"],"names":[],"mappings":"AAAA,qFAAqF;AA2BrF,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAG/D,SAAS,UAAU,CAAC,KAAoB,EAAE,GAAiC;IACzE,IAAI,WAAW,IAAI,GAAG;QAAE,OAAO,KAAK,CAAC,SAAS,KAAK,GAAG,CAAC,SAAS,CAAC;IACjE,OAAO,KAAK,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,KAAK,GAAG,CAAC,OAAO,CAAC;AACxE,CAAC;AAED;;;;;GAKG;AACH,SAAS,kBAAkB,CAAC,KAAoB;IAC9C,MAAM,MAAM,GAAG,KAAK,CAAC,YAAY,EAAE,MAAM,CAAC;IAC1C,OAAO,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,sBAAsB,CAAC;AACpE,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,KAAgB,EAAE,KAAkB;IAC5E,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,2EAA2E;QAC3E,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,6CAA6C,EAAE,CAAC;IAC1F,CAAC;IACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,SAAS,CAAW,CAAC;IAE3D,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;QACxC,mEAAmE;QACnE,mEAAmE;QACnE,yBAAyB;QACzB,MAAM,WAAW,GAAG,iBAAiB,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QACtE,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,CAAC;YAAE,SAAS;QAC5E,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,IAAI,kBAAkB,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI;gBACJ,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,uEAAuE;aAClG,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;IACrE,CAAC;IAED,IAAI,UAAU,GAAG,QAAQ,CAAC;IAC1B,IAAI,KAAK,CAAC,EAAE,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC;QACrB,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,OAAO;gBACL,IAAI,EAAE,SAAS;gBACf,IAAI;gBACJ,MAAM,EAAE,gCAAgC,QAAQ,CAAC,MAAM,uCAAuC;aAC/F,CAAC;QACJ,CAAC;IACH,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,WAAW;YACjB,IAAI;YACJ,UAAU,EAAE,UAAU,CAAC,MAAM;YAC7B,UAAU,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE;SACtD,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAkB,CAAC;IAC7C,OAAO;QACL,IAAI,EAAE,UAAU;QAChB,IAAI;QACJ,KAAK;QACL,gBAAgB,EAAE,KAAK,CAAC,YAAY,EAAE,IAAI,IAAI,WAAW;QACzD,UAAU,EAAE,QAAQ,CAAC,MAAM;KAC5B,CAAC;AACJ,CAAC;AAED,0FAA0F;AAC1F,MAAM,UAAU,WAAW,CACzB,IAA+B,EAC/B,KAAkB;IAElB,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACjD,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/cli.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

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

package/dist/cli.js

@@ -0,0 +1,130 @@
+#!/usr/bin/env node
+// Copyright (c) 2024-2026 Mike Argento. Licensed under the MIT License. See LICENSE.
+/**
+ * bitgraph-play <rule.json> <bundle> [--out <file>] [--summary]
+ *
+ * Evaluates a bitgraph-player/1 rule against a proof bundle (directory,
+ * .tar, .tar.gz, or .tgz) and writes the verdict JSON to stdout (or
+ * --out). Offline: the audit pipeline and the evaluator make no network
+ * requests of any kind.
+ *
+ * Exit codes: 0 TRUE, 1 FALSE, 2 UNDETERMINED, 3 error.
+ * Diagnostics go to stderr; stdout carries verdict bytes only.
+ *
+ * The process exits by setting process.exitCode and returning, never by
+ * process.exit(): exiting early would truncate a verdict still draining
+ * to a pipe.
+ */
+import { createHash } from "node:crypto";
+import { readFileSync, writeFileSync } from "node:fs";
+import { runAudit } from "@mikeargento/bitgraph-audit";
+import { resolveCast } from "./cast.js";
+import { evaluate } from "./evaluate.js";
+import { parseRule, RuleError } from "./rule.js";
+import { buildVerdict, serializeVerdict } from "./verdict.js";
+function usage() {
+    process.stderr.write("usage: bitgraph-play <rule.json> <bundle> [--out <file>] [--summary]\n" +
+        "  exit codes: 0 TRUE, 1 FALSE, 2 UNDETERMINED, 3 error\n");
+    return 3;
+}
+function printSummary(audit) {
+    const lines = [];
+    const c = audit.ingest.counts;
+    lines.push(`bundle: ${c.observed} observed proof(s), ${c.artifacts} artifact(s), ${c.witnesses} witness file(s)`);
+    for (const partition of audit.reconstruction.partitions) {
+        const key = partition.key;
+        lines.push(`partition epoch=${key.epochId ?? "(none)"} chain=${key.chainId} key=${key.publicKeyB64.slice(0, 12)}…: ` +
+            `${partition.memberProofHashes.length} proof(s) in ${partition.components.length} component(s)`);
+    }
+    const rel = audit.reconstruction.epochRelationships;
+    lines.push(`epochs: ${rel.epochs.length} observed, ${rel.orderedPairs.length} lineage-ordered pair(s), ` +
+        `${audit.temporal.anchorOrderedPairs.length} anchor-ordered pair(s)`);
+    lines.push(`unchained: ${audit.reconstruction.unchainedProofHashes.length}, unpartitioned: ${audit.reconstruction.unpartitionedProofHashes.length}`);
+    process.stderr.write(lines.join("\n") + "\n");
+}
+async function main() {
+    const args = process.argv.slice(2);
+    const positional = [];
+    let outFile;
+    let summary = false;
+    for (let i = 0; i < args.length; i++) {
+        const arg = args[i];
+        if (arg === "--out") {
+            const next = args[++i];
+            if (next === undefined || next.startsWith("-"))
+                return usage();
+            outFile = next;
+        }
+        else if (arg === "--summary") {
+            summary = true;
+        }
+        else if (arg.startsWith("-")) {
+            return usage();
+        }
+        else {
+            positional.push(arg);
+        }
+    }
+    if (positional.length !== 2)
+        return usage();
+    const [rulePath, bundlePath] = positional;
+    let ruleBytes;
+    try {
+        ruleBytes = readFileSync(rulePath);
+    }
+    catch (err) {
+        process.stderr.write(`error: cannot read rule file: ${err.message}\n`);
+        return 3;
+    }
+    const ruleSha256Hex = createHash("sha256").update(ruleBytes).digest("hex");
+    let rule;
+    try {
+        rule = parseRule(ruleBytes.toString("utf8"));
+    }
+    catch (err) {
+        if (err instanceof RuleError) {
+            process.stderr.write("error: invalid rule\n");
+            for (const issue of err.issues)
+                process.stderr.write(`  - ${issue}\n`);
+        }
+        else {
+            process.stderr.write(`error: ${err.message}\n`);
+        }
+        return 3;
+    }
+    let audit;
+    try {
+        audit = await runAudit(bundlePath);
+    }
+    catch (err) {
+        process.stderr.write(`error: bundle audit failed: ${err.message}\n`);
+        return 3;
+    }
+    const resolutions = resolveCast(rule.cast, audit);
+    const evaluation = evaluate(rule, resolutions, audit);
+    const verdict = buildVerdict(rule, ruleSha256Hex, resolutions, evaluation, audit);
+    const bytes = serializeVerdict(verdict);
+    if (outFile !== undefined) {
+        writeFileSync(outFile, bytes);
+    }
+    else {
+        process.stdout.write(bytes);
+    }
+    if (summary)
+        printSummary(audit);
+    switch (evaluation.result) {
+        case "TRUE":
+            return 0;
+        case "FALSE":
+            return 1;
+        case "UNDETERMINED":
+            return 2;
+    }
+}
+main().then((code) => {
+    process.exitCode = code;
+}, (err) => {
+    process.stderr.write(`error: ${err.message}\n`);
+    process.exitCode = 3;
+});
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,qFAAqF;AAErF;;;;;;;;;;;;;;GAcG;AAEH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAEvD,OAAO,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAC;AAE9D,SAAS,KAAK;IACZ,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,wEAAwE;QACtE,0DAA0D,CAC7D,CAAC;IACF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,YAAY,CAAC,KAAkB;IACtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC;IAC9B,KAAK,CAAC,IAAI,CACR,WAAW,CAAC,CAAC,QAAQ,uBAAuB,CAAC,CAAC,SAAS,iBAAiB,CAAC,CAAC,SAAS,kBAAkB,CACtG,CAAC;IACF,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,cAAc,CAAC,UAAU,EAAE,CAAC;QACxD,MAAM,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC;QAC1B,KAAK,CAAC,IAAI,CACR,mBAAmB,GAAG,CAAC,OAAO,IAAI,QAAQ,UAAU,GAAG,CAAC,OAAO,QAAQ,GAAG,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK;YACvG,GAAG,SAAS,CAAC,iBAAiB,CAAC,MAAM,gBAAgB,SAAS,CAAC,UAAU,CAAC,MAAM,eAAe,CAClG,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,cAAc,CAAC,kBAAkB,CAAC;IACpD,KAAK,CAAC,IAAI,CACR,WAAW,GAAG,CAAC,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,YAAY,CAAC,MAAM,4BAA4B;QAC3F,GAAG,KAAK,CAAC,QAAQ,CAAC,kBAAkB,CAAC,MAAM,yBAAyB,CACvE,CAAC;IACF,KAAK,CAAC,IAAI,CACR,cAAc,KAAK,CAAC,cAAc,CAAC,oBAAoB,CAAC,MAAM,oBAAoB,KAAK,CAAC,cAAc,CAAC,wBAAwB,CAAC,MAAM,EAAE,CACzI,CAAC;IACF,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;AAChD,CAAC;AAED,KAAK,UAAU,IAAI;IACjB,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,OAA2B,CAAC;IAChC,IAAI,OAAO,GAAG,KAAK,CAAC;IACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,CAAC,CAAW,CAAC;QAC9B,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YACvB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,OAAO,KAAK,EAAE,CAAC;YAC/D,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;aAAM,IAAI,GAAG,KAAK,WAAW,EAAE,CAAC;YAC/B,OAAO,GAAG,IAAI,CAAC;QACjB,CAAC;aAAM,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/B,OAAO,KAAK,EAAE,CAAC;QACjB,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,EAAE,CAAC;IAC5C,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,GAAG,UAA8B,CAAC;IAE9D,IAAI,SAAiB,CAAC;IACtB,IAAI,CAAC;QACH,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,iCAAkC,GAAa,CAAC,OAAO,IAAI,CAAC,CAAC;QAClF,OAAO,CAAC,CAAC;IACX,CAAC;IACD,MAAM,aAAa,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAE3E,IAAI,IAAI,CAAC;IACT,IAAI,CAAC;QACH,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAC/C,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,IAAI,GAAG,YAAY,SAAS,EAAE,CAAC;YAC7B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAC;YAC9C,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,MAAM;gBAAE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;QACzE,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,UAAW,GAAa,CAAC,OAAO,IAAI,CAAC,CAAC;QAC7D,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC;IAED,IAAI,KAAkB,CAAC;IACvB,IAAI,CAAC;QACH,KAAK,GAAG,MAAM,QAAQ,CAAC,UAAU,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,+BAAgC,GAAa,CAAC,OAAO,IAAI,CAAC,CAAC;QAChF,OAAO,CAAC,CAAC;IACX,CAAC;IAED,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAClD,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,aAAa,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IAClF,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAExC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QAC1B,aAAa,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAChC,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC9B,CAAC;IACD,IAAI,OAAO;QAAE,YAAY,CAAC,KAAK,CAAC,CAAC;IAEjC,QAAQ,UAAU,CAAC,MAAM,EAAE,CAAC;QAC1B,KAAK,MAAM;YACT,OAAO,CAAC,CAAC;QACX,KAAK,OAAO;YACV,OAAO,CAAC,CAAC;QACX,KAAK,cAAc;YACjB,OAAO,CAAC,CAAC;IACb,CAAC;AACH,CAAC;AAED,IAAI,EAAE,CAAC,IAAI,CACT,CAAC,IAAI,EAAE,EAAE;IACP,OAAO,CAAC,QAAQ,GAAG,IAAI,CAAC;AAC1B,CAAC,EACD,CAAC,GAAY,EAAE,EAAE;IACf,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,UAAW,GAAa,CAAC,OAAO,IAAI,CAAC,CAAC;IAC3D,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;AACvB,CAAC,CACF,CAAC"}

package/dist/evaluate.d.ts

@@ -0,0 +1,30 @@
+/**
+ * The evaluator: walks the claim tree over resolved recordings and the
+ * ordering adapter, under strong Kleene semantics.
+ *
+ * Deliberate properties:
+ *
+ * - FULL WALK, no short-circuit. Every sub-claim is evaluated and recorded
+ *   so the verdict is a complete replayable trace, not just an outcome.
+ *
+ * - CLOSED WORLD, scoped to the cast. An absent OPTIONAL role is a
+ *   definite absence within the declared universe: positive claims about
+ *   it are FALSE, so negatives over it hold. An absent REQUIRED role, an
+ *   ambiguous role, and a role the cast never declared are UNDETERMINED —
+ *   the evidence does not decide, and saying FALSE would be a lie.
+ *
+ * - THE FLOOR GATES EVIDENCE, NOT POLARITY. When an ordering answer rests
+ *   on a tier below requires.ordering, the answer is UNDETERMINED whether
+ *   it would have been TRUE or FALSE: the rule author said not to trust
+ *   that evidence in either direction.
+ */
+import type { AuditResult } from "@mikeargento/bitgraph-audit";
+import type { DerivedStep, EvidenceTier, Resolution, Rule, ThreeValued } from "./types.js";
+export interface Evaluation {
+    result: ThreeValued;
+    steps: DerivedStep[];
+    /** Weakest tier among ordering answers that actually decided a step. */
+    weakestEvidence?: EvidenceTier;
+}
+export declare function evaluate(rule: Rule, resolutions: Map<string, Resolution>, audit: AuditResult): Evaluation;
+//# sourceMappingURL=evaluate.d.ts.map

package/dist/evaluate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate.d.ts","sourceRoot":"","sources":["../src/evaluate.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAiB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,KAAK,EAEV,WAAW,EACX,YAAY,EACZ,UAAU,EACV,IAAI,EACJ,WAAW,EACZ,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,UAAU;IACzB,MAAM,EAAE,WAAW,CAAC;IACpB,KAAK,EAAE,WAAW,EAAE,CAAC;IACrB,wEAAwE;IACxE,eAAe,CAAC,EAAE,YAAY,CAAC;CAChC;AAsLD,wBAAgB,QAAQ,CACtB,IAAI,EAAE,IAAI,EACV,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,EACpC,KAAK,EAAE,WAAW,GACjB,UAAU,CAUZ"}