@mikeargento/bitgraph-player 0.6.0 → 0.7.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@mikeargento/bitgraph-player",
-  "version": "0.6.0",
+  "version": "0.7.0",
   "description": "Deterministic evaluation of causal rules over BitGraph proof bundles: a pure function from (rule, verified evidence) to a reproducible verdict.",
   "license": "MIT",
   "type": "module",
@@ -29,14 +29,14 @@
     "prepack": "tsc",
     "typecheck": "tsc --noEmit",
     "test": "tsc && node --test \"dist/__tests__/*.test.js\"",
-    "build:web": "node scripts/build-verify-html.mjs --out ../folder/src/verify.html",
+    "build:web": "node scripts/build-verify-html.mjs --out ../../website/public/verify.html",
     "typecheck:web": "tsc -p web/tsconfig.json"
   },
   "engines": {
     "node": ">=20"
   },
   "dependencies": {
-    "@mikeargento/bitgraph-audit": "^0.2.2",
+    "@mikeargento/bitgraph-audit": "^0.3.0",
     "@mikeargento/bitgraph-verify": "^1.3.0"
   },
   "devDependencies": {

package/src/__tests__/check.test.ts

@@ -116,10 +116,11 @@ describe("check: real export fixture (disk)", () => {
 
   it("brackets the recording between the two verified block headers", () => {
     const b = report.recordings[0]!.bounds;
-    assert.equal(b.status, "bracketed");
+    assert.equal(b.status, "lower-bounded-with-following-anchor");
     assert.equal(b.notBefore?.blockNumber, "25735831");
     assert.equal(b.notAfter?.blockNumber, "25735832");
-    assert.match(b.detail, /after Ethereum block 25735831 and before block 25735832/);
+    assert.match(b.detail, /after Ethereum block 25735831 \(header verified in this bundle\); precedes an anchor that consumed block 25735832/);
+    assert.match(b.detail, /rather than an upper bound/);
   });
 
   it("orders anchors by causal position, not file name", () => {

package/src/__tests__/fixtures.ts

@@ -94,6 +94,8 @@ export function makeBound(partial: Partial<SegmentBound>): SegmentBound {
     weaker: partial.weaker ?? false,
     basis: partial.basis ?? "block-hash-unpredictability",
     claim: partial.claim ?? "fixture bound",
+    // Required since bitgraph-audit 0.3.0: a not-after bound is an assumption, never evidence.
+    boundClass: partial.boundClass ?? ((partial.kind ?? "not-before") === "not-before" ? "evidence" : "assumption"),
     ...(partial.blockNumber !== undefined ? { blockNumber: partial.blockNumber } : {}),
   };
 }
@@ -126,7 +128,7 @@ export function makeAudit(spec: FixtureAuditSpec): AuditResult {
   const segments = (spec.segments ?? []).map((s) => ({
     partition: { publicKeyB64: "key-A", chainId: "bitgraph:main" },
     memberProofHashes: s.members.map(proofHashOf),
-    status: "bracketed",
+    status: "lower-bounded-with-following-anchor",
     lowerBounds: (s.lowerBounds ?? []).map((b) => makeBound({ ...b, kind: "not-before" })),
     upperBounds: (s.upperBounds ?? []).map((b) => makeBound({ ...b, kind: "not-after" })),
   }));

package/src/check.ts

@@ -125,7 +125,7 @@ export interface CheckBound {
 }
 
 export interface CheckBounds {
-  status: "bracketed" | "lower-bounded" | "upper-bounded" | "unanchored";
+  status: "lower-bounded-with-following-anchor" | "lower-bounded" | "upper-bounded" | "unanchored";
   notBefore?: CheckBound;
   notAfter?: CheckBound;
   detail: string;
@@ -618,7 +618,7 @@ function boundsFor(segment: TemporalSegment | undefined): CheckBounds {
   const notAfter = upper === undefined ? undefined : toBound(upper);
   const status: CheckBounds["status"] =
     notBefore !== undefined && notAfter !== undefined
-      ? "bracketed"
+      ? "lower-bounded-with-following-anchor"
       : notBefore !== undefined
         ? "lower-bounded"
         : notAfter !== undefined
@@ -636,16 +636,22 @@ function boundsFor(segment: TemporalSegment | undefined): CheckBounds {
   };
 }
 
-/** "after Ethereum block A and before block B (both headers verified)…", shared by bounds.detail and the summary. */
+/**
+ * "after Ethereum block A; precedes an anchor that consumed block B", shared by bounds.detail and the summary.
+ * The following anchor is deliberately NOT rendered as "before block B": a proof precedes the anchor's
+ * commit, and block B's timestamp bounds that commit from below, not the proof from above. Reading it as
+ * a ceiling assumes the anchor consumed a recently published block. An inbound anchor cannot carry a
+ * proof of an upper bound, so the phrase says what the evidence supports and names the assumption.
+ */
 function boundsPhrase(
   status: CheckBounds["status"],
   notBefore: CheckBound | undefined,
   notAfter: CheckBound | undefined
 ): string {
   switch (status) {
-    case "bracketed":
+    case "lower-bounded-with-following-anchor":
       return (
-        `after Ethereum block ${blockRef(notBefore as CheckBound)} and before block ${blockRef(notAfter as CheckBound)} (both headers verified in this bundle)` +
+        `after Ethereum block ${blockRef(notBefore as CheckBound)} (header verified in this bundle); precedes an anchor that consumed block ${blockRef(notAfter as CheckBound)} (header verified), an anchor-latency assumption rather than an upper bound on this recording` +
         weakerSuffix((notBefore as CheckBound).weaker || (notAfter as CheckBound).weaker)
       );
     case "lower-bounded":
@@ -689,8 +695,8 @@ function toBound(b: SegmentBound): CheckBound {
 /** The headline form of the bounds: one clause, no qualifiers (those live in bounds.detail). */
 function shortBoundsPhrase(b: CheckBounds): string {
   switch (b.status) {
-    case "bracketed":
-      return `between Ethereum blocks ${blockRef(b.notBefore as CheckBound)} and ${blockRef(b.notAfter as CheckBound)}`;
+    case "lower-bounded-with-following-anchor":
+      return `after Ethereum block ${blockRef(b.notBefore as CheckBound)}, then an anchor at block ${blockRef(b.notAfter as CheckBound)}`;
     case "lower-bounded":
       return `after Ethereum block ${blockRef(b.notBefore as CheckBound)}`;
     case "upper-bounded":

package/src/verdict.ts

@@ -31,7 +31,7 @@ import type { DeclaredEntry, Resolution, Rule, Verdict } from "./types.js";
  * A unit test asserts this equals package.json's version, so the
  * constant cannot drift silently across releases.
  */
-export const PLAYER_VERSION = "0.6.0";
+export const PLAYER_VERSION = "0.7.0";
 
 /** The player package's own version. */
 export function playerVersion(): string {