harn-stdlib 0.10.28

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
103
104
105
106
107
108
109

pub type VerificationFileHashSnapshotEntry = {
  path: string,
  known: bool,
  readable: bool,
  hash: string?,
  hash_source: "indexed" | "disk" | "missing",
  size: int?,
  mtime_ms: int?,
  indexed_hash: string?,
  indexed_mtime_ms: int?,
  last_edit_seq: int,
}

pub type VerificationFileHashSnapshot = {
  seq: int,
  captured_at_ms: int,
  algorithm: string,
  snapshot: dict,
  missing: list<string>,
  files: list<VerificationFileHashSnapshotEntry>,
}

pub type VerificationCheckObservation = {
  durationMs?: int,
  warm: bool,
  at?: string,
  exit?: int,
  failureSignature?: string,
  snapshot?: dict,
}

pub type VerificationRecordedCheck = {
  result: dict,
  observation: VerificationCheckObservation,
  row: dict?,
  snapshot: VerificationFileHashSnapshot?,
}

pub type VerificationStartedCheck = {
  row_id: string,
  started: dict,
  observation_options: dict,
  snapshot: VerificationFileHashSnapshot?,
}

pub type VerificationToolchainFact = {
  id: string,
  name: string,
  available: bool,
  version?: string,
  raw_version: string,
  cache_identity: dict,
  probe: dict,
}

pub type VerificationWarmStateFact = {
  id: string,
  name: string,
  configured: bool,
  available: bool,
  ready: bool,
  warm: bool,
  timing_kind: string,
  mode: string,
  expected_warm_delta_ms?: int,
  warm_ms?: int,
  cold_ms?: int,
  cache_identity: dict,
  probe: dict,
}

pub type VerificationWarmStateLifecycleReceipt = dict

pub type VerificationAffectedTarget = dict

pub type VerificationAffectedAdapterFact = {
  id: string,
  parser_id: string,
  status: string,
  ok: bool,
  target_count: int,
  exit?: int,
  error?: string,
}

pub type VerificationAffectedTargetsFact = {
  changed_paths: list<string>,
  targets: list<VerificationAffectedTarget>,
  adapters: list<VerificationAffectedAdapterFact>,
  fallback: dict,
}

pub type VerificationProfileMatch = {row: dict, specificity: int, index: int}

pub type VerificationLadderPlanEntry = dict

pub type VerificationLadderPlan = {
  schema: string,
  query: dict,
  matches: list<VerificationProfileMatch>,
  selected: list<VerificationLadderPlanEntry>,
  skipped: list<dict>,
  fallback: bool,
  reason: string,
}

pub type VerificationDiagnosticDelta = dict

pub type VerificationGateInput = dict