Observer-first physics · verifiable systems

Research for self-reading systems.

Floating Pragma studies bounded physical and software systems with local state, ports, readback, records, and repair. The work spans fundamental physics, scientific simulation, verifiable computation, and applied security.

Paper release
r2022 · 20 August 2026
Formal library
6,600+ Lean declarations
Evidence policy
Proofs, assumptions, code, and receipts are linked separately.
One research network

Move between explanation and evidence.

These are the canonical public surfaces for Observer Patch Holography. Each serves a distinct reader and links back to the same research source.

Research lines

Shared evidence is the common thread.

Observer Patch Holography

OPH asks how limited observers can form one shared physical account. The mathematical work studies finite records, overlap consistency, repair, spacetime structure, and Standard Model Lie type. Exact results and physical identifications carry separate status.

Security and computation

Verifiable systems expose their boundary, state transitions, readback, and evidence. That same discipline informs work on zero-knowledge proofs, artificial intelligence security, and physical computation.