01
AIREADecompose
Material assertions become durable, addressable claim records.
AIREA × AGORA / PROVIDER CONTRACT 0.1One evidence engine.
One evidence engine.
No single point of truth.
CLAIM-LEVEL ORCHESTRATION
A bounded path from assertion to adjudication.
02
AGORARetrieve
Sources and credibility signals are returned with explicit attribution.
03
AGORAChallenge
Supporting, contradicting, qualifying, and dependent arguments remain visible.
04
AIREAAdjudicate
Provider output meets methods, provenance, limitations, and human review.
CAPABILITY BOUNDARY
Every machine opinion carries a receipt.
ID / CAPABILITYINPUTPROVIDER OUTPUTAIREA GOVERNANCE
A-01Claim verification
Atomic research claim
Provider verdict + confidence
Never becomes an archive verdict automatically
A-02Evidence discovery
Claim + result limit
Scored sources + relationships
Retain source URL and provider attribution
A-03Argument mapping
Provider claim ID
Supports / contradicts / qualifies / depends on
Graph edges remain challengeable and versioned
A-04Deep research
Research question
Themes / timeline / cited synthesis
Evidence context, never a substitute for methodology
FAILURE CONTAINMENT
An unavailable provider is a recorded event—not an invented answer.
No silent fallback
Timeouts and provider errors are stored as explicit failed runs.
No verdict laundering
Agora conclusions never appear as native AIREA findings.
No automated rejection of novelty
Missing prior evidence may indicate uncertainty—or genuinely new work.
Each future submission will create one Agora evidence run for every extracted claim.
The write path remains locked during the public read-only release. Its provider-attributed run states are documented here before activation.
View release controls