Proof-supporting code

This page surfaces a deliberately small set of proof-supporting code artifacts that help readers inspect computational parts of the research program.

APO core:

• einstein_full_derivation.py
• route2_einstein.py

RH line:

• fredholm_test.py
• solomonoff_verification.py

Why this page exists:

• Some proof-supporting computation is easier to audit as raw source than as prose.
• The site should expose selected code when it materially supports the surrounding research packet.
• This stays intentionally selective rather than mirroring entire working directories.

Related collections:

• collections/apo-core-packet
• collections/riemann-hypothesis-packet