Function grouping - #551

Draft

gabriel-barrett wants to merge 6 commits into

mainfrom

group-functions

Commits on Aug 12, 2026

aiur: circuit-level function grouping (no source pragma)
gabriel-barrett
committed
b1d93f7
aiur: wire optional circuit-grouping application points (empty partitions)
gabriel-barrett
committed
5cea07b
stats: print circuit layout shape columns (TEMP - revert before merge)
gabriel-barrett
committed
03cd945
ixvm: populate cold grouping by layout-shape proximity (730 -> 185)
gabriel-barrett
committed
e768a95
ixvm: aggressive shape grouping tier (730 -> 93 circuits)
gabriel-barrett
committed
687e89e
recursive verifier: shape-proximity grouping, aggressive on columns (218 -> 23)
gabriel-barrett
committed
f6c585c