Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Meta Vens c01ff025bb Gate test: restore the affine gate's detail ball and add FogField.InsideFog to the field list [affine-gate-loses-fog-culls] [interval-gate-detail-unpinned] ... Deleting the affine gate's detail ball (51a4034c) gave up 6 of 5933 provable culls inside the fog (first: (b) inside the fog [affine]); the gate never gives up a provable cull, and a 1.4% probe saving does not buy breaking that. The detail ball is back in the affine gate, and the gate test now includes the fog interior, the only field where the interval gate's detail ball decides, so saturating either gate's detail ball fails the test. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>		2026-10-04 12:12:36 +02:00
..
CultMath.Tests	Gate test: restore the affine gate's detail ball and add FogField.InsideFog to the field list [affine-gate-loses-fog-culls] [interval-gate-detail-unpinned]	2026-10-04 12:12:36 +02:00
CultMath.Tests.meta	Move CultMath into the CultLib monorepo	2026-08-26 17:35:51 +02:00