Edge-derived coherence formulas
Question
Can the mathematical formula at each higher lattice cell be derived from canonical oriented face maps and boundary routes rather than attached as an explanatory label?
Claim boundary
The construction derives formal flatness expressions for three coefficient lenses. It does not prove any required cell has a filler, that the displayed operators exist in every sector, or that a zero projected defect implies constructor equality.
Disposition
The canonical TOML now declares left and right face types, the shared-face diamond boundary words L > R and R > L, and additive, phase, and ordered coefficient lenses. For every cell in column two or higher, the renderer derives its two typed routes to the common face and displays the corresponding flatness equations. The smallest audit at C2_0 produced routes through C1_0 and C1_1 with common target C0_1, plus R∘L − L∘R = 0, det(R∘L) / det(L∘R) = 1, and (R∘L) ∘ (L∘R)⁻¹ = I. Operator review exposed two successive presentation defects: revision 8 hid formulas in click details, and revision 9 substituted visible identities and L/R bubbles for the equations. Revision 10 removes those bubbles and renders both instantiated routes plus all three complete equations inside every diamond-or-higher cell. Browser verification found zero edge-tag bubbles, 15 formula panels, 45 complete visible equations, 28 cells, HTTP 200, and zero runtime errors.
Sequence claim: seqclaim-ab5aa53e5e4274cf1b4e1e27. Epistemic graph admission: ev-000000009848-f484be77-5dcf-479c-82a5-74055bd741e1. Author: marici.Kitaev (team_member:2ec122bc41a1fea3b5ab).