@mikeargento/bitgraph-player 0.15.0 → 0.16.0

package/README.md

@@ -5,9 +5,9 @@ Deterministic evaluation of causal rules over BitGraph proof bundles.
 BitGraph records. Player evaluates.
 
 A BitGraph proof bundle establishes facts: these bits were recorded at
-these causal positions, anchored to a public timeline. Player
+these causal positions, tied to a public timeline. Player
 evaluates a rule over those facts and produces a verdict anyone can
-reproduce from the bundle alone — no network, no clock, no account, no
+reproduce from the bundle alone: no network, no clock, no account, no
 trust in the machine that ran it first.
 
     evidence + rule = conclusion
@@ -20,24 +20,35 @@ trust in the machine that ran it first.
 
     bitgraph-play rule.json bundle/ > verdict.json
 
-The bundle is a directory, `.tar`, or `.tar.gz` of BitGraph exports (the
-folders the BitGraph Folder writes). Exit codes: `0` TRUE, `1` FALSE,
+The bundle is a directory, `.tar`, or `.tar.gz` of BitGraph proofs:
+`proof.json` files beside the files they record, Frame files
+(`bitgraph-fuse/1`), Ethereum anchor witnesses for proofs made before
+the Base floor. This build reads through
+`@mikeargento/bitgraph-audit` 0.7.x, which does not read the export
+(`bitgraph-export/1`) a tree/1 BitGraph is kept with. So Player does not
+read exports yet; a file with its export is checked with
+`npx -p @mikeargento/bitgraph-sdk bitgraph verify <file> <export.json>`
+or with bitgraph-audit 0.9.0. Exit codes: `0` TRUE, `1` FALSE,
 `2` UNDETERMINED, `3` error. `--out file` writes the verdict to a file;
 `--summary` prints a bundle reconnaissance to stderr.
 
 ## Check a bundle
 
-    bitgraph-play check "BitGraph (photo.jpg)/"
+    bitgraph-play check recordings/
     bitgraph-play check proof.json photo.jpg --json
 
