@mikeargento/bitgraph-player 0.1.0

package/dist/__tests__/evaluate-verdict.test.js

@@ -0,0 +1,228 @@
+// 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 { resolveCast } from "../cast.js";
+import { evaluate } from "../evaluate.js";
+import { parseRule } from "../rule.js";
+import { buildVerdict, serializeVerdict } from "../verdict.js";
+import { digestFor, makeAudit } from "./fixtures.js";
+const PO = digestFor("purchase-order");
+const DEL = digestFor("delivery");
+const APPR = digestFor("approval");
+const CANCEL = digestFor("cancellation");
+/**
+ * The flagship shape: po -> delivery -> approval in one chain-linked
+ * component; a cancellation digest that was never recorded, declared
+ * optional.
+ */
+function poAudit() {
+    return makeAudit({
+        proofs: [
+            { name: "po", digestB64: PO, epochId: "E1", counter: "10", slotCounter: "9" },
+            { name: "del", digestB64: DEL, epochId: "E1", counter: "20", slotCounter: "19", prev: "po" },
+            { name: "appr", digestB64: APPR, epochId: "E1", counter: "30", slotCounter: "29", prev: "del" },
+        ],
+        partitions: [
+            { epochId: "E1", members: ["po", "del", "appr"], components: [["po", "del", "appr"]] },
+        ],
+    });
+}
+function poRule(overrides) {
+    return parseRule(JSON.stringify({
+        rule: "bitgraph-player/1",
+        id: "po-release-payment",
+        cast: {
+            purchase_order: { digest: PO, means: "PO-4471" },
+            delivery: { digest: DEL },
+            approval: { digest: APPR, signedBy: { kind: "c2pa", manifest: "m-123" } },
+            cancellation: { digest: overrides?.cancellationDigest ?? CANCEL, optional: true },
+        },
+        world: "closed",
+        requires: { ordering: overrides?.ordering ?? "hash-linked" },
+        claim: {
+            all: [
+                { exists: "purchase_order" },
+                { after: ["delivery", "purchase_order"] },
+                { after: ["approval", "delivery"] },
+                { not: { before: ["cancellation", "approval"] } },
+            ],
+        },
+        then: { label: "release_payment" },
+    }));
+}
+test("the purchase-order rule holds over a chain-linked fixture", () => {
+    const audit = poAudit();
+    const rule = poRule();
+    const evaluation = evaluate(rule, resolveCast(rule.cast, audit), audit);
+    assert.equal(evaluation.result, "TRUE");
+    assert.equal(evaluation.weakestEvidence, "hash-linked");
+    // Full walk: every sub-claim recorded.
+    assert.equal(evaluation.steps.length, 4);
+});
+test("absent-optional supports the negative: no cancellation precedes approval", () => {
+    const audit = poAudit();
+    const rule = poRule();
+    const evaluation = evaluate(rule, resolveCast(rule.cast, audit), audit);
+    const negStep = evaluation.steps.find((s) => s.claim.startsWith("before(cancellation"));
+    assert.ok(negStep);
+    assert.equal(negStep.result, "FALSE"); // so not(...) is TRUE
+});
+test("PLAN test: counter-order evidence under a hash-linked floor is UNDETERMINED, not TRUE and not FALSE", () => {
+    const audit = makeAudit({
+        proofs: [
+            { name: "po", digestB64: PO, epochId: "E1", counter: "10" },
+            { name: "del", digestB64: DEL, epochId: "E1", counter: "20" },
+        ],
+        // Separate components: counter-order only.
+        partitions: [{ epochId: "E1", members: ["po", "del"], components: [["po"], ["del"]] }],
+    });
+    const rule = parseRule(JSON.stringify({
+        rule: "bitgraph-player/1",
+        id: "floor-test",
+        cast: { po: { digest: PO }, del: { digest: DEL } },
+        world: "closed",
+        requires: { ordering: "hash-linked" },
+        claim: { before: ["po", "del"] },
+    }));
+    const evaluation = evaluate(rule, resolveCast(rule.cast, audit), audit);
+    assert.equal(evaluation.result, "UNDETERMINED");
+    // And the same evidence under the permissive floor answers TRUE.
+    const permissive = parseRule(JSON.stringify({
+        rule: "bitgraph-player/1",
+        id: "floor-test-2",
+        cast: { po: { digest: PO }, del: { digest: DEL } },
+        world: "closed",
+        requires: { ordering: "assumption-dependent" },
+        claim: { before: ["po", "del"] },
+    }));
+    const evaluation2 = evaluate(permissive, resolveCast(permissive.cast, audit), audit);
+    assert.equal(evaluation2.result, "TRUE");
+    assert.equal(evaluation2.weakestEvidence, "assumption-dependent");
+});
+test("the floor gates FALSE outcomes too: distrusted evidence is silent in both directions", () => {
+    const audit = makeAudit({
+        proofs: [
+            { name: "po", digestB64: PO, epochId: "E1", counter: "10" },
+            { name: "del", digestB64: DEL, epochId: "E1", counter: "20" },
+        ],
+        partitions: [{ epochId: "E1", members: ["po", "del"], components: [["po"], ["del"]] }],
+    });
+    const rule = parseRule(JSON.stringify({
+        rule: "bitgraph-player/1",
+        id: "floor-false",
+        cast: { po: { digest: PO }, del: { digest: DEL } },
+        world: "closed",
+        requires: { ordering: "hash-linked" },
+        claim: { before: ["del", "po"] }, // would be FALSE on counter-order evidence
+    }));
+    const evaluation = evaluate(rule, resolveCast(rule.cast, audit), audit);
+    assert.equal(evaluation.result, "UNDETERMINED");
+});
+test("PLAN test: a negative predicate naming an undeclared role is UNDETERMINED, not FALSE", () => {
+    const audit = poAudit();
+    const rule = parseRule(JSON.stringify({
+        rule: "bitgraph-player/1",
+        id: "open-world-negative",
+        cast: { approval: { digest: APPR } },
+        world: "closed",
+        requires: { ordering: "hash-linked" },
+        claim: { not: { before: ["ghost", "approval"] } },
+    }));
+    const evaluation = evaluate(rule, resolveCast(rule.cast, audit), audit);
+    assert.equal(evaluation.result, "UNDETERMINED");
+});
+test("PLAN test: two recordings of the same bits and no pin is UNDETERMINED", () => {
+    const audit = makeAudit({
+        proofs: [
+            { name: "x1", digestB64: PO, epochId: "E1", counter: "100" },
+            { name: "other", digestB64: DEL, epochId: "E1", counter: "200", prev: "x1" },
+            { name: "x2", digestB64: PO, epochId: "E1", counter: "300", prev: "other" },
+        ],
+        partitions: [
+            { epochId: "E1", members: ["x1", "x2", "other"], components: [["x1", "x2", "other"]] },
+        ],
+    });
+    const rule = parseRule(JSON.stringify({
+        rule: "bitgraph-player/1",
+        id: "multiplicity",
+        cast: { x: { digest: PO }, other: { digest: DEL } },
+        world: "closed",
+        requires: { ordering: "hash-linked" },
+        claim: { after: ["x", "other"] }, // TRUE and FALSE at once without an occurrence pin
+    }));
+    const evaluation = evaluate(rule, resolveCast(rule.cast, audit), audit);
+    assert.equal(evaluation.result, "UNDETERMINED");
+    // A pin resolves the ambiguity and the claim becomes decidable.
+    const pinned = parseRule(JSON.stringify({
+        rule: "bitgraph-player/1",
+        id: "multiplicity-pinned",
+        cast: {
+            x: { digest: PO, at: { epochId: "E1", counter: "300" } },
+            other: { digest: DEL },
+        },
+        world: "closed",
+        requires: { ordering: "hash-linked" },
+        claim: { after: ["x", "other"] },
+    }));
+    const evaluation2 = evaluate(pinned, resolveCast(pinned.cast, audit), audit);
+    assert.equal(evaluation2.result, "TRUE");
+});
+test("required-absent is UNDETERMINED; between works over a chain", () => {
+    const audit = poAudit();
+    const missingRequired = parseRule(JSON.stringify({
+        rule: "bitgraph-player/1",
+        id: "missing-required",
+        cast: { ghost: { digest: digestFor("never-recorded") } },
+        world: "closed",
+        requires: { ordering: "hash-linked" },
+        claim: { exists: "ghost" },
+    }));
+    assert.equal(evaluate(missingRequired, resolveCast(missingRequired.cast, audit), audit).result, "UNDETERMINED");
+    const between = parseRule(JSON.stringify({
+        rule: "bitgraph-player/1",
+        id: "between",
+        cast: { po: { digest: PO }, del: { digest: DEL }, appr: { digest: APPR } },
+        world: "closed",
+        requires: { ordering: "hash-linked" },
+        claim: { between: ["del", "po", "appr"] },
+    }));
+    const evaluation = evaluate(between, resolveCast(between.cast, audit), audit);
+    assert.equal(evaluation.result, "TRUE");
+    assert.equal(evaluation.steps.length, 2); // between records both halves
+});
+// ---------------------------------------------------------------------------
+// Verdict shape and determinism.
+// ---------------------------------------------------------------------------
+test("verdict carries the trust boundary: declared holds means, signedBy, and the closed world", () => {
+    const audit = poAudit();
+    const rule = poRule();
+    const resolutions = resolveCast(rule.cast, audit);
+    const evaluation = evaluate(rule, resolutions, audit);
+    const verdict = buildVerdict(rule, "ab".repeat(32), resolutions, evaluation, audit);
+    const assertions = verdict.declared.map((d) => d.assertion);
+    assert.ok(assertions.includes("means"));
+    assert.ok(assertions.includes("signedBy"));
+    assert.equal(assertions[assertions.length - 1], "closed-world");
+    const closedWorld = verdict.declared[verdict.declared.length - 1];
+    assert.equal(closedWorld["castSize"], 4);
+    assert.equal(closedWorld["recordingsInBundle"], 3);
+    for (const d of verdict.declared)
+        assert.equal(d.verifiedHere, false);
+    assert.equal(verdict.network, "none");
+});
+test("verdict bytes are deterministic and carry no timestamp", () => {
+    const audit = poAudit();
+    const rule = poRule();
+    const run = () => {
+        const resolutions = resolveCast(rule.cast, audit);
+        const evaluation = evaluate(rule, resolutions, audit);
+        return serializeVerdict(buildVerdict(rule, "ab".repeat(32), resolutions, evaluation, audit));
+    };
+    const first = run();
+    const second = run();
+    assert.equal(first, second);
+    assert.ok(!/generatedAt|startedAt|timestamp":/.test(first), "no run timestamp in verdict bytes");
+    assert.ok(!first.includes("fixture-path"), "no machine paths in verdict bytes");
+    assert.ok(first.endsWith("\n"));
+});
+//# sourceMappingURL=evaluate-verdict.test.js.map

package/dist/__tests__/evaluate-verdict.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"evaluate-verdict.test.js","sourceRoot":"","sources":["../../src/__tests__/evaluate-verdict.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,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AAC/D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAGrD,MAAM,EAAE,GAAG,SAAS,CAAC,gBAAgB,CAAC,CAAC;AACvC,MAAM,GAAG,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;AAClC,MAAM,IAAI,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;AACnC,MAAM,MAAM,GAAG,SAAS,CAAC,cAAc,CAAC,CAAC;AAEzC;;;;GAIG;AACH,SAAS,OAAO;IACd,OAAO,SAAS,CAAC;QACf,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE;YAC7E,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE;YAC5F,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE;SAChG;QACD,UAAU,EAAE;YACV,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE;SACvF;KACF,CAAC,CAAC;AACL,CAAC;AAED,SAAS,MAAM,CAAC,SAA8D;IAC5E,OAAO,SAAS,CACd,IAAI,CAAC,SAAS,CAAC;QACb,IAAI,EAAE,mBAAmB;QACzB,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE;YACJ,cAAc,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;YAChD,QAAQ,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;YACzB,QAAQ,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE;YACzE,YAAY,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,kBAAkB,IAAI,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE;SAClF;QACD,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,IAAI,aAAa,EAAE;QAC5D,KAAK,EAAE;YACL,GAAG,EAAE;gBACH,EAAE,MAAM,EAAE,gBAAgB,EAAE;gBAC5B,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,gBAAgB,CAAC,EAAE;gBACzC,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE;gBACnC,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,cAAc,EAAE,UAAU,CAAC,EAAE,EAAE;aAClD;SACF;QACD,IAAI,EAAE,EAAE,KAAK,EAAE,iBAAiB,EAAE;KACnC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;IACrE,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC;IACtB,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACxE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,eAAe,EAAE,aAAa,CAAC,CAAC;IACxD,uCAAuC;IACvC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAC3C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;IACpF,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC;IACtB,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACxE,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,qBAAqB,CAAC,CAAC,CAAC;IACxF,MAAM,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC;IACnB,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,sBAAsB;AAC/D,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,qGAAqG,EAAE,GAAG,EAAE;IAC/G,MAAM,KAAK,GAAG,SAAS,CAAC;QACtB,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;YAC3D,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;SAC9D;QACD,2CAA2C;QAC3C,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;KACvF,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,SAAS,CACpB,IAAI,CAAC,SAAS,CAAC;QACb,IAAI,EAAE,mBAAmB;QACzB,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE;QAClD,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE;QACrC,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE;KACjC,CAAC,CACH,CAAC;IACF,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACxE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAChD,iEAAiE;IACjE,MAAM,UAAU,GAAG,SAAS,CAC1B,IAAI,CAAC,SAAS,CAAC;QACb,IAAI,EAAE,mBAAmB;QACzB,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE;QAClD,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,sBAAsB,EAAE;QAC9C,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE;KACjC,CAAC,CACH,CAAC;IACF,MAAM,WAAW,GAAG,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACrF,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,eAAe,EAAE,sBAAsB,CAAC,CAAC;AACpE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,MAAM,KAAK,GAAG,SAAS,CAAC;QACtB,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;YAC3D,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE;SAC9D;QACD,UAAU,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;KACvF,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,SAAS,CACpB,IAAI,CAAC,SAAS,CAAC;QACb,IAAI,EAAE,mBAAmB;QACzB,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE;QAClD,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE;QACrC,KAAK,EAAE,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,EAAE,2CAA2C;KAC9E,CAAC,CACH,CAAC;IACF,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACxE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;AAClD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,sFAAsF,EAAE,GAAG,EAAE;IAChG,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;IACxB,MAAM,IAAI,GAAG,SAAS,CACpB,IAAI,CAAC,SAAS,CAAC;QACb,IAAI,EAAE,mBAAmB;QACzB,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE;QACpC,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE;QACrC,KAAK,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,UAAU,CAAC,EAAE,EAAE;KAClD,CAAC,CACH,CAAC;IACF,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACxE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;AAClD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;IACjF,MAAM,KAAK,GAAG,SAAS,CAAC;QACtB,MAAM,EAAE;YACN,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;YAC5D,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE;YAC5E,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE;SAC5E;QACD,UAAU,EAAE;YACV,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE;SACvF;KACF,CAAC,CAAC;IACH,MAAM,IAAI,GAAG,SAAS,CACpB,IAAI,CAAC,SAAS,CAAC;QACb,IAAI,EAAE,mBAAmB;QACzB,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE;QACnD,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE;QACrC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,mDAAmD;KACtF,CAAC,CACH,CAAC;IACF,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IACxE,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAEhD,gEAAgE;IAChE,MAAM,MAAM,GAAG,SAAS,CACtB,IAAI,CAAC,SAAS,CAAC;QACb,IAAI,EAAE,mBAAmB;QACzB,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE;YACJ,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE;YACxD,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE;SACvB;QACD,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE;QACrC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE;KACjC,CAAC,CACH,CAAC;IACF,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAC7E,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAC3C,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;IACvE,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;IACxB,MAAM,eAAe,GAAG,SAAS,CAC/B,IAAI,CAAC,SAAS,CAAC;QACb,IAAI,EAAE,mBAAmB;QACzB,EAAE,EAAE,kBAAkB;QACtB,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,SAAS,CAAC,gBAAgB,CAAC,EAAE,EAAE;QACxD,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE;QACrC,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;KAC3B,CAAC,CACH,CAAC;IACF,MAAM,CAAC,KAAK,CACV,QAAQ,CAAC,eAAe,EAAE,WAAW,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,MAAM,EACjF,cAAc,CACf,CAAC;IAEF,MAAM,OAAO,GAAG,SAAS,CACvB,IAAI,CAAC,SAAS,CAAC;QACb,IAAI,EAAE,mBAAmB;QACzB,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE;QAC1E,KAAK,EAAE,QAAQ;QACf,QAAQ,EAAE,EAAE,QAAQ,EAAE,aAAa,EAAE;QACrC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE;KAC1C,CAAC,CACH,CAAC;IACF,MAAM,UAAU,GAAG,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC;IAC9E,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACxC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,8BAA8B;AAC1E,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,iCAAiC;AACjC,8EAA8E;AAE9E,IAAI,CAAC,0FAA0F,EAAE,GAAG,EAAE;IACpG,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC;IACtB,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,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC;IAEpF,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC5D,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;IACxC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IAEhE,MAAM,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAA4B,CAAC;IAC7F,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC;IACzC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ;QAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,EAAE,KAAK,CAAC,CAAC;IACtE,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AACxC,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;IAClE,MAAM,KAAK,GAAG,OAAO,EAAE,CAAC;IACxB,MAAM,IAAI,GAAG,MAAM,EAAE,CAAC;IACtB,MAAM,GAAG,GAAG,GAAG,EAAE;QACf,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG,QAAQ,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;QACtD,OAAO,gBAAgB,CAAC,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC;IAC/F,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,GAAG,EAAE,CAAC;IACpB,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC;IACrB,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC5B,MAAM,CAAC,EAAE,CAAC,CAAC,mCAAmC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,mCAAmC,CAAC,CAAC;IACjG,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,mCAAmC,CAAC,CAAC;IAChF,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AAClC,CAAC,CAAC,CAAC"}

package/dist/__tests__/fixtures.d.ts

@@ -0,0 +1,63 @@
+/**
+ * Synthetic AuditResult fixtures for unit tests.
+ *
+ * Deliberately NOT real proofs and NOT run through the verifier: Player is
+ * a pure function over runAudit's OUTPUT, so unit tests exercise it against
+ * hand-built AuditResult shapes. No test ever writes to the ledger — the
+ * ledger is compliance-locked and recordings are permanent — and the
+ * integration/acceptance path uses existing exports read-only instead.
+ */
+import type { AuditResult, ObservedProof, SegmentBound } from "@mikeargento/bitgraph-audit";
+export interface FixtureProofSpec {
+    /** Short name; expands deterministically into hashes. */
+    name: string;
+    digestB64: string;
+    epochId?: string;
+    chainId?: string;
+    publicKeyB64?: string;
+    counter?: string;
+    slotCounter?: string;
+    /** Name of the predecessor proof this one links to via prevB64. */
+    prev?: string;
+    verified?: boolean;
+    tier?: "full" | "integrity";
+    status?: "verified" | "failed" | "artifact-unavailable";
+}
+export declare function proofHashOf(name: string): string;
+export declare function makeProof(spec: FixtureProofSpec): ObservedProof;
+export interface FixturePartitionSpec {
+    publicKeyB64?: string;
+    epochId?: string;
+    chainId?: string;
+    /** Member proof NAMES (expanded via proofHashOf). */
+    members: string[];
+    /** Component groupings by proof name; defaults to one component per member. */
+    components?: string[][];
+}
+export interface FixtureSegmentSpec {
+    /** Member proof names. */
+    members: string[];
+    lowerBounds?: Partial<SegmentBound>[];
+    upperBounds?: Partial<SegmentBound>[];
+}
+export declare function makeBound(partial: Partial<SegmentBound>): SegmentBound;
+export interface FixtureAuditSpec {
+    proofs: FixtureProofSpec[];
+    partitions?: FixturePartitionSpec[];
+    /** Epoch lineage pairs, transitive, as audit reports them. */
+    orderedPairs?: {
+        beforeEpochId: string;
+        afterEpochId: string;
+    }[];
+    /** Hard epochLink edges by proof NAME: predecessor and via. */
+    edges?: {
+        predecessor: string;
+        via: string;
+    }[];
+    segments?: FixtureSegmentSpec[];
+    unchained?: string[];
+}
+export declare function makeAudit(spec: FixtureAuditSpec): AuditResult;
+/** A digest spelled the way rules spell it, unique per tag. */
+export declare function digestFor(tag: string): string;
+//# sourceMappingURL=fixtures.d.ts.map

package/dist/__tests__/fixtures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixtures.d.ts","sourceRoot":"","sources":["../../src/__tests__/fixtures.ts"],"names":[],"mappings":"AAEA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAE5F,MAAM,WAAW,gBAAgB;IAC/B,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mEAAmE;IACnE,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC;IAC5B,MAAM,CAAC,EAAE,UAAU,GAAG,QAAQ,GAAG,sBAAsB,CAAC;CACzD;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEhD;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,gBAAgB,GAAG,aAAa,CAiC/D;AAED,MAAM,WAAW,oBAAoB;IACnC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qDAAqD;IACrD,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,+EAA+E;IAC/E,UAAU,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,kBAAkB;IACjC,0BAA0B;IAC1B,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,WAAW,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;IACtC,WAAW,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;CACvC;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,CAAC,YAAY,CAAC,GAAG,YAAY,CAYtE;AAED,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,gBAAgB,EAAE,CAAC;IAC3B,UAAU,CAAC,EAAE,oBAAoB,EAAE,CAAC;IACpC,8DAA8D;IAC9D,YAAY,CAAC,EAAE;QAAE,aAAa,EAAE,MAAM,CAAC;QAAC,YAAY,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACjE,+DAA+D;IAC/D,KAAK,CAAC,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,GAAG,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC/C,QAAQ,CAAC,EAAE,kBAAkB,EAAE,CAAC;IAChC,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC;CACtB;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,gBAAgB,GAAG,WAAW,CAwF7D;AAED,+DAA+D;AAC/D,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAG7C"}

package/dist/__tests__/fixtures.js

@@ -0,0 +1,150 @@
+// Copyright (c) 2024-2026 Mike Argento. Licensed under the MIT License. See LICENSE.
+export function proofHashOf(name) {
+    return `proofhash-${name}`;
+}
+export function makeProof(spec) {
+    const tier = spec.tier ?? "full";
+    const status = spec.status ??
+        (spec.verified === false
+            ? "failed"
+            : tier === "integrity"
+                ? "artifact-unavailable"
+                : "verified");
+    const proof = {
+        proofHash: proofHashOf(spec.name),
+        chainHash: `chainhash-${spec.name}`,
+        proof: {
+            version: "bitgraph/1",
+            artifact: { hashAlg: "sha256", digestB64: spec.digestB64 },
+        },
+        sources: [],
+        version: "bitgraph/1",
+        chainId: spec.chainId ?? "bitgraph:main",
+        publicKeyB64: spec.publicKeyB64 ?? "key-A",
+        hasSlotAllocation: true,
+        hasAttestation: false,
+        hasAgency: false,
+        hasEpochLink: false,
+        embeddedProofHash: "absent",
+        chainless: spec.counter === undefined && spec.epochId === undefined,
+        verification: { tier, status },
+    };
+    if (spec.epochId !== undefined)
+        proof["epochId"] = spec.epochId;
+    if (spec.counter !== undefined)
+        proof["counter"] = spec.counter;
+    if (spec.slotCounter !== undefined)
+        proof["slotCounter"] = spec.slotCounter;
+    if (spec.prev !== undefined)
+        proof["prevB64"] = `chainhash-${spec.prev}`;
+    return proof;
+}
+export function makeBound(partial) {
+    return {
+        kind: partial.kind ?? "not-before",
+        anchorProofHash: partial.anchorProofHash ?? "anchor-x",
+        blockHash: partial.blockHash ?? "0x" + "0".repeat(64),
+        timestamp: partial.timestamp ?? 0,
+        evidence: partial.evidence ?? "chain-link",
+        weaker: partial.weaker ?? false,
+        basis: partial.basis ?? "block-hash-unpredictability",
+        claim: partial.claim ?? "fixture bound",
+        ...(partial.blockNumber !== undefined ? { blockNumber: partial.blockNumber } : {}),
+    };
+}
+export function makeAudit(spec) {
+    const proofs = spec.proofs.map(makeProof);
+    const partitions = (spec.partitions ?? []).map((p) => {
+        const members = p.members.map(proofHashOf);
+        const components = (p.components ?? p.members.map((m) => [m])).map((group) => ({
+            memberProofHashes: group.map(proofHashOf),
+        }));
+        const key = {
+            publicKeyB64: p.publicKeyB64 ?? "key-A",
+            chainId: p.chainId ?? "bitgraph:main",
+        };
+        if (p.epochId !== undefined)
+            key["epochId"] = p.epochId;
+        return { key, memberProofHashes: members, components };
+    });
+    const segments = (spec.segments ?? []).map((s) => ({
+        partition: { publicKeyB64: "key-A", chainId: "bitgraph:main" },
+        memberProofHashes: s.members.map(proofHashOf),
+        status: "bracketed",
+        lowerBounds: (s.lowerBounds ?? []).map((b) => makeBound({ ...b, kind: "not-before" })),
+        upperBounds: (s.upperBounds ?? []).map((b) => makeBound({ ...b, kind: "not-after" })),
+    }));
+    const audit = {
+        runMetadata: {
+            toolVersion: "fixture",
+            startedAt: "1970-01-01T00:00:00.000Z",
+            bundlePath: "fixture",
+            container: "directory",
+        },
+        ingest: {
+            bundlePath: "fixture",
+            container: "directory",
+            entriesScanned: proofs.length,
+            proofs,
+            unsupportedVersions: [],
+            artifacts: [],
+            witnesses: [],
+            computedContentsHashB64: "fixture",
+            findings: [],
+            counts: {
+                observed: proofs.length,
+                proofFiles: proofs.length,
+                exactDuplicates: 0,
+                semanticDuplicates: 0,
+                unsupportedVersion: 0,
+                artifacts: 0,
+                witnesses: 0,
+                skippedUnsafePaths: 0,
+            },
+        },
+        verification: {},
+        reconstruction: {
+            partitions,
+            unchainedProofHashes: (spec.unchained ?? []).map(proofHashOf),
+            unpartitionedProofHashes: [],
+            epochRelationships: {
+                epochs: [],
+                edges: (spec.edges ?? []).map((e) => {
+                    const pred = spec.proofs.find((p) => p.name === e.predecessor);
+                    const via = spec.proofs.find((p) => p.name === e.via);
+                    return {
+                        fromEpochId: pred?.epochId ?? "?",
+                        toEpochId: via?.epochId ?? "?",
+                        viaProofHash: proofHashOf(e.via),
+                        link: {},
+                        resolution: "matched",
+                        predecessorProofHash: proofHashOf(e.predecessor),
+                        metadataConsistent: true,
+                        viaProofValid: true,
+                        predecessorValid: true,
+                        hardEdge: true,
+                    };
+                }),
+                orderedPairs: spec.orderedPairs ?? [],
+            },
+        },
+        anomalies: {},
+        authorities: {},
+        anchors: {},
+        witnesses: {},
+        temporal: {
+            segments,
+            anchorOrderedPairs: [],
+            verifiedAnchorProofHashes: [],
+            unverifiedAnchorProofHashes: [],
+        },
+        attestations: {},
+    };
+    return audit;
+}
+/** A digest spelled the way rules spell it, unique per tag. */
+export function digestFor(tag) {
+    // 32 bytes: the tag padded; deterministic and valid base64 once encoded.
+    return Buffer.from(tag.padEnd(32, ".")).toString("base64");
+}
+//# sourceMappingURL=fixtures.js.map

package/dist/__tests__/fixtures.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixtures.js","sourceRoot":"","sources":["../../src/__tests__/fixtures.ts"],"names":[],"mappings":"AAAA,qFAAqF;AA8BrF,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,OAAO,aAAa,IAAI,EAAE,CAAC;AAC7B,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAsB;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,CAAC;IACjC,MAAM,MAAM,GACV,IAAI,CAAC,MAAM;QACX,CAAC,IAAI,CAAC,QAAQ,KAAK,KAAK;YACtB,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,IAAI,KAAK,WAAW;gBACpB,CAAC,CAAC,sBAAsB;gBACxB,CAAC,CAAC,UAAU,CAAC,CAAC;IACpB,MAAM,KAAK,GAAG;QACZ,SAAS,EAAE,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC;QACjC,SAAS,EAAE,aAAa,IAAI,CAAC,IAAI,EAAE;QACnC,KAAK,EAAE;YACL,OAAO,EAAE,YAAY;YACrB,QAAQ,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE;SAC3D;QACD,OAAO,EAAE,EAAE;QACX,OAAO,EAAE,YAAY;QACrB,OAAO,EAAE,IAAI,CAAC,OAAO,IAAI,eAAe;QACxC,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,OAAO;QAC1C,iBAAiB,EAAE,IAAI;QACvB,cAAc,EAAE,KAAK;QACrB,SAAS,EAAE,KAAK;QAChB,YAAY,EAAE,KAAK;QACnB,iBAAiB,EAAE,QAAQ;QAC3B,SAAS,EAAE,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QACnE,YAAY,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;KACJ,CAAC;IAC7B,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,KAAK,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IAChE,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,KAAK,CAAC,SAAS,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC;IAChE,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;QAAE,KAAK,CAAC,aAAa,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC;IAC5E,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;QAAE,KAAK,CAAC,SAAS,CAAC,GAAG,aAAa,IAAI,CAAC,IAAI,EAAE,CAAC;IACzE,OAAO,KAAiC,CAAC;AAC3C,CAAC;AAmBD,MAAM,UAAU,SAAS,CAAC,OAA8B;IACtD,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,YAAY;QAClC,eAAe,EAAE,OAAO,CAAC,eAAe,IAAI,UAAU;QACtD,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,CAAC;QACjC,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,YAAY;QAC1C,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,KAAK;QAC/B,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,6BAA6B;QACrD,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,eAAe;QACvC,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnF,CAAC;AACJ,CAAC;AAaD,MAAM,UAAU,SAAS,CAAC,IAAsB;IAC9C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACnD,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAC3C,MAAM,UAAU,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC7E,iBAAiB,EAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC;SAC1C,CAAC,CAAC,CAAC;QACJ,MAAM,GAAG,GAA4B;YACnC,YAAY,EAAE,CAAC,CAAC,YAAY,IAAI,OAAO;YACvC,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,eAAe;SACtC,CAAC;QACF,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS;YAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC;QACxD,OAAO,EAAE,GAAG,EAAE,iBAAiB,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC;IACzD,CAAC,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjD,SAAS,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE;QAC9D,iBAAiB,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC;QAC7C,MAAM,EAAE,WAAW;QACnB,WAAW,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC;QACtF,WAAW,EAAE,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;KACtF,CAAC,CAAC,CAAC;IACJ,MAAM,KAAK,GAAG;QACZ,WAAW,EAAE;YACX,WAAW,EAAE,SAAS;YACtB,SAAS,EAAE,0BAA0B;YACrC,UAAU,EAAE,SAAS;YACrB,SAAS,EAAE,WAAW;SACvB;QACD,MAAM,EAAE;YACN,UAAU,EAAE,SAAS;YACrB,SAAS,EAAE,WAAW;YACtB,cAAc,EAAE,MAAM,CAAC,MAAM;YAC7B,MAAM;YACN,mBAAmB,EAAE,EAAE;YACvB,SAAS,EAAE,EAAE;YACb,SAAS,EAAE,EAAE;YACb,uBAAuB,EAAE,SAAS;YAClC,QAAQ,EAAE,EAAE;YACZ,MAAM,EAAE;gBACN,QAAQ,EAAE,MAAM,CAAC,MAAM;gBACvB,UAAU,EAAE,MAAM,CAAC,MAAM;gBACzB,eAAe,EAAE,CAAC;gBAClB,kBAAkB,EAAE,CAAC;gBACrB,kBAAkB,EAAE,CAAC;gBACrB,SAAS,EAAE,CAAC;gBACZ,SAAS,EAAE,CAAC;gBACZ,kBAAkB,EAAE,CAAC;aACtB;SACF;QACD,YAAY,EAAE,EAAE;QAChB,cAAc,EAAE;YACd,UAAU;YACV,oBAAoB,EAAE,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC;YAC7D,wBAAwB,EAAE,EAAE;YAC5B,kBAAkB,EAAE;gBAClB,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;oBAClC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC;oBAC/D,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;oBACtD,OAAO;wBACL,WAAW,EAAE,IAAI,EAAE,OAAO,IAAI,GAAG;wBACjC,SAAS,EAAE,GAAG,EAAE,OAAO,IAAI,GAAG;wBAC9B,YAAY,EAAE,WAAW,CAAC,CAAC,CAAC,GAAG,CAAC;wBAChC,IAAI,EAAE,EAAE;wBACR,UAAU,EAAE,SAAS;wBACrB,oBAAoB,EAAE,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC;wBAChD,kBAAkB,EAAE,IAAI;wBACxB,aAAa,EAAE,IAAI;wBACnB,gBAAgB,EAAE,IAAI;wBACtB,QAAQ,EAAE,IAAI;qBACf,CAAC;gBACJ,CAAC,CAAC;gBACF,YAAY,EAAE,IAAI,CAAC,YAAY,IAAI,EAAE;aACtC;SACF;QACD,SAAS,EAAE,EAAE;QACb,WAAW,EAAE,EAAE;QACf,OAAO,EAAE,EAAE;QACX,SAAS,EAAE,EAAE;QACb,QAAQ,EAAE;YACR,QAAQ;YACR,kBAAkB,EAAE,EAAE;YACtB,yBAAyB,EAAE,EAAE;YAC7B,2BAA2B,EAAE,EAAE;SAChC;QACD,YAAY,EAAE,EAAE;KACjB,CAAC;IACF,OAAO,KAA+B,CAAC;AACzC,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,SAAS,CAAC,GAAW;IACnC,yEAAyE;IACzE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AAC7D,CAAC"}

package/dist/__tests__/logic-rule.test.d.ts

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

package/dist/__tests__/logic-rule.test.d.ts.map

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