Skip to content

docs(contractile): spec-first bundle — audit, RFC-0001, ADR-0002 (no CLI exists; ratification requested) #159

docs(contractile): spec-first bundle — audit, RFC-0001, ADR-0002 (no CLI exists; ratification requested)

docs(contractile): spec-first bundle — audit, RFC-0001, ADR-0002 (no CLI exists; ratification requested) #159

Triggered via pull request October 4, 2026 01:22
Status Failure
Total duration 1m 39s
Artifacts 4

static-analysis-gate.yml

on: pull_request
panic-attack assail
6s
panic-attack assail
Hypatia neurosymbolic scan
36s
Hypatia neurosymbolic scan
Patch Bridge CVE triage
6s
Patch Bridge CVE triage
Deposit findings for gitbot-fleet
6s
Deposit findings for gitbot-fleet
Fit to window
Zoom out
Zoom in

Annotations

12 errors, 10 warnings, and 6 notices
Hypatia neurosymbolic scan
Process completed with exit code 1.
Hypatia neurosymbolic scan
Hypatia found 6 critical security issue(s) — blocking merge
Hypatia neurosymbolic scan: Justfile#L55
[hypatia] CI policy requires a retired descriptile path; align the check with .machine_readable/descriptiles/
Hypatia neurosymbolic scan: .github/workflows/openssf-compliance.yml#L73
[hypatia] CI policy requires a retired descriptile path; align the check with .machine_readable/descriptiles/
Hypatia neurosymbolic scan: .machine_readable/6a2/PLAYBOOK.a2ml#L1
[hypatia] Descriptile in retired location -- must be in .machine_readable/descriptiles/
Hypatia neurosymbolic scan: .machine_readable/6a2/NEUROSYM.a2ml#L1
[hypatia] Descriptile in retired location -- must be in .machine_readable/descriptiles/
Hypatia neurosymbolic scan: .machine_readable/6a2/AGENTIC.a2ml#L1
[hypatia] Descriptile in retired location -- must be in .machine_readable/descriptiles/
Hypatia neurosymbolic scan: .machine_readable/6a2/ECOSYSTEM.a2ml#L1
[hypatia] Descriptile in retired location -- must be in .machine_readable/descriptiles/
Hypatia neurosymbolic scan: .machine_readable/6a2/META.a2ml#L1
[hypatia] Descriptile in retired location -- must be in .machine_readable/descriptiles/
Hypatia neurosymbolic scan: .machine_readable/6a2/STATE.a2ml#L1
[hypatia] Descriptile in retired location -- must be in .machine_readable/descriptiles/
Hypatia neurosymbolic scan: build/setup.sh#L144
[hypatia] Download-and-execute pattern (curl|wget pipe to shell) -- verify integrity before execution (2 occurrences, CWE-494, line 144, 156)
Hypatia neurosymbolic scan: .github/workflows/instant-sync.yml#L1
[hypatia] Step uses `peter-evans/repository-dispatch` with `token: ${{ secrets.FARM_DISPATCH_TOKEN }}` but has no `if: secrets.FARM_DISPATCH_TOKEN != ''` gate. On repos where the secret hasn't been propagated the action fails on every push, red-maining the repo. Add the step-level gate (or env+if pattern) so the missing-secret path is a clean skip instead of a red.
Hypatia neurosymbolic scan: .github/workflows/dependabot-automerge.yml#L60
[hypatia] job in .github/workflows/dependabot-automerge.yml references `secrets.*` but does not install `step-security/harden-runner` — review outbound-egress monitoring
Hypatia neurosymbolic scan: .github/workflows/boj-build.yml#L28
[hypatia] job in .github/workflows/boj-build.yml references `secrets.*` but does not install `step-security/harden-runner` — review outbound-egress monitoring
Hypatia neurosymbolic scan: .github/workflows/instant-sync.yml#L23
[hypatia] job in .github/workflows/instant-sync.yml references `secrets.*` but does not install `step-security/harden-runner` — review outbound-egress monitoring
Hypatia neurosymbolic scan: .github/workflows/release.yml#L144
[hypatia] job in .github/workflows/release.yml references `secrets.*` but does not install `step-security/harden-runner` — review outbound-egress monitoring
Hypatia neurosymbolic scan: .github/workflows/push-email-notify.yml#L46
[hypatia] job in .github/workflows/push-email-notify.yml references `secrets.*` but does not install `step-security/harden-runner` — review outbound-egress monitoring
Hypatia neurosymbolic scan: .github/workflows/labels.yml#L39
[hypatia] job in .github/workflows/labels.yml references `secrets.*` but does not install `step-security/harden-runner` — review outbound-egress monitoring
Hypatia neurosymbolic scan: .github/workflows/labels.yml#L1
[hypatia] Job `sync` in labels.yml has no `timeout-minutes:` declaration. Default is 6 hours — a stuck codeload fetch or runner hang can burn budget. Add `timeout-minutes: 10` (or proportional).
Hypatia neurosymbolic scan: .github/workflows/label-triage.yml#L1
[hypatia] Job `triage` in label-triage.yml has no `timeout-minutes:` declaration. Default is 6 hours — a stuck codeload fetch or runner hang can burn budget. Add `timeout-minutes: 10` (or proportional).
Hypatia neurosymbolic scan: .github/workflows/codeql.yml#L1
[hypatia] Action `github/codeql-action/analyze@v4.38.2` in codeql.yml is not pinned to a commit SHA — `v4.38.2` is a tag, and a tag can be moved to a different commit. Pin it to a full 40-character commit SHA, with the version in a trailing comment.
Hypatia neurosymbolic scan: .github/workflows/codeql.yml#L1
[hypatia] Action `github/codeql-action/init@v4.38.2` in codeql.yml is not pinned to a commit SHA — `v4.38.2` is a tag, and a tag can be moved to a different commit. Pin it to a full 40-character commit SHA, with the version in a trailing comment.
Patch Bridge CVE triage
panic-attack binary not available — skipping Patch Bridge
Patch Bridge CVE triage
"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"
panic-attack assail
panic-attack binary not available — skipping assail
panic-attack assail
"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"
Hypatia neurosymbolic scan
"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"
Deposit findings for gitbot-fleet
"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"

Artifacts

Produced during runtime
Name Size Digest
bridge-report
218 Bytes
sha256:5e223a36a015a8c7a3a3d8644de757ea8deb1de336002b1039882bad4f3b88f0
hypatia-findings
2.84 KB
sha256:51c0ae6ebdd7054142a961ac43edc3bd2056a233e56f46e4c8c261966a0686be
panic-attack-findings
171 Bytes
sha256:95381722b7a236a591951bef8f5eec7668478cd94a118e385309f5d7ed0ed57e
unified-findings
3.09 KB
sha256:9f0f6d7a64cfec2ff3a5c9feac5178bbfdd278eae296c2fc3eb7068661e28645