Skip to content

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

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: 69e109b0-c261-4f2d-a649-d4647cd3801a

📥 Commits

Reviewing files that changed from the base of the PR and between 897fddb and e42f6a2.

📒 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. (42)
  • GitHub Check: governance / Workflow security linter
  • GitHub Check: governance / Exemption ratchet
  • GitHub Check: governance / Code quality + docs
  • GitHub Check: governance / Allowlist Preflight
  • GitHub Check: governance / Debt ratchet
  • GitHub Check: governance / Well-Known (RFC 9116 + RSR)
  • GitHub Check: governance / Check Workflow Staleness
  • GitHub Check: governance / Actions lockfile verify
  • GitHub Check: governance / Language / package anti-pattern policy
  • GitHub Check: governance / Security policy checks
  • GitHub Check: governance / Licence consistency
  • GitHub Check: governance / Trusted-base reduction policy
  • GitHub Check: governance / Guix packaging policy (Nix retired)
  • GitHub Check: governance / Live Actions policy (credentialed advisory)
  • GitHub Check: scan / rust-secrets
  • GitHub Check: scan / gitleaks
  • GitHub Check: scan / shell-secrets
  • GitHub Check: hypatia / Hypatia Neurosymbolic Analysis
  • GitHub Check: rust-ci / Detect Cargo.toml
  • GitHub Check: estate-rules
  • GitHub Check: Validate eclexiaiser manifest
  • GitHub Check: Groove manifest check
  • GitHub Check: Validate A2ML manifests
  • GitHub Check: Validate K9 contracts
  • GitHub Check: Runtime Policy
  • GitHub Check: Empty-linter (invisible characters)
  • GitHub Check: openssf-compliance
  • GitHub Check: lint-workflows
  • GitHub Check: SonarQube
  • GitHub Check: check
  • GitHub Check: analyze (actions, none)
  • GitHub Check: Build & Test core-zig
  • GitHub Check: lint
  • GitHub Check: docs
  • GitHub Check: check
  • GitHub Check: Forth Block Tests
  • GitHub Check: Zig Core Tests
  • GitHub Check: Patch Bridge CVE triage
  • GitHub Check: Lean 4 Normalizer Tests
  • GitHub Check: Forth Block Tests
  • GitHub Check: panic-attack assail
  • GitHub Check: Hypatia neurosymbolic scan
