Repository navigation
docs(clade): uuid follows the GitHub path; qualify the prefixed-name case #1613
Triggered via pull request
November 10, 2026 23:48
hyperpolymath
Status
Success
Total duration
38m 34s
Artifacts
–
governance.yml
on: pull_request
governance
/
Check Workflow Staleness
11s
governance
/
UUID v7 conformance
10s
governance
/
UUID v8 conformance
9s
governance
/
Allowlist Preflight
12s
governance
/
Live Actions policy (credentialed advisory)
7s
governance
/
...
/
package anti-pattern policy
7s
governance
/
Guix packaging policy (Nix retired)
6s
governance
/
Security policy checks
5s
governance
/
Code quality + docs
7s
governance
/
Well-Known (RFC 9116 + RSR)
6s
governance
/
Workflow security linter
15s
governance
/
Actions lockfile verify
9s
governance
/
Trusted-base reduction policy
6s
governance
/
Licence consistency
6s
governance
/
Exemption ratchet
11s
governance
/
Debt ratchet
9s
governance
/
JS runtimes — environment provisions Bun first
13s
Matrix: governance / js-runtimes
governance
/
Validate Hypatia Baseline
40s
Annotations
8 warnings and 31 notices
|
trusted-base (extended): idris-hole:
bots/echidnabot/src/abi/Layout.idr#L178
offsetInBounds layout f = ?offsetInBoundsProof
|
|
trusted-base (extended): idris-hole:
bots/echidnabot/src/abi/Layout.idr#L161
exampleLayoutValid = CABIOk exampleLayout ?exampleFieldsAligned
|
|
trusted-base (extended): idris-hole:
bots/echidnabot/src/abi/Layout.idr#L140
Right (CABIOk layout ?fieldsAlignedProof)
|
|
governance / Code quality + docs
Files larger than 1M found (informational only):
|
|
governance / Code quality + docs
TODO/FIXME/HACK/XXX markers found (informational only):
|
|
governance / Code quality + docs
Executable .sh files found (informational only):
|
|
governance / Well-Known (RFC 9116 + RSR)
Missing RSR recommended files: ai.txt humans.txt
|
|
governance / Exemption ratchet
74 baseline entr(y|ies) carry no expires_at — an undated acknowledgement is a decision nobody revisits
|
|
governance / Security policy checks
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Licence consistency
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / UUID v7 conformance
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Live Actions policy (credentialed advisory)
Live Actions policy was not evaluated: HYPATIA_SCAN_PAT was not supplied by the caller. The separate tree allowlist gate still ran.
|
|
governance / Live Actions policy (credentialed advisory)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / JS runtimes — pnpm
No package.json: 0 JavaScript manifests, nothing for the pnpm leg to check.
|
|
governance / JS runtimes — pnpm
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Workflow security linter
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
js-runtimes
built from .standards-js/tools/js-runtimes
|
|
governance / JS runtimes — environment provisions Bun first
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
Debt ratchet
gate scripts taken from the pinned standards checkout
|
|
governance / Debt ratchet
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Actions lockfile verify
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / UUID v8 conformance
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Language / package anti-pattern policy
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / JS runtimes — bun
No package.json: 0 JavaScript manifests, nothing for the bun leg to check.
|
|
governance / JS runtimes — bun
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / JS runtimes — deno
No package.json: 0 JavaScript manifests, nothing for the deno leg to check.
|
|
governance / JS runtimes — deno
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Check Workflow Staleness:
./.github/workflows/scorecard.yml#L0
scorecard-reusable.yml pin 75bd59944706 is 107 commit(s) / 22d behind standards HEAD — outside the recency window (>50 commits AND >14d). Advisory only: no known defect is attached to this pin. Refresh toward ea2f4d8a8865 with scripts/propagate-workflow-pins.sh.
|
|
governance / Check Workflow Staleness:
./.github/workflows/hypatia-scan.yml#L0
hypatia-scan-reusable.yml pin 75bd59944706 is 107 commit(s) / 22d behind standards HEAD — outside the recency window (>50 commits AND >14d). Advisory only: no known defect is attached to this pin. Refresh toward ea2f4d8a8865 with scripts/propagate-workflow-pins.sh.
|
|
governance / Check Workflow Staleness
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Allowlist Preflight
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Trusted-base reduction policy
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Code quality + docs
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Well-Known (RFC 9116 + RSR)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Guix packaging policy (Nix retired)
Guix is the estate primary; a sealed container is the accepted escape hatch for the not-in-Guix / non-free tail.
|
|
governance / Guix packaging policy (Nix retired)
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Exemption ratchet
4 baseline entr(y|ies) expire within 60 days
|
|
governance / Exemption ratchet
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|
|
governance / Validate Hypatia Baseline
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|