Route46 minimal-block kernel/raw tower compaction #
This sidecar is route-neutral: no routed/root file imports it yet.
Route45 proves that the Route44 kernel/head aggregates can be expanded into field-level packets, but its drop-in provider has a much larger closure. Route46 takes the opposite conservative step for integration: it keeps the Section 7 lower tower coherent and only swaps the Route44 lower-kernel assembly.
The exported provider replaces the three Route44 lower-kernel leaves
minimalBlock_kernelLeastUniversalData;minimalBlock_kernelFrattiniCollapseFullData;minimalBlock_kernelRawQuotientTowerData;
by the older, same-tower minimalBlock_lowerGroupModuleData packet. It retains
Route44's manuscript-shaped simple-head semantic packet for the selected raw
tower. Thus the closure is strictly smaller than Route44's four active
kernel/head leaves, without importing Route45's broad split.
Lower tower through one coherent packet #
Route46 lower group/module data.
This is the manuscript lower tower K, R = Phi(K), M = K/R, T, and C,
with the quotient actions and head nontriviality tied to one selected tower.
Route-ready group tower #
Route46 group tower through a coherent lower packet and Route44's same-tower simple-head semantics.
This bypasses the Route44 lower-kernel assembly leaves while preserving the same simple-head semantic interface used there.
Public Route46 alias #
Drop-in Route46 provider replacing
minimalBlock_groupTowerData_from_kernelConcreteRoute44.