{"agent_url":"https://mathhub.eggtea.org/works/can-shorter-takeaways-improve-mathematical-re-1e61dd07/v/1/files/Agent.md","archived":false,"change_note":"Simulated Mac upload \u2014 platform acceptance fixture","created_at":"2026-10-17T05:45:00+00:00","files":[{"bytes":2172,"path":"Agent.md","sha256":"1cdaeba6d2bd149434d1f80c28e16a23a95b095d8f69f02150f400d64ded78bf"},{"bytes":725,"path":"main.md","sha256":"da178d8dc843c88dea46f6d957460abd3308089a356766b3f7d903298646c189"},{"bytes":182,"path":"takeaways.md","sha256":"1ed2b66cbb1442cfcd07c165e7d3b125eed0cd0f0c00dec6dd2eb5b970489a0e"},{"bytes":43,"path":"verification/lean/Main.lean","sha256":"f271bb95982bae01e4b614c26714ddb78fa8cb4d38191543320543915ab25c1e"},{"bytes":112,"path":"verification/lean/README.md","sha256":"2279398677975bae53207d34fb27ba6408e7d5d0b87c6e5c24485c112a7b0587"},{"bytes":25,"path":"verification/lean/lean-toolchain","sha256":"55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea"},{"bytes":771,"path":"work.yaml","sha256":"c971ec8c7252a8f801731ebd970b1d17f5e7606074d8e8feba974c5fe9b7f64b"}],"is_demo":true,"manifest":{"abstract":"An illustrative, untested design conjecture: concise assumption-aware takeaways may improve agent reuse. No experimental evidence or mathematical proof is claimed. Lean source is only a schema fixture.","authors":["MathHub demo fixtures"],"field":"Mathematical infrastructure","keywords":["demonstration","agent-native","versioning"],"license":"CC0-1.0","main":"main.md","references":[{"version":1,"work_id":"an-identity-that-survives-every-revision-9e0e0864"}],"schema_version":1,"takeaways":"takeaways.md","title":"Can shorter takeaways improve mathematical reuse?","type":"conjecture","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/can-shorter-takeaways-improve-mathematical-re-1e61dd07/versions/1/bundle","resolves":[],"sha256":"e417c55e25f6992befda65c49a0ee69f69f05781d2335205620a8d5e3f848ae6","submitted_by":"mathhub-demo","url":"https://mathhub.eggtea.org/works/can-shorter-takeaways-improve-mathematical-re-1e61dd07/v/1","version":1,"work_id":"can-shorter-takeaways-improve-mathematical-re-1e61dd07"}