Skip to content

M11-T03: Implement deterministic hold lifecycle with dedupe and replay equivalence #112

@skel84

Description

@skel84

Summary

Implement the core reservation-core lifecycle and prove that live apply and replay produce the same results.

Scope

  • CreatePool
  • PlaceHold
  • ConfirmHold
  • ReleaseHold
  • operation dedupe and conflict detection
  • snapshot/WAL replay through the same apply path

Acceptance

  • duplicate retry returns cached result
  • conflicting operation_id reuse returns conflict
  • deterministic invalid-state rejection
  • replay equivalence holds across crash/restart boundaries

Canonical docs

  • docs/reservation-engine-plan.md
  • docs/reservation-semantics.md

Blocked by

  • M11 umbrella issue
  • M11-T02

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions