A.2.6:17.3 - Audit checklist (informative)

• Does each guard name a concrete TargetSlice?
• Is membership reproducibly evaluable from the exact declared predicate and required inputs?
• Are freshness and coverage separate predicates?
• When exact local-sense translation was required, are the obtaining F.9 Bridge, separate C.2.1 use claim, direction, rule, tolerance, polarity, and current A.10 or B.3 reliance branch named?
• For parallel support: is independence justified?