admissibility_preconditions
Verifies three store-scoped invariants to ensure admissibility queries can be answered: key agreement, observation channel alive, receipt chain coverage. Returns false if any precondition fails.
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 receipts are enabled and records exist, the chain is not empty
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 found in our own 450-record store, which had receipts enabled, an empty chain, and 107 locators with zero observations.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||