docs(status): CI/CD remediation plan (cleanup backlog)#74
Merged
Conversation
Captures the empirical findings of the 2026-07-17 CI/CD audit + real-check
run so they survive independent of any chat context: the two structural
facts (no required status checks; CI reimplements checks inline instead of
calling the Justfile contractiles), the hidden defects the vacuous CI was
masking (Idris2 ABI + Zig FFI never compiled — hyphenated {{PROJECT_NAME}}
in identifier position; stated AGPL licence contradicts shipped MPL; STATE
path drift; template residue), and the remediation split
(pushable-now / needs-workflow-scope / needs-decision / needs-admin /
needs-upstream stop-and-chat).
This is the working backlog for the cleanup campaign, not a set of fixes.
Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
hyperpolymath
marked this pull request as ready for review
July 17, 2026 22:10
|
hyperpolymath
enabled auto-merge (squash)
July 17, 2026 22:12
hyperpolymath
disabled auto-merge
July 17, 2026 22:26
30 tasks
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
1 participant
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.
What
Adds
docs/status/CICD-REMEDIATION.adoc— the durable working backlog for the foundational CI/CD cleanup, so the audit's empirical findings live in the repo rather than only in an agent session.Why it matters
The findings came from actually running the tools (idris2 0.7.0, zig 0.16.0, the Justfile recipes), and several are serious and previously invisible:
{{PROJECT_NAME}}template substitution landed in module-name/identifier position. The "formal proofs" are therefore unverified.LICENSE, all 85 SPDX headers, andLICENSES/are MPL-2.0, with zero AGPL text anywhere.mainhas no required status checks — every workflow is advisory; nothing red blocks a merge.build/test/lint/ci) is vacuous# TODOstubs, and the repo's real checks aren't wired to CI at all.Not a fix
This PR is documentation only — the tracking artifact. The fixes are bucketed inside it (pushable-now / needs-workflow-scope / needs-decision / needs-admin / needs-upstream stop-and-chat). Passes the repo's own docs-render + AsciiDoc-dialect gates.
🤖 Generated with Claude Code