proof(ordinal): ordinal exponentiation ω^^ + first ε-number ε₀ (BH climb rung 1) #423
hyperpolymathgovernance.yml
on: pull_request
governance
/
Validate Hypatia baseline
6s
governance
/
...
/
package anti-pattern policy
12s
governance
/
...
/
Nix fallback policy
5s
governance
/
Security policy checks
4s
governance
/
Code quality + docs
17s
governance
/
Well-Known (RFC 9116 + RSR)
4s
governance
/
Workflow security linter
6s
governance
/
Trusted-base reduction policy
6s
governance
/
Licence consistency
7s
Annotations
3 warnings and 2 notices
|
governance / Well-Known (RFC 9116 + RSR)
Missing RSR recommended files: security.txt ai.txt humans.txt
|
|
governance / Well-Known (RFC 9116 + RSR)
No security.txt found.
|
|
governance / Code quality + docs
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: editorconfig-checker/action-editorconfig-checker@4b6cd6190d435e7e084fb35e36a096e98506f7b9. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
|
governance / Validate Hypatia baseline
No .hypatia-baseline.json — language-policy gate will treat every banned-language file as new.
|
|
governance / Language / package anti-pattern policy
affinescript compiler unavailable on runner — skipping drift check
|