Reference
Assertions and evidence
Claims, assertion lifecycles, evidence links, and verification.
Where runs keep execution proof, assertions keep truth claims: checked statements about data and state, each with evidence, confidence, status, and review. Related: Runs and evidence.
Assertion types
| Type | Claims about | Example |
|---|---|---|
| Entity | That a thing exists as described | "Acme is an enterprise account" |
| Property | A field value | "Order 8814 totals €4,200" |
| Relationship | A link between things | "Acme placed order 8814" |
| Classification | A label assignment | "Ticket 991 is billing" |
| Claim | Anything else checkable | "Churn risk exceeds threshold" |
Assertion lifecycle
| Status | Meaning | Next |
|---|---|---|
| Proposed | Machine-stated, unchecked | Review it |
| Approved | Human-confirmed | Usable downstream |
| Corrected | Fixed with reasons | Supersedes the proposal |
| Rejected | Refused with reasons | Dead, but recorded |
| Superseded | Replaced by a newer revision | Follow the newer one |
Review decisions
| Decision | Meaning |
|---|---|
| Approved | Right as stated |
| Corrected | Fixed — the highest-value feedback |
| Rejected | Misleading, with reasons |
Claims and confidence
| Field | Meaning |
|---|---|
| Kind | Source observation, extracted claim, human assertion, derived assessment |
| Subject / predicate / object | The statement in triple form |
| Source reliability | How much the origin is trusted |
| Claim confidence | How much the statement is trusted — stated separately from forecast probability |
| Match confidence | How sure the entity linkage is |
| Forecast probability | Likelihood, only with a separate claim confidence |
| Validity range | When the claim holds true |
{
"claimKind": "extracted_claim",
"subjectRef": "cust-acme",
"predicate": "at_renewal_risk",
"assertionType": "claim",
"confidence": { "sourceReliability": 0.8, "claimConfidence": 0.7 },
"evidence": [{ "captureId": "…", "relation": "supports" }]
}Evidence links
| Relation | Meaning | Example |
|---|---|---|
| Supports | Evidence backs the claim | Ticket thread showing outage complaints |
| Contradicts | Evidence undermines it | Usage actually grew 40% |
| Repeats | Independent second sighting | Same figure in the billing export |
Selectors pinpoint the evidence: text spans with quotes, page regions, time ranges, or structured-data pointers — each hashed so tampering shows.
Verification and derivations
- Verification tasks: named checks with instructions and stated limitations; findings record what was checked and concluded.
- Derivations: how assertions and artifacts produce each other — recorded, so impact flows both ways when a source claim changes.
- Corrections: merges, splits, reversals, and resolutions against expected revisions — identity teaches what "same" means here.
Image: claim with confidence bars, supporting and contradicting evidence, and its derivation trail.