harn-stdlib 0.10.88

Embedded Harn standard library source catalog
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65

/**
 * Canonical external-action receipt vocabulary.
 *
 * Host bindings are generated from these closed unions by
 * `harn dump-protocol-artifacts`. Add receipt vocabulary here once; do not
 * mirror it in Swift, Rust, or TypeScript.
 */
pub type ExternalActionOutcome = "confirmed" \
  | "denied" \
  | "failed_before_dispatch" \
  | "rejected" \
  | "indeterminate"

pub type ExternalActionReceiptStatus = "confirmed" \
  | "denied" \
  | "failed_before_dispatch" \
  | "rejected" \
  | "reconciliation_required"

pub type ExternalActionNextAction = "none" | "reconcile"

pub type ExternalActionProtectedFieldClass = "legal_identity" \
  | "birth_date" \
  | "contact_details" \
  | "accessibility_needs" \
  | "loyalty_accounts" \
  | "travel_documents"

pub type ExternalActionPassengerGender = "m" | "f"

pub type ExternalActionActivityStatus = "proposed" \
  | "approval_pending" \
  | "denied" \
  | "cancelled" \
  | "timed_out" \
  | "dispatch_pending" \
  | "confirmed" \
  | "failed_before_dispatch" \
  | "rejected" \
  | "reconciliation_required"

pub type ExternalActionPolicyLayer = "user_policy" \
  | "managed_policy" \
  | "adversarial_reviewer" \
  | "remembered_rule"

pub type ExternalActionPolicyEvaluationOutcome = "allowed" \
  | "denied" \
  | "approval_required" \
  | "unavailable"

pub type ExternalActionDecisionOutcome = "approved" | "denied" | "timed_out" | "cancelled"

pub type ExternalActionDecider = "person" \
  | "remembered_rule" \
  | "user_policy" \
  | "managed_policy" \
  | "adversarial_reviewer" \
  | "test_fixture"

pub type ExternalActionReconciliationStatus = "not_needed" \
  | "confirmed" \
  | "rejected" \
  | "indeterminate" \
  | "refused"