diff --git a/tools/m1b_closure_report_round5.json b/tools/m1b_closure_report_round5.json index e3ad930..b158c85 100644 --- a/tools/m1b_closure_report_round5.json +++ b/tools/m1b_closure_report_round5.json @@ -115,13 +115,13 @@ { "path": "tests/test_contract.py", "exists": true, - "changed": true, + "changed": false, "symbols": [ "esc", "_sor", "PblError" ], - "detail": "compat block rewritten (per-symbol resolution); previous block present=False", + "detail": "already in target form (idempotent no-op)", "qc": [ "QC#5" ],