[ExtraToast]

Summary

• Adds a test block to test/model/resolution-derivations.test.ts for the mutants that main's full mutation run found without a test.
• Updates one expectation to the diagnostic the lowering now emits for an unlocked image.

Validation

• Not run yet: the test file, the full suite and the mutation gate.
• The validate check fails on this head.

Risk

• WIP. Remaining work, tracked in test: finish the tests for the mutants main's full run found untested #859: run the tests, confirm each new case kills the mutant it names, then drop the WIP prefix.

Links

• Refs test: finish the tests for the mutants main's full run found untested #859
• Follow-up to Kill the mutation survivors main's full run surfaced after #812 #817 (closed)

Checklist

• Labels match the change type and area
• Project Dependency Dashboard #2 should pick this up automatically
• Release Please and Renovate labels were not renamed or removed

[github-actions]

Shape

bucket	files	additions	deletions
tests	1	+106	-1

Coverage

Baseline: main @ ce36aba.

metric	this branch	main	diff
statements	99.76%	99.76%	0.00
branches	98.24%	98.22%	+0.02
functions	100.00%	100.00%	0.00
lines	99.73%	99.73%	0.00

This pull request changed no covered line.

[ExtraToast]

Provenance, moved here from the description. This branch was preserved in the machine-migration sweep of 2026-11-09:

• Local worktree worktrees/deploy-kit/deploy-kit-822, commit c240d47. Pushed during the machine-migration preservation sweep.