# Benchmark Cases

These cases are meant to test whether AITP behaves like a disciplined research
participant rather than a summary engine.

## Case 1 — Literature to reusable knowledge

Purpose:
- move from registered sources to durable L2 knowledge.

Minimum pass:
- sources remain visible,
- provisional notes remain separate,
- at least one reusable knowledge object is promoted,
- unresolved ambiguity remains explicit.

## Case 2 — Idea evaluation

Purpose:
- evaluate a conjectural mechanism without mixing evidence and speculation.

Minimum pass:
- sourced background is separated from the new conjecture,
- assumptions are explicit,
- a validation route exists,
- uncertainty is preserved.

## Case 3 — Theory to numerics

Purpose:
- connect conceptual framing to a concrete computational validation path.

Minimum pass:
- observables are explicit,
- model and parameter choices are explicit,
- expected success and failure signals are explicit,
- result interpretation rules are declared before running.

## Case 4 — Theory to formalization

Purpose:
- move from informal reasoning to a proof-oriented scaffold.

Minimum pass:
- notation and assumptions are declared,
- local steps are separated,
- unresolved gaps are visible,
- a derivation contract exists.

## Case 5 — Closed-loop research record

Purpose:
- ensure work is written back as stable structure rather than lost in chat.

Minimum pass:
- keep, revise, reject, or defer is explicit,
- reusable outcomes can enter L2,
- unresolved outcomes remain visible in exploratory or validation layers.
