Repository navigation
chore(deps): bump hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml from 8c2f1989a23521974f9f673bf73a6f39d68f3a4e to 6933654592debdf0ed9157843a3771c252a63574 in the actions group - #312
dependabot[bot] wants to merge 1 commit into
Conversation
…nd-report.yml Bumps the actions group with 1 update: [hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml](https://github.com/hyperpolymath/panic-attack). Updates `hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml` from 8c2f1989a23521974f9f673bf73a6f39d68f3a4e to 6933654592debdf0ed9157843a3771c252a63574 - [Release notes](https://github.com/hyperpolymath/panic-attack/releases) - [Changelog](https://github.com/hyperpolymath/panic-attack/blob/main/CHANGELOG.adoc) - [Commits](hyperpolymath/panic-attack@8c2f198...6933654) --- updated-dependencies: - dependency-name: hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml dependency-version: 6933654592debdf0ed9157843a3771c252a63574 dependency-type: direct:production dependency-group: actions ... Signed-off-by: dependabot[bot] <support@github.com>
|
Important Review skippedBot user detected. To trigger a single review, invoke the ⚙️ Run configuration
You can disable this status message by setting the Use the checkbox below for a quick retry:
Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out. Comment |
|
Superseded by #319, which pins |
…ic deep-recon, proven-tests evidence, K9/DEED, KYAML + I-JSON/JCS (#319) ## What and why A foundational repair of this repo's CI/CD, driven by a deep recon of every workflow, the estate's own tooling, and the live check board. The load-bearing findings: 1. **Three pinned `hyperpolymath/standards` commits no longer exist** (`8f31a5a…`, `cc58c0c…`, `8750b94…` → GitHub API 422). Governance, Hypatia and Scorecard have been `startup_failure` with zero jobs. All standards callers now pin **one** vetted commit (`8e48b1c…`, 2026-10-24); panic-attack is pinned in lockstep (`b553083…`) across `security-scan` + `bridge-gate` + the new deep-recon lane. **This supersedes #312** (same reusable, newer commit, lock included). 2. `actions.lock` regenerated and verified against all three lock-sync clauses (locked under each workflow's path / no orphans / transitively closed) — 32 workflows, 29 dependency records. 3. **rust-ci coverage could never pass**: `taiki-e/install-action` had no `tool:`, then ran `cargo llvm-cov`. Fixed. Fuzz lane was `\|\| true` + `continue-on-error` (could not fail) — now a real compile gate; ClusterFuzzLite keeps execution. 4. **security-scan passed regardless of findings** for its whole life (reusable default `none`). Now `fail_on_severity: critical`; PR-time assail + pons live in the new deep-recon lane at the same threshold, ratchet-to-high sequenced (R-1 in `docs/CI-CD.adoc`). ## New lanes - **CI Meta** — zizmor (84 → **0** findings under the recorded `.zizmor.yml` ref-pin policy: pinning here is the lockfile's job), actionlint, **cicd-squabbler `squabble chains`** via the attested composite action (cycles/dead upstreams block), **KYAML** (D280: report-only scan + blocking converted list). - **Deep Recon** — **pons-asinorum** (`--fail-on error`, SARIF → code scanning) + **panic-attack assail** (critical gates), both built at pinned commits, PR + weekly. - **proven-tests (Idris2)** — the full testing framework treatment: `verification/test-registry.json` tiers **all 91** test/bench/fuzz/proof files (actually-proven 9 Coq · provisionally-proven 21 · unproven 61) and `scripts/ci/test-evidence.sh` fails on any registry↔tree drift or proof-less top-tier claim; new `verification/proven-tests/` Idris2 package (octad/drift/provenance model invariants) runs against proven-tests-and-benches at a pin. rust-ci also gains `test-evidence` + in-diff `pr-mutants`; `nightly.yml` adds full mutants + cargo-hack feature powerset; `bench.yml` actually executes criterion + benchee weekly. - **K9 + DEED conformance** — standards reusables, `require-files: true`; ships the missing repo deed `verisimdb_chora.deed`. - **ijson-jcs** — the estate tool (RFC 7493/8785), report-only + blocking converted list; `labels.json`, `label-classifier.json`, `test-registry.json` canonicalised. `.github/FUNDING.yml` is canonical KYAML. ## Hardening (whole estate surface) `persist-credentials: false` on every checkout; no `${{ }}` inside `run:` (env-only); `read-all` permissions gone; `secrets: inherit` replaced with explicit passing in mirror + secret-scanner (standards#1108 §6b — the new secret-scanner reusable needs only `contents: read`, which also **resolves #318's CodeRabbit finding** on that file); Scorecard grants `actions: read` on the calling job as its reusable requires; bridge-gate builds panic-attack at a pin with `--locked` instead of upstream-of-the-day; elixir-ci's 4 copy-pasted change detectors → one shared script; dependabot grouped/lock-aware + fuzz workspaces; `.coderabbit.yaml` added (reviews previously ran with *no repository configuration applied*, per #318). ## Scope discipline No production code changed; **no gate weakened anywhere** (squabble ≠ bypass). Pre-existing product reds on main (cargo audit/deny/clippy advisories, elixir coverage 58.4%) belong to **#318**, which already fixes the Tokio/Tantivy side; this PR does not hide them. Expected check delta vs main: everything this PR's lanes own goes green; #318's reds stay identically red until it lands — merge order (either way) + rebase notes are in `docs/UPSTREAM-PROMPTS.adoc` (P-318), alongside copy-paste prompts for standards, cicd-squabbler, proven-tests, pons, panic-attack, ijson-jcs, kyq/KYAML and hypatia for the upstream changes this overhaul surfaced. ## Owner actions after merge Recorded as ratchets R-1…R-7 in `docs/CI-CD.adoc`, notably: add the new lane contexts to the branch ruleset once each has 5 green main runs (YAML cannot do this itself), and confirm the Actions posture `allowed_actions=all` + `sha_pinning_required=true` (kept). Commits here are unsigned (sandbox), so if Require-Signed-Commits blocks, squash-merge via the web UI or re-sign locally. ## Validation (local, pre-push) All 32 workflows YAML-parse; zizmor clean; lock-sync 3-clause port PASS; `test-evidence.sh` PASS (91/91); `reuse lint` compliant (835 files); shellcheck clean; doc-consonance/doc-links (+positive control)/modality-contract/assail-classifications gates PASS; A2ML/deed validation PASS. No Rust/Elixir/Idris toolchain exists in the authoring sandbox — first execution of the compiled lanes is this PR's CI, which is the point of the exercise. <!-- This is an auto-generated comment: release notes by coderabbit.ai --> <!-- coderabbit-ai-generated:v1 --> ## Summary by CodeRabbit * **New Features** * Added scheduled benchmark runs and expanded automated checks for security, formatting, conformance, mutation testing and test evidence. * Added provisional verification coverage for modality, drift and provenance behaviour. * **Improvements** * CI applies stricter checks for critical security findings and more consistent validation across supported components. * Dependency updates are checked weekly, with separate monthly checks for fuzzing components. * **Documentation** * Added guides covering CI/CD workflows, test evidence levels and benchmark practices. <!-- end of auto-generated comment: release notes by coderabbit.ai --> --------- Co-authored-by: arena-agent <297053741+arena-agent@users.noreply.github.com>
|
Looks like hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml is updatable in another way, so this is no longer needed. |
Bumps the actions group with 1 update: hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml.
Updates
hyperpolymath/panic-attack/.github/workflows/scan-and-report.ymlfrom 8c2f1989a23521974f9f673bf73a6f39d68f3a4e to 6933654592debdf0ed9157843a3771c252a63574Changelog
Sourced from hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml's changelog.
... (truncated)
Commits
6933654chore(profiles): convert the example profiles to KYAML and I-JSON/JCS (#236)e1c9a2bfeat(json): write JSON report artefacts as I-JSON/JCS (#237)2d118b0feat(yaml): accept the .kyaml extension in every YAML loader (#235)323a2cfUnify PA rule IDs into one canonical table (#232)97a5b35fix(deps): replace serde_yaml with safe-Rust serde-saphyr (#234)8955f61ci: give dtolnay/rust-toolchain a valid toolchain input (#219)b1c349ffix: flatten stacked readiness, audit, and K9 fixes (#233)5c5dddbfix(ci): pin scan-and-report's rust-toolchain to current v1 and repair action...Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore <dependency name> major versionwill close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)@dependabot ignore <dependency name> minor versionwill close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)@dependabot ignore <dependency name>will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)@dependabot unignore <dependency name>will remove all of the ignore conditions of the specified dependency@dependabot unignore <dependency name> <ignore condition>will remove the ignore condition of the specified dependency and ignore conditions