harn-stdlib 0.10.182

Embedded Harn standard library source catalog
Documentation
/** 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_train/part_0"
import {
  message_5,
  message_6,
  message_7,
  message_8,
  message_9,
} from "std/cli/localization/models/lora_train/part_1"
import {
  message_10,
  message_11,
  message_12,
  message_13,
  message_14,
} from "std/cli/localization/models/lora_train/part_2"
import {
  message_15,
  message_16,
  message_17,
  message_18,
  message_19,
} from "std/cli/localization/models/lora_train/part_3"
import {
  message_20,
  message_21,
  message_22,
  message_23,
  message_24,
} from "std/cli/localization/models/lora_train/part_4"
import {
  message_25,
  message_26,
  message_27,
  message_28,
  message_29,
} from "std/cli/localization/models/lora_train/part_5"
import {
  message_30,
  message_31,
  message_32,
  message_33,
  message_34,
} from "std/cli/localization/models/lora_train/part_6"
import { message_35 } from "std/cli/localization/models/lora_train/part_7"

/**
 * 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 hparams: rank={0} alpha={1} dropout={2}" {
    return message_0(locale, values)
  }
  if source == "  adapter binding: {0}" {
    return message_1(locale, values)
  }
  if source == "  adapter precision: {0}" {
    return message_2(locale, values)
  }
  if source == "  backend argv: required" {
    return message_3(locale, values)
  }
  if source == "  backend exit code: {0}" {
    return message_4(locale, values)
  }
  if source == "  backend realized rows: rendered={0} trainable={1} retention={2}" {
    return message_5(locale, values)
  }
  if source == "  backend result: {0}" {
    return message_6(locale, values)
  }
  if source == "  backend status: {0}" {
    return message_7(locale, values)
  }
  if source == "  contract: {0}" {
    return message_8(locale, values)
  }
  if source == "  dataset audit: status={0} rows={1} invalid_tool_blocks={2} parse_errors={3}" {
    return message_9(locale, values)
  }
  if source
    == "  dataset coverage: text_tool_rows={0} native_tool_rows={1} no_tool_rows={2} parallel_rows={3} multi_turn_rows={4}" {
    return message_10(locale, values)
  }
  if source == "  dataset format: {0}" {
    return message_11(locale, values)
  }
  if source == "  dataset repairs: schema_repaired={0} unavailable_tool={1} tool_result_rows={2}" {
    return message_12(locale, values)
  }
  if source == "  max_seq_length: {0}" {
    return message_13(locale, values)
  }
  if source == "  output dir: {0}" {
    return message_14(locale, values)
  }
  if source == "  producer: {0}" {
    return message_15(locale, values)
  }
  if source == "  promotion id: {0}" {
    return message_16(locale, values)
  }
  if source == "  request model: {0}" {
    return message_17(locale, values)
  }
  if source == "  teacher: {0} via {1}" {
    return message_18(locale, values)
  }
  if source == "  template: {0}" {
    return message_19(locale, values)
  }
  if source == "  tool format: {0} (requested {1})" {
    return message_20(locale, values)
  }
  if source == "  trainer: {0}" {
    return message_21(locale, values)
  }
  if source == "  training base precision: {0}" {
    return message_22(locale, values)
  }
  if source == "  training compute precision: {0}" {
    return message_23(locale, values)
  }
  if source == "  training: {0} + {1}" {
    return message_24(locale, values)
  }
  if source == "  {0}: {1} ({2}, exists={3}){4}" {
    return message_25(locale, values)
  }
  if source == " sha256={0}" {
    return message_26(locale, values)
  }
  if source == "LoRA train {0} for {1} on {2} via {3}" {
    return message_27(locale, values)
  }
  if source == "backend" {
    return message_28(locale, values)
  }
  if source == "backend warnings" {
    return message_29(locale, values)
  }
  if source == "inspect adapter" {
    return message_30(locale, values)
  }
  if source == "post-training manifest" {
    return message_31(locale, values)
  }
  if source == "precision gates" {
    return message_32(locale, values)
  }
  if source == "promotion receipts" {
    return message_33(locale, values)
  }
  if source == "trainer contract" {
    return message_34(locale, values)
  }
  if source == "warnings" {
    return message_35(locale, values)
  }
  throw "Unregistered CLI localization message"
}