Hypothesis assessment
Drafted human-editable specification · v0.4.4 · no agent-performance claim
Epistemic purpose
- Discriminate among explanations or stated expectations using informative evidence.
When this mode helps
- The scientific question concerns alternatives that can have different evidential consequences. Rival generation and discrimination are separate actions.
Agent actions and representations
- Generate substantive rivals; identify auxiliary assumptions; derive differing predictions; choose a discriminating observation; compare results; revise the rival set when needed.
- Inputs: the question, available evidence and provenance, constraints, prior claims, and remaining budget.
- Outputs: inspectable artifacts, updated question/evidence state, and a claim record when a substantive claim is made.
Evidence and claim scope
- State what each outcome supports and what remains unresolved. Evidence need not exclude every imaginable rival to support a bounded claim; shared assumptions and untested alternatives limit its strength.
- Distinguish a warranted decision at the time from a claim’s later assessed adequacy; append follow-up without rewriting the original record.
Transitions and stopping
- Reframe or return to exploration when all rivals accommodate the available evidence; acquire a new observable; use estimation to quantify the predicted contrast.
- Neighbouring profiles: exploration, theory, estimation, simulation, synthesis.
Characteristic failure
- Verbal variants masquerade as rivals; all alternatives pass the proposed test; an auxiliary assumption absorbs every failure; a causal claim outruns an association.
- The absorbing auxiliary is the Duhem problem (Duhem 1954; Quine 1951): a failed prediction refutes the conjunction of hypothesis, auxiliaries, and conditions, and logic does not say which to drop. This mode runs the whole loop of the unit graph; record at node X which conjunct was revised and why.
Human evidence and borrowing
- Platt (1964) offers a methodological argument; Cleland (2001) and Cleland (2002) distinguish historical and experimental reasoning. Sykes (1967) is the primary tectonic test case, not a controlled evaluation of agents.
- Cross-field comparison: King et al. (2009) illustrates executable hypothesis testing in yeast with assay constraints; borrowing requires identifying which geoscience observations can play the comparable discriminating role.
- Science of process/impact: Si et al. (2025) distinguishes idea ratings from executed research outcomes in NLP. Its results motivate testing rival quality through consequences rather than fluent phrasing.
- Definition and evidence (modes meeting, drafted October 2026): Defined by Gilbert: the investigator “invents hypotheses and he invents tests for them” (Gilbert 1896, 2). Hypothesis use carried no citation or grant advantage in 268 ecology and evolution papers (Betts et al. 2021); 21 of 100 ecology papers tested more than one hypothesis (Betini et al. 2017). In 18 coded geoscience advances it did decisive work in 7, usually late (modes meeting). On graph v0.4: H (generate hypotheses), S, D (design the test), C (compare), X (exclude), P (protect), R (refine): the whole hypothesis pass.
- The actions and transitions above are design hypotheses derived from these sources, not established optimal policies. Missing process chronology remains unknown.
Evaluation against past work
- Resolve a scientifically important contrast or demonstrate why current evidence cannot. Include distinguishable rivals, equifinal rivals, and a missing-data case; score gain and unsupported exclusions.
- Use the historical evaluation to choose a source record, preserve evidence boundaries, and assess a meaningful gain. A synthetic control tests a constructed case, not a historical discovery.
- Assessment definitions · Agent implementation