CodeQL Security Analysis

codeql.yml

907 workflow runs

fix(assail): strip comments before counting unsafe/FFI patterns
failed:
CodeQL Security Analysis#158:Commit6f18cafpushedbyhyperpolymath
main
Apr 17, 202624m 20s
chore: scrub personal gmail from docs/configs (estate-wide sweep)
failed:
CodeQL Security Analysis#157:Commita22367dpushedbyhyperpolymath
main
Apr 17, 20261h 30m 53s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback
failed:
CodeQL Security Analysis#156:Commita80f290pushedbyhyperpolymath
main
Apr 17, 20261h 14m 31s
chore(deps): bump clap_complete in the rust-minor group (#18)
failed:
CodeQL Security Analysis#155:Commit58a9e0dpushedbyhyperpolymath
main
Apr 16, 20268s
chore: M5 CI/Workflow Sweep - final synchronisation
failed:
CodeQL Security Analysis#154:Commit1982b3dpushedbyhyperpolymath
main
Apr 16, 20261h 7m 17s
feat: add browser extension support
failed:
CodeQL Security Analysis#153:Commitccd4027pushedbyhyperpolymath
main
Apr 15, 20267s
docs: add browser extension guidance
failed:
CodeQL Security Analysis#152:Commitd5de63apushedbyhyperpolymath
main
Apr 15, 202611s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just
failed:
CodeQL Security Analysis#151:Commitaba2abfpushedbyhyperpolymath
main
Apr 15, 202625m 21s
chore(deps): bump rand from 0.9.2 to 0.9.4
failed:
CodeQL Security Analysis#150:Pull request#19openedbydependabot[bot]Bot
dependabot/cargo/rand-0.9.4
Apr 14, 202617s
CodeQL Security Analysis
failed:
CodeQL Security Analysis#149:Scheduled
main
Apr 13, 20266s
chore: gitignore Chapel binary
failed:
CodeQL Security Analysis#148:Commite1c9f74pushedbyhyperpolymath
main
Apr 12, 20266m 32s
docs(explainme): improve completeness per README-EXPLAINME-STANDARD
failed:
CodeQL Security Analysis#147:Commite0e2396pushedbyhyperpolymath
main
Apr 12, 20261m 24s
feat(chapel): compile mass-panic under Chapel 2.8.0 and wire diff sub…
failed:
CodeQL Security Analysis#146:Commit4acf70cpushedbyhyperpolymath
main
Apr 12, 20261m 24s
paper(patch-bridge): qualify proof and evaluation claims for publication
failed:
CodeQL Security Analysis#145:Commit5c5916apushedbyhyperpolymath
main
Apr 12, 20261m 59s
chore(state): session-close 2026-04-12 — log entry added
failed:
CodeQL Security Analysis#144:Commit75eee84pushedbyhyperpolymath
main
Apr 12, 20268s
chore(state): advance version to v2.5.0, mark completions + delta rep…
failed:
CodeQL Security Analysis#143:Commit4624e53pushedbyhyperpolymath
main
Apr 12, 20267s
docs: update CLAUDE.md with completed JWT bypass and Coq extraction d…
failed:
CodeQL Security Analysis#142:Commit7b3042fpushedbyhyperpolymath
main
Apr 12, 20266s
feat(v2.5.0): crypto_misuse JWT sig bypass + proof_drift Coq extracti…
failed:
CodeQL Security Analysis#141:Commit1723745pushedbyhyperpolymath
main
Apr 12, 20266s
feat(storage): wire VeriSimDB HTTP push via direct verisim-api
failed:
CodeQL Security Analysis#140:Commit728688apushedbyhyperpolymath
main
Apr 12, 202655s
chore(v2.5.0): update doc counts 23→25, STATE.a2ml v2.3.0, complete m…
failed:
CodeQL Security Analysis#139:Commit82f2e6bpushedbyhyperpolymath
main
Apr 12, 20267s
feat(v2.5.0): input_boundary (PA024) + mutation gap (PA025)
failed:
CodeQL Security Analysis#138:Commitab89123pushedbyhyperpolymath
main
Apr 12, 20268s
feat(v2.5.0): crypto_misuse category — PA022
failed:
CodeQL Security Analysis#137:Commiteb949d8pushedbyhyperpolymath
main
Apr 12, 20268s
chore(v2.2.0): doc sweep — 49 langs, 23 categories, stale counts cleared
failed:
CodeQL Security Analysis#136:Commit0bba84dpushedbyhyperpolymath
main
Apr 12, 20266s
feat(v2.5.0): proof_drift category — 49-language support, PA021
failed:
CodeQL Security Analysis#135:Commitdf61372pushedbyhyperpolymath
main
Apr 12, 202640s
feat(v2.1.0): wire FP suppression + remove Logtalk export
failed:
CodeQL Security Analysis#134:Commit476efd9pushedbyhyperpolymath
main
Apr 11, 20266s

Navigation Menu

CodeQL Security Analysis

907 workflow runs

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

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

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

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

chore: M5 CI/Workflow Sweep - final synchronisation

feat: add browser extension support

docs: add browser extension guidance

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

chore(deps): bump rand from 0.9.2 to 0.9.4

CodeQL Security Analysis

chore: gitignore Chapel binary

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

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

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

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

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

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

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

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

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

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

feat(v2.5.0): crypto_misuse category — PA022

chore(v2.2.0): doc sweep — 49 langs, 23 categories, stale counts cleared

feat(v2.5.0): proof_drift category — 49-language support, PA021

feat(v2.1.0): wire FP suppression + remove Logtalk export

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for CodeQL Security Analysis

907 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.