gensokyo-devandClaude Opus 5.5 7db1b61790 fix(ghidra): qualify inferred no-return cuts by the excluded fall-through ...

A terminal call on one branch does not end the whole function: other
branches can still reach the following code, which stays in the body and
pseudocode. The function-level limitation now says Ghidra excluded that
call's fall-through and that code reachable only through it is missing
if the callee returns. It is listed before the call-specific facts so a
bounded composed summary that admits limitations in order keeps it.

The body-coverage tests now check the counted records and their reasons
instead of freezing the explanatory sentence.

Co-Authored-By: gensokyo-dev <gensokyo-dev@users.noreply.github.com>
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2026-11-14 05:34:39 +01:00

..

acceptance

test(dmg): stop hard-coding host speed in attachment recovery (#10431)

2026-11-14 11:47:59 +08:00

boundary

fix(ghidra): qualify inferred no-return cuts by the excluded fall-through

2026-11-14 05:34:39 +01:00

composition

fix(rizin): qualify process completion in command evidence (#10377)

2026-11-13 10:48:35 -08:00

conformance

test: remove per-test deadlines owned by project policy

2026-11-14 05:27:07 +08:00

evaluation

test: check the deadlines Vitest applies to collected tests

2026-11-14 05:27:07 +08:00

fixtures

test(artifacts): fit the buffered member case to Windows stream buffers

2026-11-14 04:50:06 +01:00

process-global

test: remove per-test deadlines owned by project policy

2026-11-14 05:27:07 +08:00

support

refactor(cli): run one-shot commands through one shared owner (#10405)

2026-11-14 11:48:19 +08:00

ciTestSequencer.ts

test(ci): retire loader-ownership history seeding (#10404)

2026-11-13 14:20:11 -05:00

processOwnershipRunner.ts

test(process): retire native caches at worker teardown

2026-10-09 04:12:49 +08:00