@fidacy/mcp 0.1.11 → 0.1.13

package/CHANGELOG.md

@@ -95,3 +95,26 @@ semantic versioning.
 - verify_mandate/get_audit_proof gain one informational closing line each;
   assess_action's missing-key error now offers the free-key path.
 - config.json gains created_at + nudge/decision state (preserved on read).
+
+## 0.1.12 — 2026-07-02
+
+- **The BEC guarantee now survives restarts.** The local free-tier core kept the
+  duplicate-invoice set and the spent counter in memory only, so a re-presented
+  invoice was ALLOWED again after every process restart — exactly the short-lived
+  shell case (`npx` per session). The core now rehydrates both from the persisted
+  audit log at boot: prior ALLOW records rebuild the invoice claims (a paid
+  invoice stays paid, regardless of age) and re-sum `spent` within the current
+  mandate window and currency. One O(records) pass over the already-loaded chain.
+- Audit records for ALLOWs now carry `amount`, `currency`, and the canonical
+  `invoiceRef` (rehydration fields). Additive: old logs stay valid, chain hashes
+  unchanged; pre-0.1.12 records simply carry no rehydratable state.
+- Torn-tail recovery: a crash mid-append used to quarantine the WHOLE audit log
+  on next boot (losing all dedup state). A torn trailing line is now recognized,
+  the intact prefix is salvaged, and the tail truncated. Mid-file damage still
+  quarantines the file as before.
+
+## 0.1.13 — 2026-07-03
+
+- MCP handshake now reports the real package version (was hardcoded "0.1.0"
+  through 0.1.12 — same class as the client_version telemetry bug, same fix:
+  injected from package.json at build time).

package/dist/core.js

