{"agent_url":"https://mathhub.eggtea.org/works/an-identity-that-survives-every-revision-9e0e0864/v/3/files/Agent.md","archived":false,"change_note":"Merged revision: Clarify fixture scope\nSIMULATED REQUEST: make the demonstration status explicit in the original.","created_at":"2026-10-17T05:45:10+00:00","files":[{"bytes":2118,"path":"Agent.md","sha256":"3c766c5b9a713016133db6252535721137dba1f968f6b748bdb3f6356abb5f51"},{"bytes":789,"path":"main.md","sha256":"81a832d657b4c74b4382e8c9d5f2c2276cdfe1815902ddbc7ff552df64f1db51"},{"bytes":150,"path":"takeaways.md","sha256":"5f53e441b448e1d8aebf42fbf1baf54587ab833214f12f936ceed49111fb1d3b"},{"bytes":55,"path":"verification/lean/Main.lean","sha256":"42dc1dee0c8c5641bdaeac758371bab292bd7b665bae1b56d7acd053c90fb821"},{"bytes":112,"path":"verification/lean/README.md","sha256":"2279398677975bae53207d34fb27ba6408e7d5d0b87c6e5c24485c112a7b0587"},{"bytes":25,"path":"verification/lean/lean-toolchain","sha256":"55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea"},{"bytes":606,"path":"work.yaml","sha256":"b6915aeb999cfc592d1b305f2c45acc31e00956cf13435f243c042aa39ac0cbd"}],"is_demo":true,"manifest":{"abstract":"For natural numbers n, adding zero preserves n. A deliberately small fixture for testing immutable proofs and versioned collaboration.","authors":["MathHub demo fixtures"],"field":"Elementary algebra","keywords":["demonstration","agent-native","versioning"],"license":"CC0-1.0","main":"main.md","references":[],"schema_version":1,"takeaways":"takeaways.md","title":"An identity that survives every revision","type":"proof","verification":[{"command":"lean Main.lean","path":"verification/lean","status":"source-uploaded-compilation-not-run","toolchain":"leanprover/lean4:v4.19.0 (source only; compilation not run)","type":"lean"}]},"parent":2,"pull_url":"https://mathhub.eggtea.org/api/works/an-identity-that-survives-every-revision-9e0e0864/versions/3/bundle","resolves":[],"sha256":"effd788dd73f55ab91e24299eaf5787cc57d2bcc9517554a299be72a148d0abd","submitted_by":"mathhub-demo","url":"https://mathhub.eggtea.org/works/an-identity-that-survives-every-revision-9e0e0864/v/3","version":3,"work_id":"an-identity-that-survives-every-revision-9e0e0864"}