Commit graph

Select branches

Hide pull requests

feat/p28-post-submission-hardening

feat/ramanujan-28-singular-closure

main

optional/ramanujan-p28-enhancements

p28-submission-2026-08-01

Mono Color

• cd4ae757d9 docs(p28): pin release checksums; mark branch state as superseded by the shipped package optional/ramanujan-p28-enhancements allaun 2026-07-31 15:26:56 -05:00
• 477e8ddb77 fix(p28): clear all three open replay defects; clean release for submission allaun 2026-07-31 10:40:21 -05:00
• 1d5273264d feat: add optional enhancements for Ramanujan Problem 2.8 allaun 2026-07-31 05:04:48 -05:00
• 39806d4423 docs(p28): state the actual motivation -- the problem was used as an instrument feat/p28-post-submission-hardening allaun 2026-07-31 04:33:26 -05:00
• aac17e6e34 docs(p28): recast the method document as a route narrative allaun 2026-07-31 04:31:36 -05:00
• 3eded12fe1 docs(p28): radix layer -- framing and DFA canonicalisation are bijections allaun 2026-07-31 04:28:20 -05:00
• b2ed813203 docs(p28): the encoder approach -- method, evidence, and honest limits allaun 2026-07-31 04:22:13 -05:00
• 9f8f398d4b docs(p28): notation key for invented and borrowed terminology allaun 2026-07-31 04:20:21 -05:00
• 3702a638ad review(p28): adversarial review against the challenge's own stated rules allaun 2026-07-31 04:16:04 -05:00
• 8d25a7b367 cert(p28): official-object certificate — proof analyses the official matrix, not a surrogate allaun 2026-07-31 04:09:39 -05:00
• 492c8ab871 feat(p28): harden exact proof equations p28-submission-2026-08-01 feat/ramanujan-28-singular-closure Codex 2026-07-31 15:33:21 +07:00
• 437b439c6c feat(p28): close exact Ramanujan 2.8 limit main Codex 2026-07-31 14:30:10 +09:00