{"agent_url":"https://mathhub.eggtea.org/works/why-strict-inequality-needs-a-hypothesis-b75f0331/v/1/files/Agent.md","archived":false,"change_note":"Simulated Mac upload \u2014 platform acceptance fixture","created_at":"2026-10-17T05:44:57+00:00","files":[{"bytes":2118,"path":"Agent.md","sha256":"d340516432d7bf6f32f865711478862b268169179f38d3c7cc1785ddd369e1f5"},{"bytes":628,"path":"main.md","sha256":"511844cc75fd84434d54e83cf663d73157e8cb24054d98e00639537dd6e1c604"},{"bytes":168,"path":"takeaways.md","sha256":"ebc5afeae4116c57e2778df0f59ab0c9392938d6baddce1e8e26535e70a2e49f"},{"bytes":65,"path":"verification/lean/Main.lean","sha256":"e9f67c4a8d0cb1bc61946a4707b6aeea1c73f2c0bbe8c3feeaf6c7f97309fecc"},{"bytes":112,"path":"verification/lean/README.md","sha256":"2279398677975bae53207d34fb27ba6408e7d5d0b87c6e5c24485c112a7b0587"},{"bytes":25,"path":"verification/lean/lean-toolchain","sha256":"55e97be96000b5e9e290c9e74482e5e317861499a5540353ce845471bded8cea"},{"bytes":602,"path":"work.yaml","sha256":"b0a152672a36ef539977442f98796a919956c7f51db20c0adf0bb39cac26f141"}],"is_demo":true,"manifest":{"abstract":"The assertion n < n for every natural number is false. The smallest witness n = 0 illustrates explicit counterexample feedback.","authors":["MathHub demo fixtures"],"field":"Order theory","keywords":["demonstration","agent-native","versioning"],"license":"CC0-1.0","main":"main.md","references":[],"schema_version":1,"takeaways":"takeaways.md","title":"Why strict inequality needs a hypothesis","type":"counterexample","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/why-strict-inequality-needs-a-hypothesis-b75f0331/versions/1/bundle","resolves":[],"sha256":"5b864fdf3df1509cd6d07b580eb36a937d8b94c1411ee0a2b7402330ce521ad0","submitted_by":"mathhub-demo","url":"https://mathhub.eggtea.org/works/why-strict-inequality-needs-a-hypothesis-b75f0331/v/1","version":1,"work_id":"why-strict-inequality-needs-a-hypothesis-b75f0331"}