.github/workflows/mirror.yml

Workflow runs for .github/workflows/mirror.yml

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

  skipped:
  .github/workflows/mirror.yml#130:Commit91eb25bpushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 130

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

  skipped:
  .github/workflows/mirror.yml#129:Commit9eda513pushedbyhyperpolymath
  main

  Apr 17, 20267s
  More actions for workflow run 129

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

  skipped:
  .github/workflows/mirror.yml#128:Commit317a0e9pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 128

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

  skipped:
  .github/workflows/mirror.yml#127:Commit72e96a7pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 127

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

  skipped:
  .github/workflows/mirror.yml#126:Commit017fc69pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 126

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

  skipped:
  .github/workflows/mirror.yml#125:Commit6f18cafpushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 125

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

  skipped:
  .github/workflows/mirror.yml#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:
  .github/workflows/mirror.yml#123:Commita80f290pushedbyhyperpolymath
  main

  Apr 17, 20261s
  More actions for workflow run 123

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

  skipped:
  .github/workflows/mirror.yml#122:Commit58a9e0dpushedbyhyperpolymath
  main

  Apr 16, 20262s
  More actions for workflow run 122

• chore: M5 CI/Workflow Sweep - final synchronisation

  skipped:
  .github/workflows/mirror.yml#121:Commit1982b3dpushedbyhyperpolymath
  main

  Apr 16, 20261s
  More actions for workflow run 121

• feat: add browser extension support

  skipped:
  .github/workflows/mirror.yml#120:Commitccd4027pushedbyhyperpolymath
  main

  Apr 15, 20261s
  More actions for workflow run 120

• docs: add browser extension guidance

  skipped:
  .github/workflows/mirror.yml#119:Commitd5de63apushedbyhyperpolymath
  main

  Apr 15, 20261s
  More actions for workflow run 119

• chore: M5 CI/Workflow Sweep - add blockers and contractile.just

  skipped:
  .github/workflows/mirror.yml#118:Commitaba2abfpushedbyhyperpolymath
  main

  Apr 15, 20261s
  More actions for workflow run 118

• chore: gitignore Chapel binary

  skipped:
  .github/workflows/mirror.yml#117:Commite1c9f74pushedbyhyperpolymath
  main

  Apr 12, 20268s
  More actions for workflow run 117

• docs(explainme): improve completeness per README-EXPLAINME-STANDARD

  skipped:
  .github/workflows/mirror.yml#116:Commite0e2396pushedbyhyperpolymath
  main

  Apr 12, 20261s
  More actions for workflow run 116

• feat(chapel): compile mass-panic under Chapel 2.8.0 and wire diff sub…

  skipped:
  .github/workflows/mirror.yml#115:Commit4acf70cpushedbyhyperpolymath
  main

  Apr 12, 20261s
  More actions for workflow run 115

• paper(patch-bridge): qualify proof and evaluation claims for publication

  skipped:
  .github/workflows/mirror.yml#114:Commit5c5916apushedbyhyperpolymath
  main

  Apr 12, 20261s
  More actions for workflow run 114

• chore(state): session-close 2026-04-12 — log entry added

  skipped:
  .github/workflows/mirror.yml#113:Commit75eee84pushedbyhyperpolymath
  main

  Apr 12, 20262s
  More actions for workflow run 113

• chore(state): advance version to v2.5.0, mark completions + delta rep…

  skipped:
  .github/workflows/mirror.yml#112:Commit4624e53pushedbyhyperpolymath
  main

  Apr 12, 20261s
  More actions for workflow run 112

• docs: update CLAUDE.md with completed JWT bypass and Coq extraction d…

  skipped:
  .github/workflows/mirror.yml#111:Commit7b3042fpushedbyhyperpolymath
  main

  Apr 12, 20261s
  More actions for workflow run 111

• feat(v2.5.0): crypto_misuse JWT sig bypass + proof_drift Coq extracti…

  skipped:
  .github/workflows/mirror.yml#110:Commit1723745pushedbyhyperpolymath
  main

  Apr 12, 20261s
  More actions for workflow run 110

• feat(storage): wire VeriSimDB HTTP push via direct verisim-api

  skipped:
  .github/workflows/mirror.yml#109:Commit728688apushedbyhyperpolymath
  main

  Apr 12, 20261s
  More actions for workflow run 109

• chore(v2.5.0): update doc counts 23→25, STATE.a2ml v2.3.0, complete m…

  skipped:
  .github/workflows/mirror.yml#108:Commit82f2e6bpushedbyhyperpolymath
  main

  Apr 12, 20261s
  More actions for workflow run 108

• feat(v2.5.0): input_boundary (PA024) + mutation gap (PA025)

  skipped:
  .github/workflows/mirror.yml#107:Commitab89123pushedbyhyperpolymath
  main

  Apr 12, 20261s
  More actions for workflow run 107

• feat(v2.5.0): crypto_misuse category — PA022

  skipped:
  .github/workflows/mirror.yml#106:Commiteb949d8pushedbyhyperpolymath
  main

  Apr 12, 20261s
  More actions for workflow run 106