# Warrant-chain probe fixture — questions targeting claim-pack-resolved
# textbooks (Hilbert geometry, Cantor set theory, Russell logic, De Morgan,
# Boole, Peano arithmetic, Dedekind reals, Judson abstract algebra).
#
# Purpose: exercise the post-#000031-Phase 3 verifier path that suppresses
# WARRANT_MISSING when a cited chunk's document_root has a warrant-resolver
# derivation row. Smoke fixture retrieval lands zero chain hits; this
# fixture's questions explicitly target the 92 chain-resolved sources.

# Pillar IV — Hilbert geometry (18 records)
what does Hilbert's first axiom of incidence state?
what does Hilbert mean by the axiom of order between three points?

# Pillar I — set theory / classes (13 records, Russell + Cantor)
what is Russell's definition of a class?
what does Cantor's diagonal argument prove about real numbers?

# Pillar II — logic (10 records, De Morgan + Boole)
what are De Morgan's laws?
in Boolean algebra, what is the absorption law?

# Pillar VII — combinatorics (14 records, Bogart + Levin)
what is the pigeonhole principle in Bogart?
