harn-stdlib 0.10.39

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

pub import { agent_unheeded_recurring_diagnostic } from "std/agent/recurring_diagnostic"
pub import { agent_stall_initial_state } from "std/agent/stall_config"
pub import {
  detector_action_of,
  detector_spec_to_stall,
  detector_spec_token_runaway,
  token_runaway_decision,
  token_runaway_made_progress,
  token_runaway_post_turn,
  token_runaway_resolve_cap,
  unified_detectors_post_turn,
} from "std/agent/stall_detectors"
pub import {
  agent_stall_inject_feedback,
  agent_stall_observe_tool_calls,
} from "std/agent/stall_observation"
pub import {
  AgentStallConfig,
  AgentStallObservation,
  AgentStallState,
  AgentStallWarning,
} from "std/agent/stall_types"
pub import {
  agent_stall_apply_result,
  agent_stall_clear_current_failure,
  agent_stall_current_failure,
  agent_stall_done_judge_due,
  agent_stall_no_net_progress,
  agent_stall_repair_config,
  agent_stall_repeated_verified_pass,
  agent_stall_verified_write_satisfied,
} from "std/agent/stall_verification"

// Keep this public alias on the facade: runtime `pub import` re-exports carry
// type schemas, but the type checker currently resolves consumer annotations
// only from aliases declared directly in the imported module.
pub type DetectorSpec = {
  enabled?: bool,
  hard_stop_after_trips?: int,
  loop?: {ping_pong_cycles?: int, repeat?: int},
  no_progress?: {messages?: int},
  stuck?: {same_diagnostic?: int, same_error?: int},
  token_runaway?: {
    fallback?: float,
    hard_multiple?: float,
    median?: float,
    sigma?: float,
    stddev?: float,
  },
}

pub type RecurringDiagnosticCategory = "syntax" | "resolution" | "type" | "semantic" | "unknown"

pub type DiagnosticCategoryPattern = {pattern: string, category: RecurringDiagnosticCategory}

pub type DiagnosticCategories = {
  codes?: dict<string, RecurringDiagnosticCategory>,
  patterns?: list<DiagnosticCategoryPattern>,
}

pub type UnheededRecurringDiagnostic = {
  signature: string,
  category: RecurringDiagnosticCategory,
  streak: int,
  first_attempt: int,
  last_attempt: int,
  location: string?,
  message: string,
}

pub type RecurringDiagnosticState = {
  signatures: list<string>,
  diagnostic_count: int,
  signature: string,
  category: RecurringDiagnosticCategory,
  streak: int,
  first_attempt: int,
  last_attempt: int,
  location: string?,
  message: string,
}

pub type RecurringDiagnosticObservation = {
  state: RecurringDiagnosticState?,
  signal: UnheededRecurringDiagnostic?,
}