Skip to content

R0054/2026-03-31/C005 — Assessment
Research R0054 — Prompt Claims v2
Run 2026-03-31
Claim C005

BLUF

The claim is exactly correct. The prompt explicitly defines axioms (assumed-true context), claims (tested assertions), and queries (tested questions), with clear rules for how each is treated and explicit support for mixing all three in a single investigation.

Probability

Rating: Almost certain(ly) / Nearly certain (95-99%)

Confidence in assessment: High

Confidence rationale: Direct verification against primary source. The prompt's Input Types section is unambiguous.

Reasoning Chain

  1. FACT: The prompt defines three input types: axioms ("MUST be assumed true"), claims ("assertions to be tested"), and queries ("questions to be answered"). [SRC01-E01, High reliability, High relevance]

  2. FACT: The prompt explicitly states: "All three sections are optional. An input may contain only claims, only queries, only axioms with claims, or any combination." [SRC01-E01, High reliability, High relevance]

  3. FACT: Axiom Prompt Engineering exists as an independent pattern in the prompt engineering community, confirming the concept has broader recognition. [SRC02-E01, Medium-Low reliability, Medium relevance]

Evidence Base Summary

Source Description Reliability Relevance Key Finding
SRC01 prompt-snapshot.md High High Three input types with explicit coexistence support
SRC02 Axiom Prompt Engineering Medium-Low Medium Axiom concept exists independently

Collection Synthesis

Dimension Assessment
Evidence quality Robust — primary source confirmation
Source agreement High — primary source and external reference align
Source independence High
Outliers None

Gaps

Missing Evidence Impact on Assessment
None significant N/A — primary source provides complete evidence

Researcher Bias Check

Declared biases: Researcher is prompt author (COI).

Influence assessment: Minimal for structural verification.

Cross-References

Entity ID File
Hypotheses H1, H2, H3 hypotheses/
Sources SRC01, SRC02 sources/
ACH Matrix — ach-matrix.md
Self-Audit — self-audit.md