Claim

This page is generated from the code and must not be edited by hand.

A statement the engine derived. Never an observation, and never stored as one.

Every claim names the rule that licensed it and the version of that rule, and lists the Index records it consumed, so any conclusion can be walked back to the bytes mechanically rather than by reading a prose evidence string.

A defeasible or abductive claim must be able to say what would retract it. That is what makes retraction an event rather than an erosion.

Fields

Field	Type	Required	If left out
claim_id	text	yes
defeaters	list of Defeater	no	[]
inference_tier	InferenceTier	no	"defeasible"
inputs	list of text	no	[]
object_reference	text or null	no	null
predicate	text	yes
resolution_status	ResolutionStatus	no	"resolved"
rule_id	text	yes
rule_version	text	yes
run_id	text	yes
salience	Salience or null	no	null
schema_version	text	no	"1.23"
scope	Scope	yes
subject	text	yes
support	list of SupportComponent	no	[]

The types named above are described on the shared types page: Defeater, InferenceTier, ResolutionStatus, Salience, Scope, SupportComponent.