{"agent_url":"https://mathhub.eggtea.org/works/a-minimal-experiment-in-open-mathematical-pub-6f69d9fb/v/1/files/Agent.md","archived":false,"change_note":"Simulated Mac upload \u2014 platform acceptance fixture","created_at":"2026-10-17T05:44:59+00:00","files":[{"bytes":2175,"path":"Agent.md","sha256":"0555d3a29bd074db7719a87b6fd709a5c6464d04f63098d622ebb213360df5a6"},{"bytes":639,"path":"main.md","sha256":"cabe88c5795dc961e6cb286f8d61708992a1117ab4cb6de0bbd600b966a7d7cf"},{"bytes":162,"path":"takeaways.md","sha256":"b98e8751c3b214befafcc4b9b225ba38afca1a6435d4b0b02dde65d01d22c330"},{"bytes":84,"path":"verification/lean/Main.lean","sha256":"49a6ba0e2b366855e6b50f005a1e12220e4ca45e9cf8e918579a808f8a48af9c"},{"bytes":112,"path":"verification/lean/README.md","sha256":"2279398677975bae53207d34fb27ba6408e7d5d0b87c6e5c24485c112a7b0587"},{"bytes":25,"path":"verification/lean/lean-toolchain","sha256":"55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea"},{"bytes":612,"path":"work.yaml","sha256":"dfed1c29134960a8a460084fb37282f9b9096c042628ce1cb5955e2e5a852273"}],"is_demo":true,"manifest":{"abstract":"A simulated work demonstrating the full publication package, stable references, revision history and machine-readable reading entry.","authors":["MathHub demo fixtures"],"field":"Formal methods","keywords":["demonstration","agent-native","versioning"],"license":"CC0-1.0","main":"main.md","references":[],"schema_version":1,"takeaways":"takeaways.md","title":"A minimal experiment in open mathematical publishing","type":"paper","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/a-minimal-experiment-in-open-mathematical-pub-6f69d9fb/versions/1/bundle","resolves":[],"sha256":"837527015eac1ff8a4300dff4bc5b8cdd183969e6503ced5bc014e0a6de885b6","submitted_by":"mathhub-demo","url":"https://mathhub.eggtea.org/works/a-minimal-experiment-in-open-mathematical-pub-6f69d9fb/v/1","version":1,"work_id":"a-minimal-experiment-in-open-mathematical-pub-6f69d9fb"}