VeriDiscover LabGitHub VDL / Papers
Papers, preprints, and technical reports—paired, whenever possible, with the material needed for independent checking.
Research archive
One boundary occupation density classifies all realizable area primitives of a Jordan curve in the critical variation class, with simultaneous control on every subarc and an embedded realization for every allowed density.
Husimi convex order and entropy minima for basic exterior-power and spin representations, with an unrestricted two-copy Gaussian-rank theorem.
Measurable collision invariants, spectral gaps, and closed collision forms for the pinned chain; fluid limits, corner memory, and Onsager transport in truncated wave kinetics.
Constructions for recurrence zero sets and projective extensions, with explicit obstructions to orbit-density convergence and universal geometrically nilpotent seeds.
Release protocol