ABI Layer 2: prove cost conservation (additivity) + budget compliance — flagship Idris2 proof #56
hyperpolymathgovernance.yml
on: pull_request
governance
/
Check Workflow Staleness
5s
governance
/
...
/
package anti-pattern policy
9s
governance
/
...
/
Nix fallback policy
4s
governance
/
Security policy checks
4s
governance
/
Code quality + docs
15s
governance
/
Well-Known (RFC 9116 + RSR)
5s
governance
/
Workflow security linter
6s
governance
/
Trusted-base reduction policy
5s
governance
/
Licence consistency
6s
governance
/
Validate Hypatia Baseline
Annotations
4 notices
|
governance / Check Workflow Staleness:
./.github/workflows/scorecard.yml#L0
scorecard-reusable.yml pin d7c22711e830 is 5 commit(s) / 1d behind standards HEAD — within the recency window (<=50 commits or <=14d). Bump deliberately with scripts/propagate-workflow-pins.sh when convenient.
|
|
governance / Check Workflow Staleness:
./.github/workflows/hypatia-scan.yml#L0
hypatia-scan-reusable.yml pin d7c22711e830 is 5 commit(s) / 1d behind standards HEAD — within the recency window (<=50 commits or <=14d). Bump deliberately with scripts/propagate-workflow-pins.sh when convenient.
|
|
governance / Check Workflow Staleness:
./.github/workflows/governance.yml#L0
governance-reusable.yml pin d7c22711e830 is 5 commit(s) / 1d behind standards HEAD — within the recency window (<=50 commits or <=14d). Bump deliberately with scripts/propagate-workflow-pins.sh when convenient.
|
|
governance / Language / package anti-pattern policy
affinescript compiler unavailable on runner — skipping drift check
|