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 | Booklet mode with noisy edits and deterministic outcomes. |
| 2 | assert_fact | Set parent(iona, keir). Set parent(keir, lyra). Set parent(lyra, nico). |
| 3 | assert_fact | assert rule ancestor(X, Y) :- parent(X, Y). |
| 4 | assert_fact | assert rule ancestor(X, Z) :- parent(X, Y), ancestor(Y, Z). |
| 5 | assert_fact | assert rule in_region(X, Z) :- at(X, Y), inside(Y, Z). |
| 6 | assert_fact | Set at(nico, west_archive). Set inside(west_archive, sunmere). |
| 7 | assert_fact | Set carries(keir, red_key). |
| 8 | assert_fact | Pronoun note for next mutation: she means Lyra and him means Nico. |
| 9 | retract | retract fact at(nico, west_archive). |
| 10 | assert_fact | assert fact at(nico, south_walk). |
| 11 | assert_fact | assert fact inside(south_walk, sunmere). |
| 12 | assert_fact | {'utterance': 'and he passed it down to her kid not his', 'clarification_answers': ['He means Keir, it means red_key, her means Lyra, and her kid means Nico.', 'This is a transfer note; explicit key transfer mutations follow.'], 'max_clarification_rounds': 2} |
| 13 | retract | retract fact carries(keir, red_key). |
| 14 | assert_fact | Set carries(nico, red_key). |
| 15 | retract | {'utterance': 'drop that middle parent tie but keep i->k and still make nico reachable', 'clarification_answers': ['Middle parent tie means parent(keir, lyra). Keep parent(iona, keir).', 'Do not remove parent(iona, keir); only the explicit middle-link retraction and follow-up add apply.'], 'max_clarification_rounds': 2} |
| 16 | retract | retract fact parent(keir, lyra). |
| 17 | assert_fact | Set parent(keir, nico). |
| 18 | assert_fact | Final continuity query: query ancestor(iona, nico). Query in_region(nico, sunmere). Query carries(nico, red_key). |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| iona_keir_kept | parent(iona, keir). | success | 1 | |
| keir_lyra_removed | parent(keir, lyra). | no_results | 0 | |
| lyra_nico_kept | parent(lyra, nico). | success | 1 | |
| keir_nico_added | parent(keir, nico). | success | 1 | |
| iona_nico_ancestor | ancestor(iona, nico). | success | 1 | |
| nico_at_south_walk | at(nico, south_walk). | success | 1 | |
| nico_not_at_west_archive | at(nico, west_archive). | no_results | 0 | |
| nico_in_sunmere | in_region(nico, sunmere). | success | 1 | |
| nico_has_red_key | carries(nico, red_key). | success | 1 | |
| keir_no_red_key | carries(keir, red_key). | no_results | 0 | |
| pronoun_atom_she_absent | parent(she, nico). | no_results | 0 |