Resolved in spikersoft-backend PR #351 (merged, 7/7 checks green). Region tuples are now the abstract-search queue element directly — the placeholder IntToRegion that collapsed every dequeued…
S2139 half resolved: PR #349 merged (19/19 checks green) — the 11 handler-level double-reports removed on the proven TracingBehavior evidence. Final family ledger across both rules (270…
Family fully dispositioned; the fix component is merged. Final ledger for all 74 S1172 findings: 47 FP'd with per-site reasons (uniform dispatch shapes, documented stubs, keep-alive/conformance…
Monitoring update: five consecutive CE SUCCESSes since the single 06:05 failure — 06:30 (local), 06:45 (CI container + coverage), 06:58 x2 and 07:31 (post-merge master scans, all container path).…
Extended PR #352 with the S1144 fully-dead members verified this pass: FindChainAnchor (uncalled method), the Lean handler's PublishUploadReceivedEventAsync (dead since #574 moved publishing to…
S6667 half fully resolved: PR #348 merged (16/16 checks green) — the six genuinely-lossy sites now pass the exception (3× artpipe JsonException, 2× Redis-admin broad catches, PingCommandHandler's…
Related combat-system finding from the same S1172 pass: ApplyDamageToShip (:1200) and ApplyDamageToSpacecraft (:1292) receive 'sourceEntityId' (xml-doc: 'Entity that caused the damage') and never…
Resolved in spikersoft-backend PR #347 (merged, 30/30 checks green). IGameCommand.ClientTick/Sequence gained interface setters and the two per-type stamp switches collapsed to single assignments…
The fix half is resolved: spikersoft-backend PR #346 merged with all checks green — all 14 S927 override-parameter renames across the SecurityMonitor detectors and RemediationRuleEngine. The…
Reproducibility verdict: NOT deterministic. The dispatched CI run 8645 — same container, same scanner 10.4.1, same large coverage-bearing report shape as the 06:05 failure — completed end-to-end…