harn-stdlib 0.10.2

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

/** Shared render helpers for `harn models lora *` commands. */
import { print_list, safe_dict, safe_list, safe_string } from "std/cli/render"

/**
 * Render the PEFT save policy carried by a LoRA training contract.
 *
 * @effects: [stdio.write]
 * @errors: []
 */
pub fn render_peft_save_policy(harness: Harness, policy: dict) {
  const modules_to_save = safe_list(policy["modules_to_save"])
  if len(modules_to_save) > 0 {
    harness.stdio
      .println(
      "  modules to save: " + join(modules_to_save.map({ item -> safe_string(item, "") }), ", "),
    )
  } else {
    harness.stdio.println("  modules to save: none")
  }
  harness.stdio
    .println("  embedding save policy: " + safe_string(policy["save_embedding_layers"], ""))
  harness.stdio
    .println("  weight tying policy: " + safe_string(policy["tied_embedding_policy"], ""))
  print_list(harness, "PEFT save notes", safe_list(policy["notes"]))
}

fn __probe_case_line(value: unknown) -> string {
  const probe = safe_dict(value)
  const id = safe_string(probe["id"], "")
  if id == "" {
    return ""
  }
  const requirement = safe_string(probe["requirement"], "")
  const expected = safe_string(probe["expected"], "")
  const receipt = safe_string(probe["receipt"], "")
  const rationale = safe_string(probe["rationale"], "")
  let line = id
  if requirement != "" {
    line = line + " [" + requirement + "]"
  }
  if expected != "" {
    line = line + ": " + expected
  }
  if receipt != "" {
    line = line + " (receipt " + receipt + ")"
  }
  if rationale != "" {
    line = line + " - " + rationale
  }
  return line
}

/**
 * Render the behavioral probe matrix required before a LoRA promotion.
 *
 * @effects: [stdio.write]
 * @errors: []
 */
pub fn render_required_probe_cases(harness: Harness, value: unknown) {
  const probe_cases = safe_list(value)
  if len(probe_cases) == 0 {
    return
  }
  harness.stdio.println("  required probe cases:")
  for item in probe_cases {
    const line = __probe_case_line(item)
    if line != "" {
      harness.stdio.println("    - " + line)
    }
  }
}