045-durable-coordination-protocol

Coordinate repository work through durable requests, replies, and reconciled evidence

Lifecycle draftImplementation pendingVerification unknownQualification unknown

Generalize repository handoff packets and handbacks into a durable, scoped coordination protocol. Requests, acknowledgment, replies, evidence observations, explicit resolutions and corrections retain their identity and revision. Inbox and outbox are projections, not another broker or hash chain. The same hiqlite store holds records, recipient state and consumer cursors transactionally; chassis events only wake consumers. Statecraft-cli supplies local session and Git/provider observations and keeps execution authority. A recalled request cannot authorize an action, a session report cannot approve its own specification, and an interrupted or disconnected consumer can reconcile what it missed.

Read the full pinned specification ↗

Relationships

depends on

Claimed units

establishes

{
  "kind": "file",
  "path": "docs/design/01-coordination-and-local-integration.md"
}

establishes

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

establishes

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

establishes

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

establishes

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

establishes

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

establishes

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

establishes

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

establishes

{
  "kind": "file",
  "path": "crates/aicortex-api/src/coordination.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-api/tests/coordination.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-ingest/src/sources/coordination.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-ingest/tests/coordination.rs"
}

establishes

{
  "kind": "file",
  "path": "crates/aicortex-ingest/tests/coordination_portable.rs"
}

establishes

{
  "kind": "file",
  "path": "specs/045-durable-coordination-protocol/fixtures/"
}

extends

{
  "nature": "additive",
  "spec": "011-memory-model",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-types/src/lib.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": "014-memory-lifecycle-and-erasure",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-store/src/erasure.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "020-http-api-and-scopes",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-api/src/lib.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "020-http-api-and-scopes",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-api/src/router.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "020-http-api-and-scopes",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-api/src/scopes.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "020-http-api-and-scopes",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-api/src/events.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "020-http-api-and-scopes",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-api/src/error.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "030-source-adapter-framework",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-ingest/src/lib.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "030-source-adapter-framework",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-ingest/src/registry.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "042-portability-and-migration",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-ingest/src/portable/export.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "042-portability-and-migration",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-ingest/src/portable/import.rs"
  }
}

extends

{
  "nature": "additive",
  "spec": "042-portability-and-migration",
  "unit": {
    "kind": "file",
    "path": "crates/aicortex-ingest/src/portable/format.md"
  }
}

Source headings

045: Durable coordination
1. Purpose
2. Territory
3. Behavior
B-1. Five concepts remain distinct
B-2. Envelope and identity
B-3. Requests, recipients and revisions
B-4. Atomic storage and recoverable delivery
B-5. Single authority, fencing and cancellation
B-6. Git and provider observations
B-7. Reconciliation is proposition-specific
B-8. Query views and bounded attention
B-9. Packets remain portable, versioned views
B-10. Semantic memory remains a separate projection
B-11. Retention, erasure and access revocation
B-12. Local product integration
4. Functional requirements
5. Acceptance criteria
6. Out of scope
7. Resolved decisions
Verification

Frozen anchors

No frozen anchors declared.