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 | Harbor notebook header: use exact predicates and exact argument order. |
| 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 | Fragment from the harbor opening: assert fact parent(sera, imren). assert fact parent(sera, nessa). assert fact parent(imren, tal). assert fact at(tal, salt_house). assert fact inside(salt_house, glass_harbor). |
| 6 | assert_fact | A later scrap from the same chapter adds a prop beat that matters more than it should: Set carries(imren, tide_map). |
| 7 | assert_fact | Before the archivist repairs the torn pages, query ancestor(sera, tal). Query in_region(tal, glass_harbor). |
| 8 | retract | Retract this outdated edge from the torn page: retract fact parent(imren, tal). |
| 9 | assert_fact | Recovered margin continuation, explicit form: assert fact parent(nessa, tal). |
| 10 | retract | Stage correction, explicit form: retract fact at(tal, salt_house). |
| 11 | assert_fact | assert fact at(tal, reed_tower). |
| 12 | assert_fact | assert fact inside(reed_tower, glass_harbor). |
| 13 | retract | One more recovered note narrows the handoff: retract fact carries(imren, tide_map). |
| 14 | assert_fact | Handoff continuation, explicit form: assert fact carries(tal, tide_map). |
| 15 | assert_fact | Timeline continuation, explicit form: assert fact scene_time(ferry_departure, dawn). |
| 16 | assert_fact | After the repair pass, query ancestor(sera, tal). Query in_region(tal, glass_harbor). Query at(tal, reed_tower). |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| sera_imren_parent_kept | parent(sera, imren). | success | 1 | |
| sera_nessa_parent_kept | parent(sera, nessa). | success | 1 | |
| imren_tal_parent_removed | parent(imren, tal). | no_results | 0 | |
| nessa_tal_parent_added | parent(nessa, tal). | success | 1 | |
| sera_tal_ancestor_restored | ancestor(sera, tal). | success | 1 | |
| tal_at_reed_tower | at(tal, reed_tower). | success | 1 | |
| tal_not_at_salt_house | at(tal, salt_house). | no_results | 0 | |
| tal_still_in_glass_harbor | in_region(tal, glass_harbor). | success | 1 | |
| tal_has_tide_map | carries(tal, tide_map). | success | 1 | |
| imren_no_longer_has_tide_map | carries(imren, tide_map). | no_results | 0 | |
| ferry_departure_at_dawn | scene_time(ferry_departure, dawn). | success | 1 |