About PotatoBullet & TWIST POOL Labs
PotatoBullet is a computational research publication and theoretical physics unit. Our mission is to formalize, measure, and machine-verify what heuristic software tooling and classical continuous approximations overlook—substituting unverified assumptions with deterministic benchmarks, scale-space conformal geometry, and automated theorem proving via Microsoft Z3 SMT.
PotatoBullet operates as the formal publishing and open-science arm of TWIST POOL Labs and the NanoCERN Research Unit (Pune, India). Research inquiries and replication harnesses span scale-space geometry, the Information-Scale Ladder (ISL), compiler-level safety nets, and formal verification.
Lead Researcher Profile
Shrikant Bhosale (Atmabhan Pandit)
Computational mathematics and systems researcher specializing in scale-space geometry, Information Scaling Law (ISL v2.0), automated formal invariant verification using Microsoft Z3 SMT, and empirical binary security analysis. Author of the Scope Theory framework, the Riemann Hypothesis Dimensional Rigidity Monograph, and the 21 Fundamental Shapes of Reality derivation.
Core Methodological Principles
We do not rely on heuristic or verbal derivations. Mathematical boundaries and stability conditions are mechanized in first-order real arithmetic and verified with Microsoft Z3 SMT (confirming unsat counterexamples).
Systems evaluations measure cycle-accurate machine states using serializing hardware instructions (rdtscp) across x86_64, AArch64, and RV64GC architectures.
All claims are explicitly partitioned into [PROVED], [SMT-VERIFIED], [NUMERICAL], [CONJECTURE], and [OPEN GAP]. Disproven conjectures are explicitly cataloged rather than concealed.
The Research Monograph Library
Explore our flagship peer-reviewed publications and mathematical monographs:
- Scope Theory: A Geometric Baseline for Information Scaling — The 18-chapter cornerstone monograph formalizing the Reality Manifold $\Omega$, agent 5-tuples $S_a$, and Gap Theory.
- The Riemann Hypothesis as Dimensional Rigidity — Conformal mapping $|1 – 1/\rho| = 1$, Li energy wells, and Z3 SMT proof.
- Fundamental Shapes of Reality (ISL Volume I) — Derivation of 21 invariant geometric forms across four closure layers and $\Phi = 120$.
- Geometry in Motion: Dynamics and Energy of Living Systems (Volume II) — Hemodynamics, Murray’s law, and Turing morphogenesis.
- Fractal Approximations & Dimension Discontinuity — Constructive proof of Hausdorff dimension metric discontinuity.
- Unified Constraint Framework for Algorithmic Plane Curves — Shape Specification Triplet (SST) for Lamé curves and Cassini ovals.
- The Infinity Trilogy: Three Monographs on Dimensionality & Constants — Hypersphere volume collapse, Coastline Paradox, and the Seven Screaming Constants.
- The Naked Compiler: Empirical Invariant Stripping in C/C++ — Quantitative evaluation of 22,578 stripped safety nets across production binaries.
Editorial Contact & Peer Replication
For peer review inquiries, verification harness replication, or collaborative mathematical physics proposals, contact lead researcher Shrikant Bhosale directly at ishrikantbhosale@gmail.com or visit our Contact Form. Editorial responses are provided within 24–48 hours.