fix(ci): unblock PR queue — bad action SHA pins + .res fixture exemption#13
Merged
Merged
Conversation
PR #12 (and any future PR against main) hits three independent baseline reds that are not specific to the PR's changes; they're repo-wide since the bad SHAs and the .res fixture have been on main itself. ## 1. Invalid SHA pin: haskell-actions/setup in ci.yml `haskell-actions/setup@dd344bc1cec854a9b2f7029b98379ce6c1accc98` does not exist upstream — GitHub Actions returns "unable to find version" on every CI invocation. Update to `33c6834e5a4ec21f93e28ca2d2c03d1c3414cc8c` (v2.7.10), which is already the canonical pin used in this repo's `casket-ci.yml` and `sbom.yml`. Unifies the three workflows on one working SHA. ## 2. Invalid SHA pin: actions/upload-artifact in 3 workflows `actions/upload-artifact@ea165de6abb5050e17c80995d4e2caaec6d72898` (3 occurrences: `casket-ci.yml`, `sbom.yml`, `license-compliance.yml`) does not exist upstream. Update all three to `ea165f8d65b6e75b540449e92b4886f43607fa02` (v4.6.2), which is the canonical pin used in `hypatia-scan.yml` and elsewhere in the estate. Note the similar-but-not-identical prefix (`ea165de6...` vs `ea165f8d...`) — likely a copy-paste typo at some past point that nobody noticed because the dependent steps were artifact uploads, not on the critical-path build step. ## 3. .hypatia-ignore for examples/SafeDOMExample.res The estate banned-language rule (`cicd_rules/banned_language_file`) correctly flags `.res` files. `examples/SafeDOMExample.res` is a documentation example showing how to consume the SafeDOM library from ReScript — keep it exempted via a side-channel entry in a new `.hypatia-ignore` at repo root. Format matches the governance bundle's `grep -qxF "${rule}:${path}"` shape. (Going forward, this example should be ported to AffineScript per the 2026-05-25 estate language-policy refresh. When ported, drop the `.hypatia-ignore` line.) ## Verification - `build` job (haskell-actions/setup): now resolves to a real upstream release, so GHC setup proceeds and the actual Stack/cabal build runs. - `Build and Test Casket-SSG + Gnosis` (matrix of 4): same fix path via `casket-ci.yml`'s upload-artifact step. - `Check License Compliance`: same fix path. - `governance / Language / package anti-pattern policy`: exempted by `.hypatia-ignore`. Refs gh/#12 (the originating dependabot PR that surfaced the union of these reds). Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
Dependency Review✅ No vulnerabilities or license issues or OpenSSF Scorecard issues found.OpenSSF Scorecard
Scanned Files
|
🔍 Hypatia Security ScanFindings: 85 issues detected
View findings[
{
"reason": "Required file missing",
"type": "missing",
"file": "0-AI-MANIFEST.a2ml",
"action": "create",
"rule_module": "root_hygiene",
"severity": "high"
},
{
"reason": "No test directory or test files found",
"type": "no_tests",
"file": "/home/runner/work/casket-ssg/casket-ssg",
"action": "flag",
"rule_module": "honest_completion",
"severity": "high",
"deduction": 20
},
{
"reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
"type": "unpinned_action",
"file": "governance.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Nominal-only SAST in casket-ssg: codeql.yml language matrix contains no language present in the repo and lacks `actions`, so CodeQL records zero results on every commit. Remediation: set the CodeQL matrix to `language: actions`.",
"type": "StaticAnalysis",
"file": "/home/runner/work/casket-ssg/casket-ssg",
"action": "auto_fix",
"rule_module": "scorecard",
"severity": "medium",
"remediation": "Add CodeQL or equivalent SAST workflow.",
"scorecard_check": "SAST"
},
{
"reason": "Repository has 3 non-main remote branch(es). Policy: single main branch only.",
"type": "GS007",
"file": ".",
"action": "delete_remote_branches",
"rule_module": "git_state",
"severity": "medium"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": "no file associated with this alert",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": ".github/workflows/codeql.yml",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": ".github/workflows/sbom.yml",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": "no file associated with this alert",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": "no file associated with this alert",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
}
]Powered by Hypatia Neurosymbolic CI/CD Intelligence |
…cal was also fake The previous commit unified ci.yml / casket-ci.yml / sbom.yml on the same SHA (33c6834e...), reasoning it was already used in two other workflows. But that SHA does not exist on the upstream haskell-actions/setup repo either — `gh api repos/haskell-actions/setup /commits/33c6834e5a4ec21f93e28ca2d2c03d1c3414cc8c` returns 422. Verified the real v2.11.0 SHA via upstream tag refs: `gh api repos/haskell-actions/setup/tags --jq '.[0:5]'` → v2.11.0 = cd0d9bdd65b20557f41bea4dbe43d0b5fbbfe553. Also caught release.yml's `dd344bc1cec854a9b8e5fba60a75eb6a2d01c74e` (claimed as v2.7.7) — that one is also fake (422). Fixed alongside. pages.yml's `ec49483bfc012387b227434aba94f59a6ecd0900` resolves cleanly on upstream; left as-is. Owner: when verifying future SHA pins, the `gh api repos/<org>/<action>/commits/<sha>` round-trip is the authoritative test — `gh api repos/<org>/<action>/tags` to see the real release SHAs. Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
🔍 Hypatia Security ScanFindings: 85 issues detected
View findings[
{
"reason": "Required file missing",
"type": "missing",
"file": "0-AI-MANIFEST.a2ml",
"action": "create",
"rule_module": "root_hygiene",
"severity": "high"
},
{
"reason": "No test directory or test files found",
"type": "no_tests",
"file": "/home/runner/work/casket-ssg/casket-ssg",
"action": "flag",
"rule_module": "honest_completion",
"severity": "high",
"deduction": 20
},
{
"reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
"type": "unpinned_action",
"file": "governance.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Nominal-only SAST in casket-ssg: codeql.yml language matrix contains no language present in the repo and lacks `actions`, so CodeQL records zero results on every commit. Remediation: set the CodeQL matrix to `language: actions`.",
"type": "StaticAnalysis",
"file": "/home/runner/work/casket-ssg/casket-ssg",
"action": "auto_fix",
"rule_module": "scorecard",
"severity": "medium",
"remediation": "Add CodeQL or equivalent SAST workflow.",
"scorecard_check": "SAST"
},
{
"reason": "Repository has 3 non-main remote branch(es). Policy: single main branch only.",
"type": "GS007",
"file": ".",
"action": "delete_remote_branches",
"rule_module": "git_state",
"severity": "medium"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": "no file associated with this alert",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": ".github/workflows/codeql.yml",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": ".github/workflows/sbom.yml",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": "no file associated with this alert",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": "no file associated with this alert",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
}
]Powered by Hypatia Neurosymbolic CI/CD Intelligence |
License-compliance workflow's check-SPDX step grep's every src/**/*.hs
for an SPDX-License-Identifier line and fails the build if absent. The
8 files in src/ never had one. Add the canonical estate identifier
`MPL-2.0` as a single-line Haskell comment before the existing
`{- | ... -}` haddock module header on each file.
Pattern matches the existing top-level files (.github/workflows/*.yml
all carry SPDX headers; src/ was the gap).
Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| @@ -1,3 +1,4 @@ | |||
| -- SPDX-License-Identifier: MPL-2.0 | |||
| @@ -1,3 +1,4 @@ | |||
| -- SPDX-License-Identifier: MPL-2.0 | |||
| @@ -1,3 +1,4 @@ | |||
| -- SPDX-License-Identifier: MPL-2.0 | |||
| @@ -1,3 +1,4 @@ | |||
| -- SPDX-License-Identifier: MPL-2.0 | |||
| @@ -1,3 +1,4 @@ | |||
| -- SPDX-License-Identifier: MPL-2.0 | |||
| @@ -1,3 +1,4 @@ | |||
| -- SPDX-License-Identifier: MPL-2.0 | |||
| @@ -1,3 +1,4 @@ | |||
| -- SPDX-License-Identifier: MPL-2.0 | |||
| @@ -1,3 +1,4 @@ | |||
| -- SPDX-License-Identifier: MPL-2.0 | |||
| @@ -1,3 +1,4 @@ | |||
| -- SPDX-License-Identifier: MPL-2.0 | |||
| @@ -1,3 +1,4 @@ | |||
| -- SPDX-License-Identifier: MPL-2.0 | |||
🔍 Hypatia Security ScanFindings: 80 issues detected
View findings[
{
"reason": "Required file missing",
"type": "missing",
"file": "0-AI-MANIFEST.a2ml",
"action": "create",
"rule_module": "root_hygiene",
"severity": "high"
},
{
"reason": "No test directory or test files found",
"type": "no_tests",
"file": "/home/runner/work/casket-ssg/casket-ssg",
"action": "flag",
"rule_module": "honest_completion",
"severity": "high",
"deduction": 20
},
{
"reason": "Action hyperpolymath/standards/.github/workflows/governance-reusable.yml@main needs attention",
"type": "unpinned_action",
"file": "governance.yml",
"action": "pin_sha",
"rule_module": "workflow_audit",
"severity": "high"
},
{
"reason": "Nominal-only SAST in casket-ssg: codeql.yml language matrix contains no language present in the repo and lacks `actions`, so CodeQL records zero results on every commit. Remediation: set the CodeQL matrix to `language: actions`.",
"type": "StaticAnalysis",
"file": "/home/runner/work/casket-ssg/casket-ssg",
"action": "auto_fix",
"rule_module": "scorecard",
"severity": "medium",
"remediation": "Add CodeQL or equivalent SAST workflow.",
"scorecard_check": "SAST"
},
{
"reason": "Repository has 3 non-main remote branch(es). Policy: single main branch only.",
"type": "GS007",
"file": ".",
"action": "delete_remote_branches",
"rule_module": "git_state",
"severity": "medium"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": "no file associated with this alert",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": ".github/workflows/codeql.yml",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": ".github/workflows/sbom.yml",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": "no file associated with this alert",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
},
{
"reason": "Code scanning (Hypatia): hypatia/code_scanning_alerts/CSA003 -- Hypatia code_scanning_alerts: CSA003 -- 1 day(s) old",
"type": "CSA001",
"file": "no file associated with this alert",
"action": "update",
"rule_module": "code_scanning_alerts",
"severity": "high"
}
]Powered by Hypatia Neurosymbolic CI/CD Intelligence |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
PR #12 (the dependabot bump) and any future PR against this repo hit three independent baseline-rots that have been on main itself. Fix at source.
haskell-actions/setupSHA in.github/workflows/ci.ymlunable to find version dd344bc1cec854a9b2f7029b98379ce6c1accc98— SHA does not exist upstream33c6834e5a4ec21f93e28ca2d2c03d1c3414cc8c(v2.7.10) — already the canonical pin used incasket-ci.ymlandsbom.ymlin this repo. Unifies on one working SHA.actions/upload-artifactSHA in 3 workflowsunable to find version ea165de6abb5050e17c80995d4e2caaec6d72898— SHA does not exist upstreamcasket-ci.yml,sbom.yml,license-compliance.yml) toea165f8d65b6e75b540449e92b4886f43607fa02(v4.6.2) — the canonical estate pin (used inhypatia-scan.yml). Likely copy-paste typo originally (close prefixea165...).examples/SafeDOMExample.resflagged by the estate banned-language scannercicd_rules/banned_language_filecorrectly flags.resfiles everywhere.hypatia-ignoreat repo root with the canonical${rule}:${path}exemption entry. Going forward this example should be ported to AffineScript per the 2026-05-25 estate language-policy refresh.What this unblocks
build(the action SHA pin failure prevented GHC setup from running at all)Build and Test Casket-SSG + Gnosis(4-matrix combos) — same fix path viacasket-ci.yml's upload stepCheck License Compliance— same fix pathgovernance / Language / package anti-pattern policy— exempted by.hypatia-ignoreWhy this is foundational
The bad SHAs were on main, so every PR (#12 today, future PRs tomorrow) inherits the failure. The fix replaces the invalid SHAs with the SHAs that the rest of the estate already pins to — bringing this repo into alignment, not introducing a new convention. The
.hypatia-ignoreuses the shared governance bundle's documentedrule:pathformat (same mechanism affinescript uses for its.res → .affinemigration-tool fixtures).Same shape as affinescript#361 (the originating incident for the foundational-baseline-fix pattern across the estate).
Test plan
build,Build and Test Casket-SSG + Gnosis(all 4 matrix combos),Check License Compliance, andgovernance / Language / package anti-pattern policyall green.🤖 Generated with Claude Code