{
  "base": "bd4c2e29e3919c44028d37bd21f40ced1a91a8f0",
  "standaloneAccepted": "15c624c32378b9c773a3d0c25a65150804b68c90",
  "standalonePredecessor": "8fd21a3177242fde3dca2a3dffa1c5f4c0350bdd",
  "acceptedSourceFiles": {
    "model.mjs": "6655542498955f2d0a446ee9f9a5fbaa0263a658b3e7496de83cc243ed8a4d60",
    "browser.py": "4ca13da5c5cb609691df38a5159ba7d4408c4cd0e22aca2ed123003ca5e0df52",
    "README.md": "093e6e4e3ea20076111c5d99f09cf663eb434f71b066b9db6da911e3c40b2b8e",
    "claims.json": "8cb883bbf102e897ff7f291bc3b46daf22bc4731b95c69d6f4aff109d2b5d43b",
    "model_audit.py": "88a848f9a650fd460db31d0322d5b231395cce1b1f48dc888e04efb8c1e85636",
    "requirements-audit.txt": "47fd19021144e071cc43b6e265aafada0056abe89724ad95bd6e3a8e37995b94",
    "index.template.html": "22f1e23ef2f032a60f2c7c174a0fc71d6967c2c8ecb80aaf53e575beb45d4f99",
    "check_proofs.py": "af6624691698dff989eab736500df12876292b007505fcc942bdf2f2f573435f",
    "NonuniformIsochoric.lean": "99029516cf26fca5a82cbd2971c13f9d9d1e6a10face1d71704a6185b7a731ea",
    "build.py": "c79a789c760b52c30522a5a08022fe102084e8572ce32b8e77819319351ed1f7",
    "model.test.mjs": "14db58fc1338fbed8dac451554cc53ed3d9dbb36d8171e5dfb8a0e5f69586c98"
  },
  "originalProofIdentities": 103,
  "addedScopedRealContracts": 6,
  "totalCandidateProofs": 109,
  "ordering": "properties -> nonuniform local volume -> material response -> SLS -> two-block serial specimen",
  "scope": "Educational prescribed finite kinematics only. Declared-gradient, interval positivity and algebraic cell-error formal results; map differentiation, injectivity/integration, triangulation and floating-point refinement are separate obligations. No anatomical completion.",
  "libraryDelivery": "Held eight original approved filenames; no retries",
  "authorCampaignInvocations": 0,
  "independentAcceptance": "ACCEPTED_WITH_EXPLICIT_SCOPE",
  "independentReportSha256": {
    "independent-review.json": "e84247c240106fb214c95803bf721a048980157acc394db874e74cdd7dd6eaff",
    "accepted-15c624c3.json": "b7ffb5b5baf0bb1dcf8128f7a7def0411b7034181ebeccf2f357524a88c93607"
  }
}