ABI Layer 2: prove the map-fusion law on length-indexed vectors — flagship Idris2 proof #67
hyperpolymathgovernance.yml
on: pull_request
governance
/
Check Workflow Staleness
9s
governance
/
...
/
package anti-pattern policy
12s
governance
/
...
/
Nix fallback policy
5s
governance
/
Security policy checks
5s
governance
/
Code quality + docs
12s
governance
/
Well-Known (RFC 9116 + RSR)
6s
governance
/
Workflow security linter
3s
governance
/
Trusted-base reduction policy
6s
governance
/
Licence consistency
6s
governance
/
Validate Hypatia Baseline
0s
Annotations
4 notices
|
governance / Check Workflow Staleness:
./.github/workflows/scorecard.yml#L0
scorecard-reusable.yml pin d7c22711e830 is 5 commit(s) / 0d 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) / 0d 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) / 0d 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
|