{"content_sha256":"6917af611ea8ef8f5494637712770d2ef98e49b20b20689bc30cf48053424d3f","evidence_class":"EXPERIMENTAL","examples":[{"brain_node_id":"formula:F1","brain_node_sha256":"a721e69c3d9eb3bbacf045de991ed08d522f1ac35f6dcad8b584d20effbb107b","brain_source_sha256":"fe3c78b19cb9da7c3a231ef67f8e647b8325b57f59c62ac6787199fa7e4afd08","entity_id":"entity-formula-0","evidence_text":"Euler-Khipu DAG Identity is a formula in the SZL Brain knowledge graph. Formula F1 sits in the Khipu organ. Its primitive is: Euler chi=V-E+F=2. Proof status: PROVED. Flagged locked-8 (adds nothing; not modified here).","example_id":"formula-f1-reported-status","example_type":"positive","query":"What proof status does the current Brain projection report for formula F1?","target_relevance":1.0},{"brain_node_id":"formula:F10","brain_node_sha256":"c4b70ca1097f144138ba011345ae308fef1c31997e15e163ab19d04ecda510fc","brain_source_sha256":"3e2e4337cb02b0b903d98e25350d6ba641e614d63e3e90670e6c06e386138125","entity_id":"entity-formula-8","evidence_text":"Baudhayana Orthogonality Bound is a formula in the SZL Brain knowledge graph. Formula F10 sits in the Lambda-spine organ. Its primitive is: Baudhayana Sulba sqrt2=577/408. Proof status: UNATTEMPTED.","example_id":"formula-f10-not-proved","example_type":"negative","query":"Does this evidence establish formula F10 as proved?","target_relevance":0.0},{"brain_node_id":"formula:F23","brain_node_sha256":"d460225ff7acb2e5141f505790ff70db1f69bd06e3df583c98a90f131eb86655","brain_source_sha256":"2c3ddf68ddd6fd7773d131d31fc56f11760764fb4e3fc082be419a59e68a22e8","entity_id":"entity-formula-5","evidence_text":"Bekenstein A-Cap is a formula in the SZL Brain knowledge graph. Formula F23 sits in the A organ. Its primitive is: Bekenstein bound + 't Hooft holography. Proof status: CONJECTURE_1. Conjecture: Conjecture 1.","example_id":"formula-f23-abstain","example_type":"abstention","query":"Can this evidence justify promoting formula F23 from Conjecture 1 to a theorem?","target_relevance":0.0},{"brain_node_id":"formula:F23","brain_node_sha256":"d460225ff7acb2e5141f505790ff70db1f69bd06e3df583c98a90f131eb86655","brain_source_sha256":"2c3ddf68ddd6fd7773d131d31fc56f11760764fb4e3fc082be419a59e68a22e8","entity_id":"entity-formula-4","evidence_text":"Bekenstein A-Cap is a formula in the SZL Brain knowledge graph. Formula F23 sits in the A organ. Its primitive is: Bekenstein bound + 't Hooft holography. Proof status: CONJECTURE_1. Conjecture: Conjecture 1.","example_id":"formula-f23-refute-claim","example_type":"refutation","query":"Does this evidence support the claim that formula F23 has been refuted?","target_relevance":0.0}],"network_used":false,"proof_credit":0,"schema_version":"szl.brain.reranker-source.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"}],"source_type":"formula","training_triggered":false}