H11.0-P9 Legacy Batch B
Functions: plts + prts
READY branches: NJCH + MNH
JCKH: DEFERRED_NOT_READY / non-blocking
Functions checked: 2 / 2
Modes checked: 2 / 2
Dataset checks: 8 / 8
Exact value checks: 192 / 192
Identity mismatches: 0
Failed datasets: 0
Maximum difference: 0
plts: PASS / 96 values
prts: PASS / 96 values
Ready-scope contracts proven: 2
Matched promotions: 0
Promotion status: TWO_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: 6 / 6
Remaining unproven partial functions: 0
Write operations: NONE
Result: PASS
