Skip to content

chore(deps): bump hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml from 8c2f1989a23521974f9f673bf73a6f39d68f3a4e to 6933654592debdf0ed9157843a3771c252a63574 in the actions group - #312

Closed
dependabot[bot] wants to merge 1 commit into
mainfrom
dependabot/github_actions/actions-6abb5b05f5
Closed

dependabot[bot] wants to merge 1 commit into
mainfrom
dependabot/github_actions/actions-6abb5b05f5

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Oct 20, 2026 •

Copy link
Copy Markdown
Contributor

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.yml from 8c2f1989a23521974f9f673bf73a6f39d68f3a4e to 6933654592debdf0ed9157843a3771c252a63574

Changelog

Sourced from hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml's changelog.

== Changelog

=== [Unreleased]

==== Added — .kyaml input (estate YAML policy D280/D307)

  • Attack profiles, ambush timelines, amuck specs, +diff+ reports and a2ml bundles now accept the +.kyaml+ extension alongside +.yaml+ and +.yml+. KYAML is a strict subset of YAML, so the same parser reads it. The extension list lives in one place, +crate::yaml::EXTENSIONS+.
  • +assemblyline+ fingerprints +.kyaml+ files, so editing one triggers a rescan.
  • The example attack profiles are in estate formats: +profiles/attack-profile.example.kyaml+ (KYAML, renamed from +.yaml+) and +profiles/attack-profile.example.json+ (I-JSON/JCS). A test keeps the two in agreement.

==== Fixed — YAML parser replaced with safe Rust (RUSTSEC-2024-0449)

  • +serde_yaml+ → +serde-saphyr+ 2.0. +serde_yaml+ 0.9 is deprecated and pulled in +unsafe-libyaml+, an archived c2rust translation of libyaml flagged unmaintained by RUSTSEC-2024-0449. +serde-saphyr+ is +#![forbid(unsafe_code)]+. All YAML now goes through +src/yaml.rs+: hand-written configs (attack profiles, timelines, amuck specs) keep the parser's default resource budget; machine-written reports get a node/event budget scaled to input length, so large-scan reports still load while alias expansion stays bounded.
  • MSRV raised from 1.85.0 to 1.89. No maintained safe-Rust serde YAML crate builds on 1.85 (serde-saphyr needs 1.89, noyalib 1.86+), and the committed lockfile already required 1.88.
  • YAML output is equivalent but not byte-identical. Quoting switches from +'…'+ to +"…"+ and multi-line strings use +|+ blocks. Reports written by earlier versions still load. A bare +~+/+null+ in a string field is now rejected (YAML 1.2 null); quote it.

==== Fixed — assail detector precision (false-positive reduction, 2026-06-24)

Three +assail+ analyzer fixes, all conservative (no new false negatives), found while triaging hyperpolymath/proven#68 and JoshuaJewell/paint-type#86:

  • UncheckedAllocation (C) is now NULL-check aware. The detector previously flagged every +malloc(...)+ and emitted a line-less, file-level finding. It now scans per line, skips a malloc whose result is NULL-checked within a short window (+if (p == NULL)+, +if (!p)+, +nullptr+), and attaches a line number — which also lets an inline +// panic-attack: accepted+ marker suppress a reviewed site (marker suppression is line-gated). A genuinely-unchecked malloc still fires. This is why a real null-check fix (proven +stubs.c+) previously failed

... (truncated)

Commits
  • 6933654 chore(profiles): convert the example profiles to KYAML and I-JSON/JCS (#236)
  • e1c9a2b feat(json): write JSON report artefacts as I-JSON/JCS (#237)
  • 2d118b0 feat(yaml): accept the .kyaml extension in every YAML loader (#235)
  • 323a2cf Unify PA rule IDs into one canonical table (#232)
  • 97a5b35 fix(deps): replace serde_yaml with safe-Rust serde-saphyr (#234)
  • 8955f61 ci: give dtolnay/rust-toolchain a valid toolchain input (#219)
  • b1c349f fix: flatten stacked readiness, audit, and K9 fixes (#233)
  • 5c5dddb fix(ci): pin scan-and-report's rust-toolchain to current v1 and repair action...
  • See full diff in compare view

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 rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore <dependency name> major version will 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 version will 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

…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>
@dependabot dependabot Bot added dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code labels Oct 20, 2026
@coderabbitai

coderabbitai Bot commented Oct 20, 2026

Copy link
Copy Markdown
Contributor

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration
  • Configuration used: Organization UI
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: 5ac135e5-3af4-42ab-9471-f487b8cd81af

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • 🔍 Trigger review
  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

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.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

Copy link
Copy Markdown
Owner

Superseded by #319, which pins hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml to b5530834a839734d1d181bfe6edb0d43d4233cf4 (newer than the 6933654… proposed here), in lockstep with the same tool's pin in bridge-gate.yml and the new deep-recon.yml, and regenerates actions.lock transitively (including the nested Swatinem/rust-cache@v2.9.3 record a bare YAML bump cannot produce — that desync class is what silences CI estate-wide). Safe to close once #319 lands; if #319 stalls, this PR still needs a manual gh actions-lock regeneration before merge.

hyperpolymath added a commit that referenced this pull request Oct 25, 2026
…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>
@dependabot @github

dependabot Bot commented on behalf of github Oct 25, 2026

Copy link
Copy Markdown
Contributor Author

Looks like hyperpolymath/panic-attack/.github/workflows/scan-and-report.yml is updatable in another way, so this is no longer needed.

@dependabot dependabot Bot closed this Oct 25, 2026
@dependabot
dependabot Bot deleted the dependabot/github_actions/actions-6abb5b05f5 branch October 25, 2026 20:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant