Track1ConformalSchlaefliNearZeroChainRuleEndpoint
plain-language theorem explainer
Names the Track-1 near-zero local chain-rule endpoint: the non-flat squared-edge conformal Schläfli chain rule holds on the canonical N=5 periodic Freudenthal torus near the flat point. Track-7 fork-handoff integration cites it as a consumed leaf. The declaration is a one-line Prop alias of the specialized N=5 upstream target.
Claim. The near-zero local chain-rule property for the conformal Schläfli squared-edge formula holds on the canonical periodic Freudenthal torus at lattice size $N=5$ (with matching period parameters).
background
This module is the Track-7 integration receipt for parallel gravity-fork handoffs (A through F). It records what the new endpoints prove without upgrading the discovery claim, and keeps remaining Track-1 displacement-class leaves as open dependencies.
Fork A packages Track-1.B Schläfli-to-stationarity reduction material at $N=5$. The present name is the near-zero local chain-rule leaf inside that package: it asserts that the actual non-flat squared-edge chain rule is available for the canonical periodic Freudenthal torus near the flat point.
Upstream, CanonicalPeriodicLocalConformalSchlaefliAngleSqEdgeChainRuleNearZeroTargetAtN5 specializes the general near-zero target to periods $(5,5,5)$ by decide. That specialized Prop is exactly what this endpoint aliases.
proof idea
Definitional one-line alias. The body is the upstream abbrev CanonicalPeriodicLocalConformalSchlaefliAngleSqEdgeChainRuleNearZeroTargetAtN5, itself the general near-zero conformal Schläfli squared-edge chain-rule target instantiated at $N=5$ with three decide proofs on the period parameters. No extra tactics or lemmas are introduced here.
why it matters
Track 7 consumes this leaf so the fork-integration certificate can list a concrete near-zero chain-rule fact rather than a bare structural placeholder. Downstream, track1_conformal_schlaefli_near_zero_chain_rule_endpoint_holds discharges the Prop, and both ForkHandoffIntegrationCert and fork_A_B_C_D_E_F_handoffs_integrated_one_statement package it with the other handoffs (many-body lift, residual/Bianchi interface, Page-capacity transfer, $w(z)$ bands, falsifier sensitivity).
The integrated one-statement doc is explicit: Track 7 can consume Fork A's Schläfli-to-stationarity reduction package, but "deliberately does not assert the fully unconditional discovery theorem." This endpoint is part of that reduction/interface layer, not a closure of every open Schläfli leaf.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.