Skip to content

[compiler-threat-spec] spec: fix CTR-018 implementation mapping filename and bump to v1.0.11#34559

Merged
pelikhan merged 1 commit into
mainfrom
copilot/threat-spec-ctr018-mapping-fix-9a21282539971828
May 25, 2026
Merged

[compiler-threat-spec] spec: fix CTR-018 implementation mapping filename and bump to v1.0.11#34559
pelikhan merged 1 commit into
mainfrom
copilot/threat-spec-ctr018-mapping-fix-9a21282539971828

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented May 25, 2026

fix: correct CTR-018 implementation mapping and bump spec to v1.0.11

Summary

Fixes an incorrect implementation file mapping for threat control CTR-018 in the compiler threat-detection specification, and advances the spec to version 1.0.11.

Changes

Area Detail
File specs/compiler-threat-detection-spec.md
Spec version 1.0.101.0.11
Breaking change No
Impact Medium

What changed

  • CTR-018 mapping correction — Updates the implementation file reference from update_check_validation.go to strict_mode_update_check_validation.go, aligning the spec with the actual source file that implements this control.
  • Section 7.2 mapping audit — Refreshes the audit date and narrative in the implementation-mapping section to reflect the corrected state.
  • Spec-to-binary compatibility table — Adds a new row for v1.0.11, documenting compatibility bounds for downstream consumers.
  • Change log — Appends a 1.0.11 entry describing the mapping fix.

Why it matters

An incorrect file reference in the threat-control mapping causes audit tooling and human reviewers to inspect the wrong source file when verifying CTR-018 coverage. This fix ensures traceability is accurate and the spec can be used reliably as a compliance artefact.

Testing

Documentation-only change. No code paths modified; no tests required.

Generated by PR Description Updater for issue #34559 · sonnet46 847.5K ·

The spec incorrectly referenced pkg/workflow/update_check_validation.go
(which does not exist) for the CTR-018 Version Integrity Bypass rule.
The actual implementation lives in pkg/workflow/strict_mode_update_check_validation.go
and the test file is strict_mode_update_check_validation_test.go.

- Correct Section 7.1 CTR-018 row: update_check_validation.go →
  strict_mode_update_check_validation.go
- Correct test reference: update_check_validation_test.go →
  strict_mode_update_check_validation_test.go
- Update Section 7.2 mapping audit date to 2026-05-25
- Bump spec version to 1.0.11
- Add Section 2 sync table entry for v1.0.11
- Add Section 10 change log entry for v1.0.11

Threats reviewed (2-day window, since 2026-05-23):
- PR #34525: engine.permission-mode bypassPermissions decoupled from bash
  wildcard — documented security model behavior; no new CTR rule required.
- CTR-001 through CTR-019: all implementation file references verified;
  only CTR-018 had a filename mismatch.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@pelikhan pelikhan merged commit d4344de into main May 25, 2026
@pelikhan pelikhan deleted the copilot/threat-spec-ctr018-mapping-fix-9a21282539971828 branch May 25, 2026 03:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant