Q31, run 2026-11-06-0855-haiku

← back to the run

Which works cite at least one of the works that cite W01?

Tests: Two hops; W51 cites both first-hop works; W90 is a test record.

Expected: works = ['W50', 'W51', 'W52']

✅ R8 csv+axioms run 1 graded by code

W50, W51 and W52. These cite W40 or W41, which cite W01. W90 also cites W41, but it is a staging record and is excluded.

JSON: {"works": ["W50", "W51", "W52"]}

✅ R8 csv+axioms run 2 graded by code

W50, W51 and W52 cite W40 or W41, which cite W01. W90 also cites W41 but is a staging record, so its citation doesn't count.

JSON: {"works": ["W50", "W51", "W52"]}

✅ R8 csv+axioms run 3 graded by code

W50, W51 and W52. W40 is cited by W50 and W51, and W41 by W51 and W52. W90 cites W41 but is excluded because it is a staging record.

JSON: {"works": ["W50", "W51", "W52"]}

✅ R8 csv+axioms run 4 graded by code

W50, W51 and W52. W40 and W41 cite W01; W50 and W51 cite W40, and W51 and W52 cite W41. W90 cites W41, but its staging-load citation does not count.

JSON: {"works": ["W50", "W51", "W52"]}

✅ R8 csv+axioms run 5 graded by code

W50, W51 and W52. These cite W40 or W41, which cite W01. W90 cites W41, but it is a staging record and its citations do not count.

JSON: {"works": ["W50", "W51", "W52"]}

✅ R9 csv+axioms+markdown run 1 graded by code

W50, W51 and W52. They cite W40 or W41, which cite W01; W90 is a staging load and excluded.

JSON: {"works": ["W50", "W51", "W52"]}

✅ R9 csv+axioms+markdown run 2 graded by code

W50, W51 and W52. They cite W40 or W41, which cite W01. W90 is a staging record and is excluded.

JSON: {"works": ["W50", "W51", "W52"]}

✅ R9 csv+axioms+markdown run 3 graded by code

W50, W51, W52. W90 cites W41 but is a staging record and is excluded.

JSON: {"works": ["W50", "W51", "W52"]}

✅ R9 csv+axioms+markdown run 4 graded by code

W50, W51, W52. Each cites W40 or W41, which cite W01; W90 is a staging record and excluded.

JSON: {"works": ["W50", "W51", "W52"]}

✅ R9 csv+axioms+markdown run 5 graded by code

W50, W51 and W52. They cite W40 or W41, which cite W01. W90 is an STG record and is excluded.

JSON: {"works": ["W50", "W51", "W52"]}