harn-stdlib 0.10.182

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
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146

/** Generated by scripts/generate_cli_localization.mjs. Do not edit. */
import {
  message_0,
  message_1,
  message_2,
  message_3,
  message_4,
} from "std/cli/localization/models/lora_export/part_0"
import {
  message_5,
  message_6,
  message_7,
  message_8,
  message_9,
} from "std/cli/localization/models/lora_export/part_1"
import {
  message_10,
  message_11,
  message_12,
  message_13,
  message_14,
} from "std/cli/localization/models/lora_export/part_2"
import {
  message_15,
  message_16,
  message_17,
  message_18,
  message_19,
} from "std/cli/localization/models/lora_export/part_3"
import {
  message_20,
  message_21,
  message_22,
  message_23,
  message_24,
} from "std/cli/localization/models/lora_export/part_4"
import {
  message_25,
  message_26,
  message_27,
  message_28,
  message_29,
} from "std/cli/localization/models/lora_export/part_5"
import { message_30 } from "std/cli/localization/models/lora_export/part_6"

/**
 * Select a registered CLI template without interpreting argument text.
 * @effects: []
 * @errors: ["Unregistered CLI localization message", "CLI localization argument count does not match its registered template"]
 */
pub fn cli_message(locale: string, source: string, values: list<string>) -> string {
  if source == "  LoRA module format: {0}" {
    return message_0(locale, values)
  }
  if source == "  adapter binding: {0}" {
    return message_1(locale, values)
  }
  if source == "  adapter name: {0}" {
    return message_2(locale, values)
  }
  if source == "  behavior strata: source={0} emitted={1}" {
    return message_3(locale, values)
  }
  if source == "  chat template: {0}" {
    return message_4(locale, values)
  }
  if source == "  contract assistant mask: {0}" {
    return message_5(locale, values)
  }
  if source == "  contract parser owner: {0}" {
    return message_6(locale, values)
  }
  if source == "  contract split policy: {0}" {
    return message_7(locale, values)
  }
  if source == "  contract: {0}" {
    return message_8(locale, values)
  }
  if source == "  corpus: {0}" {
    return message_9(locale, values)
  }
  if source == "  dataset format: {0}" {
    return message_10(locale, values)
  }
  if source == "  manifest: {0}" {
    return message_11(locale, values)
  }
  if source == "  mode: check" {
    return message_12(locale, values)
  }
  if source == "  output: {0}" {
    return message_13(locale, values)
  }
  if source == "  promotion baseline: {0}" {
    return message_14(locale, values)
  }
  if source == "  promotion id: {0}" {
    return message_15(locale, values)
  }
  if source == "  promotion minimum trials: {0}" {
    return message_16(locale, values)
  }
  if source == "  provenance defaults: split={0} license={1}" {
    return message_17(locale, values)
  }
  if source == "  request model: {0}" {
    return message_18(locale, values)
  }
  if source == "  stats: records={0} emitted={1} skipped={2} tool_calls={3} tool_results={4}" {
    return message_19(locale, values)
  }
  if source == "  target base: {0}" {
    return message_20(locale, values)
  }
  if source == "  tool format: {0} (requested {1})" {
    return message_21(locale, values)
  }
  if source == "LoRA export for {0} via {1}" {
    return message_22(locale, values)
  }
  if source == "batch eval manifest" {
    return message_23(locale, values)
  }
  if source == "batch receipts" {
    return message_24(locale, values)
  }
  if source == "errors" {
    return message_25(locale, values)
  }
  if source == "promotion gates" {
    return message_26(locale, values)
  }
  if source == "promotion metrics" {
    return message_27(locale, values)
  }
  if source == "promotion receipts" {
    return message_28(locale, values)
  }
  if source == "required example metadata" {
    return message_29(locale, values)
  }
  if source == "warnings" {
    return message_30(locale, values)
  }
  throw "Unregistered CLI localization message"
}