E01¶


Research	R0053 — Prompt Claims
Run	2026-03-31-02
Claim	C005
Source	SRC01
Evidence	SRC01-E01
Type	Factual

Prompt defines axioms, claims, and queries as combinable input types

URL: Local file: prompt-snapshot.md

Extract¶

The Input Types section defines: - 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." - Claims — "assertions to be tested against evidence" - Queries — "questions to be answered with evidence"

The input format template shows all three sections together. The prompt states: "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."

Step 1 (Receive and Clarify) instructs: "If the input contains declared axioms, acknowledge them and confirm they will be treated as assumed-true constraints. Do not generate hypotheses for axioms."

Relevance to Hypotheses¶

Hypothesis	Relationship	Strength
H1	Supports	Exact match — axioms and tested assertions coexist
H2	Contradicts	"any combination" in a single run eliminates partial correctness
H3	Contradicts	Axioms are explicitly defined and handled

Context¶

The axiom concept is explicitly attributed to Joohn Choe's ICD 203 prompt (researcher facts assumed true) in the Framework Attribution table.