corpus/formulas/formula-corpus-evidence.json

{"content_sha256":"e33c1fe7da5667e5aaf0379825d4f53c4b922cc93763d0bc3156ac4a15dcd448","entries":[{"artifact_receipt":{"artifact_sha256":"529396cc266690a73a7d9356d9abf9c476b75adc9449c6d904c1c29425dc1be8","network_used":false,"proof_credit":0,"proof_status":"NOT_EVALUATED","receipt_sha256":"4b15d7ec7ab5e1a6fdd11088ebd0f56c939b9e662429c9bc5902924ea842ab46","schema_version":"szl.brain.artifact-receipt.v1","source_assets":[{"bytes":11358,"license":"Apache-2.0","path":"LICENSE","sha256":"cfc7749b96f63bd31c3c42b5c471bf756814053e847c10f3eb003417bc523d30"},{"bytes":31153,"license":"Apache-2.0","path":"corpus/formulas/a11oy__szl_puriq_formulas.py","sha256":"c029bbf92e9c6dc31916f02ce5a44e4237f9d4034e7730d3a52183e831cb205d"},{"bytes":5258,"license":"Apache-2.0","path":"corpus/formulas/lutar-lean__Lutar__Puriq__Formulas__ProvedFormulas.lean","sha256":"847d2e332017a5bfe3e7823092acf0245840f6b20f3d6f1544f723fd1607612e"},{"bytes":19004,"license":"Apache-2.0","path":"corpus/formulas/lutar-lean__PROVEN_FORMULAS.md","sha256":"9692d973c443fb46fa9031a92bf1f6587d5a03ab0abf1e62feec6fce7b01b8d9"}],"training_triggered":false,"verified":true},"artifact_sha256":"529396cc266690a73a7d9356d9abf9c476b75adc9449c6d904c1c29425dc1be8","evidence_class":"EXPERIMENTAL","id":"brain-reranker-formula-v1","sorry_count":0,"source_path":"corpus/formulas/reranker-evidence.json"}],"schema_version":"szl.brain.corpus-evidence.v1","source_type":"formula","version":"brain-reranker-defaults-v1"}