Module research 

Research classification, claim relationships and scoped acceptance history. Evidence, assertions, confidence and hypothesis groups retain their owners.

Structs

ClaimRelationRecord

One immutable explicit relation between two existing assertions.

ResearchAuthority

Exact acceptance authority; context identity is never graph object identity.

ResearchClaimLedger

Frozen research classifications and explicit claim relations.

ResearchClaimRecord

Immutable classification and conceptual lineage of an existing assertion.

ResearchDecisionLedger

Immutable canonical/integration history across all contexts of one container.

ResearchDecisionRecord

Append-only current authority history, separate from frozen research.

ResearchSuppressionLedger

Frozen suppression history, independent of supported/canonical status.

ResearchSuppressionRecord

Immutable scoped knowledge suppression; referenced graph objects remain present.

Enums

ClaimRelationKind

Closed relations between immutable claims; no implicit winner is inferred.

ResearchCategory

Research interpretation category; evidence remains in Source/Artifact owners.

ResearchDecisionKind

Explicit decisions; integration does not imply canonical promotion.

ResearchSubjectKind

Typed subject of a scoped canonical decision.

Constants

MAX_RESEARCH_ROWS

Bounded rows per research family, including complete retained decision history.

RESEARCH_RECORD_VERSION

Frozen record version for contextual research metadata and decisions.

Statics

CLAIM_RELATION_SCHEMA

Authoritative typed relation record schema.

CLAIM_SUPPRESSION_SCHEMA

Authoritative typed suppression record schema.

RESEARCH_CLAIM_SCHEMA

Authoritative typed claim record schema.

RESEARCH_DECISION_SCHEMA

Authoritative typed decision record schema.