{"ok":true,"endpoint":"brain/health/corpus-sources","label":"MEASURED","schema_version":"szl.brain.corpus-evidence.v1","manifest_contract":{"schema_version":"szl.brain.corpus-evidence.v1","source_types":["szl_lake","lean_mathlib","formula"],"evidence_classes":["PROVED","OPEN","REFUTED","EXPERIMENTAL","UNKNOWN"],"required_top_level":["schema_version","source_type","version","entries"],"entry_required":["id","evidence_class","source_path","artifact_sha256"],"artifact_receipt_optional":{"schema_version":"szl.brain.artifact-receipt.v1","purpose":"bind the admitted artifact to exact local source bytes and licenses; this receipt never grants mathematical proof credit"},"proof_receipt_required_for_proved":["schema_version","verified","artifact_sha256","sorry_count","kernel_commit","lean_commit","mathlib_commit","receipt_sha256"],"proof_rule":"PROVED requires verified local artifact bytes, zero sorry/admit obligations, an exact 40-hex kernel/Lean/mathlib commit triple matching the manifest toolchain, and a valid content-addressed kernel receipt","non_uplift_rule":"OPEN, REFUTED, EXPERIMENTAL, UNKNOWN, invalid PROVED claims, and F-ID conflicts receive zero proof credit and cannot raise query trust","path_rule":"default manifests and artifacts are repo-confined; explicitly configured manifests may read only relative artifacts confined below that manifest's directory"},"sources":[{"source_type":"szl_lake","status":"PARTIAL_QUARANTINE","manifest_origin":"REPO_DEFAULT","manifest_path":"data/szl-lake/evidence-manifest.json","entries":[{"id":"brain-reranker-szl-lake-v1","source_type":"szl_lake","declared_class":"EXPERIMENTAL","effective_class":"UNKNOWN","artifact_sha256":"320158450a3a8207b437a885221e9ae00ee72807a5c6ad4dbb95ad7fbb3a3c4a","artifact_verified":false,"artifact_receipt_valid":false,"proof_receipt_valid":false,"proof_credit":0,"trust_uplift_eligible":false,"disposition":"QUARANTINED","quarantine_reasons":["ARTIFACT_SOURCE_UNAVAILABLE","ARTIFACT_RECEIPT_ASSET_READ_FAILED:FileNotFoundError:0","ARTIFACT_RECEIPT_ASSET_READ_FAILED:FileNotFoundError:3"],"source_path":"data/szl-lake/reranker-evidence.json","sorry_count":0,"artifact_receipt":{"schema_version":"szl.brain.artifact-receipt.v1","verified":true,"artifact_sha256":"320158450a3a8207b437a885221e9ae00ee72807a5c6ad4dbb95ad7fbb3a3c4a","proof_credit":0,"source_asset_count":4,"source_assets":[{"path":"LICENSE","sha256":"cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30","license":"Apache-2.0","bytes":0},{"path":"szl_lake_store.py","sha256":"0b77e97608a9a90bbd695839f9502f29bf864cfb987172d7ce2f0924482e8eca","license":"Apache-2.0","bytes":15607},{"path":"szl_lake_ingest.py","sha256":"3bb058930628d01d7d59670ebbcefde5dc5756e36c0c5f946bb5ce91881d62e8","license":"Apache-2.0","bytes":13194},{"path":"brain/vault/repos/repo-szl-lake.md","sha256":"e369bea7c2b58ee03c5fcc8077b9ff302b4ac146a3d327795db6d0828c9d329e","license":"Apache-2.0","bytes":0}],"receipt_sha256":"8f4f8cdd93a55d201ced1ae63a8906b064c4ee9bbe504e16d9d4582d9b48ca6f"},"proof_receipt":null}],"counts":{"PROVED":0,"OPEN":0,"REFUTED":0,"EXPERIMENTAL":0,"UNKNOWN":1},"proof_credit":0,"errors":[],"manifest_sha256":"a245b451ebea0e4d1a3c4a7fcc5e949c5106ffd9a1058fbc93a020bfff79bfd4","manifest_bytes":1375,"manifest_content_sha256":"82f7ed4c73c6d92e59117fe9d368c346c212a1c593cd27ef6e6986732a3c6adc","version":"brain-reranker-defaults-v1","toolchain":null},{"source_type":"lean_mathlib","status":"SOURCE_UNAVAILABLE","manifest_origin":"REPO_DEFAULT","manifest_path":"docs/thesis/v18/lean-corpus-evidence.json","entries":[],"counts":{"PROVED":0,"OPEN":0,"REFUTED":0,"EXPERIMENTAL":0,"UNKNOWN":0},"proof_credit":0,"errors":["MANIFEST_NOT_FOUND"]},{"source_type":"formula","status":"PARTIAL_QUARANTINE","manifest_origin":"REPO_DEFAULT","manifest_path":"corpus/formulas/formula-corpus-evidence.json","entries":[{"id":"brain-reranker-formula-v1","source_type":"formula","declared_class":"EXPERIMENTAL","effective_class":"UNKNOWN","artifact_sha256":"529396cc266690a73a7d9356d9abf9c476b75adc9449c6d904c1c29425dc1be8","artifact_verified":true,"artifact_receipt_valid":false,"proof_receipt_valid":false,"proof_credit":0,"trust_uplift_eligible":false,"disposition":"QUARANTINED","quarantine_reasons":["ARTIFACT_RECEIPT_ASSET_READ_FAILED:FileNotFoundError:0"],"source_path":"corpus/formulas/reranker-evidence.json","artifact_bytes":3490,"computed_artifact_sha256":"529396cc266690a73a7d9356d9abf9c476b75adc9449c6d904c1c29425dc1be8","sorry_count":0,"artifact_receipt":{"schema_version":"szl.brain.artifact-receipt.v1","verified":true,"artifact_sha256":"529396cc266690a73a7d9356d9abf9c476b75adc9449c6d904c1c29425dc1be8","proof_credit":0,"source_asset_count":4,"source_assets":[{"path":"LICENSE","sha256":"cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30","license":"Apache-2.0","bytes":0},{"path":"corpus/formulas/a11oy__szl_puriq_formulas.py","sha256":"c029bbf92e9c6dc31916f02ce5a44e4237f9d4034e7730d3a52183e831cb205d","license":"Apache-2.0","bytes":31153},{"path":"corpus/formulas/lutar-lean__Lutar__Puriq__Formulas__ProvedFormulas.lean","sha256":"847d2e332017a5bfe3e7823092acf0245840f6b20f3d6f1544f723fd1607612e","license":"Apache-2.0","bytes":5258},{"path":"corpus/formulas/lutar-lean__PROVEN_FORMULAS.md","sha256":"9692d973c443fb46fa9031a92bf1f6587d5a03ab0abf1e62feec6fce7b01b8d9","license":"Apache-2.0","bytes":19004}],"receipt_sha256":"4b15d7ec7ab5e1a6fdd11088ebd0f56c939b9e662429c9bc5902924ea842ab46"},"proof_receipt":null}],"counts":{"PROVED":0,"OPEN":0,"REFUTED":0,"EXPERIMENTAL":0,"UNKNOWN":1},"proof_credit":0,"errors":[],"manifest_sha256":"6949e18b77cc4a38868ce18d7277f87e6c8fe4537ed4853ac651fcdbc4f10c99","manifest_bytes":1468,"manifest_content_sha256":"e33c1fe7da5667e5aaf0379825d4f53c4b922cc93763d0bc3156ac4a15dcd448","version":"brain-reranker-defaults-v1","toolchain":null}],"formula_id_conflicts":[],"summary":{"counts":{"PROVED":0,"OPEN":0,"REFUTED":0,"EXPERIMENTAL":0,"UNKNOWN":2},"proof_credit":0,"quarantined_entries":2,"trust_uplift_from_non_proved":0,"missing_sources":1,"corpus_operational":true,"proof_admission_available":false,"network_access":false,"gpu_training_started":false,"writes_performed":0,"trust_thresholds_changed":false},"note":"This is admission evidence, not a proof-count claim. Legacy/Hugging Face snapshots are not translated into the canonical contract; missing sources remain unavailable.","timestamp_utc":"2026-07-18T09:56:12.357938+00:00"}