[petalas]

Summary

Bind the actual strict-volume Count selector to the complete ordinary consumer.

encoded e -> least strict plan -> exact body/high/residual geometry
  fit    -> two completed padded F calls, each immediately restricted
  no-fit -> one full original-chunk swap, no callee factory

This closes the logical transfer left open by PR3542. The join preserves exact stock and genuine high fields, and inherits the completed unweighted row-pointwise callee and capacity contracts. The conditional proof and complete module invoice are in research/strict-selector-consumer/PROOF.md.

Evidence

• Before: PR3542 supplies the toy plan by hand. Passing its new R<S domain through the old covering consumer still rejects.
• After: the actual encoded selector drives eight spectator cases covering 27,648 original and 82,944 padded-call Boolean columns. Its retained GL2(F2) Node/Driver run checks 1,024 original columns, 1,536 columns per callee, 24 MOVE residuals and 240 matched child entries/returns. Seven geometry-only cases cover widths 1,2 and residuals; eight no-fit cases cover 3,060 columns. Both callee failures and three actual optimized CLI rejection controls pass.
• Python 3.12 registered normal/optimized replay, scoped Ruff/format, warnings-as-errors compilation, actual final-HEAD committed-byte/source-history checks, export integrity and actual Git-free science/CLI replay pass. Exact source/export/runtime identities are unchanged. No hosted CI or independent human/formal acceptance is claimed.

Canonical base 20ecf2891d80b5acf18d980b2164fb44ea7faa90, priority revision 6. Source closure pins canonical inputs and all 27 retained PR3542 export files at 3aed9763a14c754d7172dbca3c1f9b1142722418, with origin commit/path/blob/SHA256. Scientific replay needs no foreign Git objects or network. See README/TASK/RESULT and the canonical investigation for replay and limits.

Credit Nick Petalas/PR3523,3542,3518,3503,2808; Hiroki Kumazaki/3502; Jose Manuel/2809,2899,2786,2697,2234; David Arias/2753; Tekalign/3264; Sagar Thakrar and the retained ordinary, geometry, stock, BIT and supplier lineage. The ordinary identity, strict-volume theorem, source endpoint and selector algorithm are predecessor results.

Merge Danger

Door: two-way

One isolated opt-in package. Frozen predecessors and the selected frontier are unchanged.

Blast Radius: package

Logical composition only. The actual selected coefficient, serialized source execution, physical C0/GL64, full-cover/root fresh fields, dirty restoration and complete physical supplier/outer costs remain open. The adapter 4096-bit cap, 256 numerical roles per arena and callback index-fit/cleanup contracts remain. No supplier, cutoff or kappa gain is claimed.