Expand description
Immutable UUID-referenced analytical knowledge.
This crate owns knowledge records, validation, canonical fingerprints, deterministic ordering, and Arrow schemas. It deliberately has no storage, graph, execution, or provenance dependency.
Structs§
- Algorithm
Run - Immutable identity for one recorded M18 invocation.
- Algorithm
RunEvent - One immutable event in a recorded algorithm lifecycle.
- Algorithm
RunLedger - Validated immutable run identities and append-only lifecycle events.
- Assertion
- One immutable analytical assertion.
- Assertion
Graph Ref - One immutable assertion-to-graph UUID reference.
- Assertion
Ledger - Validated immutable assertion participant content.
- Assertion
Status Event - One immutable assertion-status event.
- Assertion
Status Ledger - Validated append-only assertion-status participant.
- Assertion
Supersession - One immutable assertion-supersession relation.
- Assertion
Supersession Ledger - Validated branch-preserving supersession participant.
- Assertion
Validity Event - One immutable correction to an assertion’s valid-time interpretation.
- Assertion
Validity Ledger - Validated append-only assertion-validity participant.
- Belief
Projection Attachment - One immutable interpretation attachment for a completed algorithm run.
- Belief
Projection Attachment Ledger - Validated append-only interpretation-attachment participant.
- Confidence
Assessment - One immutable confidence assessment.
- Confidence
Input - Immutable snapshot of one requested confidence input.
- Confidence
Ledger - Validated append-only confidence participant content.
- Evidence
Ledger - Validated immutable evidence participant content.
- Evidence
Link - One immutable evidence link.
- Hypothesis
Group - One immutable hypothesis group.
- Hypothesis
Ledger - Validated complete hypothesis state participants.
- Hypothesis
Membership Event - One immutable membership transition.
- Hypothesis
Selection Event - One immutable explicit selection or clear event.
- Reasoning
Ledger - Validated append-only reasoning participant content.
- Reasoning
Record - One immutable reasoning record or explicit amendment.
- Schema
Registry Entry - Authoritative registry entry for one knowledge record family.
Enums§
- Algorithm
RunState - Closed append-only algorithm-run lifecycle state.
- Assertion
Graph Role - Closed assertion-to-graph role.
- Assertion
Status - Closed
assertion-status@1value. - Confidence
Policy - Closed confidence policy registry.
- Evidence
Role - Closed relationship between evidence and an assertion.
- Evidence
Source Kind - Closed evidence source kind.
- Graph
Object Kind - Closed graph UUID kind.
- Hypothesis
Membership Action - Closed membership action.
- Knowledge
Error - Structured knowledge-domain failures.
- Reasoning
Content Format - Closed encoding contract for exact reasoning content.
- Reasoning
Kind - Closed purpose of one reasoning record.
Constants§
- ALGORITHM_
RUN_ CONTRACT_ VERSION - Algorithm-run identity record contract.
- ALGORITHM_
RUN_ EVENT_ CONTRACT_ VERSION - Algorithm-run lifecycle event contract.
- ALGORITHM_
RUN_ STATE_ REGISTRY_ VERSION - Closed algorithm-run lifecycle registry version.
- ASSERTION_
CONTRACT_ VERSION - Assertion record contract.
- ASSERTION_
GRAPH_ REF_ CONTRACT_ VERSION - Assertion-to-graph reference record contract.
- ASSERTION_
GRAPH_ ROLE_ REGISTRY_ VERSION - Closed assertion-role registry version.
- ASSERTION_
STATUS_ CONTRACT_ VERSION - Assertion-status record contract.
- ASSERTION_
STATUS_ REGISTRY_ VERSION - Closed status registry.
- ASSERTION_
SUPERSESSION_ CONTRACT_ VERSION - Assertion-supersession record contract.
- ASSERTION_
SUPERSESSION_ POLICY_ VERSION - Branch-preserving, non-selecting supersession policy.
- ASSERTION_
VALIDITY_ CONTRACT_ VERSION - Assertion-validity record contract.
- ASSERTION_
VALIDITY_ POLICY_ VERSION - Half-open interval interpretation policy.
- BELIEF_
PROJECTION_ ATTACHMENT_ CONTRACT_ VERSION - Frozen
belief_projection_attachment/1record contract. - CONFIDENCE_
ASSESSMENT_ CONTRACT_ VERSION - Confidence-assessment record contract.
- CONFIDENCE_
INPUT_ CONTRACT_ VERSION - Confidence-input snapshot record contract.
- CONFIDENCE_
POLICY_ REGISTRY_ VERSION - Closed confidence-policy registry version.
- EPISTEMIC_
CAPABILITY_ VERSION - M21 epistemic capability contract.
- EVIDENCE_
LINK_ CONTRACT_ VERSION - Evidence-link record contract.
- EVIDENCE_
ROLE_ REGISTRY_ VERSION - Closed evidence role registry version.
- EVIDENCE_
SOURCE_ KIND_ REGISTRY_ VERSION - Closed evidence source-kind registry version.
- GRAPH_
OBJECT_ KIND_ REGISTRY_ VERSION - Closed graph-object-kind registry version.
- HYPOTHESIS_
GROUP_ CONTRACT_ VERSION - Frozen hypothesis-group record contract.
- HYPOTHESIS_
KEY_ POLICY_ VERSION - Canonical group-key policy.
- HYPOTHESIS_
MEMBERSHIP_ CONTRACT_ VERSION - Frozen membership-event record contract.
- HYPOTHESIS_
SELECTION_ CONTRACT_ VERSION - Frozen selection-event record contract.
- HYPOTHESIS_
STATE_ POLICY_ VERSION - Membership/selection state policy.
- KNOWLEDGE_
CAPABILITY_ VERSION - Knowledge capability contract implemented by this crate.
- MAX_
HYPOTHESIS_ QUESTION_ KEY_ BYTES - Maximum canonical question-key bytes.
- MAX_
KNOWLEDGE_ ROWS - Per-participant row bound.
- MAX_
REASONING_ CONTENT_ BYTES - Maximum exact reasoning payload accepted by the public API.
- REASONING_
CONTENT_ FORMAT_ REGISTRY_ VERSION - Closed content-format registry.
- REASONING_
CONTRACT_ VERSION - Immutable reasoning record contract.
- REASONING_
KIND_ REGISTRY_ VERSION - Closed reasoning-kind registry.
- VALID_
TIME_ CAPABILITY_ VERSION - Optional valid-time capability contract.
Statics§
- ALGORITHM_
INTERPRETATION_ ATTACHMENT_ SCHEMA - Authoritative
algorithm_interpretation_attachmentsschema. - ALGORITHM_
RUN_ EVENT_ SCHEMA - Authoritative
knowledge/algorithm_run_events.parquetschema. - ALGORITHM_
RUN_ SCHEMA - Authoritative
knowledge/algorithm_runs.parquetschema. - ASSERTION_
GRAPH_ REF_ SCHEMA - Authoritative
knowledge/assertion_graph_refs.parquetschema. - ASSERTION_
SCHEMA - Authoritative
knowledge/assertions.parquetschema. - ASSERTION_
STATUS_ SCHEMA - Authoritative
knowledge/assertion_status_events.parquetschema. - ASSERTION_
SUPERSESSION_ SCHEMA - Authoritative
knowledge/assertion_supersessions.parquetschema. - ASSERTION_
VALIDITY_ SCHEMA - Authoritative assertion-validity event schema.
- CONFIDENCE_
ASSESSMENT_ SCHEMA - Authoritative
knowledge/confidence_assessments.parquetschema. - CONFIDENCE_
INPUT_ SCHEMA - Authoritative
knowledge/confidence_inputs.parquetschema. - EVIDENCE_
LINK_ SCHEMA - Authoritative
knowledge/evidence.parquetschema. - HYPOTHESIS_
GROUP_ SCHEMA - Authoritative group schema.
- HYPOTHESIS_
MEMBERSHIP_ SCHEMA - Authoritative membership-event schema.
- HYPOTHESIS_
SELECTION_ SCHEMA - Authoritative selection-event schema.
- REASONING_
SCHEMA - Authoritative
knowledge/reasoning.parquetschema.
Functions§
- schema_
registry - Return the authoritative assertion schema registry.