Omega Naught

Do not run the historical checker by itself.

This is a public documentation page for one download. It is listed in the sitemap. It does not change the historical script.

The file /workbench/workbench-recheck.mjs is the unchanged 23 September 2026 script (4522 bytes, SHA-256 5ec7f9c93030184cee6555ae5ab5a29edcf16766e727d17b71e45ab833a6831d). It still expects that day’s repository tree. Those bytes are not rewritten.

Use the runnable ZIP of the current implementation:

Download omega-workbench-impl-2026-09-25-r3.zip

25806 bytes, SHA-256 ddca5249240b05d6601faedc8d8433bae02187bc038dfcd5ef8056288226031e. Extract it outside the repository and run node scripts/workbench-recheck.mjs. Node v22.23.2 exited 0 at 2026-09-26T00:56:45Z. Transcript stdout, execution record. This is implementation validation, not a theorem checker.

Earlier packages stay as they are. omega-workbench-impl-2026-09-25-r2.zip (SHA-256 939e4baba884ef0ae8be2bae90e2f8934eb55cffca4ba1887e3efe37164032c6) is the typechecked snapshot before these numerical-range checks. omega-workbench-impl-2026-09-25.zip (SHA-256 ed1f447b6c2b050a824fb7b96ddac0051a4158830797c482bb25d1bdb6cdd6d5, 2026-09-25T20:31:42Z) is the earlier snapshot. Their checksums are not rewritten.

Historical script bytes, unchanged: workbench-recheck.mjs. Historical transcript: repair-acceptance.txt.