A connected research programme
The investigation asks whether whole-history constraints can offer a useful setting for physical description. Pursuing that question led to new mathematical language in ψ‑Mathematics, then to a deeper treatment of probability through signed latent descriptions. The programmes are now being brought together in finite models.
What structure might underlie familiar quantum descriptions?
How can compatible local and global structure be expressed precisely?
When can a signed latent description preserve positive observable outcomes?
Which parts remain coherent under exact finite calculation?
From theory to finite calculation
The research programme extends beyond conceptual development into a simulation and calculation environment spanning quantum-foundational, atomic, molecular, many-body, gauge, nuclear, and gravitational models.
Current finite work includes:
- exact finite-dimensional operators;
- spinless-fermion models and two-particle reduced density matrices;
- momentum-pair observables;
- phase-sensitive quantum tunnelling;
- carrier-derived interaction operators;
- transition effects and sum rules;
- orbital and spin representations;
- local coframe and source responses;
- lattice gauge constructions;
- matter–gravity carrier interfaces;
- parameter sweeps, ablations, and held-out tests; and
- explicit negative-result and capability-blocker records.
A finite model cannot by itself establish continuum physics, physical scale, or empirical truth. That distinction is central to the laboratory’s method.
Governed research
Plans are not treated as results. Failed approaches and blocked claims remain traceable. Public conclusions advance only when their assumptions, evidence, limitations, and provenance can be stated clearly.
