H11.0-P8 Legacy Batch A
Functions: padm + perv + popr
READY branches: NJCH + MNH
JCKH: DEFERRED_NOT_READY / non-blocking
Functions checked: 3 / 3
Modes checked: 2 / 2
Dataset checks: 12 / 12
Exact value checks: 288 / 288
Identity mismatches: 0
Failed datasets: 0
Maximum difference: 0
padm: PASS / 96 values
perv: PASS / 96 values
popr: PASS / 96 values
Ready-scope contracts proven: 3
Matched promotions: 0
Promotion status: THREE_FUNCTIONS_READY_SCOPE_PROVEN_PARTIAL_DEFERRED_BRANCH
Official Legacy progress remains: 23 MATCHED / 6 PARTIAL / 2 MISSING / 74.2%
Partial functions with exact READY-scope proof after PASS: 4 / 6
Write operations: NONE
Result: PASS
