Generated 2026-04-13 00:48:05 UTC | Back to ladder index | Back to docs
Status: passed
Validation: 15/15 passed
Parser failures: 0 | Apply failures: 0
Artifacts: raw run json | rendered run transcript
| # | Expected Route | Utterance |
|---|---|---|
| 1 | assert_fact | Treat this as a short-book ingest with scene edits and family rebinding. |
| 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 | Chapter one family ledger: Set parent(elara, noam). Set parent(elara, riven). Set parent(noam, kes). Set parent(riven, ysa). |
| 6 | assert_fact | Chapter one staging: Set at(kes, cedar_pier). Set inside(cedar_pier, north_basin). Set carries(noam, brass_seal). |
| 7 | assert_fact | Chapter two timing strip: Set before(dawn_watch, bridge_call). Set before(bridge_call, tide_release). Set before(dawn_watch, tide_release). |
| 8 | assert_fact | Early continuity check, still rough: query ancestor(elara, kes). Query in_region(kes, north_basin). |
| 9 | retract | Author revision: retract parent(noam, kes). |
| 10 | assert_fact | Author revision continuation: Set parent(riven, kes). |
| 11 | retract | retract fact carries(noam, brass_seal). |
| 12 | assert_fact | Set carries(riven, brass_seal). |
| 13 | retract | Stage rewrite: retract at(kes, cedar_pier). |
| 14 | assert_fact | Set at(kes, ash_steps). Set inside(ash_steps, north_basin). |
| 15 | retract | Late errata: retract before(bridge_call, tide_release). |
| 16 | assert_fact | Set before(bridge_call, fog_hold). Set before(fog_hold, tide_release). |
| 17 | assert_fact | Final continuity query: query ancestor(elara, kes). Query carries(riven, brass_seal). Query at(kes, ash_steps). |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| elara_noam_parent_kept | parent(elara, noam). | success | 1 | |
| elara_riven_parent_kept | parent(elara, riven). | success | 1 | |
| noam_kes_parent_removed | parent(noam, kes). | no_results | 0 | |
| riven_kes_parent_added | parent(riven, kes). | success | 1 | |
| elara_ancestor_of_kes | ancestor(elara, kes). | success | 1 | |
| noam_not_ancestor_of_kes | ancestor(noam, kes). | no_results | 0 | |
| riven_ancestor_of_kes | ancestor(riven, kes). | success | 1 | |
| kes_at_ash_steps | at(kes, ash_steps). | success | 1 | |
| kes_not_at_cedar_pier | at(kes, cedar_pier). | no_results | 0 | |
| kes_in_north_basin | in_region(kes, north_basin). | success | 1 | |
| riven_has_brass_seal | carries(riven, brass_seal). | success | 1 | |
| noam_no_brass_seal | carries(noam, brass_seal). | no_results | 0 | |
| dawn_before_tide_release | before(dawn_watch, tide_release). | success | 1 | |
| bridge_before_fog_hold | before(bridge_call, fog_hold). | success | 1 | |
| bridge_not_direct_before_tide_release | before(bridge_call, tide_release). | no_results | 0 |