Skip to content

docs: enumerate exploratory truncation postulates in docs/proof-debt.md #289

docs: enumerate exploratory truncation postulates in docs/proof-debt.md

docs: enumerate exploratory truncation postulates in docs/proof-debt.md #289

Triggered via pull request May 30, 2026 15:21
Status Failure
Total duration 14m 19s
Artifacts

governance.yml

on: pull_request
governance  /  Validate Hypatia baseline
44s
governance / Validate Hypatia baseline
governance  /  ...  /  package anti-pattern policy
34s
governance / Language / package anti-pattern policy
governance  /  ...  /  Nix fallback policy
41s
governance / Guix primary / Nix fallback policy
governance  /  Security policy checks
39s
governance / Security policy checks
governance  /  Code quality + docs
32s
governance / Code quality + docs
governance  /  Well-Known (RFC 9116 + RSR)
3s
governance / Well-Known (RFC 9116 + RSR)
governance  /  Workflow security linter
3s
governance / Workflow security linter
governance  /  Trusted-base reduction policy
24s
governance / Trusted-base reduction policy
governance  /  Licence consistency
35s
governance / Licence consistency
Fit to window
Zoom out
Zoom in

Annotations

28 errors and 2 warnings
governance / Guix primary / Nix fallback policy
The process '/usr/bin/git' failed with exit code 128
governance / Guix primary / Nix fallback policy
couldn't find remote ref refs/pull/172/merge
governance / Guix primary / Nix fallback policy
couldn't find remote ref refs/pull/172/merge
governance / Guix primary / Nix fallback policy
couldn't find remote ref refs/pull/172/merge
governance / Language / package anti-pattern policy
The process '/usr/bin/git' failed with exit code 128
governance / Language / package anti-pattern policy
couldn't find remote ref refs/pull/172/merge
governance / Language / package anti-pattern policy
couldn't find remote ref refs/pull/172/merge
governance / Language / package anti-pattern policy
couldn't find remote ref refs/pull/172/merge
governance / Licence consistency
The process '/usr/bin/git' failed with exit code 128
governance / Licence consistency
couldn't find remote ref refs/pull/172/merge
governance / Licence consistency
couldn't find remote ref refs/pull/172/merge
governance / Licence consistency
couldn't find remote ref refs/pull/172/merge
governance / Validate Hypatia baseline
The process '/usr/bin/git' failed with exit code 128
governance / Validate Hypatia baseline
couldn't find remote ref refs/pull/172/merge
governance / Validate Hypatia baseline
couldn't find remote ref refs/pull/172/merge
governance / Validate Hypatia baseline
couldn't find remote ref refs/pull/172/merge
governance / Trusted-base reduction policy
The process '/usr/bin/git' failed with exit code 128
governance / Trusted-base reduction policy
couldn't find remote ref refs/pull/172/merge
governance / Trusted-base reduction policy
couldn't find remote ref refs/pull/172/merge
governance / Trusted-base reduction policy
couldn't find remote ref refs/pull/172/merge
governance / Code quality + docs
The process '/usr/bin/git' failed with exit code 128
governance / Code quality + docs
couldn't find remote ref refs/pull/172/merge
governance / Code quality + docs
couldn't find remote ref refs/pull/172/merge
governance / Code quality + docs
couldn't find remote ref refs/pull/172/merge
governance / Security policy checks
The process '/usr/bin/git' failed with exit code 128
governance / Security policy checks
couldn't find remote ref refs/pull/172/merge
governance / Security policy checks
couldn't find remote ref refs/pull/172/merge
governance / Security policy checks
couldn't find remote ref refs/pull/172/merge
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.