errors +49 to 976 patterns; tests +22 workflow extras

Errors round 4 — fills remaining niches:
  cli:    --test/--check/--bench/--fmt argument requirements,
          Unknown flag, install package not found, file read failure
  match:  no arm matched, type tag mismatch, invalid range
  heal:   heal_pass rewrites, heal budget exceeded
  VM:     unknown opcode, stack underflow/overflow
  JIT:    lowering failed, dispatch boundary L1.6
  tokenizer: malformed ID 0, escape bug
  substrate: out of range, resonance type mismatch, HBit malformed
  safe:   safe_divide / safe_arr_get / safe_arr_set Singularity returns
  closures: capture missing, shared state, recursive type, frame leak
  imports: module export shadow, symbol redefinition, reverse-FFI
           not registered
  test_runner: state outside test fn, assertion failed format
  reentrancy: builtin / dict / array reentrancy during iteration

Tests +22 (test_workflow_extras.omc):
  9 cheatsheet topic tests (arrays / dicts / strings / math / io /
                            regex / python / code_intel / introspection)
  4 change_report cases (unchanged / added / removed / action msg)
  2 omc_id properties (different code → different, format check)
  3 bootstrap_pack content checks (substrate / Python / attractor)
  2 builtin_index format checks
  2 python_translation content checks

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>

Author: RandomCoder-lab

examples/tests/test_workflow_extras.omc

@@ -0,0 +1,130 @@
+# More workflow / introspection tests.
+
+fn assert_eq(actual, expected, msg) {
+    if actual != expected {
+        test_record_failure(msg + ": expected " + to_string(expected) + " got " + to_string(actual));
+    }
+}
+
+fn assert_true(cond, msg) { if !cond { test_record_failure(msg); } }
+
+# Cheatsheets across multiple topics
+fn test_cheatsheet_arrays() {
+    h s = omc_cheatsheet("arrays");
+    assert_true(str_len(s) > 100, "arrays cheatsheet substantive");
+}
+
+fn test_cheatsheet_dicts() {
+    h s = omc_cheatsheet("dicts");
+    assert_true(str_len(s) > 100, "dicts cheatsheet substantive");
+}
+
+fn test_cheatsheet_strings() {
+    h s = omc_cheatsheet("strings");
+    assert_true(str_len(s) > 100, "strings cheatsheet substantive");
+}
+
+fn test_cheatsheet_math() {
+    h s = omc_cheatsheet("math");
+    assert_true(str_len(s) > 100, "math cheatsheet");
+}
+
+fn test_cheatsheet_io() {
+    h s = omc_cheatsheet("io");
+    assert_true(str_len(s) > 50, "io cheatsheet");
+}
+
+fn test_cheatsheet_regex() {
+    h s = omc_cheatsheet("regex");
+    assert_true(str_len(s) > 50, "regex cheatsheet");
+}
+
+fn test_cheatsheet_python() {
+    h s = omc_cheatsheet("python");
+    assert_true(str_len(s) > 50, "python cheatsheet");
+}
+
+fn test_cheatsheet_code_intel() {
+    h s = omc_cheatsheet("code_intel");
+    assert_true(str_len(s) > 100, "code_intel cheatsheet");
+}
+
+fn test_cheatsheet_introspection() {
+    h s = omc_cheatsheet("introspection");
+    assert_true(str_len(s) > 100, "introspection cheatsheet");
+}
+
+# omc_change_report content
+fn test_change_report_unchanged() {
+    h r = omc_change_report("fn f(x) { return x; }", "fn f(x) { return x; }");
+    h unchanged = dict_get(r, "unchanged");
+    assert_true(re_match("f", unchanged) == 1, "f unchanged");
+}
+
+fn test_change_report_added() {
+    h r = omc_change_report("fn f() {}", "fn f() {} fn g() {}");
+    h added = dict_get(r, "added");
+    assert_true(re_match("g", added) == 1, "g added");
+}
+
+fn test_change_report_removed() {
+    h r = omc_change_report("fn f() {} fn g() {}", "fn f() {}");
+    h removed = dict_get(r, "removed");
+    assert_true(re_match("g", removed) == 1, "g removed");
+}
+
+fn test_change_report_action_modified() {
+    h r = omc_change_report("fn f() { return 1; }", "fn f() { return 2; }");
+    h action = dict_get(r, "suggested_action");
+    assert_true(re_match("Modified", action) == 1, "modified suggestion");
+}
+
+# omc_id properties
+fn test_omc_id_different_for_different_code() {
+    h a = omc_id("fn a() {}");
+    h b = omc_id("fn b() {}");
+    assert_true(a != b, "different fn names → different ids");
+}
+
+fn test_omc_id_format_check() {
+    h a = omc_id("h x = 1;");
+    assert_true(re_match("^omcid-[0-9]+-[a-f0-9]+$", a) == 1, "format matches");
+}
+
+# Bootstrap content
+fn test_bootstrap_has_substrate() {
+    h s = omc_bootstrap_pack();
+    assert_true(re_match("substrate", s) == 1, "mentions substrate");
+}
+
+fn test_bootstrap_has_python() {
+    h s = omc_bootstrap_pack();
+    assert_true(re_match("Python", s) == 1, "mentions Python");
+}
+
+fn test_bootstrap_has_attractor() {
+    h s = omc_bootstrap_pack();
+    assert_true(re_match("attractor", s) == 1, "mentions attractor");
+}
+
+# Builtin index format
+fn test_builtin_index_has_arrays() {
+    h s = omc_builtin_index_markdown();
+    assert_true(re_match("## arrays", s) == 1, "arrays section");
+}
+
+fn test_builtin_index_has_substrate() {
+    h s = omc_builtin_index_markdown();
+    assert_true(re_match("## substrate", s) == 1, "substrate section");
+}
+
+# Python translation table
+fn test_translation_has_numpy_dot() {
+    h s = omc_python_translation();
+    assert_true(re_match("numpy.dot", s) == 1, "numpy.dot row");
+}
+
+fn test_translation_has_torch_backward() {
+    h s = omc_python_translation();
+    assert_true(re_match("backward", s) == 1, "torch backward row");
+}

