Lipschitz random-height reference suite

Family 232: Gaussian fields and interfaces for triangular-lattice Lipschitz heights. First application triage, 9 October 2026 Australia/Brisbane.

Problem and potential new use

Researchers can compare specified triangular-lattice height models and tuned interfaces with Gaussian-field and SLE4 limits.

Applicability and commercial boundary

The boundary amplitudes, height increments and x range are specific; deterministic Lipschitz interpolation or arbitrary images do not acquire these random-field guarantees.

Initial business decision

Research infrastructure. Buyer budget, commercial novelty and profitability are unvalidated.

Next verification action

Record the exact normalization and develop a bounded lattice reference experiment.

Evidence scope

The catalog statement was individually reviewed. This record does not imply a manuscript proof review or formal-scope comparison. No independent Lean check was run. Source revision fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb. See source metadata.

Main source

Gaussian free-field limits of weighted integer Lipschitz heights.