Skip to content

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

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: 4ce5524b-e3d7-4028-bd2f-0993506730ba

📥 Commits

Reviewing files that changed from the base of the PR and between 6234362 and b8c8314.

📒 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. (20)
  • GitHub Check: scan / gitleaks
  • GitHub Check: scan / shell-secrets
  • GitHub Check: governance / Licence consistency
  • GitHub Check: governance / Language / package anti-pattern policy
  • GitHub Check: governance / Trusted-base reduction policy
  • GitHub Check: governance / Check Workflow Staleness
  • GitHub Check: governance / Guix primary / Nix fallback policy
  • GitHub Check: governance / Well-Known (RFC 9116 + RSR)
  • GitHub Check: governance / Workflow security linter
  • GitHub Check: scan / rust-secrets
  • GitHub Check: governance / Security policy checks
  • GitHub Check: governance / Code quality + docs
  • GitHub Check: hypatia / Hypatia Neurosymbolic Analysis
  • GitHub Check: analyze (actions, none)
  • GitHub Check: test (1.10)
  • GitHub Check: Validate K9 contracts
  • GitHub Check: test (1.11)
  • GitHub Check: Groove manifest check
  • GitHub Check: Validate A2ML manifests
  • GitHub Check: Empty-linter (invisible characters)
⚠️ CI failures not shown inline (4)

GitHub Actions: CI / 0_test (1.11).txt: ci(hypatia): standardise the wrapper caller id to the canonical `hypa…

Conclusion: failure

View job details

##[group]Run julia --project=. -e 'using Pkg; Pkg.develop(PackageSpec(url="https://github.com/hyperpolymath/AcceleratorGate.jl.git", rev="680205c9c167d1d9ab0bb5a6034852f3d8e06149")); Pkg.instantiate()'
 �[36;1mjulia --project=. -e 'using Pkg; Pkg.develop(PackageSpec(url="https://github.com/hyperpolymath/AcceleratorGate.jl.git", rev="680205c9c167d1d9ab0bb5a6034852f3d8e06149")); Pkg.instantiate()'�[0m
 shell: /usr/bin/bash -e {0}
 ##[endgroup]
   Installing known registries into `~/.julia`
        Added `General` registry to ~/.julia/registries
 ERROR: rev argument not supported by `develop`; consider using `add` instead
 Stacktrace:
  [1] pkgerror(msg::String)
    @ Pkg.Types /opt/hostedtoolcache/julia/1.11.9/x64/share/julia/stdlib/v1.11/Pkg/src/Types.jl:68
  [2] develop(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.PackageSpec}; shared::Bool, preserve::Pkg.Types.PreserveLevel, platform::Base.BinaryPlatforms.Platform, kwargs::`@Kwargs`{io::IOContext{IO}})
    @ Pkg.API /opt/hostedtoolcache/julia/1.11.9/x64/share/julia/stdlib/v1.11/Pkg/src/API.jl:230
  [3] develop(pkgs::Vector{Pkg.Types.PackageSpec}; io::IOContext{IO}, kwargs::`@Kwargs`{})
    @ Pkg.API /opt/hostedtoolcache/julia/1.11.9/x64/share/julia/stdlib/v1.11/Pkg/src/API.jl:159
  [4] develop(pkgs::Vector{Pkg.Types.PackageSpec})
    @ Pkg.API /opt/hostedtoolcache/julia/1.11.9/x64/share/julia/stdlib/v1.11/Pkg/src/API.jl:148
  [5] develop(pkg::Pkg.Types.PackageSpec)
    @ Pkg.API /opt/hostedtoolcache/julia/1.11.9/x64/share/julia/stdlib/v1.11/Pkg/src/API.jl:146
  [6] top-level scope
    @ none:1
 ##[error]The operation was canceled.

GitHub Actions: CI / test (1.11): ci(hypatia): standardise the wrapper caller id to the canonical `hypa…

Conclusion: failure

View job details

