statecraft.
Catalog/aicortex

051-claim-admission-and-authority

Claim admission: an observation is not a proposal, a proposal is not a claim, and a score is never authority

Lifecycle approvedImplementation completeVerification unknownQualification unknown

Three things that ingest pipelines routinely blur are kept apart: an observation (the source as received, stored as a memory through 013's gate), a proposal (a typed claim some actor suggests, with its evidence), and an admitted claim (a proposal the gate accepted under a named policy, with a decision record). Admission reuses the existing gate crate and its purity, adds a claim verdict whose `AdmittedClaim` only the gate can mint, and records every admission. Model-produced scores are stored as evidence and never serve as authority. A user's correction is first-class evidence carrying an authority level, and it is appended, never an edit.

Read the full pinned specification ↗

Relationships

Claimed units

  • establishes
    {
  "kind": "file",
  "path": "crates/aicortex-types/src/claim_evidence.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/aicortex-gate/src/claim_gate.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/aicortex-gate/tests/claim_admission.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/aicortex-gate/testdata/claims/"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/aicortex-store/src/claim_proposal_repo.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/aicortex-store/src/claim_admission_repo.rs"
}
  • establishes
    {
  "kind": "file",
  "path": "crates/aicortex-store/tests/claim_admission.rs"
}
  • extends
    {
  "nature": "additive",
  "spec": "011-memory-model",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-types/src/lib.rs"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "013-write-gate-and-redaction",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-gate/Cargo.toml"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "013-write-gate-and-redaction",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-gate/src/lib.rs"
  }
}
  • extends
    {
  "nature": "additive",
  "spec": "013-write-gate-and-redaction",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-gate/tests/compile_fail/"
  }
}
  • 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"
  }
}
  • constrains
    {
  "flavor": "invariant-freeze",
  "note": "an admitted claim exists only as the output of the gate; a model score is evidence and never the sole ground of admission",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-gate/src/claim_gate.rs"
  }
}

Source headings

  1. 051: Claim admission and authority
  2. 1. Purpose
  3. 2. Territory
  4. 3. Behavior
  5. 3.1 Three layers
  6. 3.2 Evidence and authority
  7. 3.3 The gate and the record
  8. 4. Functional requirements
  9. 5. Acceptance criteria
  10. 6. Out of scope
  11. 7. Resolved decisions
  12. 8. Open questions
  13. 9. Obligations
  14. Verification

Frozen anchors

No frozen anchors declared.