Skip to content

ci(hypatia): standardise the wrapper caller id to the canonical hypatia - #159

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/hypatia-caller-id
Sep 20, 2026
Merged

hyperpolymath merged 1 commit into
mainfrom
fix/hypatia-caller-id

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

The check a reusable-caller job publishes is <caller job id> / <inner job display name>. The estate's canonical required context is hypatia / Hypatia Neurosymbolic Analysis (docs/audits/audit-hypatia-pin-orphan-2026-05-27.adoc), so the caller job must be named hypatia. This wrapper named it scan, and so published scan / Hypatia Neurosymbolic Analysis — two names for one gate, and any requirement written against one is unsatisfiable in a repository that publishes the other (the defect class of hyperpolymath/tropical-types#17).

Rename only — the job body, its pin, its inputs and its secrets are byte-for-byte unchanged.

Audit-first, requirement-aware: this is --fix output from scripts/propagate-hypatia-caller-id.sh in hyperpolymath/standards (the script stages; it never commits or pushes). The repository's active branch rulesets were read before the rename — no rule here names the old prefixed context, so the published name and every requirement stay in agreement.

…tia`

The check a reusable-caller job publishes is `<caller job id> / <inner job
display name>`. The estate's canonical required context is
`hypatia / Hypatia Neurosymbolic Analysis`, so the caller job must be named
`hypatia`. This wrapper named it `scan` and so published
`scan / Hypatia Neurosymbolic Analysis` — two names for one gate, and any
requirement written against one is unsatisfiable in a repository that
publishes the other (the defect class of hyperpolymath/tropical-types#17).

Rename only: the job body, its pin, inputs and secrets are byte-for-byte
unchanged. Audit-first, requirement-aware sweep —
hyperpolymath/standards scripts/propagate-hypatia-caller-id.sh.
@coderabbitai

coderabbitai Bot commented Sep 20, 2026 •

Copy link
Copy Markdown

Review Change StackReview Change Stack

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info
⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: 6cf3f41a-c04c-4eae-abe8-c85d3e9b3154

📥 Commits

Reviewing files that changed from the base of the PR and between dc692c5 and fbd4407.

📒 Files selected for processing (1)
  • .github/workflows/hypatia-scan.yml

Included review availability: Your plan provides up to 1 included review per hour; 0 remain after this review.

📜 Recent review details
⏰ Context from checks skipped due to timeout. (32)
  • GitHub Check: governance / Trusted-base reduction policy
  • GitHub Check: scan / shell-secrets
  • GitHub Check: scan / rust-secrets
  • GitHub Check: analyze / analyze
  • GitHub Check: governance / Licence consistency
  • GitHub Check: governance / Debt ratchet
  • GitHub Check: governance / Workflow security linter
  • GitHub Check: governance / Well-Known (RFC 9116 + RSR)
  • GitHub Check: governance / Actions lockfile verify
  • GitHub Check: scan / gitleaks
  • GitHub Check: governance / Guix packaging policy (Nix retired)
  • GitHub Check: governance / Exemption ratchet
  • GitHub Check: governance / Live Actions policy (credentialed advisory)
  • GitHub Check: governance / Allowlist Preflight
  • GitHub Check: governance / Code quality + docs
  • GitHub Check: governance / Security policy checks
  • GitHub Check: hypatia / Hypatia Neurosymbolic Analysis
  • GitHub Check: governance / Check Workflow Staleness
  • GitHub Check: governance / Language / package anti-pattern policy
  • GitHub Check: rust-ci / Detect Cargo.toml
  • GitHub Check: lint-workflows
  • GitHub Check: Patch Bridge CVE triage
  • GitHub Check: panic-attack assail
  • GitHub Check: E2E — Unit, P2P and End-to-End
  • GitHub Check: Validate K9 contracts
  • GitHub Check: Validate A2ML manifests
  • GitHub Check: Validate eclexiaiser manifest
  • GitHub Check: Hypatia neurosymbolic scan
  • GitHub Check: Proof protocol contracts
  • GitHub Check: Groove manifest check
  • GitHub Check: openssf-compliance
  • GitHub Check: Empty-linter (invisible characters)
⚠️ CI failures not shown inline (2)

GitHub Actions: Workflow Security Linter / 0_lint-workflows.txt: ci(hypatia): standardise the wrapper caller id to the canonical `hypa…

