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 messy family chapter with pronouns crossing clauses. |
| 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 | Rain-letter digest: Tomas is Irena's parent. Tomas is Olan's parent. Irena is Soren's parent. Irena is Pella's parent. Pella is Neri's parent. |
| 6 | assert_fact | The place lines and prop line were copied on the back page: Set at(neri, ivy_stacks). Set inside(ivy_stacks, ember_library). Set carries(irena, brass_compass). |
| 7 | query | Before the copy edits start, is Tomas already an ancestor of Neri, and does Irena still hold the compass? |
| 8 | retract | Copy note: the clause about her brother's girl belongs to Olan's branch, not Irena's, so retract parent(irena, pella). |
| 9 | assert_fact | Copy note continuation: Set parent(olan, pella). |
| 10 | retract | Pronoun memo, annoying but usable: retract carries(irena, brass_compass). |
| 11 | assert_fact | Pronoun memo continuation: Set carries(soren, brass_compass). |
| 12 | retract | Last staging cleanup: retract at(neri, ivy_stacks). |
| 13 | assert_fact | Last staging continuation: Set at(neri, lower_gallery). Set inside(lower_gallery, ember_library). |
| 14 | assert_fact | Final continuity query: query ancestor(tomas, neri). Query carries(soren, brass_compass). Query in_region(neri, ember_library). |
| ID | Query | Expect | Min Rows | Max Rows |
|---|---|---|---|---|
| tomas_irena_parent_kept | parent(tomas, irena). | success | 1 | |
| tomas_olan_parent_kept | parent(tomas, olan). | success | 1 | |
| irena_soren_parent_kept | parent(irena, soren). | success | 1 | |
| irena_pella_parent_removed | parent(irena, pella). | no_results | 0 | |
| olan_pella_parent_added | parent(olan, pella). | success | 1 | |
| pella_neri_parent_kept | parent(pella, neri). | success | 1 | |
| tomas_ancestor_of_neri | ancestor(tomas, neri). | success | 1 | |
| olan_ancestor_of_neri | ancestor(olan, neri). | success | 1 | |
| irena_not_ancestor_of_neri | ancestor(irena, neri). | no_results | 0 | |
| soren_has_brass_compass | carries(soren, brass_compass). | success | 1 | |
| irena_no_brass_compass | carries(irena, brass_compass). | no_results | 0 | |
| neri_at_lower_gallery | at(neri, lower_gallery). | success | 1 | |
| neri_not_at_ivy_stacks | at(neri, ivy_stacks). | no_results | 0 | |
| neri_in_ember_library | in_region(neri, ember_library). | success | 1 | |
| tomas_not_parent_of_pella | parent(tomas, pella). | no_results | 0 |