ClaimType

core.ClaimType()

The semantic kind of a MatchClaim, derived from its structure.

A claim’s kind is never stored; it is read from whether the claim is explicit, whether it is synchronous, and how many of its two sides name an event. The members span every shape a pairwise claim can take:

Members

event_match: Two identified events on different timelines correspond, temporally anchored. projection: One identified event corresponds to a bare coordinate on the other timeline (which names no event of its own). nomatch: An identified event has no counterpart on the other timeline. anchor: Two anonymous coordinates correspond, with no event identity on either side. implicit: A correspondence inferred by graph extension rather than directly asserted. conceptual: A structural correspondence with no temporal commitment — no anchors and no single orphaned event.

Attributes

Name	Description
anchor	Two anonymous coordinates correspond (no event identity).
anon	Alias for anchor.
conceptual	A structural correspondence with no temporal commitment (no anchors).
event	Alias for event_match.
event_match	Two identified events correspond, temporally anchored.
implicit	An inferred (not directly asserted) correspondence.
nomat	Alias for nomatch.
nomatch	An identified event has no counterpart on the other timeline.
projection	One identified event corresponds to a bare coordinate on the other timeline.