{"agent_url":"https://mathhub.eggtea.org/works/an-identity-that-survives-every-revision-9e0e0864/v/1/files/Agent.md","archived":false,"change_note":"Simulated Mac upload \u2014 platform acceptance fixture","created_at":"2026-10-17T05:44:55+00:00","files":[{"bytes":2118,"path":"Agent.md","sha256":"2dc8948295a7796396f9ed9bdcf09678994c4392f70c2164e88ba25755068a9c"},{"bytes":617,"path":"main.md","sha256":"04b934bbfd46eeef21e5ef53b83b85790397decbb6b3dc8eeeb9f200cbeef86c"},{"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":null,"pull_url":"https://mathhub.eggtea.org/api/works/an-identity-that-survives-every-revision-9e0e0864/versions/1/bundle","resolves":[],"sha256":"39f1b9f82eadc5830a80727bda7e18b9c1a0fe2502b83fcb7ec700ff3dfbfae1","submitted_by":"mathhub-demo","url":"https://mathhub.eggtea.org/works/an-identity-that-survives-every-revision-9e0e0864/v/1","version":1,"work_id":"an-identity-that-survives-every-revision-9e0e0864"}