Generated 2026-04-13 00:48:05 UTC | Back to ladder index | Back to docs
Status: passed
Validation: 17/17 passed
Parser failures: 0 | Apply failures: 0
Artifacts: raw run json | rendered run transcript
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Use revised-chronicle mode here. |
| 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 | Monastery chapter, rough cut: Nara is Esi's parent. Esi is Tobin's parent. Tobin is Lio's parent. |
| 6 | assert_fact | Set at(tobin, west_archive). Set inside(west_archive, sunmere). Set carries(tobin, seal_ring). |
| 7 | assert_fact | Schedule note from the chapter head: Set before(first_bell, oath_reading). Set before(oath_reading, river_launch). Set before(river_launch, night_fire). Set before(first_bell, night_fire). Set occurs_on(river_launch, day_8). |
| 8 | query | Quick question before the storm note lands: is Nara already an ancestor of Lio, and does river_launch still sit on day_8? |
| 9 | retract | Storm exception, middle beat only: retract before(oath_reading, river_launch). |
| 10 | assert_fact | Storm exception continuation: Set before(oath_reading, repair_vigil). Set before(repair_vigil, river_launch). |
| 11 | retract | Day correction: retract occurs_on(river_launch, day_8). |
| 12 | assert_fact | Set occurs_on(river_launch, day_9). |
| 13 | retract | Family rebinding from the corrected folio: retract parent(esi, tobin). |
| 14 | assert_fact | Family rebinding continuation: Set parent(mara, tobin). Set parent(nara, mara). |
| 15 | retract | Quiet cleanup after that: retract carries(tobin, seal_ring). |
| 16 | assert_fact | Quiet cleanup continuation: Set carries(lio, seal_ring). |
| 17 | retract | Location cleanup: retract at(tobin, west_archive). |
| 18 | assert_fact | Location continuation: Set at(tobin, south_walk). Set inside(south_walk, sunmere). |
| 19 | assert_fact | Final revised-state query: query ancestor(nara, lio). Query occurs_on(river_launch, day_9). Query at(tobin, south_walk). |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| nara_esi_parent_kept | parent(nara, esi). | success | 1 | |
| esi_tobin_parent_removed | parent(esi, tobin). | no_results | 0 | |
| nara_mara_parent_added | parent(nara, mara). | success | 1 | |
| mara_tobin_parent_added | parent(mara, tobin). | success | 1 | |
| tobin_lio_parent_kept | parent(tobin, lio). | success | 1 | |
| nara_ancestor_of_lio | ancestor(nara, lio). | success | 1 | |
| esi_not_ancestor_of_lio | ancestor(esi, lio). | no_results | 0 | |
| first_bell_before_night_fire | before(first_bell, night_fire). | success | 1 | |
| oath_reading_before_repair_vigil | before(oath_reading, repair_vigil). | success | 1 | |
| river_launch_not_before_oath_reading | before(river_launch, oath_reading). | no_results | 0 | |
| river_launch_on_day_9 | occurs_on(river_launch, day_9). | success | 1 | |
| river_launch_not_on_day_8 | occurs_on(river_launch, day_8). | no_results | 0 | |
| lio_has_seal_ring | carries(lio, seal_ring). | success | 1 | |
| tobin_no_seal_ring | carries(tobin, seal_ring). | no_results | 0 | |
| tobin_at_south_walk | at(tobin, south_walk). | success | 1 | |
| tobin_not_at_west_archive | at(tobin, west_archive). | no_results | 0 | |
| tobin_in_sunmere | in_region(tobin, sunmere). | success | 1 |