Conclusion: failure

View job details

##[group]Run errors=0
 �[36;1merrors=0�[0m
 �[36;1mfor f in .github/workflows/*.yml .github/workflows/*.yaml; do�[0m
 �[36;1m  [ -f "$f" ] || continue�[0m
 �[36;1m  if ! head -1 "$f" | grep -q "SPDX-License-Identifier"; then�[0m
 �[36;1m    echo "ERROR: $f missing SPDX header"�[0m
 �[36;1m    errors=$((errors + 1))�[0m
 �[36;1m  fi�[0m
 �[36;1mdone�[0m
 �[36;1mexit $errors�[0m
 shell: /usr/bin/bash -e {0}
 ##[endgroup]
 ERROR: .github/workflows/boj-build.yml missing SPDX header
 ERROR: .github/workflows/cargo-audit.yml missing SPDX header
 ERROR: .github/workflows/casket-pages.yml missing SPDX header
 ERROR: .github/workflows/cflite_batch.yml missing SPDX header
 ERROR: .github/workflows/cflite_pr.yml missing SPDX header
 ERROR: .github/workflows/codeql.yml missing SPDX header
 ERROR: .github/workflows/container.yml missing SPDX header
 ERROR: .github/workflows/db-checks.yml missing SPDX header
 ERROR: .github/workflows/dependabot-automerge.yml missing SPDX header
 ERROR: .github/workflows/docs.yml missing SPDX header
 ERROR: .github/workflows/dogfood-gate.yml missing SPDX header
 ERROR: .github/workflows/e2e.yml missing SPDX header
 ERROR: .github/workflows/echidna-fuzz.yml missing SPDX header
 ERROR: .github/workflows/echidnabot.yml missing SPDX header
 ERROR: .github/workflows/governance.yml missing SPDX header
 ERROR: .github/workflows/hypatia-scan.yml missing SPDX header
 ERROR: .github/workflows/label-triage.yml missing SPDX header
 ERROR: .github/workflows/labels.yml missing SPDX header
 ERROR: .github/workflows/mirror.yml missing SPDX header
 ERROR: .github/workflows/openssf-compliance.yml missing SPDX header
 ERROR: .github/workflows/proof-safety.yml missing SPDX header
 ERROR: .github/workflows/publish.yml missing SPDX header
 ERROR: .github/workflows/release.yml missing SPDX header
 ERROR: .github/workflows/rhodibot.yml missing SPDX header
 ERROR: .github/workflows/rust-ci.yml missing SPDX header
 ERROR: .github/workflows/scorecard.yml missing SPDX hea...

GitHub Actions: Workflow Security Linter / lint-workflows: ci(hypatia): standardise the wrapper caller id to the canonical `hypa…

Conclusion: failure

View job details

##[group]Run errors=0
 �[36;1merrors=0�[0m
 �[36;1mfor f in .github/workflows/*.yml .github/workflows/*.yaml; do�[0m
 �[36;1m  [ -f "$f" ] || continue�[0m
 �[36;1m  if ! head -1 "$f" | grep -q "SPDX-License-Identifier"; then�[0m
 �[36;1m    echo "ERROR: $f missing SPDX header"�[0m
 �[36;1m    errors=$((errors + 1))�[0m
 �[36;1m  fi�[0m
 �[36;1mdone�[0m
 �[36;1mexit $errors�[0m
 shell: /usr/bin/bash -e {0}
 ##[endgroup]
 ERROR: .github/workflows/boj-build.yml missing SPDX header
 ERROR: .github/workflows/cargo-audit.yml missing SPDX header
 ERROR: .github/workflows/casket-pages.yml missing SPDX header
 ERROR: .github/workflows/cflite_batch.yml missing SPDX header
 ERROR: .github/workflows/cflite_pr.yml missing SPDX header
 ERROR: .github/workflows/codeql.yml missing SPDX header
 ERROR: .github/workflows/container.yml missing SPDX header
 ERROR: .github/workflows/db-checks.yml missing SPDX header
 ERROR: .github/workflows/dependabot-automerge.yml missing SPDX header
 ERROR: .github/workflows/docs.yml missing SPDX header
 ERROR: .github/workflows/dogfood-gate.yml missing SPDX header
 ERROR: .github/workflows/e2e.yml missing SPDX header
 ERROR: .github/workflows/echidna-fuzz.yml missing SPDX header
 ERROR: .github/workflows/echidnabot.yml missing SPDX header
 ERROR: .github/workflows/governance.yml missing SPDX header
 ERROR: .github/workflows/hypatia-scan.yml missing SPDX header
 ERROR: .github/workflows/label-triage.yml missing SPDX header
 ERROR: .github/workflows/labels.yml missing SPDX header
 ERROR: .github/workflows/mirror.yml missing SPDX header
 ERROR: .github/workflows/openssf-compliance.yml missing SPDX header
 ERROR: .github/workflows/proof-safety.yml missing SPDX header
 ERROR: .github/workflows/publish.yml missing SPDX header
 ERROR: .github/workflows/release.yml missing SPDX header
 ERROR: .github/workflows/rhodibot.yml missing SPDX header
 ERROR: .github/workflows/rust-ci.yml missing SPDX header
 ERROR: .github/workflows/scorecard.yml missing SPDX hea...
🧰 Additional context used
🪛 GitHub Actions: Workflow Security Linter / 0_lint-workflows.txt
.github/workflows/hypatia-scan.yml

[error] 1-1: Workflow is missing an SPDX-License-Identifier header.

🪛 GitHub Actions: Workflow Security Linter / lint-workflows
.github/workflows/hypatia-scan.yml

[error] 1-1: Workflow is missing the required SPDX-License-Identifier header.

🔇 Additional comments (1)
.github/workflows/hypatia-scan.yml (1)

20-20: LGTM!


📝 Summary

Summary by CodeRabbit

  • Chores
    • Updated the internal name of the Hypatia Security Scan workflow job.

Walkthrough

The Hypatia Security Scan workflow job is renamed from scan to hypatia. The reusable workflow reference and all other job settings remain unchanged.

Changes

Hypatia workflow

Layer / File(s) Summary
Rename Hypatia scan job
.github/workflows/hypatia-scan.yml
The job identifier changes from scan to hypatia. The reusable workflow reference remains unchanged.

Priority: ⬇️ Low

Estimated code review effort: 1 (Trivial) | ~2 minutes

Change: Bug fix

🚥 Pre-merge checks | ✅ 5
✅ Passed checks (5 passed)
Check name Status Explanation
Title check ✅ Passed The title clearly describes the main change: renaming the Hypatia wrapper caller job to the canonical hypatia identifier.
Description check ✅ Passed The description directly explains the job rename, the published check context, and the unchanged job configuration.
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check ✅ Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check ✅ Passed Check skipped because no linked issues were found for this pull request.
✨ Finishing Touches 💡 1
🛠️ Fix failing CI checks 💡
  • Commit to this branch
  • Create a new PR

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

A rabbit checks the scan by night
The Hypatia name now fits just right
The workflow path stays the same
Only the job receives a new name
Soft paws approve the tidy change

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

@hyperpolymath
hyperpolymath merged commit 2000f1a into main Sep 20, 2026
32 of 37 checks passed
@hyperpolymath
hyperpolymath deleted the fix/hypatia-caller-id branch September 20, 2026 23:25
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant