@mikeargento/bitgraph-audit 0.1.0

package/dist/witness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"witness.js","sourceRoot":"","sources":["../src/witness.ts"],"names":[],"mappings":"AAAA,qFAAqF;AAErF;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAC;AACrF,OAAO,EAAE,oBAAoB,EAAE,MAAM,eAAe,CAAC;AAYrD,MAAM,mBAAmB,GAAG,CAAC,CAAC;AAC9B,MAAM,sBAAsB,GAAG,EAAE,CAAC;AAClC,MAAM,gBAAgB,GAAG,qBAAqB,CAAC;AAC/C,MAAM,mBAAmB,GAAG,4CAA4C,CAAC;AAEzE,8EAA8E;AAC9E,aAAa;AACb,8EAA8E;AAE9E;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,qBAAqB,CACzC,MAAoB,EACpB,cAAoC;IAEpC,MAAM,QAAQ,GAA2B,EAAE,CAAC;IAC5C,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAwB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1F,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;QAC3C,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,OAAO,GAAyB;gBACpC,WAAW,EAAE,WAAW,CAAC,IAAI;gBAC7B,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM;gBAC9B,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM;aAC/B,CAAC;YACF,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QAED,wDAAwD;QACxD,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAsB,CAAC;QAChD,MAAM,OAAO,GAAI,OAAO,CAAC,WAAsB,CAAC,WAAW,EAAE,CAAC;QAC9D,MAAM,UAAU,GAAG,cAAc,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE;YAC1D,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,EAAE,WAAW,EAAE,CAAC;YAChD,OAAO,OAAO,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,OAAO,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;QAEH,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAyB;gBACpC,WAAW,EAAE,WAAW,CAAC,IAAI;gBAC7B,QAAQ,EAAE,KAAK;gBACf,MAAM,EAAE,mBAAmB;gBAC3B,MAAM,EACJ,kFAAkF;oBAClF,8CAA8C;gBAChD,iBAAiB,EAAE,QAAQ;aAC5B,CAAC;YACF,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvB,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;YAClC,SAAS;QACX,CAAC;QAED,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;YACpD,MAAM,WAAW,GAAG,WAAW,KAAK,SAAS,IAAI,CAAC,MAAM,oBAAoB,CAAC,WAAW,CAAC,CAAC,CAAC;YAC3F,MAAM,OAAO,GAAG,YAAY,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,SAAS,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;YACvG,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACvB,IAAI,CAAC,OAAO,CAAC,QAAQ;gBAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;QAC3D,CAAC;IACH,CAAC;IAED,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,mBAAmB,CACvC,WAA8B,EAC9B,WAA0B;IAE1B,MAAM,OAAO,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IAC3C,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO;YACL,WAAW,EAAE,WAAW,CAAC,IAAI;YAC7B,eAAe,EAAE,WAAW,CAAC,SAAS;YACtC,QAAQ,EAAE,KAAK;YACf,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM;YAC9B,MAAM,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM;SAC/B,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,oBAAoB,CAAC,WAAW,CAAC,CAAC;IAC5D,OAAO,YAAY,CAAC,OAAO,EAAE,WAAW,CAAC,IAAI,EAAE,WAAW,CAAC,SAAS,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC;AAClG,CAAC;AAiBD,SAAS,aAAa,CAAC,WAA8B;IACnD,MAAM,CAAC,GAAG,WAAW,CAAC,OAAO,CAAC;IAE9B,4BAA4B;IAC5B,MAAM,YAAY,GAAG,CAAC,CAAC,cAAc,CAAC,CAAC;IACvC,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE,CAAC;QACrC,OAAO,SAAS,CAAC,yCAAyC,CAAC,CAAC;IAC9D,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC;IACrC,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC,EAAE,CAAC;QACzF,OAAO,SAAS,CAAC,sDAAsD,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,SAAS,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IACjC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACvE,OAAO,SAAS,CAAC,8DAA8D,CAAC,CAAC;IACnF,CAAC;IAED,kEAAkE;IAClE,MAAM,WAAW,GAAG,UAAU,CAAC,YAAY,CAAC,CAAC;IAC7C,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;QACzB,OAAO,SAAS,CAAC,iDAAiD,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,KAAuC,CAAC;IAC5C,IAAI,CAAC;QACH,KAAK,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO;YACL,OAAO,EAAE;gBACP,MAAM,EAAE,qBAAqB;gBAC7B,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;aAC/D;SACF,CAAC;IACJ,CAAC;IAED,0DAA0D;IAC1D,MAAM,YAAY,GAAG,YAAY,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC;IAE3D,OAAO;QACL,YAAY;QACZ,KAAK;QACL,WAAW,EAAE,SAAS;QACtB,aAAa,EAAE,MAAM,CAAC,WAAW,CAAC;KACnC,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,MAAc;IAC/B,OAAO,EAAE,OAAO,EAAE,EAAE,MAAM,EAAE,mBAAmB,EAAE,MAAM,EAAE,EAAE,CAAC;AAC9D,CAAC;AAED,8EAA8E;AAC9E,iDAAiD;AACjD,8EAA8E;AAE9E,SAAS,YAAY,CACnB,OAAuB,EACvB,WAAmB,EACnB,eAAuB,EACvB,WAAsC,EACtC,WAAoB;IAEpB,MAAM,YAAY,GAAG,OAAO,CAAC,YAAsB,CAAC;IACpD,MAAM,IAAI,GAAG;QACX,WAAW;QACX,eAAe;QACf,iBAAiB,EAAE,YAAY;KAChC,CAAC;IACF,MAAM,IAAI,GAAG,CAAC,MAAmB,EAAE,MAAc,EAAE,KAAgC,EAAwB,EAAE,CAAC,CAAC;QAC7G,GAAG,IAAI;QACP,QAAQ,EAAE,KAAK;QACf,MAAM;QACN,MAAM;QACN,GAAG,CAAC,KAAK,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAChF,CAAC,CAAC;IAEH,wEAAwE;IACxE,4DAA4D;IAC5D,IAAI,WAAW,KAAK,SAAS,IAAI,CAAC,WAAW,EAAE,CAAC;QAC9C,OAAO,IAAI,CACT,wBAAwB,EACxB,wFAAwF,CACzF,CAAC;IACJ,CAAC;IAED,kEAAkE;IAClE,MAAM,OAAO,GAAG,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC/C,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,WAAW,EAAE,KAAK,YAAY,EAAE,CAAC;QACpE,OAAO,IAAI,CACT,uBAAuB,EACvB,OAAO,KAAK,SAAS;YACnB,CAAC,CAAC,qEAAqE;YACvE,CAAC,CAAC,0FAA0F,CAC/F,CAAC;IACJ,CAAC;IAED,oEAAoE;IACpE,mEAAmE;IACnE,mEAAmE;IACnE,sBAAsB;IACtB,MAAM,MAAM,GAAG,oBAAoB,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,CAAC;IAChE,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACpB,OAAO,IAAI,CACT,yBAAyB,EACzB,gFAAgF,CACjF,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9D,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC;QACrC,OAAO,IAAI,CACT,yBAAyB,EACzB,oGAAoG,CACrG,CAAC;IACJ,CAAC;IAED,0CAA0C;IAC1C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAyC,CAAC;IAChE,MAAM,UAAU,GAAG,KAAK,CAAC,mBAAmB,CAAC,CAAC;IAC9C,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,CAAC,UAAU,YAAY,UAAU,CAAC,EAAE,CAAC;QACpE,OAAO,IAAI,CACT,sBAAsB,EACtB,mBAAmB,mBAAmB,iDAAiD,CACxF,CAAC;IACJ,CAAC;IACD,MAAM,YAAY,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,YAAY,KAAK,OAAO,CAAC,aAAa,EAAE,CAAC;QAC3C,OAAO,IAAI,CACT,+BAA+B,EAC/B,kCAAkC,OAAO,CAAC,aAAa,sCAAsC,YAAY,EAAE,EAC3G,EAAE,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE,CACtC,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;IAC3C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,SAAS,GAAG,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvD,IAAI,SAAS,KAAK,SAAS,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,YAAY,EAAE,CAAC;YAClE,OAAO,IAAI,CACT,+BAA+B,EAC/B,iDAAiD,SAAS,sCAAsC,YAAY,EAAE,EAC9G,EAAE,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE,CACtC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAK,OAAO,CAAC,WAAsB,CAAC,WAAW,EAAE,KAAK,YAAY,EAAE,CAAC;QACnE,OAAO,IAAI,CACT,+BAA+B,EAC/B,kFAAkF,EAClF,EAAE,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE,CACtC,CAAC;IACJ,CAAC;IAED,wCAAwC;IACxC,MAAM,aAAa,GAAG,KAAK,CAAC,sBAAsB,CAAC,CAAC;IACpD,IAAI,aAAa,KAAK,SAAS,IAAI,CAAC,CAAC,aAAa,YAAY,UAAU,CAAC,EAAE,CAAC;QAC1E,OAAO,IAAI,CACT,sBAAsB,EACtB,mBAAmB,sBAAsB,8CAA8C,EACvF,EAAE,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE,CACtC,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,aAAa,CAAC,CAAC;IAClD,IAAI,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAChD,OAAO,IAAI,CACT,sBAAsB,EACtB,8CAA8C,EAC9C,EAAE,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC,EAAE,CACtC,CAAC;IACJ,CAAC;IAED,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,IAAI;QACd,WAAW,EAAE,MAAM,CAAC,YAAY,CAAC;QACjC,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC;KAC7B,CAAC;AACJ,CAAC;AAED,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,SAAS,iBAAiB,CAAC,KAAoB;IAC7C,OAAO,eAAe,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,eAAe,CAAC,KAAoB;IAC3C,OAAO,eAAe,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;AACzC,CAAC;AAED,SAAS,eAAe,CAAC,KAAoB,EAAE,KAAa;IAC1D,MAAM,WAAW,GAAI,KAAK,CAAC,KAA4C,CAAC,aAAa,CAAC,CAAC;IACvF,IAAI,WAAW,KAAK,IAAI,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QAC1F,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAI,WAAuC,CAAC,KAAK,CAAC,CAAC;IAC9D,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED,SAAS,aAAa,CAAC,KAAoB;IACzC,MAAM,QAAQ,GAAI,KAAK,CAAC,KAA4C,CAAC,UAAU,CAAC,CAAC;IACjF,IAAI,QAAQ,KAAK,IAAI,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjF,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,KAAK,GAAI,QAAoC,CAAC,WAAW,CAAC,CAAC;IACjE,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACvD,CAAC;AAED,4EAA4E;AAC5E,SAAS,oBAAoB,CAAC,KAAyB;IACrD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAC7C,IAAI,OAAO,CAAC,MAAM,KAAK,EAAE,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,KAAK;QAAE,OAAO,IAAI,CAAC;IAC/E,OAAO,IAAI,UAAU,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC;AAED,SAAS,UAAU,CAAC,CAAa,EAAE,CAAa;IAC9C,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;QAAE,OAAO,KAAK,CAAC;IACxC,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,IAAI,IAAK,CAAC,CAAC,CAAC,CAAY,GAAI,CAAC,CAAC,CAAC,CAAY,CAAC;IAC/E,OAAO,IAAI,KAAK,CAAC,CAAC;AACpB,CAAC;AAED,SAAS,SAAS,CAAC,OAA6B;IAC9C,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,MAAqB;QACnC,IAAI,EAAE,OAAO,CAAC,WAAW;QACzB,OAAO,EAAE,4BAA4B,OAAO,CAAC,MAAM,IAAI,qBAAqB,8EAA8E;QAC1J,OAAO,EAAE;YACP,GAAG,CAAC,OAAO,CAAC,eAAe,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9F,GAAG,CAAC,OAAO,CAAC,iBAAiB,KAAK,SAAS;gBACzC,CAAC,CAAC,EAAE,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,EAAE;gBAClD,CAAC,CAAC,EAAE,CAAC;SACR;KACF,CAAC;AACJ,CAAC"}

