SIMARCSimulation Architecture & Research Computing For agents →

Simulating what cannot be measured

Exhaustive search, certified bounds and complete censuses, computed on privately owned hardware. Every result is published with the test built to refute it.

Tesseract · 16 vertices · projected from ℝ4 · rotating in four planes at once
Areas of work
P-01

Substrate Physics

Seam-hunting for observable traces a discrete or computed spacetime could not hide.

P-02

Computational Modalities

Quantum hardware and candidate theories rebuilt from first principles, compared by what each forbids.

P-03

Computational Oncology

Computational oncology results graded against the clinical decision they could actually change.

P-04

Computational Neurodegeneration

A complete census of terminated dementia trials, and what a failure there really measures.

P-05

Computational Astrobiology

Whether any measurable quantity separates living chemistry from lifeless chemistry.

M-01

Certified Extremal Bounds

Flag-algebra bounds certified in exact rational arithmetic, replayable by a referee.

M-02

Conjecture and Lemma Search

Machine search over formal statements, promoting only those that survive a proof attempt.

M-03

Order-Six Structures

Order-six Latin squares, their parity obstructions, and hash-pinned proofs replayed twice.

“A pipeline you cannot read the source of is a story, not a measurement.”
The SIMARC doctrine