admissibility_preconditions
Check whether a store can answer applicability questions by verifying key agreement, observation channel aliveness, and receipt chain coverage. Reports when a precondition does not apply.
Instructions
Is this store in a state where an applicability question can be ANSWERED at all?
The layer BELOW applicability. evaluate_applicability asks whether a record is admissible now;
this asks whether the machinery that answer rests on is still working. Three store-scoped
invariants, no new statuses:
key_agreement every key the store holds resolves through the read path observation_channel_alive if records carry locators, some carry a read-time observation receipt_chain_covers_records if this store was WRITTEN with receipts (its .receipts.json sidecar exists) and records exist, the chain is not empty
"Enabled" is this server's INSPEXIMUS_RECEIPTS or a receipt sidecar beside the store; either one
makes an empty chain over existing records a failure, as it is for verify_writes on this server.
A precondition that cannot apply reports applicable: false and does NOT count as holding -- a
question that did not arise has not been answered.
The layer and the first two invariants are @Stratogain's (safal207/Causal-Memory-Layer#289); the third is the same shape: a mechanism switched on and producing nothing.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||