Module logical 

The Logical Context of Authority: the application-facing JSON form.

It is never embedded in a signed artifact directly; super::indexed::IndexedAuthorityMap::from_logical canonicalizes it into the Indexed Authority Map signed inside the PIC PCA COSE.

Structs

Invariant

One executable authority invariant: (scope, operation, resourceType, resourceId).

LogicalAuthority

The Logical Context of Authority: the application-facing JSON form { identity_context?, execution: { invariants, contract } }.

LogicalExecution

The execution member of the Logical Context of Authority.

Enums

AuthorityValue

A logical authority value: a non-empty string or a non-empty array of non-empty strings. Profile 0.2 rejects numbers, booleans, objects, null, empty strings, and empty arrays in the logical input domain.