Purchase reservation

The Lifecycle

Transitions Explained

A claim accompanies placed coverage and remains as audit evidence after closing. Fulfilment marks it fulfilled. Void release removes pending coverage, while cancellation and rejecting decisions close it as cancelled.

What Cannot Happen

Release does not remove fulfilled coverage. Closed claims have no reopening path in the current functions.

Concurrency and Timing

The term-based claim index permits at most one claim record. Normal checkout races also use owner locking and identity checks. Ordinary placement is currently blocked by the recorded history-source incompatibility.