[hyperpolymath]

Summary

Required contexts are producible has been red on main since #62 (2026-10-01). That PR (D243) renamed the secret-scanner caller job from secret-scan to scan, but .machine_readable/CI-CONTEXTS.a2ml still declares the old caller:

::error::.github/workflows/secret-scanner.yml no longer defines caller job 'secret-scan' …
check-ci-contexts: CONTRACT BROKEN

This changes the contract's caller-job-id and published-contexts, plus the matching row in docs/CI-CONTEXTS.adoc, to scan / scan / gitleaks|rust-secrets|shell-secrets. Three lines in two files. No workflow is changed.

Type of change

• 🐛 Bug fix (non-breaking change that fixes an issue)
• 🔧 Build / CI / tooling

How has this been verified?

• bash tools/check-ci-contexts.sh . --no-network on main's tree → CONTRACT BROKEN, rc=1 (reproduced)
• the same command after this change → check-ci-contexts: contract intact, rc=0

Notes for reviewers

The same commit is ported into #65 (Lean v4.35.0 move), which hits this pre-existing red. Once this merges, the port is a no-op there.

---

Generated by Claude Code

[coderabbitai]

Warning

Review limit reached

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Next included review available in 47 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

Learn how review limits work.

Review configuration:

Run configuration

• Source mode: Auto
• Repository: Unavailable
• Branch: Unavailable
• File: No configuration file from this repository applied
• Commit: Unavailable
• Layers: Organization UI
• Review profile: ASSERTIVE
• Plan: Advanced
• Run ID: 942198e4-7980-4208-a3ce-7990aaf9684e

Commits

Reviewing files that changed from the base of the PR and between e172f8a and cab868a.

Files selected for processing: 2

• .machine_readable/CI-CONTEXTS.a2ml
• docs/CI-CONTEXTS.adoc

• Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[chatgpt-codex-connector]

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review	Status	Commit	Review trigger
📝 Code Review	✅ Completed 2026-10-27T14:12:39.446499Z	cab868a	Draft marked ready

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

• Open a pull request for review
• Mark a draft as ready
• Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.