@@ -33,66 +33,9 @@ function sha256(input) {
 
 // ../firewall/dist/audit-store.js
 import fs from "node:fs";
-var FileAuditStore = class {
-  path;
-  chain = [];
-  constructor(path) {
-    this.path = path;
-    this.load();
-  }
-  load() {
-    if (!fs.existsSync(this.path))
-      return;
-    try {
-      const raw = fs.readFileSync(this.path, "utf8");
-      const parsed = [];
-      for (const line of raw.split("\n")) {
-        if (!line.trim())
-          continue;
-        parsed.push(JSON.parse(line));
-      }
-      this.chain = parsed;
-      if (!this.intact())
-        throw new Error("audit chain integrity broken");
-    } catch (err) {
-      this.chain = [];
-      try {
-        const quarantine = `${this.path}.corrupt-${Date.now()}`;
-        fs.renameSync(this.path, quarantine);
-        console.error(`[fidacy] audit log at ${this.path} is unreadable/tampered (${err.message}); quarantined to ${quarantine}, starting a fresh chain.`);
-      } catch {
-        console.error(`[fidacy] audit log at ${this.path} is unreadable/tampered and could not be quarantined; starting a fresh in-memory chain.`);
-      }
-    }
-  }
-  head() {
-    return this.chain.length ? this.chain[this.chain.length - 1].hash : "GENESIS";
-  }
-  append(decision) {
-    const prevHash = this.head();
-    const seq = this.chain.length;
-    const ts = decision.ts;
-    const digest = sha256(stableStringify({ decisionId: decision.decisionId, status: decision.status, request: decision.request, violatedRule: decision.violatedRule ?? null }));
-    const hash = sha256(`${prevHash}|${digest}|${seq}|${ts}`);
-    const record2 = { seq, decisionId: decision.decisionId, status: decision.status, subject: decision.subject, digest, prevHash, hash, ts };
-    fs.appendFileSync(this.path, JSON.stringify(record2) + "\n");
-    this.chain.push(record2);
-    return record2;
-  }
-  find(decisionId) {
-    return this.chain.find((r) => r.decisionId === decisionId);
-  }
-  intact() {
-    let prev = "GENESIS";
-    for (const r of this.chain) {
-      const expected = sha256(`${prev}|${r.digest}|${r.seq}|${r.ts}`);
-      if (expected !== r.hash || r.prevHash !== prev)
-        return false;
-      prev = r.hash;
-    }
-    return true;
-  }
-};
+
+// ../firewall/dist/core.js
+import { randomUUID } from "node:crypto";
 
 // ../firewall/dist/evaluate.js
 function fold(s) {
@@ -169,7 +112,6 @@ function evaluate(mandate, req, spentSoFar) {
 }
 
 // ../firewall/dist/core.js
-import { randomUUID } from "node:crypto";
 function canonInvoice(ref) {
   if (typeof ref !== "string")
     return "";
@@ -217,6 +159,35 @@ var DevFidacyCore = class {
     this.mandate = opts.mandate;
     this.store = new FileAuditStore(opts.auditLogPath ?? "./fidacy-audit.log");
     this.onDecision = opts.onDecision;
+    this.rehydrate();
+  }
+  /**
+   * Rebuild the in-memory decision state from the persisted audit log, so a process
+   * restart cannot re-open a claimed invoice (BEC dedup) or reset the maxTotal
+   * counter. One O(records) pass at boot over the already-loaded chain:
+   *   - claimedInvoices: every ALLOW that carried an invoiceRef, regardless of age —
+   *     a paid invoice stays paid.
+   *   - spent: ALLOW amounts whose timestamp falls inside the CURRENT mandate window
+   *     and whose currency matches the mandate (the cap is defined per window/currency).
+   * Records from older versions lack the rehydration fields and are skipped.
+   */
+  rehydrate() {
+    const notBefore = Date.parse(this.mandate.window.notBefore);
+    const notAfter = Date.parse(this.mandate.window.notAfter);
+    for (const r of this.store.records()) {
+      if (r.status !== "ALLOW")
+        continue;
+      if (r.invoiceRef)
+        this.claimedInvoices.add(`${r.subject}|${r.invoiceRef}`);
+      if (typeof r.amount !== "number" || !Number.isFinite(r.amount))
+        continue;
+      if (r.currency !== this.mandate.allow.currency)
+        continue;
+      const t = Date.parse(r.ts);
+      if (!Number.isFinite(t) || t < notBefore || t > notAfter)
+        continue;
+      this.spent += r.amount;
+    }
   }
   async getMandate() {
     return this.mandate;
@@ -303,6 +274,96 @@ var HttpFidacyCore = class {
   }
 };
 
+// ../firewall/dist/audit-store.js
+var FileAuditStore = class {
+  path;
+  chain = [];
+  constructor(path) {
+    this.path = path;
+    this.load();
+  }
+  load() {
+    if (!fs.existsSync(this.path))
+      return;
+    try {
+      const raw = fs.readFileSync(this.path, "utf8");
+      const lines = raw.split("\n");
+      const parsed = [];
+      let torn = false;
+      for (let i = 0; i < lines.length; i++) {
+        if (!lines[i].trim())
+          continue;
+        try {
+          parsed.push(JSON.parse(lines[i]));
+        } catch {
+          if (lines.slice(i + 1).some((l) => l.trim()))
+            throw new Error(`unparseable record at line ${i + 1}`);
+          torn = true;
+          break;
+        }
+      }
+      this.chain = parsed;
+      if (!this.intact())
+        throw new Error("audit chain integrity broken");
+      if (torn) {
+        const clean = parsed.map((r) => JSON.stringify(r)).join("\n") + (parsed.length ? "\n" : "");
+        fs.writeFileSync(this.path, clean);
+        console.error(`[fidacy] audit log at ${this.path} had a torn trailing line (crash during append?); salvaged ${parsed.length} intact records and truncated the tail.`);
+      }
+    } catch (err) {
+      this.chain = [];
+      try {
+        const quarantine = `${this.path}.corrupt-${Date.now()}`;
+        fs.renameSync(this.path, quarantine);
+        console.error(`[fidacy] audit log at ${this.path} is unreadable/tampered (${err.message}); quarantined to ${quarantine}, starting a fresh chain.`);
+      } catch {
+        console.error(`[fidacy] audit log at ${this.path} is unreadable/tampered and could not be quarantined; starting a fresh in-memory chain.`);
+      }
+    }
+  }
+  head() {
+    return this.chain.length ? this.chain[this.chain.length - 1].hash : "GENESIS";
+  }
+  append(decision) {
+    const prevHash = this.head();
+    const seq = this.chain.length;
+    const ts = decision.ts;
+    const digest = sha256(stableStringify({ decisionId: decision.decisionId, status: decision.status, request: decision.request, violatedRule: decision.violatedRule ?? null }));
+    const hash = sha256(`${prevHash}|${digest}|${seq}|${ts}`);
+    const record2 = { seq, decisionId: decision.decisionId, status: decision.status, subject: decision.subject, digest, prevHash, hash, ts };
+    if (decision.status === "ALLOW") {
+      const req = decision.request;
+      if (typeof req?.amount === "number" && Number.isFinite(req.amount))
+        record2.amount = req.amount;
+      if (typeof req?.currency === "string")
+        record2.currency = req.currency;
+      const invoice = canonInvoice(req?.invoiceRef);
+      if (invoice)
+        record2.invoiceRef = invoice;
+    }
+    fs.appendFileSync(this.path, JSON.stringify(record2) + "\n");
+    this.chain.push(record2);
+    return record2;
+  }
+  find(decisionId) {
+    return this.chain.find((r) => r.decisionId === decisionId);
+  }
+  /** The full loaded chain, oldest first. Read-only; used to rehydrate core state at boot. */
+  records() {
+    return this.chain;
+  }
+  intact() {
+    let prev = "GENESIS";
+    for (const r of this.chain) {
+      const expected = sha256(`${prev}|${r.digest}|${r.seq}|${r.ts}`);
+      if (expected !== r.hash || r.prevHash !== prev)
+        return false;
+      prev = r.hash;
+    }
+    return true;
+  }
+};
+
 // src/config.ts
 import { homedir } from "node:os";
 import { join } from "node:path";
@@ -362,7 +423,7 @@ function resolveMandateRules(cfg) {
 }
 
 // src/telemetry.ts
-var CLIENT_VERSION = true ? "0.1.11" : "dev";
+var CLIENT_VERSION = true ? "0.1.13" : "dev";
 var currentShell = "mcp";
 function telemetryEnabled() {
   const v = (process.env.FIDACY_DISABLE_TELEMETRY ?? "").trim().toLowerCase();

package/dist/index.js

@@ -40,66 +40,9 @@ function sha256(input) {
 
 // ../firewall/dist/audit-store.js
 import fs from "node:fs";
-var FileAuditStore = class {
-  path;
-  chain = [];
-  constructor(path) {
-    this.path = path;
-    this.load();
-  }
-  load() {
-    if (!fs.existsSync(this.path))
-      return;
-    try {
-      const raw = fs.readFileSync(this.path, "utf8");
-      const parsed = [];
-      for (const line of raw.split("\n")) {
-        if (!line.trim())
-          continue;
-        parsed.push(JSON.parse(line));
-      }
-      this.chain = parsed;
-      if (!this.intact())
-        throw new Error("audit chain integrity broken");
-    } catch (err) {
-      this.chain = [];
-      try {
-        const quarantine = `${this.path}.corrupt-${Date.now()}`;
-        fs.renameSync(this.path, quarantine);
-        console.error(`[fidacy] audit log at ${this.path} is unreadable/tampered (${err.message}); quarantined to ${quarantine}, starting a fresh chain.`);
-      } catch {
-        console.error(`[fidacy] audit log at ${this.path} is unreadable/tampered and could not be quarantined; starting a fresh in-memory chain.`);
-      }
-    }
-  }
-  head() {
-    return this.chain.length ? this.chain[this.chain.length - 1].hash : "GENESIS";
-  }
-  append(decision) {
-    const prevHash = this.head();
-    const seq = this.chain.length;
-    const ts = decision.ts;
-    const digest = sha256(stableStringify({ decisionId: decision.decisionId, status: decision.status, request: decision.request, violatedRule: decision.violatedRule ?? null }));
-    const hash = sha256(`${prevHash}|${digest}|${seq}|${ts}`);
-    const record2 = { seq, decisionId: decision.decisionId, status: decision.status, subject: decision.subject, digest, prevHash, hash, ts };
-    fs.appendFileSync(this.path, JSON.stringify(record2) + "\n");
-    this.chain.push(record2);
-    return record2;
-  }
-  find(decisionId) {
-    return this.chain.find((r) => r.decisionId === decisionId);
-  }
-  intact() {
-    let prev = "GENESIS";
-    for (const r of this.chain) {
-      const expected = sha256(`${prev}|${r.digest}|${r.seq}|${r.ts}`);
-      if (expected !== r.hash || r.prevHash !== prev)
-        return false;
-      prev = r.hash;
-    }
-    return true;
-  }
-};
+
+// ../firewall/dist/core.js
+import { randomUUID } from "node:crypto";
 
 // ../firewall/dist/evaluate.js
 function fold(s) {
@@ -176,7 +119,6 @@ function evaluate(mandate, req, spentSoFar) {
 }
 
 // ../firewall/dist/core.js
-import { randomUUID } from "node:crypto";
 function canonInvoice(ref) {
   if (typeof ref !== "string")
     return "";
@@ -224,6 +166,35 @@ var DevFidacyCore = class {
     this.mandate = opts.mandate;
     this.store = new FileAuditStore(opts.auditLogPath ?? "./fidacy-audit.log");
     this.onDecision = opts.onDecision;
+    this.rehydrate();
+  }
+  /**
+   * Rebuild the in-memory decision state from the persisted audit log, so a process
+   * restart cannot re-open a claimed invoice (BEC dedup) or reset the maxTotal
+   * counter. One O(records) pass at boot over the already-loaded chain:
+   *   - claimedInvoices: every ALLOW that carried an invoiceRef, regardless of age —
+   *     a paid invoice stays paid.
+   *   - spent: ALLOW amounts whose timestamp falls inside the CURRENT mandate window
+   *     and whose currency matches the mandate (the cap is defined per window/currency).
+   * Records from older versions lack the rehydration fields and are skipped.
+   */
+  rehydrate() {
+    const notBefore = Date.parse(this.mandate.window.notBefore);
+    const notAfter = Date.parse(this.mandate.window.notAfter);
+    for (const r of this.store.records()) {
+      if (r.status !== "ALLOW")
+        continue;
+      if (r.invoiceRef)
+        this.claimedInvoices.add(`${r.subject}|${r.invoiceRef}`);
+      if (typeof r.amount !== "number" || !Number.isFinite(r.amount))
+        continue;
+      if (r.currency !== this.mandate.allow.currency)
+        continue;
+      const t = Date.parse(r.ts);
+      if (!Number.isFinite(t) || t < notBefore || t > notAfter)
+        continue;
+      this.spent += r.amount;
+    }
   }
   async getMandate() {
     return this.mandate;
@@ -310,6 +281,96 @@ var HttpFidacyCore = class {
   }
 };
 
+// ../firewall/dist/audit-store.js
+var FileAuditStore = class {
+  path;
+  chain = [];
+  constructor(path) {
+    this.path = path;
+    this.load();
+  }
+  load() {
+    if (!fs.existsSync(this.path))
+      return;
+    try {
+      const raw = fs.readFileSync(this.path, "utf8");
+      const lines = raw.split("\n");
+      const parsed = [];
+      let torn = false;
+      for (let i = 0; i < lines.length; i++) {
+        if (!lines[i].trim())
+          continue;
+        try {
+          parsed.push(JSON.parse(lines[i]));
+        } catch {
+          if (lines.slice(i + 1).some((l) => l.trim()))
+            throw new Error(`unparseable record at line ${i + 1}`);
+          torn = true;
+          break;
+        }
+      }
+      this.chain = parsed;
+      if (!this.intact())
+        throw new Error("audit chain integrity broken");
+      if (torn) {
+        const clean = parsed.map((r) => JSON.stringify(r)).join("\n") + (parsed.length ? "\n" : "");
+        fs.writeFileSync(this.path, clean);
+        console.error(`[fidacy] audit log at ${this.path} had a torn trailing line (crash during append?); salvaged ${parsed.length} intact records and truncated the tail.`);
+      }
+    } catch (err) {
+      this.chain = [];
+      try {
+        const quarantine = `${this.path}.corrupt-${Date.now()}`;
+        fs.renameSync(this.path, quarantine);
+        console.error(`[fidacy] audit log at ${this.path} is unreadable/tampered (${err.message}); quarantined to ${quarantine}, starting a fresh chain.`);
+      } catch {
+        console.error(`[fidacy] audit log at ${this.path} is unreadable/tampered and could not be quarantined; starting a fresh in-memory chain.`);
+      }
+    }
+  }
+  head() {
+    return this.chain.length ? this.chain[this.chain.length - 1].hash : "GENESIS";
+  }
+  append(decision) {
+    const prevHash = this.head();
+    const seq = this.chain.length;
+    const ts = decision.ts;
+    const digest = sha256(stableStringify({ decisionId: decision.decisionId, status: decision.status, request: decision.request, violatedRule: decision.violatedRule ?? null }));
+    const hash = sha256(`${prevHash}|${digest}|${seq}|${ts}`);
+    const record2 = { seq, decisionId: decision.decisionId, status: decision.status, subject: decision.subject, digest, prevHash, hash, ts };
+    if (decision.status === "ALLOW") {
+      const req = decision.request;
+      if (typeof req?.amount === "number" && Number.isFinite(req.amount))
+        record2.amount = req.amount;
+      if (typeof req?.currency === "string")
+        record2.currency = req.currency;
+      const invoice = canonInvoice(req?.invoiceRef);
+      if (invoice)
+        record2.invoiceRef = invoice;
+    }
+    fs.appendFileSync(this.path, JSON.stringify(record2) + "\n");
+    this.chain.push(record2);
+    return record2;
+  }
+  find(decisionId) {
+    return this.chain.find((r) => r.decisionId === decisionId);
+  }
+  /** The full loaded chain, oldest first. Read-only; used to rehydrate core state at boot. */
+  records() {
+    return this.chain;
+  }
+  intact() {
+    let prev = "GENESIS";
+    for (const r of this.chain) {
+      const expected = sha256(`${prev}|${r.digest}|${r.seq}|${r.ts}`);
+      if (expected !== r.hash || r.prevHash !== prev)
+        return false;
+      prev = r.hash;
+    }
+    return true;
+  }
+};
+
 // src/config.ts
 import { randomUUID as randomUUID2 } from "node:crypto";
 import { homedir } from "node:os";
@@ -391,7 +452,7 @@ function resolveMandateRules(cfg) {
 }
 
 // src/telemetry.ts
-var CLIENT_VERSION = true ? "0.1.11" : "dev";
+var CLIENT_VERSION = true ? "0.1.13" : "dev";
 var currentShell = "mcp";
 function telemetryEnabled() {
   const v = (process.env.FIDACY_DISABLE_TELEMETRY ?? "").trim().toLowerCase();
@@ -615,7 +676,7 @@ async function postOnce(fetchImpl, url, headers, payload, timeoutMs) {
 }
 
 // src/provision.ts
-var CLIENT_VERSION2 = true ? "0.1.11" : "dev";
+var CLIENT_VERSION2 = true ? "0.1.13" : "dev";
 function provisionEnabled() {
   const v = (process.env.FIDACY_DISABLE_PROVISION ?? "").trim().toLowerCase();
   return !(v === "1" || v === "true" || v === "yes");
@@ -715,7 +776,8 @@ function weekOneBootNudge(upgradeToolName) {
 var state = ensureState();
 var core = makeCore();
 var subject = process.env.FIDACY_SUBJECT ?? "agent:demo";
-var server = new McpServer({ name: "fidacy", version: "0.1.0" });
+var SERVER_VERSION = true ? "0.1.13" : "dev";
+var server = new McpServer({ name: "fidacy", version: SERVER_VERSION });
 server.registerTool(
   "request_payment",
   {

package/dist/lib.js

@@ -74,151 +74,9 @@ function verifyGrant(publicKeyPem2, grant, expected) {
 
 // ../firewall/dist/audit-store.js
 import fs from "node:fs";
-var FileAuditStore = class {
-  path;
-  chain = [];
-  constructor(path) {
-    this.path = path;
-    this.load();
-  }
-  load() {
-    if (!fs.existsSync(this.path))
-      return;
-    try {
-      const raw = fs.readFileSync(this.path, "utf8");
-      const parsed = [];
-      for (const line of raw.split("\n")) {
-        if (!line.trim())
-          continue;
-        parsed.push(JSON.parse(line));
-      }
-      this.chain = parsed;
-      if (!this.intact())
-        throw new Error("audit chain integrity broken");
-    } catch (err) {
-      this.chain = [];
-      try {
-        const quarantine = `${this.path}.corrupt-${Date.now()}`;
-        fs.renameSync(this.path, quarantine);
-        console.error(`[fidacy] audit log at ${this.path} is unreadable/tampered (${err.message}); quarantined to ${quarantine}, starting a fresh chain.`);
-      } catch {
-        console.error(`[fidacy] audit log at ${this.path} is unreadable/tampered and could not be quarantined; starting a fresh in-memory chain.`);
-      }
-    }
-  }
-  head() {
-    return this.chain.length ? this.chain[this.chain.length - 1].hash : "GENESIS";
-  }
-  append(decision) {
-    const prevHash = this.head();
-    const seq = this.chain.length;
-    const ts = decision.ts;
-    const digest = sha256(stableStringify({ decisionId: decision.decisionId, status: decision.status, request: decision.request, violatedRule: decision.violatedRule ?? null }));
-    const hash = sha256(`${prevHash}|${digest}|${seq}|${ts}`);
-    const record2 = { seq, decisionId: decision.decisionId, status: decision.status, subject: decision.subject, digest, prevHash, hash, ts };
-    fs.appendFileSync(this.path, JSON.stringify(record2) + "\n");
-    this.chain.push(record2);
-    return record2;
-  }
-  find(decisionId) {
-    return this.chain.find((r) => r.decisionId === decisionId);
-  }
-  intact() {
-    let prev = "GENESIS";
-    for (const r of this.chain) {
-      const expected = sha256(`${prev}|${r.digest}|${r.seq}|${r.ts}`);
-      if (expected !== r.hash || r.prevHash !== prev)
-        return false;
-      prev = r.hash;
-    }
-    return true;
-  }
-};
 
-// ../firewall/dist/executor.js
-import { createPublicKey } from "node:crypto";
+// ../firewall/dist/core.js
 import { randomUUID } from "node:crypto";
-var ReferenceRail = class {
-  settlements = [];
-  async execute(req) {
-    const railRef = "ref_" + randomUUID();
-    this.settlements.push({ ...req, railRef, at: (/* @__PURE__ */ new Date()).toISOString() });
-    return { railRef };
-  }
-};
-function httpRedeem(coreUrl, apiKey) {
-  const base = String(coreUrl ?? "").replace(/\/+$/, "");
-  const u = new URL(base);
-  if (u.protocol !== "https:" && !(u.protocol === "http:" && (u.hostname === "localhost" || u.hostname === "127.0.0.1"))) {
-    throw new Error("core URL must be https:// (the API key is sent to it)");
-  }
-  return async (grant) => {
-    const res = await fetch(`${base}/v1/grant/redeem`, {
-      method: "POST",
-      headers: { "content-type": "application/json", authorization: `Bearer ${apiKey}` },
-      body: JSON.stringify({ grant })
-    });
-    if (res.status === 200)
-      return true;
-    if (res.status === 409)
-      return false;
-    throw new Error(`redeem -> ${res.status}`);
-  };
-}
-var GrantEnforcingExecutor = class {
-  rail;
-  used = /* @__PURE__ */ new Set();
-  pub;
-  redeem;
-  constructor(publicKeyPem2, rail, opts) {
-    this.rail = rail;
-    this.pub = createPublicKey(publicKeyPem2);
-    this.redeem = opts?.redeem;
-  }
-  async execute(req, grant) {
-    if (!grant)
-      return { status: "REFUSED", reason: "missing_grant" };
-    const dot = grant.indexOf(".");
-    if (dot < 0)
-      return { status: "REFUSED", reason: "malformed_grant" };
-    const body = grant.slice(0, dot);
-    const sig = grant.slice(dot + 1);
-    if (!verify(this.pub, body, sig))
-      return { status: "REFUSED", reason: "invalid_signature" };
-    let p;
-    try {
-      p = JSON.parse(Buffer.from(body, "base64url").toString("utf8"));
-    } catch {
-      return { status: "REFUSED", reason: "undecodable_grant" };
-    }
-    if (Date.now() > p.exp)
-      return { status: "REFUSED", reason: "grant_expired" };
-    if (this.used.has(p.decisionId))
-      return { status: "REFUSED", reason: "grant_replayed" };
-    if (p.payee !== req.payee)
-      return { status: "REFUSED", reason: "payee_mismatch" };
-    if (p.amount !== req.amount)
-      return { status: "REFUSED", reason: "amount_mismatch" };
-    if (p.currency !== req.currency)
-      return { status: "REFUSED", reason: "currency_mismatch" };
-    if (req.invoiceRef != null && req.invoiceRef !== (p.invoiceRef ?? null)) {
-      return { status: "REFUSED", reason: "invoice_mismatch" };
-    }
-    if (this.redeem) {
-      let first;
-      try {
-        first = await this.redeem(grant);
-      } catch {
-        return { status: "REFUSED", reason: "redeem_unavailable" };
-      }
-      if (!first)
-        return { status: "REFUSED", reason: "grant_replayed" };
-    }
-    this.used.add(p.decisionId);
-    const { railRef } = await this.rail.execute(req);
-    return { status: "EXECUTED", railRef, decisionId: p.decisionId };
-  }
-};
 
 // ../firewall/dist/evaluate.js
 function fold(s) {
@@ -295,7 +153,6 @@ function evaluate(mandate, req, spentSoFar) {
 }
 
 // ../firewall/dist/core.js
-import { randomUUID as randomUUID2 } from "node:crypto";
 function canonInvoice(ref) {
   if (typeof ref !== "string")
     return "";
@@ -343,12 +200,41 @@ var DevFidacyCore = class {
     this.mandate = opts.mandate;
     this.store = new FileAuditStore(opts.auditLogPath ?? "./fidacy-audit.log");
     this.onDecision = opts.onDecision;
+    this.rehydrate();
+  }
+  /**
+   * Rebuild the in-memory decision state from the persisted audit log, so a process
+   * restart cannot re-open a claimed invoice (BEC dedup) or reset the maxTotal
+   * counter. One O(records) pass at boot over the already-loaded chain:
+   *   - claimedInvoices: every ALLOW that carried an invoiceRef, regardless of age —
+   *     a paid invoice stays paid.
+   *   - spent: ALLOW amounts whose timestamp falls inside the CURRENT mandate window
+   *     and whose currency matches the mandate (the cap is defined per window/currency).
+   * Records from older versions lack the rehydration fields and are skipped.
+   */
+  rehydrate() {
+    const notBefore = Date.parse(this.mandate.window.notBefore);
+    const notAfter = Date.parse(this.mandate.window.notAfter);
+    for (const r of this.store.records()) {
+      if (r.status !== "ALLOW")
+        continue;
+      if (r.invoiceRef)
+        this.claimedInvoices.add(`${r.subject}|${r.invoiceRef}`);
+      if (typeof r.amount !== "number" || !Number.isFinite(r.amount))
+        continue;
+      if (r.currency !== this.mandate.allow.currency)
+        continue;
+      const t = Date.parse(r.ts);
+      if (!Number.isFinite(t) || t < notBefore || t > notAfter)
+        continue;
+      this.spent += r.amount;
+    }
   }
   async getMandate() {
     return this.mandate;
   }
   async decide(req, subject) {
-    const decisionId = randomUUID2();
+    const decisionId = randomUUID();
     const ts = (/* @__PURE__ */ new Date()).toISOString();
     const invalid = validateRequest(req);
     if (invalid) {
@@ -429,6 +315,181 @@ var HttpFidacyCore = class {
   }
 };
 
+// ../firewall/dist/audit-store.js
+var FileAuditStore = class {
+  path;
+  chain = [];
+  constructor(path) {
+    this.path = path;
+    this.load();
+  }
+  load() {
+    if (!fs.existsSync(this.path))
+      return;
+    try {
+      const raw = fs.readFileSync(this.path, "utf8");
+      const lines = raw.split("\n");
+      const parsed = [];
+      let torn = false;
+      for (let i = 0; i < lines.length; i++) {
+        if (!lines[i].trim())
+          continue;
+        try {
+          parsed.push(JSON.parse(lines[i]));
+        } catch {
+          if (lines.slice(i + 1).some((l) => l.trim()))
+            throw new Error(`unparseable record at line ${i + 1}`);
+          torn = true;
+          break;
+        }
+      }
+      this.chain = parsed;
+      if (!this.intact())
+        throw new Error("audit chain integrity broken");
+      if (torn) {
+        const clean = parsed.map((r) => JSON.stringify(r)).join("\n") + (parsed.length ? "\n" : "");
+        fs.writeFileSync(this.path, clean);
+        console.error(`[fidacy] audit log at ${this.path} had a torn trailing line (crash during append?); salvaged ${parsed.length} intact records and truncated the tail.`);
+      }
+    } catch (err) {
+      this.chain = [];
+      try {
+        const quarantine = `${this.path}.corrupt-${Date.now()}`;
+        fs.renameSync(this.path, quarantine);
+        console.error(`[fidacy] audit log at ${this.path} is unreadable/tampered (${err.message}); quarantined to ${quarantine}, starting a fresh chain.`);
+      } catch {
+        console.error(`[fidacy] audit log at ${this.path} is unreadable/tampered and could not be quarantined; starting a fresh in-memory chain.`);
+      }
+    }
+  }
+  head() {
+    return this.chain.length ? this.chain[this.chain.length - 1].hash : "GENESIS";
+  }
+  append(decision) {
+    const prevHash = this.head();
+    const seq = this.chain.length;
+    const ts = decision.ts;
+    const digest = sha256(stableStringify({ decisionId: decision.decisionId, status: decision.status, request: decision.request, violatedRule: decision.violatedRule ?? null }));
+    const hash = sha256(`${prevHash}|${digest}|${seq}|${ts}`);
+    const record2 = { seq, decisionId: decision.decisionId, status: decision.status, subject: decision.subject, digest, prevHash, hash, ts };
+    if (decision.status === "ALLOW") {
+      const req = decision.request;
+      if (typeof req?.amount === "number" && Number.isFinite(req.amount))
+        record2.amount = req.amount;
+      if (typeof req?.currency === "string")
+        record2.currency = req.currency;
+      const invoice = canonInvoice(req?.invoiceRef);
+      if (invoice)
+        record2.invoiceRef = invoice;
+    }
+    fs.appendFileSync(this.path, JSON.stringify(record2) + "\n");
+    this.chain.push(record2);
+    return record2;
+  }
+  find(decisionId) {
+    return this.chain.find((r) => r.decisionId === decisionId);
+  }
+  /** The full loaded chain, oldest first. Read-only; used to rehydrate core state at boot. */
+  records() {
+    return this.chain;
+  }
+  intact() {
+    let prev = "GENESIS";
+    for (const r of this.chain) {
+      const expected = sha256(`${prev}|${r.digest}|${r.seq}|${r.ts}`);
+      if (expected !== r.hash || r.prevHash !== prev)
+        return false;
+      prev = r.hash;
+    }
+    return true;
+  }
+};
+
+// ../firewall/dist/executor.js
+import { createPublicKey } from "node:crypto";
+import { randomUUID as randomUUID2 } from "node:crypto";
+var ReferenceRail = class {
+  settlements = [];
+  async execute(req) {
+    const railRef = "ref_" + randomUUID2();
+    this.settlements.push({ ...req, railRef, at: (/* @__PURE__ */ new Date()).toISOString() });
+    return { railRef };
+  }
+};
+function httpRedeem(coreUrl, apiKey) {
+  const base = String(coreUrl ?? "").replace(/\/+$/, "");
+  const u = new URL(base);
+  if (u.protocol !== "https:" && !(u.protocol === "http:" && (u.hostname === "localhost" || u.hostname === "127.0.0.1"))) {
+    throw new Error("core URL must be https:// (the API key is sent to it)");
+  }
+  return async (grant) => {
+    const res = await fetch(`${base}/v1/grant/redeem`, {
+      method: "POST",
+      headers: { "content-type": "application/json", authorization: `Bearer ${apiKey}` },
+      body: JSON.stringify({ grant })
+    });
+    if (res.status === 200)
+      return true;
+    if (res.status === 409)
+      return false;
+    throw new Error(`redeem -> ${res.status}`);
+  };
+}
+var GrantEnforcingExecutor = class {
+  rail;
+  used = /* @__PURE__ */ new Set();
+  pub;
+  redeem;
+  constructor(publicKeyPem2, rail, opts) {
+    this.rail = rail;
+    this.pub = createPublicKey(publicKeyPem2);
+    this.redeem = opts?.redeem;
+  }
+  async execute(req, grant) {
+    if (!grant)
+      return { status: "REFUSED", reason: "missing_grant" };
+    const dot = grant.indexOf(".");
+    if (dot < 0)
+      return { status: "REFUSED", reason: "malformed_grant" };
+    const body = grant.slice(0, dot);
+    const sig = grant.slice(dot + 1);
+    if (!verify(this.pub, body, sig))
+      return { status: "REFUSED", reason: "invalid_signature" };
+    let p;
+    try {
+      p = JSON.parse(Buffer.from(body, "base64url").toString("utf8"));
+    } catch {
+      return { status: "REFUSED", reason: "undecodable_grant" };
+    }
+    if (Date.now() > p.exp)
+      return { status: "REFUSED", reason: "grant_expired" };
+    if (this.used.has(p.decisionId))
+      return { status: "REFUSED", reason: "grant_replayed" };
+    if (p.payee !== req.payee)
+      return { status: "REFUSED", reason: "payee_mismatch" };
+    if (p.amount !== req.amount)
+      return { status: "REFUSED", reason: "amount_mismatch" };
+    if (p.currency !== req.currency)
+      return { status: "REFUSED", reason: "currency_mismatch" };
+    if (req.invoiceRef != null && req.invoiceRef !== (p.invoiceRef ?? null)) {
+      return { status: "REFUSED", reason: "invoice_mismatch" };
+    }
+    if (this.redeem) {
+      let first;
+      try {
+        first = await this.redeem(grant);
+      } catch {
+        return { status: "REFUSED", reason: "redeem_unavailable" };
+      }
+      if (!first)
+        return { status: "REFUSED", reason: "grant_replayed" };
+    }
+    this.used.add(p.decisionId);
+    const { railRef } = await this.rail.execute(req);
+    return { status: "EXECUTED", railRef, decisionId: p.decisionId };
+  }
+};
+
 // src/config.ts
 import { randomUUID as randomUUID3 } from "node:crypto";
 import { homedir } from "node:os";
@@ -510,7 +571,7 @@ function resolveMandateRules(cfg) {
 }
 
 // src/telemetry.ts
-var CLIENT_VERSION = true ? "0.1.11" : "dev";
+var CLIENT_VERSION = true ? "0.1.13" : "dev";
 var currentShell = "mcp";
 function setTelemetryShell(shell) {
   currentShell = shell;
@@ -633,7 +694,7 @@ function requestUpgrade() {
 }
 
 // src/provision.ts
-var CLIENT_VERSION2 = true ? "0.1.11" : "dev";
+var CLIENT_VERSION2 = true ? "0.1.13" : "dev";
 function provisionEnabled() {
   const v = (process.env.FIDACY_DISABLE_PROVISION ?? "").trim().toLowerCase();
   return !(v === "1" || v === "true" || v === "yes");

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fidacy/mcp",
-  "version": "0.1.11",
+  "version": "0.1.13",
   "description": "Fidacy action firewall for AI agents. Mandate-gated payment authorization as an MCP server.",
   "license": "Apache-2.0",
   "homepage": "https://fidacy.com",