Defined inputs
Relational arithmetic must match reference integer arithmetic across signed inputs.
Research programme 03 / recoverability
Recovery has limits. Measure them.
Finite-state arithmetic and checkpoint/replay experiments distinguish recoverable changes from information that cannot be reconstructed.
9 public research assetsEvidence-bound demonstrations
INVARIANT / ANNIHILATION-FREE-COMPUTINGPublic experience
Reversible boundaries and checkpointsSynthetic visualization
03 / THE WORKBENCH
Relational State & Recovery Bench
Change parameters and inspect the output of this browser-local prototype. Sample data does not establish external validity.
Starting the original interactive module…
The current positive-pair representation does not satisfy the strong AFC hypothesis.
RESTORED EXPERIENCE / ORIGINAL WEB OFFICE
Enter the interactive office.
The original office is still here, including its 3D environment and existing browser UI. The preview opens only when requested; content is separate from the main site and is not evidence of a production service.
01 / RESEARCH QUESTION
Under which assumptions can a prior state be recovered exactly?
Compare relational arithmetic against integer reference oracles and expose where a representation loses information.
Each result is constrained to a stated experiment. Programme hypotheses and independent validation are not interchangeable.
02 / METHOD & BOUNDARY
What can be checked now
A research site, not a claim of final proof.
Explicit comparison
Relational State & Recovery Bench · reference comparison
Do not infer
The current positive-pair representation does not satisfy the strong AFC hypothesis.
OPEN SCIENCE / PUBLISHED
Inspect the actual research.
9 public GitHub/Hugging Face packages in this programme. Availability is confirmed, but model behavior and independent scientific acceptance are separate evaluations.
afc recovery lab
Interactive space prototype concerned with the afc recovery lab workstream as labelled in the research inventory.
g19 afc finite recoverability bounded
Source-code package concerned with state recovery under explicitly finite assumptions.
g20 afc side information limits bounded
Source-code package concerned with how retained side information affects reconstruction.
g21 afc checkpoint replay bounded
Source-code package concerned with repeatability of a declared computation or event history.