harn-stdlib 0.10.94

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
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102

/**
 * 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 ExternalActionEnvironment = "mock" | "test" | "live"

pub type ExternalActionAuthorizationMethod = "manual" \
  | "policy" \
  | "adversarial_auto" \
  | "managed_policy" \
  | "test_fixture"

pub type ExternalActionAuthenticationAssurance = "none" | "session" | "biometric" | "managed"

pub type ExternalActionDisclosureSource = "user_profile" | "fictional_test_fixture"

pub type ExternalActionErrorKind = "invalid_intent" \
  | "invalid_grant" \
  | "invalid_policy" \
  | "adapter_unavailable" \
  | "adapter_failure" \
  | "malformed_adapter_result" \
  | "disclosure_unavailable" \
  | "disclosure_refused" \
  | "malformed_disclosure" \
  | "invalid_reconciliation"

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"

/** Nonterminal states in monotonic lifecycle order. */
pub type ExternalActionProgressActivityStatus = "proposed" \
  | "approval_pending" \
  | "dispatch_pending" \
  | "reconciliation_required"

/** States whose exact activity snapshot may replay but may never advance. */
pub type ExternalActionTerminalActivityStatus = "denied" \
  | "cancelled" \
  | "timed_out" \
  | "confirmed" \
  | "failed_before_dispatch" \
  | "rejected"

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"