CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• fix(rhodibot): automated RSR compliance fixes (#2)

  failed:
  CodeQL Security Analysis#25:Commitbb7207dpushedbyhyperpolymath
  main

  Apr 16, 20262m 45s
  More actions for workflow run 25

• fix(rhodibot): automated RSR compliance fixes

  failed:
  CodeQL Security Analysis#24:Pull request#2openedbyhyperpolymath
  rhodibot/rsr-compliance-20260406

  Apr 16, 20261m 28s
  More actions for workflow run 24

• chore: M5 CI/Workflow Sweep - final synchronisation

  failed:
  CodeQL Security Analysis#23:Commitb0109dbpushedbyhyperpolymath
  main

  Apr 16, 202637m 57s
  More actions for workflow run 23

• Merge remote-tracking branch 'origin/main'

  failed:
  CodeQL Security Analysis#22:Commit884b9cfpushedbyhyperpolymath
  main

  Apr 16, 202620m 16s
  More actions for workflow run 22

• Merge pull request #1 from hyperpolymath/dependabot/cargo/cargo-2cb95…

  failed:
  CodeQL Security Analysis#21:Commit154b4e3pushedbyhyperpolymath
  main

  Apr 15, 20261m 34s
  More actions for workflow run 21

• chore(deps): bump rand from 0.9.2 to 0.9.4 in the cargo group across 1 directory

  failed:
  CodeQL Security Analysis#20:Pull request#1openedbydependabot[bot]Bot
  dependabot/cargo/cargo-2cb957d483

  Apr 14, 202635s
  More actions for workflow run 20

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#19:Scheduled
  main

  Apr 13, 202634s
  More actions for workflow run 19

• chore(.machine_readable): convert 6a2 checkpoint files from Scheme to…

  failed:
  CodeQL Security Analysis#18:Commit80b9809pushedbyhyperpolymath
  main

  Apr 11, 20261h 47m 50s
  More actions for workflow run 18

• chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred

  failed:
  CodeQL Security Analysis#17:Commitb30e1b6pushedbyhyperpolymath
  main

  Apr 11, 20261h 9m 48s
  More actions for workflow run 17

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#16:Scheduled
  main

  Apr 6, 202638s
  More actions for workflow run 16

• feat(crg): add crg-grade and crg-badge justfile recipes

  failed:
  CodeQL Security Analysis#15:Commit7628a7cpushedbyhyperpolymath
  main

  Apr 4, 20266h 4m 6s
  More actions for workflow run 15

• chore: add eclexiaiser-validate job to dogfood gate

  failed:
  CodeQL Security Analysis#14:Commitccb40d4pushedbyhyperpolymath
  main

  Apr 4, 20264h 36m 18s
  More actions for workflow run 14

• chore: add eclexiaiser.toml energy-cost manifest

  failed:
  CodeQL Security Analysis#13:Commit618da95pushedbyhyperpolymath
  main

  Apr 4, 20262h 56m 19s
  More actions for workflow run 13

• chore: add generated Cargo.lock

  failed:
  CodeQL Security Analysis#12:Commitb89438epushedbyhyperpolymath
  main

  Apr 4, 20262h 30m 9s
  More actions for workflow run 12

• chore: add k9iser.toml (Batch 2A)

  failed:
  CodeQL Security Analysis#11:Commit2e2a59apushedbyhyperpolymath
  main

  Apr 4, 20262h 50m 48s
  More actions for workflow run 11

• fix: add missing src/lib.rs and runtime dependencies

  failed:
  CodeQL Security Analysis#10:Commit42b6bdepushedbyhyperpolymath
  main

  Apr 4, 20262h 20m 2s
  More actions for workflow run 10

• ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks

  failed:
  CodeQL Security Analysis#9:Commite310bd8pushedbyhyperpolymath
  main

  Apr 4, 20261h 39m 56s
  More actions for workflow run 9

• docs: substantive CRG C annotation (EXPLAINME.adoc)

  failed:
  CodeQL Security Analysis#8:Commit3fe66d7pushedbyhyperpolymath
  main

  Apr 4, 202631m 25s
  More actions for workflow run 8

• Snapshot local work before sync

  failed:
  CodeQL Security Analysis#7:Commitf592247pushedbyhyperpolymath
  main

  Apr 2, 20267m 1s
  More actions for workflow run 7

• Refresh patch-bridge methodology guard

  failed:
  CodeQL Security Analysis#6:Commit95543a9pushedbyhyperpolymath
  main

  Mar 30, 202636s
  More actions for workflow run 6

• Remove template-only ABI files that falsely implied formal verification

  failed:
  CodeQL Security Analysis#5:Commit79672f1pushedbyhyperpolymath
  main

  Mar 30, 202617m 18s
  More actions for workflow run 5

• fix: correct 'formal soundness' claim — proofs are pending, not done

  failed:
  CodeQL Security Analysis#4:Commit3cad52bpushedbyhyperpolymath
  main

  Mar 30, 202641s
  More actions for workflow run 4

• docs: add Zenodo DOI badge (10.5281/zenodo.19329501) + proof audit

  failed:
  CodeQL Security Analysis#3:Commit9c2f073pushedbyhyperpolymath
  main

  Mar 30, 202636s
  More actions for workflow run 3

• docs: add BibTeX bibliography for Patch Bridge paper

  failed:
  CodeQL Security Analysis#2:Commita5544b2pushedbyhyperpolymath
  main

  Mar 30, 20261m 24s
  More actions for workflow run 2

• feat: extract Patch Bridge from panic-attacker into standalone repo

  failed:
  CodeQL Security Analysis#1:Commit97dd5acpushedbyhyperpolymath
  main

  Mar 30, 202639s
  More actions for workflow run 1