Audits in this browser

Public inventory integrity

Fetches the hosted Julia and Lean SHA256SUMS files, hashes those inventories, then fetches and hashes each listed member. Also hashes the frozen G₆ envelope. Compare against the recorded digests. Missing files and mismatches are reported separately. This is archive integrity, not a theorem check and not Julia or lake execution.

• not runJulia companion SHA256SUMS

  /julia-proofs/SHA256SUMS · inventory file, then each listed member

  expected 716a6659ff5893f7…

• not runLean package SHA256SUMS

  /formal/SHA256SUMS · inventory file, then each listed member

  expected f8208d18f6ac80df…

• not runFrozen G₆ envelope g6-release-1-1

  /releases/G6_RELEASE_1.1/RELEASE.json · SHA-256 of /releases/G6_RELEASE_1.1/RELEASE.json

  expected f63ae1c2d595b480…

Current source-map audits

Independent audits — no global aggregate

Each map keeps its own domain, codomain, claim, and evidence. These four results are not combined into interfaces=PASS or NEWMAN_GLOBAL_OBJECT/1.0. That aggregate belongs only to the historical G₆ artifact replay below.

THIS BROWSER: NOT RUN

1. SRSD encoder/decoder audit

   idle

   D_s E_s = id. Generic representability.

   queued

2. Ω floor-map audit

   idle

   Exact finite-domain floor maps on D₁₅.

   queued

3. Cubature certificate audit

   idle

   Independent of Ω₀ and SRSD.

   queued

4. Archive-integrity audit

   idle

   Named byte-string hash, not unification.

   queued

Historical G₆ artifact replay

Historical G₆ artifact replay

Historical G₆ artifact: canonical record reproduced in Rust and Julia, with a pinned TypeScript browser replay. The G₆ Rust runner declares no third-party crates; cargo run --release --offline --locked is the named run. Implementation conformance of a frozen package, not a theorem joining the source theories. This button runs the pinned TypeScript snapshot of the frozen package. A combined PASS is implementation conformance of that package. It does not glue Papers I–VI into one object, and it does not establish theorem validity.

THIS BROWSER: NOT RUN

1. Exact field identities

   queued

   idle

2. Canonical JSON / SHA-256

   queued

   idle

3. Fibonacci / Lucas through n = 24

   queued

   idle

4. Random exact field laws (80 cases)

   queued

   idle

5. Φ₅ and Fourier counterexample

   queued

   idle

6. Cone, ray, homogeneity, SRSD

   queued

   idle

7. First-mismatch boundary

   queued

   idle

8. Exhaustive Q/S on every 15-bit state

   queued

   idle

9. All 15-bit ledgers and byte folds

   queued

   idle

10. Historical G₆ interface checks (not unification)

    queued

    idle

11. Cubature sort C_cub (certificate replay, 1 ≤ f ≤ 9)

    queued

    idle

12. Historical NEWMAN_GLOBAL_OBJECT/1.0 byte-string hash

    queued

    idle