-No rule needed. `check` reads an export (a folder or archive, or a
+No rule needed. `check` reads a bundle (a folder or archive, or a
 proof.json beside the file it records) and says, offline, what the bundle
 establishes about each recording in it: that the file in hand hashes to
 the recorded digest, that the Ed25519 signature and position binding verify,
 that the AWS Nitro attestation validates to the AWS root and binds this
 exact proof, that the attested PCR0 is a published BitGraph enclave
-measurement, and, from block headers in the bundle, which Ethereum blocks
-the recording sits between. Every line is TRUE, FALSE, or UNDETERMINED:
+measurement (enclave v9 included), and, from block headers in the bundle,
+the Ethereum block the recording comes after (its floor, a time) and the
+later anchor it was committed before (a position, never a clock time).
+This build predates the Base floor (`commit.slotFloor`): it states the
+floor of Ethereum-anchored proofs only.
+Every line is TRUE, FALSE, or UNDETERMINED:
 FALSE only when evidence in hand contradicts the recording (an edited
 signature, a block header that does not hash to its anchor), UNDETERMINED
 when the evidence does not decide (the file is not in the bundle, a
@@ -46,7 +57,7 @@ no offline check can establish, stated rather than implied. `--json`
 prints the `bitgraph-check/1` report; exit codes match evaluation.
 
 The same check runs in a browser: `verify.html`, built from this package
-to `dist-web/verify.html`. Open it and choose or drop an export, offline,
+to `dist-web/verify.html`. Open it and choose or drop a bundle, offline,
 and it renders the same report from the same code. bitgraph.ing stopped
 serving a copy on 8 September 2026: loading a checker from the party
 being checked is not an offline check. A copy you already have still
@@ -59,7 +70,7 @@ network request.
 
 `init` hashes the files you name and writes a rule skeleton with the
 cast filled in: one role per file, digests computed, role names from
-filenames. The skeleton does not run as written — `requires.ordering`
+filenames. The skeleton does not run as written: `requires.ordering`
 is a placeholder you must replace, because the trust floor is the
 rule's own security policy and has no default, from the scaffolder or
 anywhere else. Choose the floor, say what each digest means, refine the
@@ -98,7 +109,7 @@ ambiguous rather than silently picking a mode.
 
 `cast` is everything taken on the rule author's word: which digest means
 what, which occurrence is meant, who is said to have signed it. `claim`
-is only what BitGraph derives. `then` is a label — no field of a rule can
+is only what BitGraph derives. `then` is a label: no field of a rule can
 cause an action. Player decides; whatever stakes money on a TRUE sits
 above it.
 
@@ -113,7 +124,7 @@ wrong on some input.
 
 The verdict splits `derived` (BitGraph established this) from `declared`
 (a named party asserted this), and its last declared entry is always the
-closed world itself — absence is asserted only among the roles the author
+closed world itself: absence is asserted only among the roles the author
 declared, and nothing establishes that the cast is complete.
 
 ## Determinism
@@ -126,7 +137,7 @@ agree with it.
 
 ## API
 
-One call runs the whole pipeline — the CLI is built on the same
+One call runs the whole pipeline; the CLI is built on the same
 function, so embedding Player cannot drift from it:
 
 ```ts
@@ -159,7 +170,7 @@ browser page share:
 import { ingestBundle, ingestEntries } from "@mikeargento/bitgraph-audit";
 import { checkIngest, renderCheckText } from "@mikeargento/bitgraph-player";
 
-const report = await checkIngest(await ingestBundle("BitGraph (photo.jpg)/"));
+const report = await checkIngest(await ingestBundle("recordings/"));
 // or, from bytes already in hand (a browser drop):
 // await checkIngest(await ingestEntries([{ path: "proof.json", open: () => bytes }]));
 process.stdout.write(renderCheckText(report));

package/dist/__tests__/base-floor-check.test.d.ts

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

package/dist/__tests__/base-floor-check.test.d.ts.map

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

package/dist/__tests__/base-floor-check.test.js

@@ -0,0 +1,163 @@
+// Copyright (c) 2024-2026 Argento Computing Inc. Licensed under the MIT License. See LICENSE.
+/**
+ * Base floors (enclave v10) in `check` and `compare`.
+ *
+ * From enclave v10 a recording signs its floor as a Base block
+ * (commit.slotFloor) instead of an Ethereum anchor. An audit that reads it
+ * reports a not-before segment bound with source "signed-floor" and chain
+ * "base", a TemporalAnalysis.signedFloors record per floor, and
+ * floorProblems. The Player reads those fields structurally (it still builds
+ * against an older audit), so these tests hand it AuditResult shapes with
+ * them, exactly as the fixtures elsewhere do. No ledger writes, no network.
+ */
+import { describe, it } from "node:test";
+import * as assert from "node:assert/strict";
+import { buildCheckReport, renderCheckText } from "../check.js";
+import { compare } from "../order.js";
+import { digestFor, makeAudit, makeBound, proofHashOf } from "./fixtures.js";
+const BASE_BLOCK = 52271417;
+const BASE_TIME = 1791332181;
+const BASE_HASH = "0x71d926aeae9847fcc15fad2d4de8871923f56862d42db7a7463e95a838f8f9b0";
+function complete(audit, temporal) {
+    return {
+        ...audit,
+        anomalies: { anomalies: [], divergences: [], boundaryEntryPoints: [] },
+        authorities: { groups: [], anomalies: [], sharedSignersAcrossEpochs: [] },
+        anchors: { anchors: [], metadataOnlyProofHashes: [], findings: [] },
+        witnesses: { outcomes: [], findings: [] },
+        attestations: {
+            records: [],
+            findings: [],
+            counts: {
+                proofsWithDeclaredMeasurement: 0, proofsWithDocument: 0, documentsValidated: 0, documentsFailed: 0,
+                pcr0Matches: 0, pcr0Mismatches: 0, userDataBound: 0, userDataUnbound: 0,
+            },
+        },
+        temporal: { ...audit.temporal, ...temporal },
+    };
+}
+function baseBound(proofName, opts) {
+    return {
+        ...makeBound({
+            kind: "not-before",
+            anchorProofHash: proofHashOf(proofName),
+            blockHash: BASE_HASH,
+            blockNumber: String(opts?.blockNumber ?? BASE_BLOCK),
+            timestamp: opts?.timestamp ?? BASE_TIME,
+            evidence: (opts?.evidence ?? "signed-floor"),
+            claim: "fixture Base floor bound",
+        }),
+        source: "signed-floor",
+        chain: "base",
+        timeSource: opts?.timeSource ?? "header",
+    };
+}
+function floorRecord(proofName, opts) {
+    return {
+        proofHash: proofHashOf(proofName),
+        chain: "base",
+        blockNumber: BASE_BLOCK,
+        blockHash: BASE_HASH,
+        blockTimestamp: BASE_TIME,
+        header: "checked",
+        headerPath: "base-floor/floor-header.json",
+        bound: "not-before",
+        ...(opts ?? {}),
+    };
+}
+function segment(names, lower, upper = [], epochId = "E10") {
+    return {
+        partition: { publicKeyB64: "key-A", chainId: "bitgraph:main", epochId },
+        memberProofHashes: names.map(proofHashOf),
+        status: lower.length > 0 && upper.length > 0 ? "lower-bounded-with-following-anchor" : lower.length > 0 ? "lower-bounded" : upper.length > 0 ? "upper-bounded" : "ordered-but-unanchored",
+        lowerBounds: lower,
+        upperBounds: upper,
+    };
+}
+function oneRecording(temporal, attribution) {
+    const audit = makeAudit({ proofs: [{ name: "r", digestB64: digestFor("r"), epochId: "E10", counter: "4", slotCounter: "3" }] });
+    if (attribution !== undefined) {
+        audit.ingest.proofs[0].proof["attribution"] = attribution;
+    }
+    return complete(audit, temporal);
+}
+describe("check: a recording that signs a Base floor", () => {
+    it("is bounded after its Base block, with the header checked, and no upper bound", () => {
+        const report = buildCheckReport(oneRecording({ segments: [segment(["r"], [baseBound("r")])], signedFloors: [floorRecord("r")] }));
+        const rec = report.recordings[0];
+        assert.equal(rec.bounds.status, "lower-bounded");
+        assert.equal(rec.bounds.notBefore?.chain, "base");
+        assert.equal(rec.bounds.notBefore?.evidence, "signed-floor");
+        assert.equal(rec.bounds.notBefore?.blockNumber, String(BASE_BLOCK));
+        assert.equal(rec.bounds.notAfter, undefined);
+        assert.match(rec.bounds.detail, /after Base block 52271417 \(its floor, header checked in this bundle\)/);
+        assert.doesNotMatch(rec.bounds.detail, /Ethereum/);
+        assert.ok(report.notChecked.some((n) => /Base floor blocks are Base's own/.test(n)));
+        assert.doesNotMatch(renderCheckText(report), /[–—]/);
+    });
+    it("without the header, says the block needs a Base lookup", () => {
+        const report = buildCheckReport(oneRecording({ segments: [segment(["r"], [baseBound("r", { timeSource: "signed" })])], signedFloors: [floorRecord("r", { header: "not-carried" })] }));
+        assert.match(report.recordings[0].bounds.detail, /confirming the block needs a Base lookup/);
+    });
+    it("compares bounds across chains by time, never by block number", () => {
+        // Ethereum block 25,000,000 is later in time than this Base block,
+        // whose NUMBER is larger: the tightest not-before is the Ethereum one.
+        const eth = makeBound({ kind: "not-before", anchorProofHash: "anchor-eth", blockNumber: "25000000", timestamp: BASE_TIME + 600 });
+        const report = buildCheckReport(oneRecording({ segments: [segment(["r"], [baseBound("r"), eth])], signedFloors: [floorRecord("r")] }));
+        const nb = report.recordings[0].bounds.notBefore;
+        assert.equal(nb.chain, undefined);
+        assert.equal(nb.blockNumber, "25000000");
+    });
+    it("a fuse/3 recording's fused floor is the Base block it signs", () => {
+        const report = buildCheckReport(oneRecording({ segments: [segment(["r"], [baseBound("r")])], signedFloors: [floorRecord("r")] }, { name: "bitgraph-fuse/3", title: "trailer/1" }));
+        const fused = report.recordings[0].fused;
+        assert.equal(fused.floor?.chain, "base");
+        assert.equal(fused.floor?.evidence, "signed-floor");
+        assert.equal(fused.floor?.blockNumber, String(BASE_BLOCK));
+        assert.match(fused.floorDetail, /Base block #52271417 .*the Base block this recording signs as its floor/);
+    });
+    it("a withheld floor bounds nothing and says why", () => {
+        const why = "the floor block is stamped after the attestation document was made";
+        const report = buildCheckReport(oneRecording({ segments: [segment(["r"], [])], signedFloors: [floorRecord("r", { bound: "withheld", withheldReason: why })] }, { name: "bitgraph-fuse/3", title: "trailer/1" }));
+        const rec = report.recordings[0];
+        assert.equal(rec.bounds.notBefore, undefined);
+        assert.match(rec.bounds.detail, /not used as a bound/);
+        assert.equal(rec.fused.floor, null);
+        assert.match(rec.fused.floorDetail, /not used as a bound/);
+    });
+    it("a floor problem (a recording that signs two floors) is a contradiction: FALSE", () => {
+        const report = buildCheckReport(oneRecording({
+            segments: [segment(["r"], [])],
+            floorProblems: [{ code: "floor-ambiguous", proofHash: proofHashOf("r"), message: "the proof signs two floors" }],
+        }));
+        assert.equal(report.result, "FALSE");
+        assert.ok(report.contradictions.some((c) => c.detail.startsWith("floor-ambiguous")));
+    });
+});
+describe("compare: a Base floor orders no epoch", () => {
+    it("an anchor's not-after in one epoch and a later Base floor in another answer unordered", () => {
+        const base = makeAudit({
+            proofs: [
+                { name: "old", digestB64: digestFor("old"), epochId: "E9", counter: "2" },
+                { name: "new", digestB64: digestFor("new"), epochId: "E10", counter: "2", publicKeyB64: "key-B" },
+            ],
+            partitions: [
+                { epochId: "E9", members: ["old"] },
+                { epochId: "E10", members: ["new"], publicKeyB64: "key-B" },
+            ],
+        });
+        const anchorUpper = makeBound({ kind: "not-after", anchorProofHash: "anchor-9", blockNumber: "25000000", timestamp: 1_700_000_000 });
+        const audit = complete(base, {
+            segments: [segment(["old"], [], [anchorUpper], "E9"), segment(["new"], [baseBound("new")], [], "E10")],
+            signedFloors: [floorRecord("new")],
+        });
+        const byName = (n) => audit.ingest.proofs.find((p) => p.proofHash === proofHashOf(n));
+        assert.equal(compare(byName("old"), byName("new"), audit).relation, "unordered");
+        assert.equal(compare(byName("new"), byName("old"), audit).relation, "unordered");
+        // The same shape with an anchor not-before on the new side does order them (old behaviour kept).
+        const anchorLower = makeBound({ kind: "not-before", anchorProofHash: "anchor-10", blockNumber: "25000100", timestamp: 1_700_001_200 });
+        const anchored = complete(base, { segments: [segment(["old"], [], [anchorUpper], "E9"), segment(["new"], [anchorLower], [], "E10")] });
+        assert.equal(compare(byName("old"), byName("new"), anchored).relation, "before");
+    });
+});
+//# sourceMappingURL=base-floor-check.test.js.map

package/dist/__tests__/base-floor-check.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"base-floor-check.test.js","sourceRoot":"","sources":["../../src/__tests__/base-floor-check.test.ts"],"names":[],"mappings":"AAAA,8FAA8F;AAE9F;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,WAAW,CAAC;AACzC,OAAO,KAAK,MAAM,MAAM,oBAAoB,CAAC;AAE7C,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEhE,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAE7E,MAAM,UAAU,GAAG,QAAQ,CAAC;AAC5B,MAAM,SAAS,GAAG,UAAU,CAAC;AAC7B,MAAM,SAAS,GAAG,oEAAoE,CAAC;AAEvF,SAAS,QAAQ,CAAC,KAAkB,EAAE,QAAiC;IACrE,OAAO;QACL,GAAG,KAAK;QACR,SAAS,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,mBAAmB,EAAE,EAAE,EAAE;QACtE,WAAW,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,yBAAyB,EAAE,EAAE,EAAE;QACzE,OAAO,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,uBAAuB,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;QACnE,SAAS,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;QACzC,YAAY,EAAE;YACZ,OAAO,EAAE,EAAE;YACX,QAAQ,EAAE,EAAE;YACZ,MAAM,EAAE;gBACN,6BAA6B,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,kBAAkB,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC;gBAClG,WAAW,EAAE,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,eAAe,EAAE,CAAC;aACxE;SACF;QACD,QAAQ,EAAE,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,GAAG,QAAQ,EAAE;KACnB,CAAC;AAC9B,CAAC;AAED,SAAS,SAAS,CAAC,SAAiB,EAAE,IAAgJ;IACpL,OAAO;QACL,GAAG,SAAS,CAAC;YACX,IAAI,EAAE,YAAY;YAClB,eAAe,EAAE,WAAW,CAAC,SAAS,CAAC;YACvC,SAAS,EAAE,SAAS;YACpB,WAAW,EAAE,MAAM,CAAC,IAAI,EAAE,WAAW,IAAI,UAAU,CAAC;YACpD,SAAS,EAAE,IAAI,EAAE,SAAS,IAAI,SAAS;YACvC,QAAQ,EAAE,CAAC,IAAI,EAAE,QAAQ,IAAI,cAAc,CAA6B;YACxE,KAAK,EAAE,0BAA0B;SAClC,CAAC;QACF,MAAM,EAAE,cAAc;QACtB,KAAK,EAAE,MAAM;QACb,UAAU,EAAE,IAAI,EAAE,UAAU,IAAI,QAAQ;KACzB,CAAC;AACpB,CAAC;AAED,SAAS,WAAW,CAAC,SAAiB,EAAE,IAAiC;IACvE,OAAO;QACL,SAAS,EAAE,WAAW,CAAC,SAAS,CAAC;QACjC,KAAK,EAAE,MAAM;QACb,WAAW,EAAE,UAAU;QACvB,SAAS,EAAE,SAAS;QACpB,cAAc,EAAE,SAAS;QACzB,MAAM,EAAE,SAAS;QACjB,UAAU,EAAE,8BAA8B;QAC1C,KAAK,EAAE,YAAY;QACnB,GAAG,CAAC,IAAI,IAAI,EAAE,CAAC;KAChB,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,KAAe,EAAE,KAAqB,EAAE,QAAwB,EAAE,EAAE,OAAO,GAAG,KAAK;IAClG,OAAO;QACL,SAAS,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE;QACvE,iBAAiB,EAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC;QACzC,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,qCAAqC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,wBAAwB;QACzL,WAAW,EAAE,KAAK;QAClB,WAAW,EAAE,KAAK;KACA,CAAC;AACvB,CAAC;AAED,SAAS,YAAY,CAAC,QAAiC,EAAE,WAAoC;IAC3F,MAAM,KAAK,GAAG,SAAS,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;IAChI,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;QAC7B,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAE,CAAC,KAA4C,CAAC,aAAa,CAAC,GAAG,WAAW,CAAC;IACrG,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;AACnC,CAAC;AAED,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,EAAE,CAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,MAAM,GAAG,gBAAgB,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClI,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;QACjD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAClD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;QAC7D,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;QAC7C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,wEAAwE,CAAC,CAAC;QAC1G,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACnD,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kCAAkC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrF,MAAM,CAAC,YAAY,CAAC,eAAe,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,gBAAgB,CAC7B,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,CACtJ,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,MAAM,EAAE,0CAA0C,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,mEAAmE;QACnE,uEAAuE;QACvE,MAAM,GAAG,GAAG,SAAS,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,eAAe,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,GAAG,GAAG,EAAE,CAAC,CAAC;QAClI,MAAM,MAAM,GAAG,gBAAgB,CAAC,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvI,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,SAAU,CAAC;QACnD,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAG,gBAAgB,CAC7B,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAClJ,CAAC;QACF,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,KAAM,CAAC;QAC3C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACzC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,QAAQ,EAAE,cAAc,CAAC,CAAC;QACpD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,yEAAyE,CAAC,CAAC;IAC7G,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,oEAAoE,CAAC;QACjF,MAAM,MAAM,GAAG,gBAAgB,CAC7B,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAChL,CAAC;QACF,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QAC9C,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,qBAAqB,CAAC,CAAC;QACvD,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QACrC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,KAAM,CAAC,WAAW,EAAE,qBAAqB,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,MAAM,GAAG,gBAAgB,CAC7B,YAAY,CAAC;YACX,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;YAC9B,aAAa,EAAE,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC;SACjH,CAAC,CACH,CAAC;QACF,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACrC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,EAAE,CAAC,uFAAuF,EAAE,GAAG,EAAE;QAC/F,MAAM,IAAI,GAAG,SAAS,CAAC;YACrB,MAAM,EAAE;gBACN,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE;gBACzE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,OAAO,EAAE;aAClG;YACD,UAAU,EAAE;gBACV,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE;gBACnC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE;aAC5D;SACF,CAAC,CAAC;QACH,MAAM,WAAW,GAAG,SAAS,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,eAAe,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,CAAC;QACrI,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,EAAE;YAC3B,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;YACtG,YAAY,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;SACnC,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,CAAC,CAAS,EAAiB,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,WAAW,CAAC,CAAC,CAAC,CAAE,CAAC;QAC9G,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACjF,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACjF,iGAAiG;QACjG,MAAM,WAAW,GAAG,SAAS,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,eAAe,EAAE,WAAW,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,CAAC;QACvI,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QACvI,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/check.test.js

@@ -125,7 +125,7 @@ describe("check: real export fixture (disk)", () => {
     it("recognizes the enclave v5 measurement from PINS.md", () => {
         const enclave = report.recordings[0].lines.find((l) => l.name === "enclave");
         assert.match(enclave.detail, /enclave v5/);
-        assert.equal(KNOWN_ENCLAVE_MEASUREMENTS.length, 8);
+        assert.equal(KNOWN_ENCLAVE_MEASUREMENTS.length, 9);
     });
     it("serializes deterministically: no timestamps, no machine paths", async () => {
         const again = await checkIngest(await ingestBundle(FIXTURE));

package/dist/check.d.ts

@@ -53,6 +53,32 @@
 import type { AnchorRecord, AuditResult, IngestResult, TemporalSegment } from "@mikeargento/bitgraph-audit";
 import type { FuseVerifyResult } from "@mikeargento/bitgraph-verify";
 import type { ThreeValued } from "./types.js";
+/**
+ * What an audit that reads Base floors adds (bitgraph-audit after 0.9.0:
+ * TemporalAnalysis.signedFloors and floorProblems, and source / chain /
+ * timeSource on a segment bound). Read structurally, so the Player builds and
+ * behaves exactly as before against an audit without them; every field is
+ * optional and absent means an Ethereum anchor bound.
+ * TODO(release): bump the bitgraph-audit dependency to the release that
+ * carries signedFloors, then these can be the audit's own exported types.
+ */
+export interface SignedFloorRecord {
+    proofHash: string;
+    chain: "base";
+    blockNumber: number;
+    blockHash: string;
+    blockTimestamp: number;
+    header: "checked" | "not-carried";
+    headerPath?: string;
+    bound: "not-before" | "withheld";
+    withheldReason?: string;
+}
+export interface FloorProblem {
+    code: string;
+    proofHash?: string;
+    path?: string;
+    message: string;
+}
 /**
  * Published BitGraph enclave PCR0 measurements, per PINS.md, oldest first.
  * Each remains correct for proofs minted during its own period; a proof
@@ -70,15 +96,24 @@ export interface CheckLine {
     result: ThreeValued;
     detail: string;
 }
-/** A verified Ethereum bound on a recording, from a witness in the bundle. */
+/**
+ * A verified bound on a recording: an Ethereum anchor's, from a witness in
+ * the bundle, or (enclave v10) the Base block a recording signs as its floor,
+ * which is a not-before only.
+ */
 export interface CheckBound {
+    /** Absent for Ethereum (an anchor); "base" for a Base floor (commit.slotFloor). */
+    chain?: "base";
     blockNumber?: string;
     blockHash: string;
-    /** Unix seconds from the verified block header. */
+    /** Unix seconds: from the verified block header, or for a Base floor without one, the time the proof signs. */
     timestamp: number;
+    /** The anchor proof, or for a Base floor the recording that signs it. */
     anchorProofHash: string;
-    evidence: "chain-link" | "counter-order";
+    evidence: "chain-link" | "counter-order" | "signed-floor";
     weaker: boolean;
+    /** Base floors only: "header" checked in the bundle, or "signed" (confirming the block needs a Base lookup). */
+    timeSource?: "header" | "signed";
 }
 export interface CheckBounds {
     status: "lower-bounded-with-following-anchor" | "lower-bounded" | "upper-bounded" | "unanchored";
@@ -87,18 +122,26 @@ export interface CheckBounds {
     detail: string;
 }
 /**
- * The wall-clock floor of a fused artifact: the last verified anchored
- * block preceding its SLOT counter in the same epoch chain. Counter-order
- * evidence by construction (no hash path reaches a slot record), reported
- * with the same "genuine block" assumption as every other bound.
+ * The wall-clock floor of a fused artifact. Ethereum floors (enclave v9 and
+ * before): the last verified anchored block preceding its SLOT counter in
+ * the same epoch chain, counter-order evidence by construction (no hash path
+ * reaches a slot record). Base floors (enclave v10): the block the recording
+ * itself signs as commit.slotFloor, which a bitgraph-fuse/3 commitment binds
+ * ("signed-floor"). Either is reported with the same "genuine block"
+ * assumption as every other bound.
  */
 export interface CheckFloor {
+    /** Absent for Ethereum; "base" for the recording's own Base floor. */
+    chain?: "base";
     blockNumber?: string;
     blockHash: string;
-    /** Unix seconds from the verified block header. */
+    /** Unix seconds from the verified block header, or for a Base floor without one, the signed time. */
     timestamp: number;
+    /** The anchor proof, or for a Base floor the recording itself. */
     anchorProofHash: string;
-    evidence: "counter-order";
+    evidence: "counter-order" | "signed-floor";
+    /** Base floors only: "header" checked in the bundle, or "signed" (confirming the block needs a Base lookup). */
+    timeSource?: "header" | "signed";
 }
 /** What the bundle establishes about a recording marked fused (profile bitgraph-fuse/1, working name). */
 export interface CheckFused {
@@ -201,6 +244,12 @@ export declare function buildCheckReport(audit: AuditResult, options?: CheckOpti
  */
 export declare const ANCHORED_CHAIN = "bitgraph:main";
 export declare function fusedFloor(segment: TemporalSegment | undefined, anchorByHash: ReadonlyMap<string, AnchorRecord> | undefined, slotCounter: string | undefined, chainId?: string): CheckFloor | null;
+/**
+ * The fused floor of a recording that signs a Base floor (enclave v10): the
+ * block itself, which a bitgraph-fuse/3 commitment binds. Null when the audit
+ * withheld it as a bound (the reason is in the floor detail).
+ */
+export declare function ownBaseFloor(floor: SignedFloorRecord): CheckFloor | null;
 export declare function renderCheckText(report: CheckReport): string;
 /** Deterministic JSON bytes for the report: two-space indent, one trailing newline. */
 export declare function serializeCheckReport(report: CheckReport): string;

package/dist/check.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,WAAW,EAEX,YAAY,EAIZ,eAAe,EAChB,MAAM,6BAA6B,CAAC;AAGrC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAQ9C;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAyCrG,CAAC;AAMF,wEAAwE;AACxE,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,aAAa,GAAG,SAAS,GAAG,SAAS,GAAG,eAAe,GAAG,OAAO,CAAC;IAC/F,MAAM,EAAE,WAAW,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,8EAA8E;AAC9E,MAAM,WAAW,UAAU;IACzB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,mDAAmD;IACnD,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,YAAY,GAAG,eAAe,CAAC;IACzC,MAAM,EAAE,OAAO,CAAC;CACjB;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,qCAAqC,GAAG,eAAe,GAAG,eAAe,GAAG,YAAY,CAAC;IACjG,SAAS,CAAC,EAAE,UAAU,CAAC;IACvB,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;GAKG;AACH,MAAM,WAAW,UAAU;IACzB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,mDAAmD;IACnD,SAAS,EAAE,MAAM,CAAC;IAClB,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,eAAe,CAAC;CAC3B;AAED,0GAA0G;AAC1G,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,gBAAgB,CAAC,UAAU,CAAC,GAAG,aAAa,CAAC;IACvD,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,kEAAkE;IAClE,QAAQ,EAAE,aAAa,GAAG,UAAU,GAAG,IAAI,CAAC;IAC5C,6EAA6E;IAC7E,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,KAAK,EAAE,UAAU,GAAG,IAAI,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,8BAA8B;IAC9B,IAAI,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CAChF;AAED,4CAA4C;AAC5C,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iFAAiF;IACjF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,+BAA+B;IAC/B,MAAM,EAAE,WAAW,CAAC;IACpB,MAAM,EAAE,WAAW,CAAC;IACpB,0EAA0E;IAC1E,KAAK,CAAC,EAAE,UAAU,CAAC;CACpB;AAED,kDAAkD;AAClD,MAAM,WAAW,WAAW;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8EAA8E;IAC9E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,MAAM,EAAE,WAAW,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,kBAAkB,CAAC;IAC1B,MAAM,EAAE,WAAW,CAAC;IACpB,6DAA6D;IAC7D,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,kFAAkF;IAClF,cAAc,EAAE,SAAS,EAAE,CAAC;IAC5B,gFAAgF;IAChF,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,uEAAuE;IACvE,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,SAAS,EAAE;QAAE,IAAI,EAAE,iBAAiB,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACvE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B;;;;OAIG;IACH,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACrD,uGAAuG;IACvG,eAAe,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvC;AAwBD;;;;GAIG;AACH,wBAAsB,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC,CAQpG;AA8CD,mDAAmD;AACnD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,YAAY,GAAG,WAAW,CAyExF;AAqHD;;;;;GAKG;AACH,eAAO,MAAM,cAAc,kBAAkB,CAAC;AAE9C,wBAAgB,UAAU,CACxB,OAAO,EAAE,eAAe,GAAG,SAAS,EACpC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,EAC3D,WAAW,EAAE,MAAM,GAAG,SAAS,EAC/B,OAAO,GAAE,MAAuB,GAC/B,UAAU,GAAG,IAAI,CAyBnB;AAkfD,wBAAgB,eAAe,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CA4C3D;AAED,uFAAuF;AACvF,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAEhE"}
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmDG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,WAAW,EAEX,YAAY,EAIZ,eAAe,EAChB,MAAM,6BAA6B,CAAC;AAGrC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAQ9C;;;;;;;;GAQG;AACH,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,MAAM,EAAE,SAAS,GAAG,aAAa,CAAC;IAClC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,KAAK,EAAE,YAAY,GAAG,UAAU,CAAC;IACjC,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AACD,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,MAAM,CAAC;CACjB;AAYD;;;;;GAKG;AACH,eAAO,MAAM,0BAA0B,EAAE,aAAa,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CA8CrG,CAAC;AAMF,wEAAwE;AACxE,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,aAAa,GAAG,SAAS,GAAG,SAAS,GAAG,eAAe,GAAG,OAAO,CAAC;IAC/F,MAAM,EAAE,WAAW,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;GAIG;AACH,MAAM,WAAW,UAAU;IACzB,mFAAmF;IACnF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,+GAA+G;IAC/G,SAAS,EAAE,MAAM,CAAC;IAClB,yEAAyE;IACzE,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,YAAY,GAAG,eAAe,GAAG,cAAc,CAAC;IAC1D,MAAM,EAAE,OAAO,CAAC;IAChB,gHAAgH;IAChH,UAAU,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAAC;CAClC;AAED,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,qCAAqC,GAAG,eAAe,GAAG,eAAe,GAAG,YAAY,CAAC;IACjG,SAAS,CAAC,EAAE,UAAU,CAAC;IACvB,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,UAAU;IACzB,sEAAsE;IACtE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,EAAE,MAAM,CAAC;IAClB,qGAAqG;IACrG,SAAS,EAAE,MAAM,CAAC;IAClB,kEAAkE;IAClE,eAAe,EAAE,MAAM,CAAC;IACxB,QAAQ,EAAE,eAAe,GAAG,cAAc,CAAC;IAC3C,gHAAgH;IAChH,UAAU,CAAC,EAAE,QAAQ,GAAG,QAAQ,CAAC;CAClC;AAED,0GAA0G;AAC1G,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,gBAAgB,CAAC,UAAU,CAAC,GAAG,aAAa,CAAC;IACvD,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,kEAAkE;IAClE,QAAQ,EAAE,aAAa,GAAG,UAAU,GAAG,IAAI,CAAC;IAC5C,6EAA6E;IAC7E,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,KAAK,EAAE,UAAU,GAAG,IAAI,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,8BAA8B;IAC9B,IAAI,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,aAAa,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;CAChF;AAED,4CAA4C;AAC5C,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,iFAAiF;IACjF,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,+BAA+B;IAC/B,MAAM,EAAE,WAAW,CAAC;IACpB,MAAM,EAAE,WAAW,CAAC;IACpB,0EAA0E;IAC1E,KAAK,CAAC,EAAE,UAAU,CAAC;CACpB;AAED,kDAAkD;AAClD,MAAM,WAAW,WAAW;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,8EAA8E;IAC9E,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,MAAM,EAAE,WAAW,CAAC;CACrB;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,kBAAkB,CAAC;IAC1B,MAAM,EAAE,WAAW,CAAC;IACpB,6DAA6D;IAC7D,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,cAAc,EAAE,CAAC;IAC7B,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,kFAAkF;IAClF,cAAc,EAAE,SAAS,EAAE,CAAC;IAC5B,gFAAgF;IAChF,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,uEAAuE;IACvE,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,SAAS,EAAE;QAAE,IAAI,EAAE,iBAAiB,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;IACvE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,OAAO,CAAC;IAC7B;;;;OAIG;IACH,YAAY,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACrD,uGAAuG;IACvG,eAAe,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvC;AAwBD;;;;GAIG;AACH,wBAAsB,WAAW,CAAC,MAAM,EAAE,YAAY,EAAE,OAAO,CAAC,EAAE,YAAY,GAAG,OAAO,CAAC,WAAW,CAAC,CAQpG;AA8CD,mDAAmD;AACnD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,YAAY,GAAG,WAAW,CA2ExF;AAuHD;;;;;GAKG;AACH,eAAO,MAAM,cAAc,kBAAkB,CAAC;AAE9C,wBAAgB,UAAU,CACxB,OAAO,EAAE,eAAe,GAAG,SAAS,EACpC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,EAC3D,WAAW,EAAE,MAAM,GAAG,SAAS,EAC/B,OAAO,GAAE,MAAuB,GAC/B,UAAU,GAAG,IAAI,CAyBnB;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,iBAAiB,GAAG,UAAU,GAAG,IAAI,CAWxE;AA2hBD,wBAAgB,eAAe,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CA4C3D;AAED,uFAAuF;AACvF,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,WAAW,GAAG,MAAM,CAEhE"}