Math Mapgenerated 2026-10-25 · a354234
PUBLIC BUILD

run 073Falsified

Run 072 found the skewness g₁ of the threshold distribution reproducible across reseeds but still moving between L = 729 and 6561 on four carpets (g₁(6561) − g₁(729): T −5.2 combined errors, X +3.2, Z +2.8, X1 −2.5). Under single-parameter scaling every cumulant scales as κₙ ∝ L^(−n/ν), so every standardized cumulant (g₁ = κ₃/κ₂^(3/2), g₂ = κ₄/κ₂²) tends to an L-independent limit, and a drift is a correction to scaling that should shrink as L grows. Is the drift converging, i.e. is the step from 81 to 729 in the same direction as, and larger than, the step from 729 to 6561?

slug
cumulant-flow
state
run
created
2026-09-30
sealed
2026-09-30
builds_on
[072, 069, 063]
concepts
[fractal-dimension]
statistic
R27_tree_groups/carpet_perc/ (Lab_Tree_Model). No new sampling. The fourteen carpets of run 072, each at L = 81, 729 and 6561. The 729 and 6561 files are run 072's; the L = 81 files, fixed now, are H4, U2, P2 (U′) in samples051; T2, V2 in samples053; A2, B2 in samples055; C2 (X), D2 (Y), E2 (Z), F2 (X1), G2 (X2), I2 (Y1), J2 (Z1) in samples063. Every one holds 8,000 samples (counted at sealing; no statistic taken). Per file: the unbiased k-statistics k₂, k₃, k₄ of the raw thresholds (scipy.stats.kstat), g₁ = k₃/k₂^(3/2) and g₂ = k₄/k₂². Point values come from the full samples, not from a bootstrap median. Scored quantity: let s be the sign of the carpet's run-072 step g₁(6561) − g₁(729), fixed now: T −, X +, Z +, X1 −. With Δ₁ = g₁(729) − g₁(81) and Δ₂ = g₁(6561) − g₁(729), score D = s·(Δ₁ − Δ₂) = s·(2g₁(729) − g₁(81) − g₁(6561)). Given sΔ₂ > 0, the ratio r = Δ₂/Δ₁ lies in (0, 1) exactly when D > 0. Error of D: a joint bootstrap of 2,000 replicates; in each replicate each of the carpet's three files is resampled once (n draws with replacement) and the same g₁(729) replicate enters both Δ₁ and Δ₂ (their negative covariance through the shared file is intended). Seeds: scored carpet i (T = 0, X = 1, Z = 2, X1 = 3) and replicate b use 73001 + 3·(2000·i + b) + {0, 1, 2} for sizes 81, 729, 6561; the other carpets and the square take seeds from 97001 upward in the order of the reported table. All seeds checked unused and listed. A carpet is converging if its point D > 0; clearly not converging if the 95th percentile of its bootstrap D is below 0. The scored set is fixed from run 072: the four carpets whose 729-to-6561 difference exceeded 2 combined errors. Control, checked first: the square at L = 81, pooling samples051/sq81.txt, samples053/sq81.txt, samples055/sq81.txt and samples063/sq81.txt (four distinct files, 32,000 samples), must give g₁ within 3 combined errors of the square's run-072 g₁ at 729 (+0.0088 ± 0.0111); if not, the small-size estimator or the 81 files are suspect and the run is withdrawn.
script
R27_tree_groups/carpet_perc/ (Lab_Tree_Model)
artifacts
[R27_tree_groups/carpet_perc/RESULTS073.md, R27_tree_groups/carpet_perc/cumulant073.json]
outcome
falsified
source
../lab/runs/073-cumulant-flow.md

PredictionThe drift is a converging correction to scaling: at least 3 of T, X, Z, X1 have D > 0 (equivalently r ∈ (0, 1)), and at least 2 of those have the 5th percentile of D above 0. Illustratively, with run 072's values the boundary D = 0 is g₁(81) = 2g₁(729) − g₁(6561): T above 0.5544, X below 0.1211, Z below 0.2334, X1 above 0.4478; the scored value uses the recomputed k-statistic g₁.

Falsifier2 or more of the 4 have the 95th percentile of D below 0: the drift reverses direction or grows with L, and the approach to the limit is not a single shrinking correction. Between prediction and falsifier, unanticipated.

Sealed 2026-09-30, after run 072 was scored and before any cumulant or skewness at L = 81 was computed (codifier). Known at sealing: run 072's g₁ at 729 and 6561 for the fourteen carpets, the X, Y, Z reseed values and the square at 729 and 2187. Not known: any statistic of the L = 81 files beyond the 1/ν fits they entered, any k₄. The sample counts and checksums of the L = 81 files were read at sealing; nothing else.

