Generated 2026-04-13 00:48:05 UTC | Back to ladder index | Back to docs
Status: passed
Validation: 12/12 passed
Parser failures: 0 | Apply failures: 0
Artifacts: raw run json | rendered run transcript
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Treat this like a crowded family chapter with pronouns that keep trying to slide onto the wrong branch. |
| 2 | assert_fact | assert rule ancestor(X, Y) :- parent(X, Y). |
| 3 | assert_fact | assert rule ancestor(X, Z) :- parent(X, Y), ancestor(Y, Z). |
| 4 | assert_fact | assert rule in_region(X, Z) :- at(X, Y), inside(Y, Z). |
| 5 | assert_fact | Family chunk from the quay chapters: assert fact parent(orla, jalen). assert fact parent(orla, mira). assert fact parent(jalen, sena). assert fact parent(mira, taren). assert fact parent(mira, elowen). |
| 6 | assert_fact | The location and prop lines are split across the next page: assert fact at(taren, lantern_house). assert fact inside(lantern_house, low_harbor). assert fact carries(mira, brass_key). |
| 7 | assert_fact | Quick continuity check before the copy editor intervenes: query ancestor(orla, taren). Query ancestor(orla, sena). Query carries(mira, brass_key). |
| 8 | retract | Copy-edit correction: the sentence that says 'her son waited behind him' was attached to the wrong sibling. retract fact parent(mira, taren). |
| 9 | assert_fact | Copy-edit continuation, explicit form: assert fact parent(jalen, taren). |
| 10 | retract | Pronoun resolution note from the margin: when it says 'she left the brass key with him,' she is Mira and him is Jalen. retract fact carries(mira, brass_key). |
| 11 | assert_fact | Set carries(jalen, brass_key). |
| 12 | retract | One last staging fix for the same scene: retract fact at(taren, lantern_house). |
| 13 | assert_fact | Staging continuation, explicit form: assert fact at(taren, silt_stairs). assert fact inside(silt_stairs, low_harbor). |
| 14 | assert_fact | After those fixes, answer from the corrected branch only: query parent(mira, elowen). Query parent(jalen, taren). Query in_region(taren, low_harbor). |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| orla_jalen_parent_kept | parent(orla, jalen). | success | 1 | |
| orla_mira_parent_kept | parent(orla, mira). | success | 1 | |
| jalen_sena_parent_kept | parent(jalen, sena). | success | 1 | |
| mira_elowen_parent_kept | parent(mira, elowen). | success | 1 | |
| mira_taren_parent_removed | parent(mira, taren). | no_results | 0 | |
| jalen_taren_parent_added | parent(jalen, taren). | success | 1 | |
| orla_taren_ancestor_after_branch_shift | ancestor(orla, taren). | success | 1 | |
| jalen_has_brass_key | carries(jalen, brass_key). | success | 1 | |
| mira_no_longer_has_brass_key | carries(mira, brass_key). | no_results | 0 | |
| taren_at_silt_stairs | at(taren, silt_stairs). | success | 1 | |
| taren_not_at_lantern_house | at(taren, lantern_house). | no_results | 0 | |
| taren_still_in_low_harbor | in_region(taren, low_harbor). | success | 1 |