Reproduce the production nonlinear-subspace audit #8

Merged
ignotusnemo merged 1 commit from autoresearch/nonlinear-subspace-reproduction into main 2026-09-02 11:07:22 +00:00
ignotusnemo commented 2026-09-02 11:06:17 +00:00 (Migrated from github.com)

Machine-checked reproduction of the ePrint 2026/1792 specialization at certificate revision d0da722f4785ca05881195a33649d124a1495a89.\n\nThe protected verifier rebuilds the pinned certificate and checks the exact matrix rank core, trail lengths, full report digest, and lowest Macaulay projection. This accepted audit record does not move the cryptographic frontier.

Machine-checked reproduction of the ePrint 2026/1792 specialization at certificate revision `d0da722f4785ca05881195a33649d124a1495a89`.\n\nThe protected verifier rebuilds the pinned certificate and checks the exact matrix rank core, trail lengths, full report digest, and lowest Macaulay projection. This accepted audit record does not move the cryptographic frontier.
Sign in to join this conversation.
No reviewers
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
ignotusnemo/parano1d-soundness!8
No description provided.