050-typed-claims-and-predicate-registry

Typed claims: a subject, a registered predicate, a typed value, an epistemic status, and the source span it came from

Lifecycle approvedImplementation completeVerification unknownQualification unknown

aicortex becomes the family's canonical owner of claim history with provenance. This spec defines what one claim says, as types, before any claim is admitted or stored: a subject reference, a predicate from a namespaced, versioned registry that a domain supplies, a typed value (text, integer, fixed-point decimal with a unit or currency, date, datetime with zone, interval, entity reference, enumeration), an epistemic status taken from the source's own stance, typed claim-to-claim relations, and source span references that extend 011's Provenance with a part, a byte or character span, and a content digest. aicortex stays domain agnostic: travel, the first consumer, registers its own predicates. Who may admit a claim is 051; when it holds and how history is kept is 052.

Read the full pinned specification ↗

Relationships

depends on

046-rahi-0-2-0-adoption

depended on by

amends

002-memory-thesis

amended by

053-host-library-mode

Claimed units

establishes

{
  "kind": "file",
  "path": "crates/aicortex-types/src/claim.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-types/src/claim_value.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-types/src/claim_time.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-types/src/predicate.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-types/src/span.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-types/tests/claim.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-types/testdata/claims/"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-types/tests/claim_compile_fail/"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-claims/Cargo.toml"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-claims/src/lib.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-claims/src/registry.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-claims/tests/registry.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-claims/testdata/registries/"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-store/src/predicate_registry_repo.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-store/tests/predicate_registry.rs"
}

extends

{
  "nature": "additive",
  "spec": "010-chassis-adoption-and-workspace",
  "unit": {
    "anchor": "workspace",
    "file": "Cargo.toml",
    "kind": "section"
  }
}

extends

{
  "nature": "additive",
  "spec": "010-chassis-adoption-and-workspace",
  "unit": {
    "anchor": "workspace.dependencies",
    "file": "Cargo.toml",
    "kind": "section"
  }
}

extends

{
  "nature": "additive",
  "spec": "011-memory-model",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-types/src/lib.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "011-memory-model",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-types/src/provenance.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "012-store-schema-and-repositories",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-store/src/lib.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "012-store-schema-and-repositories",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-store/src/migrations.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "012-store-schema-and-repositories",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-store/src/provenance_repo.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "012-store-schema-and-repositories",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-store/Cargo.toml"
  }
}

extends

{
  "nature": "additive",
  "spec": "013-write-gate-and-redaction",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-gate/tests/compile_fail/"
  }
}

extends

{
  "nature": "additive",
  "spec": "001-agentic-harness",
  "unit": {
    "kind": "file",
    "path": "standards/spec/contract.md"
  }
}

constrains

{
  "flavor": "invariant-freeze",
  "note": "a claim cannot be constructed without a subject, a registered predicate reference, a typed value, an epistemic status and provenance",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-types/src/claim.rs"
  }
}

Source headings

050: Typed claims and the predicate registry
1. Purpose
2. Territory
3. Behavior
3.1 The claim
3.2 Typed values
3.3 Epistemic status and relations
3.4 Source spans
4. Functional requirements
5. Acceptance criteria
6. Out of scope
6.1 Relationship to other models in the family
7. Resolved decisions
8. Open questions
9. Obligations
Verification

Frozen anchors

No frozen anchors declared.