Popular repositories Loading

1. disprot-bounded-asymmetry disprot-bounded-asymmetry Public

   Bounded asymmetry diagnostics for DisProt proteins

   Python 1

2. constraint-geometry-domain-physics constraint-geometry-domain-physics Public

   Conceptual synthesis note introducing a two-layer architecture for binary partition diagnostics through the separation of constraint geometry and domain physics.

   Python 1

3. eoc-lean-verification eoc-lean-verification Public

   Lean 4 formalization and verification of the finite-word, realizer, confinement, and single-window results in the EOC framework through Proposition 5.9.

   Lean 1

4. ou-threshold-lean ou-threshold-lean Public

   Lean 4 formal verification of the exact heterogeneity threshold for stationary covariance-volume enhancement in coupled Ornstein–Uhlenbeck systems.

   Lean 1

5. pell-spine-optimal-separator pell-spine-optimal-separator Public

   Computational reproducibility companion for the Zenodo manuscript "The Pell Spine as an Optimal Rational Separator."

   Lean

6. signed-context-decomposition-cosmology signed-context-decomposition-cosmology Public

   Amplitude–tilt complementarity and the gauge trace anomaly as a signed context decomposition in the Turok–Boyle primordial spectrum.

   TeX