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

/** 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_render/part_0"
import {
  message_5,
  message_6,
  message_7,
  message_8,
  message_9,
} from "std/cli/localization/models/lora_render/part_1"
import {
  message_10,
  message_11,
  message_12,
  message_13,
  message_14,
} from "std/cli/localization/models/lora_render/part_2"
import {
  message_15,
  message_16,
  message_17,
  message_18,
  message_19,
} from "std/cli/localization/models/lora_render/part_3"
import {
  message_20,
  message_21,
  message_22,
  message_23,
} from "std/cli/localization/models/lora_render/part_4"

/**
 * 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 == "  embedding save policy: {0}" {
    return message_0(locale, values)
  }
  if source == "  expected trainer identity: {0}" {
    return message_1(locale, values)
  }
  if source == "  inference catalog: {0}" {
    return message_2(locale, values)
  }
  if source == "  modules to save: none" {
    return message_3(locale, values)
  }
  if source == "  modules to save: {0}" {
    return message_4(locale, values)
  }
  if source == "  observed trainer identity: {0}" {
    return message_5(locale, values)
  }
  if source == "  probe command templates:" {
    return message_6(locale, values)
  }
  if source == "  prompt catalog: {0}" {
    return message_7(locale, values)
  }
  if source == "  required probe cases:" {
    return message_8(locale, values)
  }
  if source == "  tool catalog hash: {0}" {
    return message_9(locale, values)
  }
  if source == "  tool catalog id: {0}" {
    return message_10(locale, values)
  }
  if source == "  tool catalog policy: {0}" {
    return message_11(locale, values)
  }
  if source == "  trainer environment attestation: {0}" {
    return message_12(locale, values)
  }
  if source == "  trainer environment: {0} promotable={1}" {
    return message_13(locale, values)
  }
  if source == "  trainer identity: {0} promotable={1}" {
    return message_14(locale, values)
  }
  if source == "  training catalog: {0}" {
    return message_15(locale, values)
  }
  if source == "  weight tying policy: {0}" {
    return message_16(locale, values)
  }
  if source == "PEFT save notes" {
    return message_17(locale, values)
  }
  if source == "probe {0}" {
    return message_18(locale, values)
  }
  if source == "probe {0} notes" {
    return message_19(locale, values)
  }
  if source == "tool catalog gates" {
    return message_20(locale, values)
  }
  if source == "tool catalog notes" {
    return message_21(locale, values)
  }
  if source == "trainer environment errors" {
    return message_22(locale, values)
  }
  if source == "trainer identity errors" {
    return message_23(locale, values)
  }
  throw "Unregistered CLI localization message"
}