Checked automatically: point values (§712(A)/§602/§713(A)), stance continuity, repeats & one-foot→two-foot downgrades (§712(C)), basic/reverse pairing incl. the 180/540 positional-turn mechanic (§709, §802–803), turn-direction alternation, per-round caps (6 surface multiples / 4 step-over multiples / 3 somersaults), rope-on-neck/teeth series order (§801(F)/(G)), bonus stacking & double-credit (§713), start-repeat downgrades (§602).
Assumed, not checked (execution-quality rules — the tool assumes every declared trick was landed as declared): loss of BSP & recoveries (§706), failed-trick reattempts (§707), the 15-second clock (§708), precursory-trick invalidation (§711 except (D)(3), which raises a warning), execution downgrades (§715), one-attempt-for-credit (§716), failed-start handling (§601(C)/§602(B)).
Known rulebook gap: the Wake 180 Step-Over Front-to-Back is defined in §810(D)(4) but has no point value in §712(A) — it can't be declared here, pending a WBC report.