Kernel-check the Section 8 endpoint transport core - #36

Open

SamPetkov wants to merge 9 commits into

mainfrom

agent/625-section8-endpoint-transport-core

Commits on Jul 25, 2026

Add square-root-free Section 8 endpoint transport core
SamPetkov
committed
bb9f88e
Document the Section 8 transport core
SamPetkov
committed
1f97a2b
Add focused Lean gate for Section 8 endpoint transport
SamPetkov
committed
36792b9
Expose Section 8 compiler tail
SamPetkov
committed
660900e
Use targeted Section 8 dependency closure
SamPetkov
committed
8b5ba99
Upload the focused Section 8 compiler log
SamPetkov
committed
879a7cc
Repair the endpoint transport product assembly
SamPetkov
committed
8b30be9
Fix product-power direction and final monotonicity
SamPetkov
committed
b8e43fc
Normalize the final endpoint-product orientation
SamPetkov
committed
f702b64