##[group]Run julia --project=. -e 'using Pkg; Pkg.develop(PackageSpec(url="https://github.com/hyperpolymath/AcceleratorGate.jl.git", rev="680205c9c167d1d9ab0bb5a6034852f3d8e06149")); Pkg.instantiate()'
 �[36;1mjulia --project=. -e 'using Pkg; Pkg.develop(PackageSpec(url="https://github.com/hyperpolymath/AcceleratorGate.jl.git", rev="680205c9c167d1d9ab0bb5a6034852f3d8e06149")); Pkg.instantiate()'�[0m
 shell: /usr/bin/bash -e {0}
 ##[endgroup]
   Installing known registries into `~/.julia`
        Added `General` registry to ~/.julia/registries
 ERROR: rev argument not supported by `develop`; consider using `add` instead
 Stacktrace:
  [1] pkgerror(msg::String)
    @ Pkg.Types /opt/hostedtoolcache/julia/1.11.9/x64/share/julia/stdlib/v1.11/Pkg/src/Types.jl:68
  [2] develop(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.PackageSpec}; shared::Bool, preserve::Pkg.Types.PreserveLevel, platform::Base.BinaryPlatforms.Platform, kwargs::`@Kwargs`{io::IOContext{IO}})
    @ Pkg.API /opt/hostedtoolcache/julia/1.11.9/x64/share/julia/stdlib/v1.11/Pkg/src/API.jl:230
  [3] develop(pkgs::Vector{Pkg.Types.PackageSpec}; io::IOContext{IO}, kwargs::`@Kwargs`{})
    @ Pkg.API /opt/hostedtoolcache/julia/1.11.9/x64/share/julia/stdlib/v1.11/Pkg/src/API.jl:159
  [4] develop(pkgs::Vector{Pkg.Types.PackageSpec})
    @ Pkg.API /opt/hostedtoolcache/julia/1.11.9/x64/share/julia/stdlib/v1.11/Pkg/src/API.jl:148
  [5] develop(pkg::Pkg.Types.PackageSpec)
    @ Pkg.API /opt/hostedtoolcache/julia/1.11.9/x64/share/julia/stdlib/v1.11/Pkg/src/API.jl:146
  [6] top-level scope
    @ none:1
 ##[error]The operation was canceled.

GitHub Actions: CI / 1_test (1.10).txt: ci(hypatia): standardise the wrapper caller id to the canonical `hypa…

Conclusion: failure

View job details

##[group]Run julia --project=. -e 'using Pkg; Pkg.develop(PackageSpec(url="https://github.com/hyperpolymath/AcceleratorGate.jl.git", rev="680205c9c167d1d9ab0bb5a6034852f3d8e06149")); Pkg.instantiate()'
 �[36;1mjulia --project=. -e 'using Pkg; Pkg.develop(PackageSpec(url="https://github.com/hyperpolymath/AcceleratorGate.jl.git", rev="680205c9c167d1d9ab0bb5a6034852f3d8e06149")); Pkg.instantiate()'�[0m
 shell: /usr/bin/bash -e {0}
 ##[endgroup]
   Installing known registries into `~/.julia`
        Added `General` registry to ~/.julia/registries
 ERROR: rev argument not supported by `develop`; consider using `add` instead
 Stacktrace:
  [1] pkgerror(msg::String)
    @ Pkg.Types /opt/hostedtoolcache/julia/1.10.12/x64/share/julia/stdlib/v1.10/Pkg/src/Types.jl:70
  [2] develop(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.PackageSpec}; shared::Bool, preserve::Pkg.Types.PreserveLevel, platform::Base.BinaryPlatforms.Platform, kwargs::`@Kwargs`{io::Base.PipeEndpoint})
    @ Pkg.API /opt/hostedtoolcache/julia/1.10.12/x64/share/julia/stdlib/v1.10/Pkg/src/API.jl:199
  [3] develop(pkgs::Vector{Pkg.Types.PackageSpec}; io::Base.PipeEndpoint, kwargs::`@Kwargs`{})
    @ Pkg.API /opt/hostedtoolcache/julia/1.10.12/x64/share/julia/stdlib/v1.10/Pkg/src/API.jl:159
  [4] develop(pkgs::Vector{Pkg.Types.PackageSpec})
    @ Pkg.API /opt/hostedtoolcache/julia/1.10.12/x64/share/julia/stdlib/v1.10/Pkg/src/API.jl:148
  [5] develop(pkg::Pkg.Types.PackageSpec)
    @ Pkg.API /opt/hostedtoolcache/julia/1.10.12/x64/share/julia/stdlib/v1.10/Pkg/src/API.jl:146
  [6] top-level scope
    @ none:1
 ##[error]Process completed with exit code 1.

GitHub Actions: CI / test (1.10): ci(hypatia): standardise the wrapper caller id to the canonical `hypa…

Conclusion: failure

View job details

##[group]Run julia --project=. -e 'using Pkg; Pkg.develop(PackageSpec(url="https://github.com/hyperpolymath/AcceleratorGate.jl.git", rev="680205c9c167d1d9ab0bb5a6034852f3d8e06149")); Pkg.instantiate()'
 �[36;1mjulia --project=. -e 'using Pkg; Pkg.develop(PackageSpec(url="https://github.com/hyperpolymath/AcceleratorGate.jl.git", rev="680205c9c167d1d9ab0bb5a6034852f3d8e06149")); Pkg.instantiate()'�[0m
 shell: /usr/bin/bash -e {0}
 ##[endgroup]
   Installing known registries into `~/.julia`
        Added `General` registry to ~/.julia/registries
 ERROR: rev argument not supported by `develop`; consider using `add` instead
 Stacktrace:
  [1] pkgerror(msg::String)
    @ Pkg.Types /opt/hostedtoolcache/julia/1.10.12/x64/share/julia/stdlib/v1.10/Pkg/src/Types.jl:70
  [2] develop(ctx::Pkg.Types.Context, pkgs::Vector{Pkg.Types.PackageSpec}; shared::Bool, preserve::Pkg.Types.PreserveLevel, platform::Base.BinaryPlatforms.Platform, kwargs::`@Kwargs`{io::Base.PipeEndpoint})
    @ Pkg.API /opt/hostedtoolcache/julia/1.10.12/x64/share/julia/stdlib/v1.10/Pkg/src/API.jl:199
  [3] develop(pkgs::Vector{Pkg.Types.PackageSpec}; io::Base.PipeEndpoint, kwargs::`@Kwargs`{})
    @ Pkg.API /opt/hostedtoolcache/julia/1.10.12/x64/share/julia/stdlib/v1.10/Pkg/src/API.jl:159
  [4] develop(pkgs::Vector{Pkg.Types.PackageSpec})
    @ Pkg.API /opt/hostedtoolcache/julia/1.10.12/x64/share/julia/stdlib/v1.10/Pkg/src/API.jl:148
  [5] develop(pkg::Pkg.Types.PackageSpec)
    @ Pkg.API /opt/hostedtoolcache/julia/1.10.12/x64/share/julia/stdlib/v1.10/Pkg/src/API.jl:146
  [6] top-level scope
    @ none:1
 ##[error]Process completed with exit code 1.
🔇 Additional comments (1)
.github/workflows/hypatia-scan.yml (1)

18-18: LGTM!


📝 Summary

Summary by CodeRabbit

  • Chores
    • Updated the internal security scanning workflow job identifier; scanning behaviour and configuration remain unchanged.

Walkthrough

The workflow job identifier changes from scan to hypatia. Triggers, permissions, reusable workflow settings, and other configuration remain unchanged.

Changes

Hypatia workflow

Layer / File(s) Summary
Rename the workflow job
.github/workflows/hypatia-scan.yml
The job identifier changes from scan to hypatia. The existing workflow configuration 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 states that the Hypatia caller job ID is standardised to the canonical hypatia value. It matches the main change.
Description check ✅ Passed The description accurately explains the context-name mismatch, the rename, and the unchanged workflow configuration. It directly relates to the changeset.
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 hops past the workflow gate
The hypatia job now bears its name
The settings stay still
The triggers hold fast
One small change completes the task

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

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