Task · SKT-0155

Stop the local forbidden-words guard false-positive on an SM identifier

Description

The full local forbidden-words guard matches a helper identifier in the two SM handoff files. Rename the helper and associated test without changing behavior, exclusions or patterns; avoid repeating the matched identifier in tracker prose.

Acceptance Criteria

Definition of Done

Implementation Plan

Reproduce full local guard false positive, rename identifier only, prove guard and focused SM checks.

Implementation Notes

Candidate renames only the no-checks helper and test. Base guard fails; scoped candidate guard passes. The tracker repeated the same matching substring, so its description is sanitised as part of the fix. Final whole-tree proof follows composition.

Final Summary

Renamed the no-checks SM helper and test, with no behavior/assertion/pattern/exclusion changes; removed the repeated matching substring from tracker prose. Full ignored local-list guard passed on the exact committed composed tree (1872 files). Delivered in 097743b00341cf0248a0bf72d819d460763f69bd; pushed batch tip e009f1955fc883aa8bb55cd8454272c37d18abfe passed composed check including race. No schema or renderer change.

View the source file on GitHub