omnimcode-core/src/errors.rs

@@ -1238,6 +1238,55 @@ pub const ERROR_PATTERNS: &[ErrorPattern] = &[
     ErrorPattern { pattern: "arr_get: bound check", category: "runtime", explanation: "`arr_get` triggered a bounds check.", typical_cause: "Index/range outside valid bounds.", fix: "Guard with length/key check before access." },
     ErrorPattern { pattern: "str_slice: bound check", category: "runtime", explanation: "`str_slice` triggered a bounds check.", typical_cause: "Index/range outside valid bounds.", fix: "Guard with length/key check before access." },
     ErrorPattern { pattern: "arr_slice: bound check", category: "runtime", explanation: "`arr_slice` triggered a bounds check.", typical_cause: "Index/range outside valid bounds.", fix: "Guard with length/key check before access." },
+    ErrorPattern { pattern: "Unknown flag:", category: "cli", explanation: "Command-line flag not recognised.", typical_cause: "Typo or feature removed.", fix: "Run `omc --help` for valid flags." },
+    ErrorPattern { pattern: "--test requires", category: "cli", explanation: "--test mode needs a file argument.", typical_cause: "Forgot the path.", fix: "Run as `omc --test path/to/file.omc`." },
+    ErrorPattern { pattern: "--check requires", category: "cli", explanation: "--check mode needs a file argument.", typical_cause: "Forgot the path.", fix: "Run as `omc --check path/to/file.omc`." },
+    ErrorPattern { pattern: "--bench requires", category: "cli", explanation: "--bench mode needs a file argument.", typical_cause: "Forgot the path.", fix: "Run as `omc --bench path/to/file.omc`." },
+    ErrorPattern { pattern: "--fmt requires", category: "cli", explanation: "--fmt mode needs a file argument.", typical_cause: "Forgot the path.", fix: "Run as `omc --fmt path/to/file.omc`." },
+    ErrorPattern { pattern: "Failed to read file", category: "io", explanation: "Couldn't open / read the source file.", typical_cause: "Path wrong or perms.", fix: "Check the path and read permissions." },
+    ErrorPattern { pattern: "install: unknown package", category: "cli", explanation: "Package not found in any registry.", typical_cause: "Typo or removed.", fix: "Run `omc --list` to see installed packages." },
+    ErrorPattern { pattern: "Match: no arm matched", category: "runtime", explanation: "No match arm fired and no default.", typical_cause: "Missing wildcard.", fix: "Add `_ => ...` last." },
+    ErrorPattern { pattern: "Match: type tag", category: "types", explanation: "Type-tag pattern doesn't match value's runtime type.", typical_cause: "Wrong tag in arm.", fix: "Check type_of(value); valid tags: int, float, string, bool, array, dict, function, null." },
+    ErrorPattern { pattern: "Pattern: invalid range", category: "parser", explanation: "Range pattern lo..hi with lo > hi.", typical_cause: "Swapped bounds.", fix: "Ensure lo <= hi." },
+    ErrorPattern { pattern: "heal_pass: ", category: "runtime", explanation: "Self-healing pass made a rewrite.", typical_cause: "Source had a fixable issue.", fix: "Inspect what was healed; if undesirable, add @no_heal pragma." },
+    ErrorPattern { pattern: "heal budget exceeded", category: "runtime", explanation: "Too many heal-pass rewrites in one program.", typical_cause: "Source is significantly malformed.", fix: "Fix manually; budget is a safety cap." },
+    ErrorPattern { pattern: "VM: unknown opcode", category: "runtime", explanation: "Bytecode contains an opcode the VM doesn't recognise.", typical_cause: "Stale bytecode after VM update.", fix: "Recompile from source." },
+    ErrorPattern { pattern: "VM: stack underflow", category: "runtime", explanation: "Pop on empty stack.", typical_cause: "Bytecode bug.", fix: "Recompile from source; file issue if persists." },
+    ErrorPattern { pattern: "VM: stack overflow", category: "runtime", explanation: "Operand stack exceeded budget.", typical_cause: "Pathological code.", fix: "Refactor to use fewer intermediates." },
+    ErrorPattern { pattern: "JIT: lowering failed", category: "runtime", explanation: "Codegen couldn't lower this function.", typical_cause: "Unsupported op or shape.", fix: "Fall back to tree-walk; file issue with the failing fn." },
+    ErrorPattern { pattern: "JIT: dispatch boundary", category: "runtime", explanation: "Crossing tree-walk ↔ JIT boundary with incompatible type.", typical_cause: "Array-from-JIT not bridged yet (L1.6 pending).", fix: "Stay tree-walk for now, or restructure to scalar-only ops." },
+    ErrorPattern { pattern: "Tokenizer: ID 0", category: "tokenizer", explanation: "Stream contains an unescaped ID 0 — encoder bug.", typical_cause: "Manual ID array.", fix: "Use omc_token_encode to produce streams." },
+    ErrorPattern { pattern: "Tokenizer: malformed escape", category: "tokenizer", explanation: "Escape byte missing after ID 0.", typical_cause: "Truncated stream.", fix: "Verify the encoded array is intact." },
+    ErrorPattern { pattern: "Substrate: out of range", category: "substrate", explanation: "Value past supported attractor table extent.", typical_cause: "n > 6.3e7.", fix: "Mod-reduce or use HInt::new which extends supported range." },
+    ErrorPattern { pattern: "Resonance: invalid input", category: "substrate", explanation: "Resonance call expected numeric.", typical_cause: "Passed array/string.", fix: "Use arr_resonance_vec for arrays." },
+    ErrorPattern { pattern: "HBit: malformed dual", category: "substrate", explanation: "Dual-band representation has wrong arity.", typical_cause: "Manual construction.", fix: "Use hbit_dual to build." },
+    ErrorPattern { pattern: "safe_divide", category: "runtime", explanation: "Safe-divide produced Singularity result.", typical_cause: "Division by zero in `safe` context.", fix: "is_singularity check on result." },
+    ErrorPattern { pattern: "safe_arr_get", category: "runtime", explanation: "Safe array-get returned a Singularity.", typical_cause: "Out-of-bounds index in `safe` context.", fix: "is_singularity check on result." },
+    ErrorPattern { pattern: "safe_arr_set", category: "runtime", explanation: "Safe array-set was a no-op.", typical_cause: "Out-of-bounds index in `safe` context.", fix: "is_singularity check or pre-grow." },
+    ErrorPattern { pattern: "Lambda capture missing", category: "runtime", explanation: "Lambda referenced an unbound name from outer scope.", typical_cause: "Variable doesn't exist when lambda is defined.", fix: "Define the variable first." },
+    ErrorPattern { pattern: "Closure shared state", category: "runtime", explanation: "Two sibling lambdas mutating shared state observe each other.", typical_cause: "Capture-by-reference semantics.", fix: "Use distinct closures or use immutable values." },
+    ErrorPattern { pattern: "Recursive type", category: "runtime", explanation: "Self-referential structure detected.", typical_cause: "Class field references its own class.", fix: "Avoid cycles or use dict-based representation." },
+    ErrorPattern { pattern: "Stack frame leak", category: "runtime", explanation: "Frame not released across calls.", typical_cause: "Wrong scope management.", fix: "File an issue; should be impossible from user code." },
+    ErrorPattern { pattern: "Symbol redefinition", category: "runtime", explanation: "Same name registered twice as host_builtin.", typical_cause: "Embedder called register_builtin twice.", fix: "De-register first or use a different name." },
+    ErrorPattern { pattern: "Reverse-FFI not initialized", category: "runtime", explanation: "Calling a name that's neither user-defined nor a builtin.", typical_cause: "Expected a host_builtin registration.", fix: "Register the function before calling it from OMC." },
+    ErrorPattern { pattern: "Module export shadowed", category: "imports", explanation: "Module exports a name that shadows a builtin.", typical_cause: "Module author chose conflicting name.", fix: "Rename in the module or use a prefix import." },
+    ErrorPattern { pattern: "Test runner state", category: "test_runner", explanation: "Test runner can't record failure outside a test function.", typical_cause: "Called assert outside test_*.", fix: "Wrap in fn test_xxx() {}." },
+    ErrorPattern { pattern: "Reentrancy", category: "runtime", explanation: "Builtin re-entered itself.", typical_cause: "Cycle through host or callback.", fix: "Break the cycle." },
+    ErrorPattern { pattern: "Reentrancy: dict", category: "runtime", explanation: "Dict mutation during iteration.", typical_cause: "Inserting into dict you're iterating.", fix: "Collect keys first, then mutate." },
+    ErrorPattern { pattern: "Reentrancy: array", category: "runtime", explanation: "Array mutation during iteration.", typical_cause: "Inserting into array you're iterating.", fix: "Use slice/copy first." },
+    ErrorPattern { pattern: "expected", category: "test_runner", explanation: "Test assertion failed — actual didn't match expected.", typical_cause: "Bug in code under test or in test.", fix: "Re-read the assertion's labeled message; print actual/expected for inspection." },
+    ErrorPattern { pattern: "test_record_failure called outside test", category: "test_runner", explanation: "Manual failure recording without test context.", typical_cause: "Forgot test_set_current().", fix: "Call inside a test_* function, or set name first." },
+    ErrorPattern { pattern: "str_", category: "core", explanation: "Error originating from str_* family.", typical_cause: "Refer to specific message for context.", fix: "Filter omc_search_builtins(\"str_\") for related operations." },
+    ErrorPattern { pattern: "arr_", category: "core", explanation: "Error originating from arr_* family.", typical_cause: "Refer to specific message for context.", fix: "Filter omc_search_builtins(\"arr_\") for related operations." },
+    ErrorPattern { pattern: "dict_", category: "core", explanation: "Error originating from dict_* family.", typical_cause: "Refer to specific message for context.", fix: "Filter omc_search_builtins(\"dict_\") for related operations." },
+    ErrorPattern { pattern: "tape_", category: "core", explanation: "Error originating from tape_* family.", typical_cause: "Refer to specific message for context.", fix: "Filter omc_search_builtins(\"tape_\") for related operations." },
+    ErrorPattern { pattern: "dual_", category: "core", explanation: "Error originating from dual_* family.", typical_cause: "Refer to specific message for context.", fix: "Filter omc_search_builtins(\"dual_\") for related operations." },
+    ErrorPattern { pattern: "gen_", category: "core", explanation: "Error originating from gen_* family.", typical_cause: "Refer to specific message for context.", fix: "Filter omc_search_builtins(\"gen_\") for related operations." },
+    ErrorPattern { pattern: "py_", category: "core", explanation: "Error originating from py_* family.", typical_cause: "Refer to specific message for context.", fix: "Filter omc_search_builtins(\"py_\") for related operations." },
+    ErrorPattern { pattern: "omc_", category: "core", explanation: "Error originating from omc_* family.", typical_cause: "Refer to specific message for context.", fix: "Filter omc_search_builtins(\"omc_\") for related operations." },
+    ErrorPattern { pattern: "is_", category: "core", explanation: "Error originating from is_* family.", typical_cause: "Refer to specific message for context.", fix: "Filter omc_search_builtins(\"is_\") for related operations." },
+    ErrorPattern { pattern: "hbit_", category: "core", explanation: "Error originating from hbit_* family.", typical_cause: "Refer to specific message for context.", fix: "Filter omc_search_builtins(\"hbit_\") for related operations." },
+    ErrorPattern { pattern: "harmonic_", category: "core", explanation: "Error originating from harmonic_* family.", typical_cause: "Refer to specific message for context.", fix: "Filter omc_search_builtins(\"harmonic_\") for related operations." },
 ];
 
 /// Best-matching pattern for an error message. Returns None if no