Files
codebase-memory-mcp/tests
Martin Vogel 927dffc336 test(repro): harden assert_no_resolvable_edge against vacuous pass
The 9 no-resolvable-edge tests asserted only that no CALLS edge targets the
unresolvable callee via inv_no_calls_edge_to_qn, which returns PASS when the
fixture produces ZERO edges for any reason — so a green did not prove the
unresolvable call was actually extracted and correctly dropped (a vacuous-pass
false-guard risk, unlike the sibling assert_lsp_strategy which checks
callable_sourced > 0).

Add an exercised-check to all four helper copies (c_cpp/java_cs/go_py/ts):
require at least one callable-sourced CALLS edge. Give each of the 9 fixtures a
resolvable in-fixture control call (known / Helper.Known / c.Inc) so a real edge
forms. The no-edge-to-callee invariant is unchanged; the tests stay green but
can no longer pass when extraction silently produces nothing.

Repro board: 311 passed, 1 failed (the honest #581 RED) — no regressions.

Signed-off-by: Martin Vogel <martin.vogel.tech@gmail.com>
2026-06-28 20:07:59 +02:00
..
2026-06-03 02:13:30 +02:00