057-action-gate-closed-evaluation-adoption

Sequence the write gate and claim admission with action-gate's closed evaluation mode

Lifecycle approvedImplementation completeVerification unknownQualification unknown

aicortex-gate sequences its two questions, 013's write gate and 051's claim admission, with hand-written chains of early returns. action-gate 0.3.0 (its spec 004) adds a closed evaluation mode written for exactly this consumer: deny by default, required checks, a deny that ends the walk, and a degrade that does not. This spec moves the sequencing onto that mode, one required check per rule in the documented order, and keeps every aicortex type, payload, admission token and ledger entry in aicortex-gate as adapter code. Behaviour does not change, and a differential test against the replaced evaluators shows it.

Read the full pinned specification ↗

Relationships

depends on

Claimed units

establishes

{
  "kind": "file",
  "path": "crates/aicortex-gate/src/walk.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-gate/tests/differential.rs"
}

extends

{
  "nature": "additive",
  "spec": "013-write-gate-and-redaction",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-gate/src/lib.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "051-claim-admission-and-authority",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-gate/src/claim_gate.rs"
  }
}

extends

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

Source headings

057: action-gate closed evaluation adoption
1. Purpose
2. Territory
3. Behavior
3.1 What moves and what stays
3.2 The walk
3.3 The pin
4. Functional requirements
5. Acceptance criteria
6. Out of scope
7. Resolved decisions
8. Follow-ups and open questions
Verification

Frozen anchors

No frozen anchors declared.