| All local passes are treated as a whole-result pass. | Examine the combining relation and the whole’s additional conditions. |
| Everyone uses “ready” with a different meaning. | Recover the actual local claims before summarizing. |
| A missing assignment and an unknown result share one status. | Name whether the next contribution is enabling work or an observation. |
| Every change restarts every checklist. | Follow the changed premise through actual reliance and retain sufficient unaffected grounds. |
| A master form displaces local views that participants need. | Connect the needed claims at the smallest worthwhile granularity. |