Mirror to Git Forges

Workflow runs for Mirror to Git Forges

• feat(assail/rocq): classify scaffold parameters as non-postulates

  skipped:
  Mirror to Git Forges#146:Commit6d6822apushedbyhyperpolymath
  main

  Apr 18, 20261s
  More actions for workflow run 146

• fix(analyzer): clear 4 -Wunused-variable warnings + latent bug

  skipped:
  Mirror to Git Forges#145:Commit9288e17pushedbyhyperpolymath
  main

  Apr 17, 20262s
  More actions for workflow run 145

• fix(assail): TODO-in-string-literal FP closed (Task #23)

  skipped:
  Mirror to Git Forges#144:Commitb8d177dpushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 144

• test(corpus): 12-case UnboundedAllocation regression corpus (Task #25)

  skipped:
  Mirror to Git Forges#143:Commit8b12fecpushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 143

• bench(assail): per-file UnboundedAllocation detector (Task #25)

  skipped:
  Mirror to Git Forges#142:Commit9126b98pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 142

• feat(assail): word-boundary detector for UnboundedAllocation (Task #25)

  skipped:
  Mirror to Git Forges#141:Commite199ef3pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 141

• fix(bounds): .take(LIMIT) on config/report/analyzer reads (batch 2/2)

  skipped:
  Mirror to Git Forges#140:Commit804a25dpushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 140

• fix(bounds): .take(LIMIT) on external-input reads (batch 1/N)

  skipped:
  Mirror to Git Forges#139:Commit6941ef7pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 139

• fix(assail): close CryptoMisuse self-reference FP (use code_only not …

  skipped:
  Mirror to Git Forges#138:Commit4c1c128pushedbyhyperpolymath
  main

  Apr 17, 20266s
  More actions for workflow run 138

• refactor: VQL -> VCL rename to match estate-wide convention

  skipped:
  Mirror to Git Forges#137:Commit24b91b4pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 137

• fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken)

  skipped:
  Mirror to Git Forges#136:Commit0abfd40pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 136

• fix(bench): repair scan_bench for drifted types (stale since ~v2.5.0)

  skipped:
  Mirror to Git Forges#135:Commita63544bpushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 135

• feat(chapel): implement --scheduler=queue (resumable work-pull)

  skipped:
  Mirror to Git Forges#134:Commit6ffc1d7pushedbyhyperpolymath
  main

  Apr 17, 20262s
  More actions for workflow run 134

• ci: wire hypatia-scan.yml to query own Dependabot alerts

  skipped:
  Mirror to Git Forges#133:Commit44bf52epushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 133

• feat(chapel): --scheduler flag with dual-direction startup banner

  skipped:
  Mirror to Git Forges#132:Commitd49a209pushedbyhyperpolymath
  main

  Apr 17, 20262s
  More actions for workflow run 132

• feat(assail): broaden #[cfg(test)] mod strip; recognise .take() as re…

  skipped:
  Mirror to Git Forges#131:Commit30132b6pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 131

• chore: estate-wide chore + stale-path sweep (2026-04-17)

  skipped:
  Mirror to Git Forges#130:Commit91eb25bpushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 130

• feat(assail): strip #[cfg(test)] mod bodies before Rust keyword scan

  skipped:
  Mirror to Git Forges#129:Commit9eda513pushedbyhyperpolymath
  main

  Apr 17, 20267s
  More actions for workflow run 129

• fix(assail): tighten UnboundedAllocation Rust heuristic (72→6 on 007)

  skipped:
  Mirror to Git Forges#128:Commit317a0e9pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 128

• feat(assail): JIT-aware classification for mem::transmute (Rust)

  skipped:
  Mirror to Git Forges#127:Commit72e96a7pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 127

• test(analyze_rust): add missing browser_extension field to test fixture

  skipped:
  Mirror to Git Forges#126:Commit017fc69pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 126

• fix(assail): strip comments before counting unsafe/FFI patterns

  skipped:
  Mirror to Git Forges#125:Commit6f18cafpushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 125

• chore: scrub personal gmail from docs/configs (estate-wide sweep)

  skipped:
  Mirror to Git Forges#124:Commita22367dpushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 124

• chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback

  skipped:
  Mirror to Git Forges#123:Commita80f290pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 123

• chore(deps): bump clap_complete in the rust-minor group (#18)

  skipped:
  Mirror to Git Forges#122:Commit58a9e0dpushedbyhyperpolymath
  main

  Apr 16, 20262s
  More actions for workflow run 122