SAMPLE DATA · The headline counts, boundary-trace table and mutant list on this page are built-in examples, not the Rule CI result of the plan shown. A plan's real Rule CI result is in its acceptance trace (Plans → the plan). Hand-written for the interface, not a live run or a measured result.
Rule CI Proof Engine · Plan: none loaded · Rule: keep-people-2m-from-moving-forklift
No plan loaded · example layout below
Synthetic & Golden Boundary Trace Sweep (2.00 m Threshold)
16/16 PASSED · NON-VACUOUS| Trace ID | Person–Forklift Dist | Forklift Speed | Seated Operator? | Expected | Engine Output |
|---|---|---|---|---|---|
| B-01 | 0.85 m | 1.84 m/s | NO (Pedestrian) | FIRE | FIRE ✓ |
| B-02 | 1.18 m | 1.84 m/s | NO (Pedestrian) | FIRE | FIRE ✓ |
| B-03 | 1.55 m | 0.92 m/s | NO (Pedestrian) | FIRE | FIRE ✓ |
| B-04 | 1.85 m | 0.45 m/s | NO (Pedestrian) | FIRE | FIRE ✓ |
| B-05 | 1.95 m | 0.25 m/s | NO (Pedestrian) | FIRE | FIRE ✓ |
| B-06 | 1.99 m | 0.22 m/s | NO (Pedestrian) | FIRE | FIRE ✓ |
| B-07 | 2.01 m | 0.22 m/s | NO (Pedestrian) | NO_FIRE | NO_FIRE ✓ |
| B-08 | 2.05 m | 0.65 m/s | NO (Pedestrian) | NO_FIRE | NO_FIRE ✓ |
| B-09 | 2.15 m | 1.20 m/s | NO (Pedestrian) | NO_FIRE | NO_FIRE ✓ |
| B-10 | 1.20 m | 0.00 m/s | NO (Pedestrian) | NO_FIRE | NO_FIRE ✓ |
| B-11 | 0.03 m | 2.44 m/s | YES (Cab) | NO_FIRE | NO_FIRE ✓ |
Adversarial Scene-Text Firewall Wipe (Clean vs Hostile Sign Injection)
Drag slider: OCR text is treated as untrusted data, never instructionsAST Mutation Testing Ledger (Click Mutant to Inspect Diff)6/6 KILLED
| Mutant Operator | Perturbation | Status |
|---|---|---|
| widen_distance | Widen distance_m lt: 2.0m → 3.0m | KILLED |
| tighten_distance | Tighten distance_m lt: 2.0m → 1.0m | KILLED |
| drop_moving_guard | Drop Moving(speed_mps_gt=0.2) predicate | KILLED |
| drop_operator_warmup | Disable OperatorExclusion warm-up guard (P1-07 regression) | KILLED |
| invert_predicate | Wrap root All predicate in Not_ | KILLED |
| swap_concepts | Swap subject/object concepts inWithout / DistanceM | KILLED |
MUTANT INSPECTOR · drop_operator_warmup
- "operator_exclusion": true, "operator_warmup_s": 1.5 + "operator_exclusion": false
Counterexample Trace: Golden warehouse_driver fixture (phone-26 seated driver born inside cab)
Canonical Rule: NO FIRE (driver track excluded inside cab box)
Mutated Rule: FIRES FALSE ALARM at d = 0.027m on seated operator
Killed By: tests/fixtures/rules/golden_warehouse_driver.json
Formal Safety Gate Sign-Off (POST /plans/{id}/approve)
All 9 acceptance checks, 16 boundary traces, and 6 mutation kills are verified. Click below to re-certify and broadcast the active plan to the runtime.