Module diagnostic 

Structs

RelatedSpanLabel

Constants

HARNESS_MIGRATION_DISAGREEMENTS

Legacy globals whose hand-written migration deliberately differs from what a name lookup in the generated table finds, with the reason.

HARNESS_REPLACEMENT_FAMILIES

The harness_*_replacement families, in one list so anything meaning “any capability migration” walks the same set.

Functions

find_closest_match

Find the closest match to name among candidates, within max_dist edits or by reordering its non-empty underscore-separated segments. Candidates within the edit-distance threshold rank ahead of reorder-only matches.

generated_harness_migration

The typed harness path that replaced a removed global, from the generated projection of harn_vm::stdlib::harness_migration_for_builtin.

harness_clock_replacement

Map an ambient clock-capability builtin to its harness.clock.* replacement. Returns the new identifier text (including the receiver path) so the bindings/thread-harness-clock repair can replace the call-site identifier in place. The mapping is the source of truth for the E4.3 → E4.6 migration; downstream replatform agents query it via [Code::repair_template].

harness_env_replacement

Map an ambient env-capability builtin to its harness.env.* replacement. Backs the bindings/thread-harness-env repair.

harness_fs_replacement

Map an ambient fs-capability builtin to its harness.fs.* replacement. Backs the bindings/thread-harness-fs repair the E4.4 → E4.6 migration uses to rewrite .harn scripts off the legacy surface.

harness_net_replacement

Map an ambient net-capability builtin to its harness.net.* replacement. Backs the bindings/thread-harness-net repair. Every script-facing network effect is exposed only through HarnessNet; response constructors and event encoders remain pure globals.

harness_random_replacement

Map an ambient random-capability builtin to its harness.random.* replacement. Backs the bindings/thread-harness-random repair.

harness_stdio_replacement

Map an ambient stdio-capability builtin to its harness.stdio.* replacement so harn fix can replace the call in place once the relevant harness binding is available.

lexer_error_code

normalize_diagnostic_path

Normalize diagnostic filenames lexically for display.

parser_error_code

parser_error_help

parser_error_label

parser_error_message

removed_global_replacement

What an undefined name should have been, for the type checker’s “did you mean”.

renamed_stdlib_symbol

Return the replacement for stdlib symbols that were directly renamed.

render_diagnostic

Render a Rust-style diagnostic message.

render_diagnostic_with_code

render_diagnostic_with_related

render_type_diagnostic