docs(proof-debt): self-document the CSA004 postulate discharge in the flagged module #432
hyperpolymathgovernance.yml
on: pull_request
governance
/
Validate Hypatia baseline
4s
governance
/
...
/
package anti-pattern policy
8s
governance
/
...
/
Nix fallback policy
5s
governance
/
Security policy checks
6s
governance
/
Code quality + docs
12s
governance
/
Well-Known (RFC 9116 + RSR)
5s
governance
/
Workflow security linter
4s
governance
/
Trusted-base reduction policy
9s
governance
/
Licence consistency
8s
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 / Language / package anti-pattern policy
affinescript compiler unavailable on runner — skipping drift check
|
|
governance / Validate Hypatia baseline
No .hypatia-baseline.json — language-policy gate will treat every banned-language file as new.
|