Function partition 

pub fn partition(source: &str, target: &AnalogTarget) -> MixedPartition

Partition every function of source against target: certificate-admitted regions bind (int-exact or float-ε per try_region’s lane decision); everything else is ledgered with its typed reason. Deterministic: same source + target ⇒ the same partition, always.