Reported, not scored. For all fourteen carpets and the square: k₂, k₃, k₄, g₁, g₂ at each size with errors; Δ₁, Δ₂, D, r and the 5th–95th percentile interval of r; the local exponents y₂ = −Δln k₂ /(2 ln 9) and y₃ = −Δln k₃ /(3 ln 9) over each size pair beside the recorded width-based 1/ν (y₃ undefined and marked n/a where k₃ ≤ 0 at either size; the identity y₃ − y₂ = −Δln g₁ /(3 ln 9) holds only where g₁ > 0 at both sizes). Where 0 < r < 1, the geometric limit g₁(∞) = g₁(6561) + Δ₂·r/(1 − r), labelled as exactly determined by three points (no degree of freedom left to test it), and the twin orderings (X/X1, X/X2, Y/Y1, Z/Z1) at that limit. The same Δ₁, Δ₂, r for g₂.

The reductio this seal passed first. By construction: the natural first clause, "κ₃ scales with the same ν as κ₂", is algebraically the 072 size test restated: y₃ − y₂ = −Δln g₁ /(3 ln 9) over any size pair, so it can only repeat what 072 found. It is reported, not scored. What no number on hand answers is the third size, so the scored clause is the direction and size of the 81-to-729 step. Selection: the four scored carpets are chosen by their 072 drift, which is known; the quantity scored, g₁ at 81, is not. The selection bias runs against the prediction: carpets picked for a large sΔ₂ carry noise in g₁(729) or g₁(6561) that inflates sΔ₂, and the same noise enters D with the opposite sign, so regression to the mean lowers D. Null: if L = 81 were already at the limit (g₁(81) = g₁(729)), D = −sΔ₂ < 0 on every scored carpet. Negation: a world where 81 is pre-asymptotic noise, or where two corrections compete, shows D < 0 on several carpets; the falsifier is written for that world. Pole: the ratio r diverges where Δ₁ ≈ 0, so it is reported only; D is linear in the three values and has no pole. Cost: minutes, stored data.

Why this prediction. The local slopes of the width fall slowly with L on these carpets (OPS.md), so a correction to scaling is known to be present; a single correction L^(−ω) makes each step smaller than the last by the factor 9^(−ω), with the same sign. The prediction is that the skewness drift is that same correction seen in another coordinate.

Reviewed before commit by a second reader (OPS.md); its edits are folded in: the ratio replaced by the linear statistic D, because a bootstrap interval of r spans its pole when Δ₁ is small and would keep the falsifier from firing; the joint bootstrap and seed scheme stated; thresholds to four decimals and marked illustrative; the sign convention in the question corrected; the square control made a comparison with the square's own 729 value rather than with zero; the L = 81 files named; the null restated with the direction of the selection bias; the logarithm in y₃ guarded; and the prediction tightened to require two interval-level passes.

Scored 2026-09-30 — falsified

Scored by the codifier from RESULTS073.md (a08b44d), as written.

Control first — passes. The square at 81 (four files, 32,000 samples) gives g₁ = +0.0081 ± 0.0165, against +0.0088 ± 0.0111 at 729: −0.04 combined errors. The run stands.

Scored carpets — none converging, two clearly not. D and its 5th–95th percentile: T −0.426 [−0.540, −0.316], X1 −0.352 [−0.484, −0.224], X −0.011 [−0.133, +0.110], Z −0.004 [−0.155, +0.149]. The prediction needed three of four with D > 0; there are none. The falsifier needs two with the 95th percentile below 0; T and X1 are two.

What the flow shows instead (reported values, read post hoc). - Skewness is built between 81 and 729. g₁ rises from 81 to 729 on thirteen of fourteen carpets, by +0.09 to +0.34 (X2 is flat within error). At 81 several carpets are symmetric within error (U −0.04, B −0.01, U′ +0.01, Y +0.01), like the square. - After 729 the carpets split three ways. Turning back: T (+0.13 → +0.36 → +0.17) and X1 (+0.10 → +0.33 → +0.22), with A, U and B leaning the same way within error. Levelling off: U′ (+0.01 → +0.35 → +0.36), H, V, Y, Y1, Z1 (0 < r < 1). Still climbing at a constant step per factor of 9: X (+0.135, then +0.146) and Z (+0.152, then +0.156). - The single shrinking correction the seal assumed describes the middle group only. The drift 072 found is real, but it is a rise followed by a carpet-dependent turnover, not a relaxation from one side.

Consequences. g₁ at a single size is not yet a carpet's fingerprint: X and X1 sit on opposite sides of their turnovers at 6561, which is why their ordering flips between sizes. The twin clause promised by run 072 is deferred until the turnover is understood. The three-point limits are reported by the run and are not used.

generated 2026-10-25the lab index