# Aggressive warrant-chain fixture (2026-05-10).
#
# Phase 3 verifier (a57b194) suppresses WARRANT_MISSING when a cited
# chunk has a warrant-resolver derivation row. The first probe fixture
# (qa_questions_warrant_chain_probe.txt) found Phase 3 dormant —
# retrieval landed on Wikipedia chunks instead of claim-pack chunks
# even on warrant-targeted topics.
#
# This fixture uses **exact claim-pack title phrasing** to maximize
# title-token boost in the retrieval pipeline. Each question's noun
# phrase matches a specific claim-pack record's title verbatim, which
# should drive retrieval to surface that claim-pack chunk in the top
# slots.
#
# Source: titles sampled from documents where document_root ∈
# warrant_chain_lookup() (the 92 chain-root set) on shard 000.db
# 2026-05-10.

# Pillar VII — Combinatorics (titles match claim-pack records)
What is the Pigeonhole Principle?
What is Pascal's Rule?
What is the Multiplication Principle in combinatorics?

# Pillar I — First-order logic (axiom titles)
What is the Axiom of Implication Introduction?
What is the Axiom of Reflexivity of Equality?
What is the Axiom of Universal Specification?

# Pillar II — Set theory (ZFC axioms)
Define the Axiom of Extensionality.
What is the Axiom of Empty Set?
What is the Axiom of Power Set?
Define the Axiom of Foundation.

# Pillar III — Peano arithmetic
What is the Axiom of Successor?
Define the Axiom of Addition (Zero).

# Pillar IV — Hilbert geometry
State the Archimedean Axiom.
