{
 "_doc": "The lab's current claim and limits for one result, copied word for word from the line of its current-claims list named here. A value that is replaced by an object with sha256_of_value and bytes is committed by its hash instead of printed, for the reason it states. Nothing here is typed by hand.",
 "portfolio_id": "inference-limits:certfabric-verifycore",
 "title": "CertFabric and verifycore, an incubated proof-carrying signoff platform",
 "claim": "Two standalone packages that are real code and not scaffolding — canonical JSON, dual digests, signatures, signed provenance statements, fail-closed verification, Lean-to-gate extraction and RFC-6962-style inclusion proofs — with their suites executed.",
 "limits": "'Externally anchorable' is NOT evidence of a live Bitcoin or OpenTimestamps anchor — NO EXTERNAL ANCHOR EXISTS. Several primitives are VENDORED from sibling origins (verifycore/VENDORED.md); check provenance before claiming authorship. Keys and external trust operations are deployment responsibilities. The README's 'network' label overstates deployment. CORRECTED 2026-09-02 (peer review S02): in a fresh checkout the suite reads 96 passed, 1 skipped, 1 failed — certfabric/tests/test_faucet_extraction.py::test_axiom_gate_on_served_theorem shells `#print axioms` for the lab's formal Lean `Extract` library, which is not a default lake target and is not built by the test; after `lake build Extract` it reads 97 passed, 1 skipped. The command now builds Extract first. '98 passed' was the 2026-08-19 count.",
 "lab_commit": "9d619007982bf311b1d3b64c929b835bbceb1f97",
 "differs_from_sealed": true,
 "source": {
  "list": "the lab's current claims",
  "line": 73,
  "sha256": "03cbc720dc0c135b24ba7e8060eb92541f7b5759dcd151d4e2c8afa2e47afadb"
 },
 "result_receipt": "/receipts/inference-limits/results/certfabric-verifycore.json",
 "vendored_utc": "2026-10-06T02:09:30Z"
}