package/package.json

@@ -0,0 +1,42 @@
+{
+  "name": "@mikeargento/bitgraph-audit",
+  "version": "0.1.0",
+  "description": "Offline audit of BitGraph proof bundles: ingest, tiered verification, causal reconstruction, divergence reporting.",
+  "license": "MIT",
+  "type": "module",
+  "main": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "bin": {
+    "bitgraph-audit": "./dist/cli.js"
+  },
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    }
+  },
+  "files": [
+    "dist",
+    "src",
+    "README.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "build": "tsc",
+    "prepack": "tsc",
+    "typecheck": "tsc --noEmit",
+    "bench": "node scripts/bench-audit.mjs"
+  },
+  "engines": {
+    "node": ">=20"
+  },
+  "dependencies": {
+    "@mikeargento/bitgraph-verify": "^1.1.0",
+    "@noble/hashes": "^1.4.0"
+  },
+  "devDependencies": {
+    "@noble/ed25519": "^2.1.0",
+    "@types/node": "^20.0.0",
+    "typescript": "^5.4.0"
+  }
+}

package/src/anchors.ts

@@ -0,0 +1,168 @@
+// Copyright (c) 2024-2026 Mike Argento. Licensed under the MIT License. See LICENSE.
+
+/**
+ * bitgraph-audit anchor identification (G5)
+ *
+ * Ethereum anchors are ordinary chain members minted by the anchor
+ * service: same counter sequence, same prevB64 links, same signing key as
+ * every other proof on the chain. What makes a proof an anchor is the
+ * SIGNED attribution:
+ *
+ *   - attribution.name === "Ethereum Anchor" is the discriminator.
+ *   - attribution.message carries the Ethereum block hash string.
+ *   - attribution.title carries the block number, only inside the signed
+ *     Etherscan URL.
+ *   - artifact.digestB64 is SHA-256 over the block-hash STRING.
+ *
+ * The unsigned metadata.type === "ethereum-anchor" is corroboration only:
+ * agreement and disagreement are recorded, and metadata alone never makes
+ * a proof an anchor. The unsigned metadata.anchor block timestamp is
+ * never read; wall-clock evidence comes exclusively from verified anchor
+ * witnesses (witness.ts). No wall-clock time is ever derived from a block
+ * number.
+ *
+ * Run after verifyObservedProofs so the records carry the run
+ * verification status; identification itself reads only the signed body.
+ */
+
+import type {
+  AnchorIdentification,
+  AnchorRecord,
+  AuditFinding,
+  IngestResult,
+  ObservedProof,
+} from "./types.js";
+
+const ANCHOR_ATTRIBUTION_NAME = "Ethereum Anchor";
+const ANCHOR_METADATA_TYPE = "ethereum-anchor";
+
+/**
+ * Strict Etherscan block URL, the exact form the anchor service signs
+ * (packages/hosted/src/bitcoin-anchor.ts): https://etherscan.io/block/{n}.
+ * Anything else is reported unparseable and the block number treated as
+ * absent, never guessed.
+ */
+const ETHERSCAN_BLOCK_URL = /^https:\/\/etherscan\.io\/block\/([0-9]+)$/;
+
+/**
+ * Identify anchor proofs among the observed proofs. Read-only and
+ * deterministic (observation order).
+ */
+export function identifyAnchors(ingest: IngestResult): AnchorIdentification {
+  const anchors: AnchorRecord[] = [];
+  const metadataOnlyProofHashes: string[] = [];
+  const findings: AuditFinding[] = [];
+
+  for (const proof of ingest.proofs) {
+    const attributionName = readAttributionField(proof, "name");
+    const metadataType = readMetadataType(proof);
+    const signedAnchor = attributionName === ANCHOR_ATTRIBUTION_NAME;
+
+    if (!signedAnchor) {
+      if (metadataType === ANCHOR_METADATA_TYPE) {
+        // Unsigned claim with no signed backing: recorded, never trusted.
+        metadataOnlyProofHashes.push(proof.proofHash);
+        findings.push({
+          code: "anchor-metadata-only-claim",
+          ...pathOf(proof),
+          message:
+            "unsigned metadata.type claims ethereum-anchor, but the signed attribution does not " +
+            "identify this proof as an anchor. Metadata is advisory and unsigned; the proof is " +
+            "not treated as an anchor.",
+          details: { proofHash: proof.proofHash },
+        });
+      }
+      continue;
+    }
+
+    // Corroboration between the signed discriminator and the unsigned
+    // metadata. Only a present-but-different type disagrees; an absent
+    // type is simply absent corroboration.
+    const corroboration =
+      metadataType === ANCHOR_METADATA_TYPE
+        ? ("agrees" as const)
+        : metadataType === undefined
+          ? ("absent" as const)
+          : ("disagrees" as const);
+    if (corroboration === "disagrees") {
+      findings.push({
+        code: "anchor-metadata-disagreement",
+        ...pathOf(proof),
+        message:
+          `signed attribution identifies an Ethereum anchor, but unsigned metadata.type is ` +
+          `${JSON.stringify(metadataType)}. The signed field governs; the disagreement is recorded.`,
+        details: { proofHash: proof.proofHash, metadataType: metadataType as string },
+      });
+    }
+
+    const blockHash = readAttributionField(proof, "message");
+    const title = readAttributionField(proof, "title");
+    const blockNumber = title !== undefined ? (ETHERSCAN_BLOCK_URL.exec(title)?.[1] ?? undefined) : undefined;
+    if (blockNumber === undefined) {
+      findings.push({
+        code: "anchor-title-unparseable",
+        ...pathOf(proof),
+        message:
+          title === undefined
+            ? "anchor proof carries no signed attribution.title; the signed block number is absent"
+            : "anchor attribution.title does not parse as an Etherscan block URL; the signed block number is treated as absent",
+        details: {
+          proofHash: proof.proofHash,
+          ...(title !== undefined ? { title } : {}),
+        },
+      });
+    }
+
+    const verification = proof.verification;
+    anchors.push({
+      proofHash: proof.proofHash,
+      ...(proof.epochId !== undefined ? { epochId: proof.epochId } : {}),
+      chainId: proof.chainId,
+      ...(proof.counter !== undefined ? { counter: proof.counter } : {}),
+      ...(proof.slotCounter !== undefined ? { slotCounter: proof.slotCounter } : {}),
+      ...(blockHash !== undefined ? { blockHash } : {}),
+      ...(blockNumber !== undefined ? { blockNumber } : {}),
+      metadataCorroboration: corroboration,
+      ...(verification !== undefined
+        ? {
+            verificationTier: verification.tier,
+            verificationStatus: verification.status,
+            ...(verification.reason !== undefined ? { verificationReason: verification.reason } : {}),
+          }
+        : {}),
+    });
+  }
+
+  return { anchors, metadataOnlyProofHashes, findings };
+}
+
+// ---------------------------------------------------------------------------
+// Field readers (tolerant: structural problems belong to the verification
+// dimension, not to anchor identification)
+// ---------------------------------------------------------------------------
+
+function readAttributionField(
+  proof: ObservedProof,
+  field: "name" | "title" | "message"
+): string | undefined {
+  const attribution = (proof.proof as unknown as Record<string, unknown>)["attribution"];
+  if (attribution === null || typeof attribution !== "object" || Array.isArray(attribution)) {
+    return undefined;
+  }
+  const value = (attribution as Record<string, unknown>)[field];
+  return typeof value === "string" ? value : undefined;
+}
+
+function readMetadataType(proof: ObservedProof): string | undefined {
+  const metadata = (proof.proof as unknown as Record<string, unknown>)["metadata"];
+  if (metadata === null || typeof metadata !== "object" || Array.isArray(metadata)) {
+    return undefined;
+  }
+  const value = (metadata as Record<string, unknown>)["type"];
+  return typeof value === "string" ? value : undefined;
+}
+
+function pathOf(proof: ObservedProof): { path?: string } {
+  const path = proof.sources[0]?.path;
+  return path !== undefined ? { path } : {};
+}