GeezerVison

LLM Description written by Claude Code:claude-opus-5-5

Fixes #781

Summary

The go.mod module directive had three readers: a dead crawlers::go_crawler::parse_go_mod_module, VEX --product's own line scanner in vex/product.rs, and the go_mod_edit directive walker that require and replace already go through. This PR adds go_mod_edit::module_path, built on that walker, and deletes the other two readers.

Why

• Issue #781, register row E19 (Go half) in the living architecture document.
• Leverage: B 0 filed bugs (it fixes the unfiled block-form misread below), U 0, D ≈2.2 (three readers become one; net ≈−42 production lines), R L. It is the top-ranked candidate whose files no open fix or refactor PR changes.

What changed

• vendor/go_mod_edit.rs: new pub fn module_path(text) -> Option<String>. It runs normalize_for_read (BOM, quoted tokens) and for_each_directive_body(…, "module", …) (single-line and module ( … ) block forms, trailing // comments, any whitespace). It takes the first body and returns its single token. It returns None for a multi-token body, a token that is still quoted (module ""), or a path that fails is_safe_multi_segment.
• vex/product.rs: parse_go_mod now calls module_path and only formats pkg:golang/<module>.

What was deleted

• crawlers::go_crawler::parse_go_mod_module, which had no production caller, plus its 8 unit tests and the 5 tests in tests/crawler_go_e2e.rs. The cases worth keeping now run against module_path.
• The line scanner in product.rs parse_go_mod.
• git diff --stat: 4 files, +87 / −181. That's about +22 / −64 production lines and +65 / −117 test lines.

Behavior

• Fixed: vex product auto-detection on a go.mod that uses the block form module (⏎\texample.com/blk⏎). It now yields pkg:golang/example.com/blk instead of pkg:golang/(.
• Two edge cases change as well, both for go.mod files that Go itself rejects. An unterminated quote (module "foo) is no longer read as foo. A whitespace separator other than space or tab after module is now accepted, matching Go's lexer.
• No change to the CLI contract, JSON output or exit codes.

Test evidence

• New go_mod_edit tests: module_path_reads_every_directive_form and module_path_rejects_malformed_directives (the cases carried over from the deleted tests, plus the block form, backticks, BOM, CRLF and unsafe paths).
• New vex::product test: detect_go_mod_block_form_module. Red→green: with main's parse_go_mod restored it fails with left: Some("pkg:golang/("), right: Some("pkg:golang/example.com/blk"). On this branch it passes.
• cargo clippy --workspace --all-features -- -D warnings: clean.
• cargo test -p socket-patch-core --lib: 5046 passed, 4 failed. Those 4 are the sandbox's known root-only failures, which also fail on main: copy_tree::relax_loop_must_not_traverse_symlinked_root, vlt_heal::an_unremovable_hidden_lock_keeps_every_store_entry, pypi_poetry::wire_write_failure_maps_error_and_leaves_lock_untouched and pypi_requirements::wire_failure_rolls_back_already_written_files.
• cargo test -p socket-patch-core --test crawler_go_e2e: 19 passed.
• cargo test -p socket-patch-cli --all-features --test vex_terminal_output: 12 passed. --test covgap_commands_vex: 12 passed.
• CI on b486532: 455 checks passed, 6 skipped. The one failure, the Bun native (macos-latest, 1.3.10) cell preexisting-manifest vendored, passed on its one re-run.

Risk

Low. One read-only parser in VEX product detection. The writers and lockfile discovery already used the shared walker.

🤖 Generated with Claude Code

Generated by Claude Code