{
  "gitRevision": "b566a01085f0233c0be2c71508a2d3caac0cf47a",
  "trackedDirty": true,
  "modifiedTrackedGoBuildSources": [],
  "compiledCurrentModuleFileCount": 4031,
  "compiledCurrentModuleMapSha256": "5b63148a77788d5e90358df86506c81a96472007cb69b05d6fb677e2e614e937",
  "goModSha256": "4ee881201bc230750339572f75253e2ec8797dd0d8812dad80abfb3fef63218d",
  "goSumSha256": "4d4533bcede86cdc4868457f5f9532968019bb9c69fc1f52d64e20c6dc82fd6b",
  "proofBinarySha256": "89c2dfbe34ab2d228b9847a3eca326644d2acce02e614b8dbab630baf83759d2",
  "z3BinarySha256": "ae6c8df33db9c9ae9a80b6044e77cd66529a141d8b25f0620f1e89b409594f48",
  "installedProofUsed": false,
  "scope": "Fresh executable built from exact current-tree selected sources; tracked dirty flag includes website/research edits. No current module Go build source changes relative to recorded revision unless explicitly listed.",
  "relevantAuditedSourceSha256": {
    "pkg/catalog/data/property/invariant_preservation.yaml": "7e1a39ad4591ebee04f4ddca091b17651bd75475dcdcc4cc6b3fe30dd08713c1",
    "docs/help/concepts/loop-invariants.md": "e693938ef9885d454a0a20dca71940d0765d3258013b5a61c94501b23b7c401a",
    "docs/help/concepts/reqproof-invariant.md": "fb488a42afb40f70bdcc4792996ada3dd56097a18cacc3d775e128b9cdc88310",
    "docs/help/concepts/reqproof-lemma.md": "2484ae540cf91b7b575122c936012dbe1bbe1dc1630f3be0fd79d1b758c2e7c4",
    "docs/help/concepts/reqproof-decreases.md": "cd4c1280b66662bf19fcd94379890a537f44433e15d2606d17c73489e749ab7b",
    "pkg/lemma/loop_invariants.go": "8f520b07e0c5bc8be46b2f8cd30af77a1574c183830f356cfecb46ade8c1f746",
    "pkg/solver/gosmt/translator.go": "45aa7c09e642aed16d8daf080c48f4d28a5f66abe7ff5e34dc183f1ee2230a52",
    "pkg/solver/gosmt/decreases.go": "b6c5de394d67d6d7a0de6122e102c6a78a1945ccf0a3e87e99a4bc4019c74929",
    "pkg/solver/gosmt/types.go": "3f534daf2566fbe28d2f1e3eb827c4fa8fc417af562cfdb4d22e9364ada24d57",
    "pkg/lemma/prover/orchestration.go": "0c024d61737e9bb8fee441297b8aa30a320a7c71c0fd03ba8a29bb99d99690bc",
    "pkg/lemma/prover/fallback_marker.go": "aeac03e1350a741456dd8315bfb7d7aaf1234c302a57ef69189b9cf11451c5bd",
    "cmd/proof/verifylemma.go": "6ca9e13b8c761e2dac6ef06d49ed999b95eefeb896df98662ccd121c09f0d2e7",
    "website/demo.html": "902a9dc2a5f71745d1047ccbc160848510e53fc6e2d43f90ebd597e26d5cbc26",
    "website/assets/engagement-intake.js": "72df4637e1adc355fbabecb70b80f2ec0e41c89855deef941bd3314dde23472f"
  },
  "internalCompleteBuildIdentitySha256": "c897f2f2d1f71cf38574f19f68125df65552f61f61c0cfec776860256586af38",
  "internalRawGoListSha256": "3b2bbbdf5d6d8a3d713c847ff5ac50875b77ed88be28863c3978835146546327",
  "dependencyPackagesFingerprintSha256": "ee9ba3904c9c4a9168e12bb1f4c8f96363f6c862c9f6f8d56ab2f2bf23edee81",
  "publicRebuildLimit": "Binary/current source snapshot not bundled. Hashes and retained buildinfo/argv identify executed build; caller may replay exact retained queries or supply a separately identified Proof executable."
}