1#[derive(Debug, Clone, Copy, PartialEq, Eq)]
8pub struct StdlibSource {
9 pub module: &'static str,
10 pub source: &'static str,
11}
12
13#[derive(Debug, Clone, Copy, PartialEq, Eq)]
14pub struct StdlibPromptAsset {
15 pub path: &'static str,
16 pub source: &'static str,
17}
18
19#[derive(Debug, Clone, PartialEq, Eq)]
20pub struct StdlibPublicFunction {
21 pub name: String,
22 pub signature: String,
23 pub required_params: usize,
24 pub total_params: usize,
25 pub variadic: bool,
26 pub doc: Option<String>,
27}
28
29#[derive(Debug, Clone, PartialEq, Eq)]
30pub struct StdlibEntrypointModule {
31 pub import_path: String,
32 pub category: String,
33}
34
35pub const STDLIB_SOURCES: &[StdlibSource] = &[
36 StdlibSource {
37 module: "text",
38 source: include_str!("stdlib/stdlib_text.harn"),
39 },
40 StdlibSource {
41 module: "semver",
42 source: include_str!("stdlib/stdlib_semver.harn"),
43 },
44 StdlibSource {
45 module: "ansi",
46 source: include_str!("stdlib/stdlib_ansi.harn"),
47 },
48 StdlibSource {
49 module: "table",
50 source: include_str!("stdlib/stdlib_table.harn"),
51 },
52 StdlibSource {
53 module: "diff",
54 source: include_str!("stdlib/stdlib_diff.harn"),
55 },
56 StdlibSource {
57 module: "edit",
58 source: include_str!("stdlib/stdlib_edit.harn"),
59 },
60 StdlibSource {
61 module: "ast",
62 source: include_str!("stdlib/stdlib_ast.harn"),
63 },
64 StdlibSource {
65 module: "rules",
66 source: include_str!("stdlib/stdlib_rules.harn"),
67 },
68 StdlibSource {
69 module: "lint",
70 source: include_str!("stdlib/stdlib_lint.harn"),
71 },
72 StdlibSource {
73 module: "artifact/web",
74 source: include_str!("stdlib/artifact/web.harn"),
75 },
76 StdlibSource {
77 module: "collections",
78 source: include_str!("stdlib/stdlib_collections.harn"),
79 },
80 StdlibSource {
81 module: "math",
82 source: include_str!("stdlib/stdlib_math.harn"),
83 },
84 StdlibSource {
85 module: "slug",
86 source: include_str!("stdlib/stdlib_slug.harn"),
87 },
88 StdlibSource {
89 module: "path",
90 source: include_str!("stdlib/stdlib_path.harn"),
91 },
92 StdlibSource {
93 module: "fs",
94 source: include_str!("stdlib/stdlib_fs.harn"),
95 },
96 StdlibSource {
97 module: "run_artifacts",
98 source: include_str!("stdlib/stdlib_run_artifacts.harn"),
99 },
100 StdlibSource {
101 module: "os",
102 source: include_str!("stdlib/stdlib_os.harn"),
103 },
104 StdlibSource {
105 module: "json",
106 source: include_str!("stdlib/stdlib_json.harn"),
107 },
108 StdlibSource {
109 module: "json/stream",
110 source: include_str!("stdlib/stdlib_json_stream.harn"),
111 },
112 StdlibSource {
113 module: "xml",
114 source: include_str!("stdlib/stdlib_xml.harn"),
115 },
116 StdlibSource {
117 module: "cache",
118 source: include_str!("stdlib/stdlib_cache.harn"),
119 },
120 StdlibSource {
121 module: "observability",
122 source: include_str!("stdlib/stdlib_observability.harn"),
123 },
124 StdlibSource {
125 module: "timing",
126 source: include_str!("stdlib/stdlib_timing.harn"),
127 },
128 StdlibSource {
129 module: "tools",
130 source: include_str!("stdlib/stdlib_tools.harn"),
131 },
132 StdlibSource {
133 module: "composition",
134 source: include_str!("stdlib/stdlib_composition.harn"),
135 },
136 StdlibSource {
137 module: "web",
138 source: include_str!("stdlib/stdlib_web.harn"),
139 },
140 StdlibSource {
141 module: "graphql",
142 source: include_str!("stdlib/stdlib_graphql.harn"),
143 },
144 StdlibSource {
145 module: "code_librarian",
146 source: include_str!("stdlib/stdlib_code_librarian.harn"),
147 },
148 StdlibSource {
149 module: "schema",
150 source: include_str!("stdlib/stdlib_schema.harn"),
151 },
152 StdlibSource {
153 module: "identity",
154 source: include_str!("stdlib/stdlib_identity.harn"),
155 },
156 StdlibSource {
157 module: "disclosure",
158 source: include_str!("stdlib/stdlib_disclosure.harn"),
159 },
160 StdlibSource {
161 module: "testing",
162 source: include_str!("stdlib/stdlib_testing.harn"),
163 },
164 StdlibSource {
165 module: "files",
166 source: include_str!("stdlib/stdlib_files.harn"),
167 },
168 StdlibSource {
169 module: "mcp",
170 source: include_str!("stdlib/stdlib_mcp.harn"),
171 },
172 StdlibSource {
173 module: "vision",
174 source: include_str!("stdlib/stdlib_vision.harn"),
175 },
176 StdlibSource {
177 module: "context",
178 source: include_str!("stdlib/stdlib_context.harn"),
179 },
180 StdlibSource {
181 module: "context/maintenance",
182 source: include_str!("stdlib/context/maintenance.harn"),
183 },
184 StdlibSource {
185 module: "context/eval",
186 source: include_str!("stdlib/context/eval.harn"),
187 },
188 StdlibSource {
189 module: "eval/stats",
190 source: include_str!("stdlib/stdlib_eval_stats.harn"),
191 },
192 StdlibSource {
193 module: "eval/agreement",
194 source: include_str!("stdlib/stdlib_eval_agreement.harn"),
195 },
196 StdlibSource {
197 module: "runtime",
198 source: include_str!("stdlib/stdlib_runtime.harn"),
199 },
200 StdlibSource {
201 module: "io",
202 source: include_str!("stdlib/stdlib_io.harn"),
203 },
204 StdlibSource {
205 module: "net",
206 source: include_str!("stdlib/stdlib_net.harn"),
207 },
208 StdlibSource {
209 module: "command",
210 source: include_str!("stdlib/stdlib_command.harn"),
211 },
212 StdlibSource {
213 module: "signal",
214 source: include_str!("stdlib/stdlib_signal.harn"),
215 },
216 StdlibSource {
217 module: "net_policy",
218 source: include_str!("stdlib/stdlib_net_policy.harn"),
219 },
220 StdlibSource {
221 module: "review",
222 source: include_str!("stdlib/stdlib_review.harn"),
223 },
224 StdlibSource {
225 module: "experiments",
226 source: include_str!("stdlib/stdlib_experiments.harn"),
227 },
228 StdlibSource {
229 module: "project",
230 source: include_str!("stdlib/stdlib_project.harn"),
231 },
232 StdlibSource {
233 module: "prompt_library",
234 source: include_str!("stdlib/stdlib_prompt_library.harn"),
235 },
236 StdlibSource {
237 module: "async",
238 source: include_str!("stdlib/stdlib_async.harn"),
239 },
240 StdlibSource {
241 module: "poll",
242 source: include_str!("stdlib/stdlib_poll.harn"),
243 },
244 StdlibSource {
245 module: "coerce",
246 source: include_str!("stdlib/stdlib_coerce.harn"),
247 },
248 StdlibSource {
249 module: "settled",
250 source: include_str!("stdlib/stdlib_settled.harn"),
251 },
252 StdlibSource {
253 module: "cli",
254 source: include_str!("stdlib/stdlib_cli.harn"),
255 },
256 StdlibSource {
257 module: "cli/argparse",
258 source: include_str!("stdlib/cli/argparse.harn"),
259 },
260 StdlibSource {
261 module: "cli/render",
262 source: include_str!("stdlib/cli/render.harn"),
263 },
264 StdlibSource {
265 module: "cli/paths",
266 source: include_str!("stdlib/cli/paths.harn"),
267 },
268 StdlibSource {
269 module: "gha",
270 source: include_str!("stdlib/stdlib_gha.harn"),
271 },
272 StdlibSource {
273 module: "tui",
274 source: include_str!("stdlib/stdlib_tui.harn"),
275 },
276 StdlibSource {
277 module: "jsonl",
278 source: include_str!("stdlib/stdlib_jsonl.harn"),
279 },
280 StdlibSource {
281 module: "config",
282 source: include_str!("stdlib/stdlib_config.harn"),
283 },
284 StdlibSource {
285 module: "calendar",
286 source: include_str!("stdlib/stdlib_calendar.harn"),
287 },
288 StdlibSource {
289 module: "agents",
290 source: include_str!("stdlib/stdlib_agents.harn"),
291 },
292 StdlibSource {
293 module: "lifecycle/pool",
294 source: include_str!("stdlib/lifecycle/pool.harn"),
295 },
296 StdlibSource {
297 module: "lifecycle/combinators",
298 source: include_str!("stdlib/lifecycle/combinators.harn"),
299 },
300 StdlibSource {
301 module: "lifecycle/on_budget",
302 source: include_str!("stdlib/lifecycle/on_budget.harn"),
303 },
304 StdlibSource {
305 module: "agent/prompts",
306 source: include_str!("stdlib/agent/prompts.harn"),
307 },
308 StdlibSource {
309 module: "llm/media",
310 source: include_str!("stdlib/llm/media.harn"),
311 },
312 StdlibSource {
313 module: "llm/options",
314 source: include_str!("stdlib/llm/options.harn"),
315 },
316 StdlibSource {
317 module: "llm/catalog",
318 source: include_str!("stdlib/llm/catalog.harn"),
319 },
320 StdlibSource {
321 module: "llm/safe",
322 source: include_str!("stdlib/llm/safe.harn"),
323 },
324 StdlibSource {
325 module: "harness/policy",
326 source: include_str!("stdlib/harness/policy.harn"),
327 },
328 StdlibSource {
329 module: "llm/budget",
330 source: include_str!("stdlib/llm/budget.harn"),
331 },
332 StdlibSource {
333 module: "llm/economics",
334 source: include_str!("stdlib/llm/economics.harn"),
335 },
336 StdlibSource {
337 module: "llm/prompts",
338 source: include_str!("stdlib/llm/prompts.harn"),
339 },
340 StdlibSource {
341 module: "llm/defaults",
342 source: include_str!("stdlib/llm/defaults.harn"),
343 },
344 StdlibSource {
345 module: "llm/handlers",
346 source: include_str!("stdlib/llm/handlers.harn"),
347 },
348 StdlibSource {
349 module: "llm/tool_telemetry",
350 source: include_str!("stdlib/llm/tool_telemetry.harn"),
351 },
352 StdlibSource {
353 module: "llm/tool_middleware",
354 source: include_str!("stdlib/llm/tool_middleware.harn"),
355 },
356 StdlibSource {
357 module: "llm/tool_binder",
358 source: include_str!("stdlib/llm/tool_binder.harn"),
359 },
360 StdlibSource {
361 module: "llm/structural_validator",
362 source: include_str!("stdlib/llm/structural_validator.harn"),
363 },
364 StdlibSource {
365 module: "llm/missing_tool_call",
366 source: include_str!("stdlib/llm/missing_tool_call.harn"),
367 },
368 StdlibSource {
369 module: "llm/scope_classifier",
370 source: include_str!("stdlib/llm/scope_classifier.harn"),
371 },
372 StdlibSource {
373 module: "llm/refine",
374 source: include_str!("stdlib/llm/refine.harn"),
375 },
376 StdlibSource {
377 module: "llm/ensemble",
378 source: include_str!("stdlib/llm/ensemble.harn"),
379 },
380 StdlibSource {
381 module: "llm/rerank",
382 source: include_str!("stdlib/llm/rerank.harn"),
383 },
384 StdlibSource {
385 module: "agent/reasoning",
386 source: include_str!("stdlib/agent/reasoning.harn"),
387 },
388 StdlibSource {
389 module: "agent/options",
390 source: include_str!("stdlib/agent/options.harn"),
391 },
392 StdlibSource {
393 module: "llm/judge",
394 source: include_str!("stdlib/llm/judge.harn"),
395 },
396 StdlibSource {
397 module: "llm/optimize",
398 source: include_str!("stdlib/llm/optimize.harn"),
399 },
400 StdlibSource {
401 module: "agent/events",
402 source: include_str!("stdlib/agent/events.harn"),
403 },
404 StdlibSource {
405 module: "agent/completions",
406 source: include_str!("stdlib/agent/completions.harn"),
407 },
408 StdlibSource {
409 module: "agent/transcript",
410 source: include_str!("stdlib/agent/transcript.harn"),
411 },
412 StdlibSource {
413 module: "agent/primitives",
414 source: include_str!("stdlib/agent/primitives.harn"),
415 },
416 StdlibSource {
417 module: "agent/progress",
418 source: include_str!("stdlib/agent/progress.harn"),
419 },
420 StdlibSource {
421 module: "agent/required_tools",
422 source: include_str!("stdlib/agent/required_tools.harn"),
423 },
424 StdlibSource {
425 module: "agent/stall",
426 source: include_str!("stdlib/agent/stall.harn"),
427 },
428 StdlibSource {
429 module: "agent/control",
430 source: include_str!("stdlib/agent/control.harn"),
431 },
432 StdlibSource {
433 module: "agent/best_of_n",
434 source: include_str!("stdlib/agent/best_of_n.harn"),
435 },
436 StdlibSource {
437 module: "agent/loop",
438 source: include_str!("stdlib/agent/loop.harn"),
439 },
440 StdlibSource {
441 module: "agent/chat",
442 source: include_str!("stdlib/agent/chat.harn"),
443 },
444 StdlibSource {
445 module: "agent/user",
446 source: include_str!("stdlib/agent/user.harn"),
447 },
448 StdlibSource {
449 module: "agent/tool_search",
450 source: include_str!("stdlib/agent/tool_search.harn"),
451 },
452 StdlibSource {
453 module: "agent/turn",
454 source: include_str!("stdlib/agent/turn.harn"),
455 },
456 StdlibSource {
457 module: "agent/workers",
458 source: include_str!("stdlib/agent/workers.harn"),
459 },
460 StdlibSource {
461 module: "agent/introspection",
462 source: include_str!("stdlib/agent/introspection.harn"),
463 },
464 StdlibSource {
465 module: "agent/resume_by",
466 source: include_str!("stdlib/agent/resume_by.harn"),
467 },
468 StdlibSource {
469 module: "agent/state",
470 source: include_str!("stdlib/agent/state.harn"),
471 },
472 StdlibSource {
473 module: "agent/skills",
474 source: include_str!("stdlib/agent/skills.harn"),
475 },
476 StdlibSource {
477 module: "agent/autocompact",
478 source: include_str!("stdlib/agent/autocompact.harn"),
479 },
480 StdlibSource {
481 module: "agent/mcp",
482 source: include_str!("stdlib/agent/mcp.harn"),
483 },
484 StdlibSource {
485 module: "agent/command_capture",
486 source: include_str!("stdlib/agent/command_capture.harn"),
487 },
488 StdlibSource {
489 module: "agent/host_tools",
490 source: include_str!("stdlib/agent/host_tools.harn"),
491 },
492 StdlibSource {
493 module: "agent/budget",
494 source: include_str!("stdlib/agent/budget.harn"),
495 },
496 StdlibSource {
497 module: "agent/daemon",
498 source: include_str!("stdlib/agent/daemon.harn"),
499 },
500 StdlibSource {
501 module: "agent/preflight",
502 source: include_str!("stdlib/agent/preflight.harn"),
503 },
504 StdlibSource {
505 module: "agent/postturn",
506 source: include_str!("stdlib/agent/postturn.harn"),
507 },
508 StdlibSource {
509 module: "agent/sitrep",
510 source: include_str!("stdlib/agent/sitrep.harn"),
511 },
512 StdlibSource {
513 module: "agent/judge_internals",
514 source: include_str!("stdlib/agent/judge_internals.harn"),
515 },
516 StdlibSource {
517 module: "agent/judge",
518 source: include_str!("stdlib/agent/judge.harn"),
519 },
520 StdlibSource {
521 module: "agent/step_judge",
522 source: include_str!("stdlib/agent/step_judge.harn"),
523 },
524 StdlibSource {
525 module: "agent/scratchpad",
526 source: include_str!("stdlib/agent/scratchpad.harn"),
527 },
528 StdlibSource {
529 module: "agent/fact",
530 source: include_str!("stdlib/agent/fact.harn"),
531 },
532 StdlibSource {
533 module: "agent/probe",
534 source: include_str!("stdlib/agent/probe.harn"),
535 },
536 StdlibSource {
537 module: "agent/stack",
538 source: include_str!("stdlib/agent/stack.harn"),
539 },
540 StdlibSource {
541 module: "agent/stream",
542 source: include_str!("stdlib/agent/stream.harn"),
543 },
544 StdlibSource {
545 module: "agent/presets",
546 source: include_str!("stdlib/agent/presets.harn"),
547 },
548 StdlibSource {
549 module: "agent/task_plan",
550 source: include_str!("stdlib/agent/task_plan.harn"),
551 },
552 StdlibSource {
553 module: "agent_state",
554 source: include_str!("stdlib/stdlib_agent_state.harn"),
555 },
556 StdlibSource {
557 module: "memory",
558 source: include_str!("stdlib/stdlib_memory.harn"),
559 },
560 StdlibSource {
561 module: "postgres",
562 source: include_str!("stdlib/stdlib_postgres.harn"),
563 },
564 StdlibSource {
565 module: "postgres/query",
566 source: include_str!("stdlib/postgres/query.harn"),
567 },
568 StdlibSource {
569 module: "sqlite",
570 source: include_str!("stdlib/stdlib_sqlite.harn"),
571 },
572 StdlibSource {
573 module: "checkpoint",
574 source: include_str!("stdlib/stdlib_checkpoint.harn"),
575 },
576 StdlibSource {
577 module: "host",
578 source: include_str!("stdlib/stdlib_host.harn"),
579 },
580 StdlibSource {
581 module: "git",
582 source: include_str!("stdlib/stdlib_git.harn"),
583 },
584 StdlibSource {
585 module: "hitl",
586 source: include_str!("stdlib/stdlib_hitl.harn"),
587 },
588 StdlibSource {
589 module: "trust",
590 source: include_str!("stdlib/stdlib_trust.harn"),
591 },
592 StdlibSource {
593 module: "corrections",
594 source: include_str!("stdlib/stdlib_corrections.harn"),
595 },
596 StdlibSource {
597 module: "plan",
598 source: include_str!("stdlib/stdlib_plan.harn"),
599 },
600 StdlibSource {
601 module: "waitpoints",
602 source: include_str!("stdlib/stdlib_waitpoints.harn"),
603 },
604 StdlibSource {
605 module: "waitpoint",
606 source: include_str!("stdlib/stdlib_waitpoint.harn"),
607 },
608 StdlibSource {
609 module: "monitors",
610 source: include_str!("stdlib/stdlib_monitors.harn"),
611 },
612 StdlibSource {
613 module: "worktree",
614 source: include_str!("stdlib/stdlib_worktree.harn"),
615 },
616 StdlibSource {
617 module: "acp",
618 source: include_str!("stdlib/stdlib_acp.harn"),
619 },
620 StdlibSource {
621 module: "external_agent",
622 source: include_str!("stdlib/stdlib_external_agent.harn"),
623 },
624 StdlibSource {
625 module: "triggers",
626 source: include_str!("stdlib/stdlib_triggers.harn"),
627 },
628 StdlibSource {
629 module: "triage",
630 source: include_str!("stdlib/stdlib_triage.harn"),
631 },
632 StdlibSource {
633 module: "dashboard/jobs",
634 source: include_str!("stdlib/dashboard/jobs.harn"),
635 },
636 StdlibSource {
637 module: "ui_resource",
638 source: include_str!("stdlib/stdlib_ui_resource.harn"),
639 },
640 StdlibSource {
641 module: "handoffs",
642 source: include_str!("stdlib/stdlib_handoffs.harn"),
643 },
644 StdlibSource {
645 module: "lifecycle",
646 source: include_str!("stdlib/stdlib_lifecycle.harn"),
647 },
648 StdlibSource {
649 module: "tool_hooks_catalogues",
650 source: include_str!("stdlib/stdlib_tool_hooks_catalogues.harn"),
651 },
652 StdlibSource {
653 module: "tool_hooks",
654 source: include_str!("stdlib/stdlib_tool_hooks.harn"),
655 },
656 StdlibSource {
657 module: "channel_guardrails",
658 source: include_str!("stdlib/stdlib_channel_guardrails.harn"),
659 },
660 StdlibSource {
661 module: "personas/prelude",
662 source: include_str!("stdlib/stdlib_personas_prelude.harn"),
663 },
664 StdlibSource {
665 module: "personas/bulletins",
666 source: include_str!("stdlib/stdlib_personas_bulletins.harn"),
667 },
668 StdlibSource {
669 module: "connectors/shared",
670 source: include_str!("stdlib/stdlib_connectors_shared.harn"),
671 },
672 StdlibSource {
673 module: "oauth/providers",
674 source: include_str!("stdlib/oauth/providers.harn"),
675 },
676 StdlibSource {
677 module: "oauth/token_exchange_catalog",
678 source: include_str!("stdlib/oauth/token_exchange_catalog.harn"),
679 },
680 StdlibSource {
681 module: "oauth/token_exchange",
682 source: include_str!("stdlib/oauth/token_exchange.harn"),
683 },
684 StdlibSource {
685 module: "oauth/storage",
686 source: include_str!("stdlib/oauth/storage.harn"),
687 },
688 StdlibSource {
689 module: "oauth/client",
690 source: include_str!("stdlib/oauth/client.harn"),
691 },
692 StdlibSource {
693 module: "oauth/device_flow",
694 source: include_str!("stdlib/oauth/device_flow.harn"),
695 },
696 StdlibSource {
697 module: "oauth/redaction",
698 source: include_str!("stdlib/oauth/redaction.harn"),
699 },
700 StdlibSource {
701 module: "oauth/dynamic_registration",
702 source: include_str!("stdlib/oauth/dynamic_registration.harn"),
703 },
704 StdlibSource {
705 module: "connectors/github",
706 source: include_str!("stdlib/stdlib_connectors_github.harn"),
707 },
708 StdlibSource {
709 module: "connectors/linear",
710 source: include_str!("stdlib/stdlib_connectors_linear.harn"),
711 },
712 StdlibSource {
713 module: "connectors/notion",
714 source: include_str!("stdlib/stdlib_connectors_notion.harn"),
715 },
716 StdlibSource {
717 module: "connectors/slack",
718 source: include_str!("stdlib/stdlib_connectors_slack.harn"),
719 },
720 StdlibSource {
721 module: "workflow/prompts",
722 source: include_str!("stdlib/workflow/prompts.harn"),
723 },
724 StdlibSource {
725 module: "workflow/context",
726 source: include_str!("stdlib/workflow/context.harn"),
727 },
728 StdlibSource {
729 module: "workflow/options",
730 source: include_str!("stdlib/workflow/options.harn"),
731 },
732 StdlibSource {
733 module: "workflow/checkpoints",
734 source: include_str!("stdlib/workflow/checkpoints.harn"),
735 },
736 StdlibSource {
737 module: "workflow/patterns",
738 source: include_str!("stdlib/workflow/patterns.harn"),
739 },
740 StdlibSource {
741 module: "workflow/stage",
742 source: include_str!("stdlib/workflow/stage.harn"),
743 },
744 StdlibSource {
745 module: "workflow/map",
746 source: include_str!("stdlib/workflow/map.harn"),
747 },
748 StdlibSource {
749 module: "workflow/schedule",
750 source: include_str!("stdlib/workflow/schedule.harn"),
751 },
752 StdlibSource {
753 module: "workflow/execute",
754 source: include_str!("stdlib/workflow/execute.harn"),
755 },
756 StdlibSource {
757 module: "security",
758 source: include_str!("stdlib/stdlib_security.harn"),
759 },
760];
761
762pub const CONNECTOR_EVENT_SCHEMAS_SOURCE: &str = include_str!("stdlib/stdlib_event_schemas.harn");
772
773pub const STDLIB_PROMPT_ASSETS: &[StdlibPromptAsset] = &[
774 StdlibPromptAsset {
775 path: "agent/prompts/tool_contract_text.harn.prompt",
776 source: include_str!("stdlib/agent/prompts/tool_contract_text.harn.prompt"),
777 },
778 StdlibPromptAsset {
779 path: "agent/prompts/tool_contract_json.harn.prompt",
780 source: include_str!("stdlib/agent/prompts/tool_contract_json.harn.prompt"),
781 },
782 StdlibPromptAsset {
783 path: "agent/prompts/tool_contract_native.harn.prompt",
784 source: include_str!("stdlib/agent/prompts/tool_contract_native.harn.prompt"),
785 },
786 StdlibPromptAsset {
787 path: "agent/prompts/tool_contract_text_response_protocol.harn.prompt",
788 source: include_str!(
789 "stdlib/agent/prompts/tool_contract_text_response_protocol.harn.prompt"
790 ),
791 },
792 StdlibPromptAsset {
793 path: "agent/prompts/tool_contract_action_native.harn.prompt",
794 source: include_str!("stdlib/agent/prompts/tool_contract_action_native.harn.prompt"),
795 },
796 StdlibPromptAsset {
797 path: "agent/prompts/tool_contract_action_text.harn.prompt",
798 source: include_str!("stdlib/agent/prompts/tool_contract_action_text.harn.prompt"),
799 },
800 StdlibPromptAsset {
801 path: "agent/prompts/tool_contract_task_ledger.harn.prompt",
802 source: include_str!("stdlib/agent/prompts/tool_contract_task_ledger.harn.prompt"),
803 },
804 StdlibPromptAsset {
805 path: "agent/prompts/tool_contract_deferred_tools.harn.prompt",
806 source: include_str!("stdlib/agent/prompts/tool_contract_deferred_tools.harn.prompt"),
807 },
808 StdlibPromptAsset {
809 path: "agent/prompts/deferred_tool_listing.harn.prompt",
810 source: include_str!("stdlib/agent/prompts/deferred_tool_listing.harn.prompt"),
811 },
812 StdlibPromptAsset {
813 path: "agent/prompts/agent_turn_preamble.harn.prompt",
814 source: include_str!("stdlib/agent/prompts/agent_turn_preamble.harn.prompt"),
815 },
816 StdlibPromptAsset {
817 path: "agent/prompts/default_nudge.harn.prompt",
818 source: include_str!("stdlib/agent/prompts/default_nudge.harn.prompt"),
819 },
820 StdlibPromptAsset {
821 path: "agent/prompts/agentic_user_system.harn.prompt",
822 source: include_str!("stdlib/agent/prompts/agentic_user_system.harn.prompt"),
823 },
824 StdlibPromptAsset {
825 path: "agent/prompts/agentic_user_user.harn.prompt",
826 source: include_str!("stdlib/agent/prompts/agentic_user_user.harn.prompt"),
827 },
828 StdlibPromptAsset {
829 path: "agent/prompts/loop_until_done_system.harn.prompt",
830 source: include_str!("stdlib/agent/prompts/loop_until_done_system.harn.prompt"),
831 },
832 StdlibPromptAsset {
833 path: "agent/prompts/completion_judge_default.harn.prompt",
834 source: include_str!("stdlib/agent/prompts/completion_judge_default.harn.prompt"),
835 },
836 StdlibPromptAsset {
837 path: "agent/prompts/completion_judge_feedback_fallback.harn.prompt",
838 source: include_str!("stdlib/agent/prompts/completion_judge_feedback_fallback.harn.prompt"),
839 },
840 StdlibPromptAsset {
841 path: "agent/prompts/completion_judge_user.harn.prompt",
842 source: include_str!("stdlib/agent/prompts/completion_judge_user.harn.prompt"),
843 },
844 StdlibPromptAsset {
845 path: "agent/prompts/step_judge_system_default.harn.prompt",
846 source: include_str!("stdlib/agent/prompts/step_judge_system_default.harn.prompt"),
847 },
848 StdlibPromptAsset {
849 path: "agent/prompts/step_judge_system_adversarial.harn.prompt",
850 source: include_str!("stdlib/agent/prompts/step_judge_system_adversarial.harn.prompt"),
851 },
852 StdlibPromptAsset {
853 path: "agent/prompts/step_judge_user.harn.prompt",
854 source: include_str!("stdlib/agent/prompts/step_judge_user.harn.prompt"),
855 },
856 StdlibPromptAsset {
857 path: "agent/prompts/parse_guidance.harn.prompt",
858 source: include_str!("stdlib/agent/prompts/parse_guidance.harn.prompt"),
859 },
860 StdlibPromptAsset {
861 path: "agent/prompts/native_tool_contract_feedback.harn.prompt",
862 source: include_str!("stdlib/agent/prompts/native_tool_contract_feedback.harn.prompt"),
863 },
864 StdlibPromptAsset {
865 path: "agent/prompts/verification_gate_feedback.harn.prompt",
866 source: include_str!("stdlib/agent/prompts/verification_gate_feedback.harn.prompt"),
867 },
868 StdlibPromptAsset {
869 path: "agent/prompts/daemon_watch_feedback.harn.prompt",
870 source: include_str!("stdlib/agent/prompts/daemon_watch_feedback.harn.prompt"),
871 },
872 StdlibPromptAsset {
873 path: "agent/prompts/daemon_timer_feedback.harn.prompt",
874 source: include_str!("stdlib/agent/prompts/daemon_timer_feedback.harn.prompt"),
875 },
876 StdlibPromptAsset {
877 path: "llm/prompts/completion_fallback_system.harn.prompt",
878 source: include_str!("stdlib/llm/prompts/completion_fallback_system.harn.prompt"),
879 },
880 StdlibPromptAsset {
881 path: "llm/prompts/completion_fallback_user.harn.prompt",
882 source: include_str!("stdlib/llm/prompts/completion_fallback_user.harn.prompt"),
883 },
884 StdlibPromptAsset {
885 path: "llm/prompts/transcript_summarize_user.harn.prompt",
886 source: include_str!("stdlib/llm/prompts/transcript_summarize_user.harn.prompt"),
887 },
888 StdlibPromptAsset {
889 path: "llm/prompts/sitrep_user.harn.prompt",
890 source: include_str!("stdlib/llm/prompts/sitrep_user.harn.prompt"),
891 },
892 StdlibPromptAsset {
893 path: "llm/prompts/structural_chain_of_draft.harn.prompt",
894 source: include_str!("stdlib/llm/prompts/structural_chain_of_draft.harn.prompt"),
895 },
896 StdlibPromptAsset {
897 path: "llm/prompts/schema_recover_repair.harn.prompt",
898 source: include_str!("stdlib/llm/prompts/schema_recover_repair.harn.prompt"),
899 },
900 StdlibPromptAsset {
901 path: "llm/prompts/structured_envelope_schema_contract.harn.prompt",
902 source: include_str!("stdlib/llm/prompts/structured_envelope_schema_contract.harn.prompt"),
903 },
904 StdlibPromptAsset {
905 path: "llm/prompts/structured_envelope_repair.harn.prompt",
906 source: include_str!("stdlib/llm/prompts/structured_envelope_repair.harn.prompt"),
907 },
908 StdlibPromptAsset {
909 path: "llm/prompts/pairwise_rerank_user.harn.prompt",
910 source: include_str!("stdlib/llm/prompts/pairwise_rerank_user.harn.prompt"),
911 },
912 StdlibPromptAsset {
913 path: "llm/prompts/tool_binder_user.harn.prompt",
914 source: include_str!("stdlib/llm/prompts/tool_binder_user.harn.prompt"),
915 },
916 StdlibPromptAsset {
917 path: "workflow/prompts/stage.harn.prompt",
918 source: include_str!("stdlib/workflow/prompts/stage.harn.prompt"),
919 },
920 StdlibPromptAsset {
921 path: "workflow/prompts/verification_context_intro.harn.prompt",
922 source: include_str!("stdlib/workflow/prompts/verification_context_intro.harn.prompt"),
923 },
924 StdlibPromptAsset {
925 path: "orchestration/prompts/compaction_summary.harn.prompt",
926 source: include_str!("stdlib/orchestration/prompts/compaction_summary.harn.prompt"),
927 },
928 StdlibPromptAsset {
929 path: "orchestration/prompts/compaction_policy_replacement.harn.prompt",
930 source: include_str!(
931 "stdlib/orchestration/prompts/compaction_policy_replacement.harn.prompt"
932 ),
933 },
934];
935
936#[derive(Debug, Clone, Copy, PartialEq, Eq)]
940pub struct StdlibCliScript {
941 pub name: &'static str,
945 pub source: &'static str,
948}
949
950pub const STDLIB_CLI_SCRIPTS: &[StdlibCliScript] = &[
951 StdlibCliScript {
952 name: "codemod",
953 source: include_str!("stdlib/cli/codemod.harn"),
954 },
955 StdlibCliScript {
956 name: "doctor",
957 source: include_str!("stdlib/cli/doctor.harn"),
958 },
959 StdlibCliScript {
960 name: "echo",
961 source: include_str!("stdlib/cli/echo.harn"),
962 },
963 StdlibCliScript {
967 name: "eval/_runner",
968 source: include_str!("stdlib/cli/eval/_runner.harn"),
969 },
970 StdlibCliScript {
971 name: "eval/context",
972 source: include_str!("stdlib/cli/eval/context.harn"),
973 },
974 StdlibCliScript {
975 name: "eval/model_selector",
976 source: include_str!("stdlib/cli/eval/model_selector.harn"),
977 },
978 StdlibCliScript {
979 name: "eval/tool_calls",
980 source: include_str!("stdlib/cli/eval/tool_calls.harn"),
981 },
982 StdlibCliScript {
983 name: "eval/coding_agent",
984 source: include_str!("stdlib/cli/eval/coding_agent.harn"),
985 },
986 StdlibCliScript {
987 name: "eval/scope_triage",
988 source: include_str!("stdlib/cli/eval/scope_triage.harn"),
989 },
990 StdlibCliScript {
991 name: "eval/prompt",
992 source: include_str!("stdlib/cli/eval/prompt.harn"),
993 },
994 StdlibCliScript {
995 name: "explain",
996 source: include_str!("stdlib/cli/explain.harn"),
997 },
998 StdlibCliScript {
999 name: "graph",
1000 source: include_str!("stdlib/cli/graph.harn"),
1001 },
1002 StdlibCliScript {
1003 name: "models/list",
1004 source: include_str!("stdlib/cli/models/list.harn"),
1005 },
1006 StdlibCliScript {
1007 name: "models/recommend",
1008 source: include_str!("stdlib/cli/models/recommend.harn"),
1009 },
1010 StdlibCliScript {
1011 name: "models/test",
1012 source: include_str!("stdlib/cli/models/test.harn"),
1013 },
1014 StdlibCliScript {
1015 name: "precompile",
1016 source: include_str!("stdlib/cli/precompile.harn"),
1017 },
1018 StdlibCliScript {
1019 name: "providers/catalog",
1020 source: include_str!("stdlib/cli/providers/catalog.harn"),
1021 },
1022 StdlibCliScript {
1023 name: "providers/probe",
1024 source: include_str!("stdlib/cli/providers/probe.harn"),
1025 },
1026 StdlibCliScript {
1027 name: "providers/recommend",
1028 source: include_str!("stdlib/cli/providers/recommend.harn"),
1029 },
1030 StdlibCliScript {
1031 name: "providers/tool_probe",
1032 source: include_str!("stdlib/cli/providers/tool_probe.harn"),
1033 },
1034 StdlibCliScript {
1035 name: "routes",
1036 source: include_str!("stdlib/cli/routes.harn"),
1037 },
1038 StdlibCliScript {
1039 name: "scan",
1040 source: include_str!("stdlib/cli/scan.harn"),
1041 },
1042 StdlibCliScript {
1043 name: "scaffold/init",
1044 source: include_str!("stdlib/cli/scaffold/init.harn"),
1045 },
1046 StdlibCliScript {
1047 name: "scaffold/tool_new",
1048 source: include_str!("stdlib/cli/scaffold/tool_new.harn"),
1049 },
1050 StdlibCliScript {
1051 name: "trace_import",
1052 source: include_str!("stdlib/cli/trace_import.harn"),
1053 },
1054 StdlibCliScript {
1055 name: "try",
1056 source: include_str!("stdlib/cli/try.harn"),
1057 },
1058 StdlibCliScript {
1059 name: "version",
1060 source: include_str!("stdlib/cli/version.harn"),
1061 },
1062];
1063
1064pub fn get_stdlib_source(module: &str) -> Option<&'static str> {
1065 STDLIB_SOURCES
1066 .iter()
1067 .find_map(|entry| (entry.module == module).then_some(entry.source))
1068}
1069
1070pub fn find_cli_script(name: &str) -> Option<&'static str> {
1074 STDLIB_CLI_SCRIPTS
1075 .iter()
1076 .find_map(|entry| (entry.name == name).then_some(entry.source))
1077}
1078
1079pub fn get_stdlib_prompt_asset(path: &str) -> Option<&'static str> {
1080 let path = path.strip_prefix("std/").unwrap_or(path);
1081 STDLIB_PROMPT_ASSETS
1082 .iter()
1083 .find_map(|entry| (entry.path == path).then_some(entry.source))
1084}
1085
1086pub fn public_functions_for_module(module: &str) -> Vec<StdlibPublicFunction> {
1087 let Some(source) = get_stdlib_source(module) else {
1088 return Vec::new();
1089 };
1090 public_functions_from_source(source)
1091}
1092
1093pub fn entrypoint_modules() -> Vec<StdlibEntrypointModule> {
1094 STDLIB_SOURCES
1095 .iter()
1096 .filter_map(|entry| {
1097 entrypoint_category_from_source(entry.source).map(|category| StdlibEntrypointModule {
1098 import_path: format!("std/{}", entry.module),
1099 category,
1100 })
1101 })
1102 .collect()
1103}
1104
1105fn entrypoint_category_from_source(source: &str) -> Option<String> {
1106 for line in source.lines() {
1107 let line = line.trim();
1108 if line.is_empty() {
1109 continue;
1110 }
1111 if let Some(category) = line.strip_prefix("// @harn-entrypoint-category ") {
1112 let category = category.trim();
1113 return (!category.is_empty()).then(|| category.to_string());
1114 }
1115 if !line.starts_with("//") {
1116 return None;
1117 }
1118 }
1119 None
1120}
1121
1122fn public_functions_from_source(source: &str) -> Vec<StdlibPublicFunction> {
1123 let mut out = Vec::new();
1124 let mut doc: Option<String> = None;
1125 let lines = source.lines().collect::<Vec<_>>();
1126 let mut index = 0usize;
1127 while index < lines.len() {
1128 let line = lines[index].trim();
1129 if line.starts_with("/**") {
1130 let (parsed, next) = parse_harndoc(&lines, index);
1131 doc = parsed;
1132 index = next;
1133 continue;
1134 }
1135 if line.starts_with("pub fn ") {
1136 let (signature_line, next) = collect_public_function_signature(&lines, index);
1137 if let Some(function) = parse_public_function_line(&signature_line, doc.take()) {
1138 out.push(function);
1139 index = next;
1140 continue;
1141 }
1142 }
1143 if let Some(function) = parse_public_function_line(line, doc.take()) {
1144 out.push(function);
1145 } else if !line.is_empty() && !line.starts_with("//") {
1146 doc = None;
1147 }
1148 index += 1;
1149 }
1150 out
1151}
1152
1153fn collect_public_function_signature(lines: &[&str], start: usize) -> (String, usize) {
1154 let mut parts = Vec::new();
1155 let mut index = start;
1156 while index < lines.len() {
1157 parts.push(lines[index].trim().to_string());
1158 let candidate = parts.join(" ");
1159 if public_function_signature_complete(&candidate) {
1160 return (candidate, index + 1);
1161 }
1162 index += 1;
1163 }
1164 (parts.join(" "), index)
1165}
1166
1167fn public_function_signature_complete(line: &str) -> bool {
1168 let Some(rest) = line.strip_prefix("pub fn ") else {
1169 return false;
1170 };
1171 let Some(name_end) = rest.find('(') else {
1172 return false;
1173 };
1174 matching_paren_len(&rest[name_end + 1..]).is_some()
1175}
1176
1177fn parse_harndoc(lines: &[&str], start: usize) -> (Option<String>, usize) {
1178 let mut parts = Vec::new();
1179 let mut index = start;
1180 while index < lines.len() {
1181 let mut line = lines[index].trim();
1182 if index == start {
1183 line = line.trim_start_matches("/**").trim();
1184 }
1185 let done = line.ends_with("*/");
1186 line = line.trim_end_matches("*/").trim();
1187 line = line.trim_start_matches('*').trim();
1188 if !line.is_empty() {
1189 parts.push(line.to_string());
1190 }
1191 index += 1;
1192 if done {
1193 break;
1194 }
1195 }
1196 let text = parts.join("\n").trim().to_string();
1197 ((!text.is_empty()).then_some(text), index)
1198}
1199
1200fn parse_public_function_line(line: &str, doc: Option<String>) -> Option<StdlibPublicFunction> {
1201 let rest = line.strip_prefix("pub fn ")?.trim();
1202 let name_end = rest.find('(')?;
1203 let name = rest[..name_end].trim();
1204 if name.is_empty() {
1205 return None;
1206 }
1207 let params_start = name_end + 1;
1208 let params_len = matching_paren_len(&rest[params_start..])?;
1209 let params = &rest[params_start..params_start + params_len];
1210 let after = rest[params_start + params_len + 1..].trim();
1211 let return_type = after
1212 .strip_prefix("->")
1213 .and_then(|tail| tail.split('{').next())
1214 .map(str::trim)
1215 .filter(|value| !value.is_empty());
1216 let signature = match return_type {
1217 Some(ret) => format!("{name}({params}) -> {ret}"),
1218 None => format!("{name}({params})"),
1219 };
1220 let param_parts = split_top_level_params(params);
1221 let total_params = param_parts
1222 .iter()
1223 .filter(|param| !param.trim().is_empty())
1224 .count();
1225 let variadic = param_parts
1226 .iter()
1227 .any(|param| param.trim_start().starts_with("..."));
1228 let required_params = param_parts
1229 .iter()
1230 .filter(|param| {
1231 let param = param.trim();
1232 !param.is_empty() && !param.contains('=') && !param.starts_with("...")
1233 })
1234 .count();
1235 Some(StdlibPublicFunction {
1236 name: name.to_string(),
1237 signature,
1238 required_params,
1239 total_params,
1240 variadic,
1241 doc,
1242 })
1243}
1244
1245fn matching_paren_len(input: &str) -> Option<usize> {
1246 let mut depth = 1usize;
1247 for (offset, ch) in input.char_indices() {
1248 match ch {
1249 '(' | '[' | '{' => depth += 1,
1250 ')' | ']' | '}' => {
1251 depth = depth.saturating_sub(1);
1252 if depth == 0 {
1253 return Some(offset);
1254 }
1255 }
1256 _ => {}
1257 }
1258 }
1259 None
1260}
1261
1262fn split_top_level_params(params: &str) -> Vec<&str> {
1263 let mut out = Vec::new();
1264 let mut depth = 0isize;
1265 let mut start = 0usize;
1266 for (offset, ch) in params.char_indices() {
1267 match ch {
1268 '(' | '[' | '{' => depth += 1,
1269 ')' | ']' | '}' => depth -= 1,
1270 ',' if depth == 0 => {
1271 out.push(¶ms[start..offset]);
1272 start = offset + 1;
1273 }
1274 _ => {}
1275 }
1276 }
1277 out.push(¶ms[start..]);
1278 out
1279}
1280
1281#[cfg(test)]
1282mod tests {
1283 use std::collections::BTreeSet;
1284
1285 use super::{
1286 entrypoint_modules, find_cli_script, get_stdlib_prompt_asset, get_stdlib_source,
1287 matching_paren_len, parse_public_function_line, public_functions_for_module,
1288 STDLIB_CLI_SCRIPTS, STDLIB_PROMPT_ASSETS, STDLIB_SOURCES,
1289 };
1290
1291 #[test]
1292 fn stdlib_sources_are_non_empty() {
1293 for entry in STDLIB_SOURCES {
1294 assert!(
1295 !entry.source.trim().is_empty(),
1296 "{} should have non-empty source",
1297 entry.module
1298 );
1299 }
1300 }
1301
1302 #[test]
1303 fn cli_scripts_are_non_empty_and_uniquely_named() {
1304 let mut seen = BTreeSet::new();
1305 for entry in STDLIB_CLI_SCRIPTS {
1306 assert!(
1307 !entry.source.trim().is_empty(),
1308 "cli/{} should have non-empty source",
1309 entry.name
1310 );
1311 assert!(
1312 seen.insert(entry.name),
1313 "cli/{} is registered more than once in STDLIB_CLI_SCRIPTS",
1314 entry.name
1315 );
1316 }
1317 }
1318
1319 #[test]
1320 fn find_cli_script_round_trips() {
1321 for entry in STDLIB_CLI_SCRIPTS {
1322 assert_eq!(find_cli_script(entry.name), Some(entry.source));
1323 }
1324 assert!(find_cli_script("not-a-real-script").is_none());
1325 }
1326
1327 #[test]
1328 fn stdlib_source_names_are_unique() {
1329 let mut names = BTreeSet::new();
1330 for entry in STDLIB_SOURCES {
1331 assert!(names.insert(entry.module), "duplicate {}", entry.module);
1332 }
1333 }
1334
1335 #[test]
1336 fn stdlib_prompt_assets_are_non_empty() {
1337 for entry in STDLIB_PROMPT_ASSETS {
1338 assert!(
1339 !entry.source.trim().is_empty(),
1340 "{} should have non-empty prompt asset source",
1341 entry.path
1342 );
1343 }
1344 }
1345
1346 #[test]
1347 fn stdlib_prompt_asset_paths_are_unique() {
1348 let mut paths = BTreeSet::new();
1349 for entry in STDLIB_PROMPT_ASSETS {
1350 assert!(paths.insert(entry.path), "duplicate {}", entry.path);
1351 }
1352 }
1353
1354 #[test]
1355 fn key_stdlib_modules_resolve() {
1356 for module in [
1357 "context",
1358 "context/maintenance",
1359 "context/eval",
1360 "eval/stats",
1361 "eval/agreement",
1362 "edit",
1363 "disclosure",
1364 "artifact/web",
1365 "command",
1366 "waitpoint",
1367 "llm/handlers",
1368 "llm/tool_middleware",
1369 "llm/tool_binder",
1370 "llm/missing_tool_call",
1371 "llm/ensemble",
1372 "llm/rerank",
1373 "personas/prelude",
1374 "personas/bulletins",
1375 "agent/host_tools",
1376 "agent/user",
1377 "llm/optimize",
1378 "llm/judge",
1379 "llm/refine",
1380 "connectors/shared",
1381 "connectors/github",
1382 "connectors/linear",
1383 "connectors/notion",
1384 "connectors/slack",
1385 "triage",
1386 "dashboard/jobs",
1387 "ui_resource",
1388 ] {
1389 assert!(
1390 get_stdlib_source(module).is_some(),
1391 "std/{module} should resolve"
1392 );
1393 }
1394 }
1395
1396 #[test]
1397 fn key_stdlib_prompt_assets_resolve() {
1398 for path in [
1399 "std/agent/prompts/tool_contract_text.harn.prompt",
1400 "std/agent/prompts/default_nudge.harn.prompt",
1401 "std/agent/prompts/completion_judge_default.harn.prompt",
1402 "std/workflow/prompts/stage.harn.prompt",
1403 "std/orchestration/prompts/compaction_summary.harn.prompt",
1404 "std/orchestration/prompts/compaction_policy_replacement.harn.prompt",
1405 ] {
1406 assert!(
1407 get_stdlib_prompt_asset(path).is_some(),
1408 "{path} should resolve"
1409 );
1410 }
1411 }
1412
1413 #[test]
1414 fn public_function_catalog_derives_signatures_from_harn_source() {
1415 let exports = public_functions_for_module("workflow/execute");
1416 assert_eq!(exports.len(), 1);
1417 assert_eq!(exports[0].name, "workflow_execute");
1418 assert_eq!(
1419 exports[0].signature,
1420 "workflow_execute(task, graph, artifacts = nil, options = nil)"
1421 );
1422 assert_eq!(exports[0].required_params, 2);
1423 assert_eq!(exports[0].total_params, 4);
1424 }
1425
1426 #[test]
1427 fn command_stdlib_module_exports_step_helpers() {
1428 let exports = public_functions_for_module("command")
1429 .into_iter()
1430 .map(|function| function.name)
1431 .collect::<BTreeSet<_>>();
1432 for name in [
1433 "command_run",
1434 "command_wait",
1435 "command_cancel",
1436 "command_run_streaming",
1437 "command_output_tail",
1438 "command_json",
1439 "command_json_step",
1440 "command_try",
1441 "command_step",
1442 "command_steps_append",
1443 "command_last_failed_step",
1444 "command_step_ref",
1445 ] {
1446 assert!(exports.contains(name), "std/command should export {name}");
1447 }
1448 }
1449
1450 #[test]
1451 fn disclosure_stdlib_module_exports_render_helpers() {
1452 let exports = public_functions_for_module("disclosure")
1453 .into_iter()
1454 .map(|function| function.name)
1455 .collect::<BTreeSet<_>>();
1456 assert!(
1457 exports.contains("render"),
1458 "std/disclosure should export render"
1459 );
1460 assert!(
1461 exports.contains("git_trailers"),
1462 "std/disclosure should export git_trailers"
1463 );
1464 assert!(
1465 exports.contains("slack_message_disclosure"),
1466 "std/disclosure should export slack_message_disclosure"
1467 );
1468 assert!(
1469 exports.contains("append_git_trailers"),
1470 "std/disclosure should export append_git_trailers"
1471 );
1472 }
1473
1474 #[test]
1475 fn async_stdlib_exports_predicate_backoff_name_only() {
1476 let exports = public_functions_for_module("async")
1477 .into_iter()
1478 .map(|function| function.name)
1479 .collect::<BTreeSet<_>>();
1480 assert!(
1481 exports.contains("retry_predicate_with_backoff"),
1482 "std/async should export retry_predicate_with_backoff"
1483 );
1484 assert!(
1485 !exports.contains("retry_with_backoff"),
1486 "std/async should not retain the old retry_with_backoff export"
1487 );
1488 }
1489
1490 #[test]
1491 fn signal_stdlib_module_exports_interrupt_helpers() {
1492 let exports = public_functions_for_module("signal")
1493 .into_iter()
1494 .map(|function| function.name)
1495 .collect::<BTreeSet<_>>();
1496 for name in [
1497 "on_interrupt",
1498 "off_interrupt",
1499 "interrupted",
1500 "with_interrupt",
1501 ] {
1502 assert!(exports.contains(name), "std/signal should export {name}");
1503 }
1504 }
1505
1506 #[test]
1507 fn git_stdlib_module_exports_local_wrappers() {
1508 let exports = public_functions_for_module("git")
1509 .into_iter()
1510 .map(|function| function.name)
1511 .collect::<BTreeSet<_>>();
1512 for name in [
1513 "git_run",
1514 "git_status",
1515 "git_current_branch",
1516 "git_log",
1517 "git_switch",
1518 "git_pull_ff_only",
1519 "git_find_tool",
1520 "git_run_tool",
1521 "git_tools",
1522 "git_toolbox_tools",
1523 ] {
1524 assert!(exports.contains(name), "std/git should export {name}");
1525 }
1526 }
1527
1528 #[test]
1529 fn agent_workers_exports_suspend_resume_wrappers() {
1530 let exports = public_functions_for_module("agent/workers");
1531 let suspend = exports
1532 .iter()
1533 .find(|function| function.name == "suspend_agent")
1534 .expect("std/agent/workers should export suspend_agent");
1535 assert_eq!(
1536 suspend.signature,
1537 "suspend_agent(worker, reason = \"\", options = nil)"
1538 );
1539 assert_eq!(suspend.required_params, 1);
1540 assert_eq!(suspend.total_params, 3);
1541
1542 let resume = exports
1543 .iter()
1544 .find(|function| function.name == "resume_agent")
1545 .expect("std/agent/workers should export resume_agent");
1546 assert_eq!(
1547 resume.signature,
1548 "resume_agent(worker_or_snapshot, resume_input = nil, continue_transcript = true)"
1549 );
1550 assert_eq!(resume.required_params, 1);
1551 assert_eq!(resume.total_params, 3);
1552
1553 let stop = exports
1554 .iter()
1555 .find(|function| function.name == "agent_stop")
1556 .expect("std/agent/workers should export agent_stop");
1557 assert_eq!(
1558 stop.signature,
1559 "agent_stop(worker, options: AgentStopOptions = nil)"
1560 );
1561 assert_eq!(stop.required_params, 1);
1562 assert_eq!(stop.total_params, 2);
1563
1564 let parse_resume = exports
1565 .iter()
1566 .find(|function| function.name == "parse_resume_conditions")
1567 .expect("std/agent/workers should export parse_resume_conditions");
1568 assert_eq!(
1569 parse_resume.signature,
1570 "parse_resume_conditions(conditions = nil) -> ResumeConditions?"
1571 );
1572 assert_eq!(parse_resume.required_params, 0);
1573 assert_eq!(parse_resume.total_params, 1);
1574
1575 let lifecycle = exports
1576 .iter()
1577 .find(|function| function.name == "agent_lifecycle_tools")
1578 .expect("std/agent/workers should export agent_lifecycle_tools");
1579 assert_eq!(
1580 lifecycle.signature,
1581 "agent_lifecycle_tools(registry = nil, options = nil)"
1582 );
1583 assert_eq!(lifecycle.required_params, 0);
1584 assert_eq!(lifecycle.total_params, 2);
1585 }
1586
1587 #[test]
1588 fn tui_stdlib_module_exports_terminal_helpers() {
1589 let exports = public_functions_for_module("tui")
1590 .into_iter()
1591 .map(|function| function.name)
1592 .collect::<BTreeSet<_>>();
1593 for name in ["page", "terminal_width", "rule", "clear", "select_from"] {
1594 assert!(exports.contains(name), "std/tui should export {name}");
1595 }
1596 }
1597
1598 #[test]
1599 fn semver_stdlib_module_exports_release_helpers() {
1600 let exports = public_functions_for_module("semver")
1601 .into_iter()
1602 .map(|function| function.name)
1603 .collect::<BTreeSet<_>>();
1604 for name in [
1605 "strip_v",
1606 "add_v",
1607 "is_v_semver",
1608 "parse",
1609 "next",
1610 "bump_type",
1611 "version_from_release_branch",
1612 "version_from_tag",
1613 ] {
1614 assert!(exports.contains(name), "std/semver should export {name}");
1615 }
1616 }
1617
1618 #[test]
1619 fn text_stdlib_module_exports_regex_and_pad_helpers() {
1620 let exports = public_functions_for_module("text")
1621 .into_iter()
1622 .map(|function| function.name)
1623 .collect::<BTreeSet<_>>();
1624 for name in [
1625 "pad_left",
1626 "pad_right",
1627 "repeat_string",
1628 "regex_first_capture",
1629 "regex_capture_groups",
1630 "regex_all_first_captures",
1631 ] {
1632 assert!(exports.contains(name), "std/text should export {name}");
1633 }
1634 }
1635
1636 #[test]
1637 fn harn_entrypoint_catalog_is_declared_by_stdlib_sources() {
1638 let modules = entrypoint_modules();
1639 let entries = modules
1640 .iter()
1641 .map(|module| (module.import_path.as_str(), module.category.as_str()))
1642 .collect::<BTreeSet<_>>();
1643 for entry in [
1644 ("std/agent/loop", "agent.stdlib"),
1645 ("std/agent/turn", "agent.stdlib"),
1646 ("std/agent/primitives", "agent.stdlib"),
1647 ("std/workflow/execute", "workflow.stdlib"),
1648 ] {
1649 assert!(entries.contains(&entry), "{entry:?} should be declared");
1650 }
1651 }
1652
1653 #[test]
1654 fn matching_paren_len_closes_on_every_bracket_kind() {
1655 assert_eq!(matching_paren_len("a, b)"), Some(4));
1658 assert_eq!(matching_paren_len("x: [int])"), Some(8));
1659 assert_eq!(matching_paren_len("x: {a: int})"), Some(11));
1660 assert_eq!(matching_paren_len("x]"), Some(1));
1663 assert_eq!(matching_paren_len("x}"), Some(1));
1664 assert_eq!(matching_paren_len("unterminated"), None);
1665 }
1666
1667 #[test]
1668 fn parse_public_function_line_handles_record_typed_params() {
1669 let parsed =
1670 parse_public_function_line("pub fn configure(opts: {retries: int}) -> bool", None)
1671 .expect("signature with a record-typed parameter should parse");
1672 assert_eq!(parsed.name, "configure");
1673 assert_eq!(parsed.signature, "configure(opts: {retries: int}) -> bool");
1674 assert_eq!(parsed.total_params, 1);
1675 assert_eq!(parsed.required_params, 1);
1676 }
1677}