sporel-module-lib-sporel.launcher-test

P.3.4 reference test-module — validates lib-sporel.launcher FSM contracts and engine-surface existence via the engine.test.* assertion surface.

• Module-ID: lib-sporel.launcher-test
• Version: 0.1.0
• Kind: test-module (headless; runs init() once + exits)
• Note: Embeds its own byte-identical copy of fsm.lua (Sporel-resolver does not resolve module-as-dep; drift guarded by smoke.sh P0-S15-pre hash check).

Run

Sporel.exe --test-libs=lib-sporel.launcher-test

Output is TAP version 13 on stdout; exit-code = failure-count (0 = all pass).

Coverage Statements (2026-05-16 Fault-Injection Audit)

Verified via deliberate-mutation in the launcher-test fixture's own fsm.lua copy; mutations reverted after observation.

Caught Mutations

#	Mutation	Caught by
M1	STATE_LIST + "esc" returns STATE_LIST instead of STATE_QUIT_CONFIRM	Assertion "list+esc -> quit_confirm" (ok 1)
M2	STATE_QUIT_CONFIRM + "enter" returns STATE_QUIT_CONFIRM instead of EXIT	Assertion "quit_confirm+enter -> exit" (ok 3)

Uncaught Mutations (Gaps)

#	Mutation	Why uncaught	Severity
M3	Fallback return state removed (unknown state returns nil)	No test calls fsm.next with an unrecognized state string	Low

Resolution per Gap:

• Gap M3: Cheap-fill applied — added assertion fsm.next("garbage_state", "esc") == "garbage_state" to verify unknown-state passthrough (commit see below).

Cheap-Gap-Fills Applied

Gap	New Assertion	Re-Inject Verifies
M3	unknown state passes through unchanged — fsm.next("garbage_state", "esc") must equal "garbage_state"	✓

Tested Production-Lib Surface

lib-sporel.launcher v0.1.0 (FSM component) — Tests cover: all 5 explicit FSM transitions (list+esc, quit_confirm+esc, quit_confirm+enter, quit_confirm+click_yes, quit_confirm+click_no), stability for unhandled events (list+click_module), unknown-state passthrough, and engine-surface existence for engine.module.list, engine.module.dir_of, engine.render.draw_text, engine.render.measure_text.