Evaluation & reliability
Keep alternative explanations visible rather than grading a claim against an unstated assumption.
A SMALL REASONING INSTRUMENT
What does the evidence require?
Choose a claim. Change its premises. Inspect the alternatives that still fit.
All three examples are synthetic.
A result is about the declared model;
it does not authenticate the evidence.
Loading checker reports…
READ THE BOUNDARY
A gap in the model is still a gap.
Keep the Gaps enumerates finite, explicitly declared possibilities. A claim follows only when every remaining assignment satisfies it. If supporting and opposing assignments remain, the claim stays unresolved. If none remain, the premises are inconsistent.
What this does not establish
It does not verify sources, validate a natural-language encoding, discover every omitted variable, estimate probability, measure causal effects, enforce permission, or certify safety. “Observation” is a supplied label, not independent verification. Counts are assignments, not confidence scores.
The browser uses complete checker reports for every combination of the included premises. It supports these three ledgers; it is not a general-purpose truth detector.
Security & authority
Keep a permission claim scoped to what the approval actually authorizes.
Alignment
Explore why authorization alone does not specify intended outcomes. These are distinct questions, not interchangeable categories.