A05

• Input: Claims, observations, interpretations, alternatives, uncertainties, and decisions.
• Operation: Type each statement; link interpretations to observations; retain competing interpretations; prohibit unsupported promotion between types.
• Output: An auditable claim graph with alternatives and uncertainty.
• Scope conditions: Evidence-based analysis under ambiguity.
• Failure conditions: Types are inconsistently applied; source support is unavailable; alternatives are deleted.
• Predicted effect: Relative to untyped notes of equal length, auditors will detect more unsupported conclusions and reconstruct more decision rationales.
• Measurement: Seeded unsupported-claim recall and rationale reconstruction accuracy.
• Implementation test: Independent auditor follows links without curator assistance and identifies support status.
• Decision rights: Analyst types; reviewer challenges; decision owner accepts residual uncertainty.
• Uncertainty handling: Explicit values and alternatives.
• Verification: Link completeness and contradiction audit.
• Provenance: Statement-level source and transformation links.
• Implementation cost: Fine-grained annotation.
• Limitations: Could be generic evidence structuring. Direct: separation and preservation rules. Inference: prediction.