R0054/2026-03-31/C005/SRC01/E01¶
Three input types with distinct treatment rules in the prompt.
URL: N/A (local file: prompt-snapshot.md)
Extract¶
The Input Types section defines:
- Claims — "assertions to be tested against evidence. The research agent investigates whether each claim is true, false, or partially true."
- Queries — "questions to be answered with evidence. The research agent produces an answer with confidence and reasoning."
- Axioms — "facts declared by the researcher that MUST be assumed true for the duration of the research. Axioms are NOT tested, NOT fact-checked, and NOT subject to competing hypotheses."
Axiom handling rules: - "Treat axioms as established context, not as claims to investigate" - "Use axioms to constrain the scope" - If evidence contradicts an axiom, report as a finding but do not test the axiom - "Rule 5 (surface embedded assumptions) does NOT apply to declared axioms"
Coexistence: "All three sections are optional. An input may contain only claims, only queries, only axioms with claims, or any combination. Claims and queries may be intermixed in a single research run."
Relevance to Hypotheses¶
| Hypothesis | Relationship | Strength |
|---|---|---|
| H1 | Supports | Direct confirmation of every element of the claim |
| H2 | Contradicts | Full support for coexistence, not partial |
| H3 | Contradicts | Axioms are explicitly defined and supported |
Context¶
The axiom concept is inspired by intelligence analysis (classified briefing points) and academic research (established axioms defining investigation boundaries).