Generated 2026-04-13 00:48:05 UTC | Back to ladder index | Back to docs
Status: passed
Validation: 11/11 passed
Parser failures: 0 | Apply failures: 0
Artifacts: raw run json | rendered run transcript
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Short-book ingest. Keep mutations deterministic. |
| 2 | assert_fact | Set parent(sable, jaro). |
| 3 | assert_fact | {'utterance': 'he also had ren i think', 'clarification_answers': ['He means Jaro.', 'Set parent(jaro, ren).'], 'max_clarification_rounds': 2} |
| 4 | assert_fact | Set parent(ren, tali). |
| 5 | assert_fact | assert rule ancestor(X, Y) :- parent(X, Y). |
| 6 | assert_fact | assert rule ancestor(X, Z) :- parent(X, Y), ancestor(Y, Z). |
| 7 | assert_fact | assert rule in_region(X, Z) :- at(X, Y), inside(Y, Z). |
| 8 | assert_fact | Set at(tali, glass_walk). Set inside(glass_walk, low_harbor). |
| 9 | assert_fact | {'utterance': 'move her to reed yard n keep same harbor', 'clarification_answers': ['Her means Tali.'], 'max_clarification_rounds': 1} |
| 10 | retract | retract fact at(tali, glass_walk). |
| 11 | assert_fact | Set at(tali, reed_yard). Set inside(reed_yard, low_harbor). |
| 12 | assert_fact | Set carries(jaro, brass_token). |
| 13 | assert_fact | {'utterance': 'he gave it to ren not to her dad', 'clarification_answers': ['He means Jaro and it means brass_token.'], 'max_clarification_rounds': 1} |
| 14 | retract | retract fact carries(jaro, brass_token). |
| 15 | assert_fact | Set carries(ren, brass_token). |
| 16 | retract | {'utterance': 'undo that middle parent link but keep the top', 'clarification_answers': ['Middle link means parent(jaro, ren). Top means parent(sable, jaro).'], 'max_clarification_rounds': 1} |
| 17 | retract | retract fact parent(jaro, ren). |
| 18 | assert_fact | Set parent(sable, ren). |
| 19 | assert_fact | Final query pass: query ancestor(sable, tali). Query in_region(tali, low_harbor). Query carries(ren, brass_token). |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| sable_jaro_kept | parent(sable, jaro). | success | 1 | |
| jaro_ren_removed | parent(jaro, ren). | no_results | 0 | |
| sable_ren_added | parent(sable, ren). | success | 1 | |
| ren_tali_kept | parent(ren, tali). | success | 1 | |
| sable_tali_ancestor | ancestor(sable, tali). | success | 1 | |
| tali_at_reed_yard | at(tali, reed_yard). | success | 1 | |
| tali_not_at_glass_walk | at(tali, glass_walk). | no_results | 0 | |
| tali_in_low_harbor | in_region(tali, low_harbor). | success | 1 | |
| ren_has_token | carries(ren, brass_token). | success | 1 | |
| jaro_no_token | carries(jaro, brass_token). | no_results | 0 | |
| pronoun_atom_he_absent | parent(he, ren). | no_results | 0 |