Generated 2026-04-13 00:48:06 UTC | Back to ladder index | Back to docs
Status: passed
Validation: 3/3 passed
Parser failures: 0 | Apply failures: 0
Artifacts: raw run json | rendered run transcript
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Agent a3 is provisional. |
| 2 | assert_fact | Agent a4 is valid. |
| 3 | assert_fact | Agent a3 has override. |
| 4 | assert_rule | If X is provisional then blocked(X). |
| 5 | assert_rule | If X has override then allowed(X). |
| 6 | assert_rule | If X is blocked and X is allowed then risky(X). |
| 7 | retract | Actually, retract that: has_override(a3). |
| 8 | assert_fact | Agent a3 has manual_review. |
| 9 | assert_rule | If X has manual_review then blocked(X). |
| 10 | other | Translate this to Spanish: validation integrity matters. |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| a3_blocked_true | blocked(a3). | success | 1 | |
| a3_allowed_removed | allowed(a3). | no_results | 0 | |
| a3_risky_removed | risky(a3). | no_results | 0 |