AuthorityClaim
A policy's judgment about authority, with its provenance — a RECEIPT, not currency (greenhouse decisions/0054). An expensive producer's claim is currency: minted at graduation, signed, stored, its freshness checked (the descent certificate, decisions/0050–0051). A cheap deterministic producer is consulted LIVE instead, so nothing stored can go stale when the policy changes — F-4 of decisions/0053, dead by construction. What this object is for is the CHANNEL: an auditable record naming which policy version judged which facts, citable next to the effect it enabled.
AuthorityClaim::__construct()
public function __construct(Milpa\Command\Effect\Authority $authority, string $operation, string $policyId, string $policyDigest, string $factsFingerprint):Parameters
| Name | Type | Description |
|---|---|---|
| $authority | Authority | the judged effective authority for this call |
| $operation | string | the operation the judgment is about |
| $policyId | string | who judged |
| $policyDigest | string | the exact version of the rules that judged |
| $factsFingerprint | string | the exact facts that were judged |
AuthorityClaim::justifies()
public function justifies(Milpa\Command\Effect\Authority $to): boolDoes this judgment justify landing at the given authority? Judged above the destination does not.
Parameters
| Name | Type | Description |
|---|---|---|
| $to | Milpa\Command\Effect\Authority |