⚠️ 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 echo "=== Checking SPDX License Headers ==="
 �[36;1mecho "=== Checking SPDX License Headers ==="�[0m
 �[36;1mfailed=0�[0m
 �[36;1mfor file in .github/workflows/*.yml .github/workflows/*.yaml; do�[0m
 �[36;1m  [ -f "$file" ] || continue�[0m
 �[36;1m  if ! head -1 "$file" | grep -q "^# SPDX-License-Identifier:"; then�[0m
 �[36;1m    echo "ERROR: $file missing SPDX header"�[0m
 �[36;1m    failed=1�[0m
 �[36;1m  fi�[0m
 �[36;1mdone�[0m
 �[36;1mif [ $failed -eq 1 ]; then�[0m
 �[36;1m  echo "Add '# SPDX-License-Identifier: MPL-2.0' as first line"�[0m
 �[36;1m  exit 1�[0m
 �[36;1mfi�[0m
 �[36;1mecho "All workflows have SPDX headers"�[0m
 shell: /usr/bin/bash -e {0}
 ##[endgroup]
 === Checking SPDX License Headers ===
 ERROR: .github/workflows/boj-build.yml missing SPDX header
 ERROR: .github/workflows/ci.yml missing SPDX header
 ERROR: .github/workflows/codeql.yml missing SPDX header
 ERROR: .github/workflows/container-build.yml missing SPDX header
 ERROR: .github/workflows/dependabot-automerge.yml missing SPDX header
 ERROR: .github/workflows/dogfood-gate.yml missing SPDX header
 ERROR: .github/workflows/e2e.yml missing SPDX header
 ERROR: .github/workflows/estate-rules.yml missing SPDX header
 ERROR: .github/workflows/governance.yml missing SPDX header
 ERROR: .github/workflows/guix-policy.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/pages.yml missing SPDX header
 ERROR: .github/workflows/quality.yml missing SPDX header
 ERROR: .github/workflows/release.yml missing SPDX header
 ERROR: .github/workflows/rhodibot.yml missing SPDX header
 ERROR: .github/workflows/runtime-policy.yml missing SPDX header
 ERROR: .github/workflows/rust-ci.yml missing SP...

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 echo "=== Checking SPDX License Headers ==="
 �[36;1mecho "=== Checking SPDX License Headers ==="�[0m
 �[36;1mfailed=0�[0m
 �[36;1mfor file in .github/workflows/*.yml .github/workflows/*.yaml; do�[0m
 �[36;1m  [ -f "$file" ] || continue�[0m
 �[36;1m  if ! head -1 "$file" | grep -q "^# SPDX-License-Identifier:"; then�[0m
 �[36;1m    echo "ERROR: $file missing SPDX header"�[0m
 �[36;1m    failed=1�[0m
 �[36;1m  fi�[0m
 �[36;1mdone�[0m
 �[36;1mif [ $failed -eq 1 ]; then�[0m
 �[36;1m  echo "Add '# SPDX-License-Identifier: MPL-2.0' as first line"�[0m
 �[36;1m  exit 1�[0m
 �[36;1mfi�[0m
 �[36;1mecho "All workflows have SPDX headers"�[0m
 shell: /usr/bin/bash -e {0}
 ##[endgroup]
 === Checking SPDX License Headers ===
 ERROR: .github/workflows/boj-build.yml missing SPDX header
 ERROR: .github/workflows/ci.yml missing SPDX header
 ERROR: .github/workflows/codeql.yml missing SPDX header
 ERROR: .github/workflows/container-build.yml missing SPDX header
 ERROR: .github/workflows/dependabot-automerge.yml missing SPDX header
 ERROR: .github/workflows/dogfood-gate.yml missing SPDX header
 ERROR: .github/workflows/e2e.yml missing SPDX header
 ERROR: .github/workflows/estate-rules.yml missing SPDX header
 ERROR: .github/workflows/governance.yml missing SPDX header
 ERROR: .github/workflows/guix-policy.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/pages.yml missing SPDX header
 ERROR: .github/workflows/quality.yml missing SPDX header
 ERROR: .github/workflows/release.yml missing SPDX header
 ERROR: .github/workflows/rhodibot.yml missing SPDX header
 ERROR: .github/workflows/runtime-policy.yml missing SPDX header
 ERROR: .github/workflows/rust-ci.yml missing SP...
🧰 Additional context used
🪛 GitHub Actions: Workflow Security Linter / 0_lint-workflows.txt
.github/workflows/hypatia-scan.yml

[error] 1-1: SPDX license header missing. Add '# SPDX-License-Identifier: MPL-2.0' as the first line.

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

[error] 1-1: SPDX license header missing. Add '# SPDX-License-Identifier: MPL-2.0' as the first line.

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

32-32: LGTM!


📝 Summary

Summary by CodeRabbit

  • Chores
    • Renamed an internal workflow job; no user-visible behaviour or functionality has changed.

Walkthrough

The workflow job identifier changes from scan to hypatia. Triggers, permissions, inputs, and reusable workflow behaviour remain unchanged.

Changes

Hypatia workflow

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

Priority: ⬇️ Low

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

Change: Bug fix

🚥 Pre-merge checks | ✅ 4 | ❌ 1

❌ Failed checks (1 warning)

Check name Status Explanation Resolution
Description check ⚠️ Warning The description explains the purpose, scope, expected check-context change, and audit basis. However, it does not use the required template sections and omits the completed RSR Quality Checklist, Test… Rewrite the description using the repository template. Add Summary, Changes, RSR Quality Checklist, Testing, and Screenshots sections. Mark each checklist item as applicable or not applicable, and state the validation performed for this wor…
✅ Passed checks (4 passed)
Check name Status Explanation
Title check ✅ Passed The title clearly identifies the canonical hypatia caller ID change. It is concise and directly matches the main change.
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.
Full details: Description check

Explanation

The description explains the purpose, scope, expected check-context change, and audit basis. However, it does not use the required template sections and omits the completed RSR Quality Checklist, Testing section, and Screenshots section.

Resolution

Rewrite the description using the repository template. Add Summary, Changes, RSR Quality Checklist, Testing, and Screenshots sections. Mark each checklist item as applicable or not applicable, and state the validation performed for this workflow-only rename.

  • Fix all pre-merge checks with AI
✨ 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 workflow line
The Hypatia name now fits just fine
The triggers stay
The permissions stay
One small rename keeps the build in time

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

@hyperpolymath
hyperpolymath merged commit a026f80 into main Sep 20, 2026
36 of 46 checks passed
@hyperpolymath
hyperpolymath deleted the fix/hypatia-caller-id branch September 20, 2026 23:21
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