By: ValentinHirschi <valentin.hirschi@gmail.com>
Refine affine guard proofs and expose predicate atom policy Retain exact publication gates; validate native factor consequences, structural chart bounds and caller-owned resource policy. Document separate candidate-generation and certification workload boundaries.