CodeQL Security Analysis

codeql.yml

735 workflow runs

docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME comprehensive close-out
completed successfully:
CodeQL Security Analysis#411:Pull request#112openedbyhyperpolymath
docs/v2.5.5-comprehensive-closeout
Jun 2, 202611m 12s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l…
completed successfully:
CodeQL Security Analysis#410:Commitad1faf6pushedbyhyperpolymath
main
Jun 2, 20261m 0s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110)
completed successfully:
CodeQL Security Analysis#409:Commitad72e06pushedbyhyperpolymath
main
Jun 2, 202647s
proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma
completed successfully:
CodeQL Security Analysis#408:Pull request#111openedbyhyperpolymath
proofs/layer-1-0-strip-idempotence
Jun 2, 202647s
feat(suppression): v2.5.5 Phase 2 — analyzer wire-up
completed successfully:
CodeQL Security Analysis#407:Pull request#110openedbyhyperpolymath
feat/v2.5.5-phase-2-wire-up
Jun 2, 202646s
ci(codeql): cron weekly→monthly (cut 3, standards#288) (#109)
completed successfully:
CodeQL Security Analysis#406:Commit600bf51pushedbyhyperpolymath
main
Jun 2, 202653s
ci(codeql): cron weekly→monthly (cut 3, standards#288)
completed successfully:
CodeQL Security Analysis#405:Pull request#109openedbyhyperpolymath
cicd/codeql-cron-monthly
Jun 2, 20261m 0s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test…
completed successfully:
CodeQL Security Analysis#404:Commitd25210dpushedbyhyperpolymath
main
Jun 2, 202658s
feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / TestMock)
completed successfully:
CodeQL Security Analysis#403:Pull request#106synchronizebyhyperpolymath
feat/v2.5.5-ffi-refinement
Jun 2, 20262m 39s
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus…
completed successfully:
CodeQL Security Analysis#402:Commit62c98ccpushedbyhyperpolymath
main
Jun 2, 20261m 4s
feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-push
completed successfully:
CodeQL Security Analysis#401:Pull request#108openedbyhyperpolymath
feat/v3.0.0-chapel-verisim-push
Jun 2, 202611m 59s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wa…
completed successfully:
CodeQL Security Analysis#400:Commitf0b6463pushedbyhyperpolymath
main
Jun 2, 20266m 32s
feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wasm/JS)
completed successfully:
CodeQL Security Analysis#399:Pull request#107openedbyhyperpolymath
feat/v2.5.5-jit-context
Jun 2, 202658s
feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppress…
completed successfully:
CodeQL Security Analysis#398:Commit7d633e3pushedbyhyperpolymath
main
Jun 2, 202643s
feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppression
completed successfully:
CodeQL Security Analysis#397:Pull request#105openedbyhyperpolymath
feat/v2.5.5-comment-analysis
Jun 2, 202652s
docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape …
completed successfully:
CodeQL Security Analysis#396:Commit016dd53pushedbyhyperpolymath
main
Jun 2, 202643s
docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape
completed successfully:
CodeQL Security Analysis#395:Pull request#104openedbyhyperpolymath
docs/proof-programme-v2
Jun 2, 202649s
chore(license): PMPL → MPL-2.0 sweep (1 files) (#103)
completed successfully:
CodeQL Security Analysis#394:Commit3014a51pushedbyhyperpolymath
main
Jun 2, 20261m 44s
chore(license): PMPL → MPL-2.0 sweep (1 files)
completed successfully:
CodeQL Security Analysis#393:Pull request#103synchronizebyhyperpolymath
fix/pmpl-to-mpl-sweep
Jun 2, 20262m 7s
chore(license): PMPL → MPL-2.0 sweep (1 files)
cancelled:
CodeQL Security Analysis#392:Pull request#103openedbyhyperpolymath
fix/pmpl-to-mpl-sweep
Jun 2, 20261m 49s
feat(test_context): v2.5.5 cross-language test detection + WeakPoint …
completed successfully:
CodeQL Security Analysis#391:Commit7cddf58pushedbyhyperpolymath
main
Jun 2, 202643s
feat(test_context): v2.5.5 cross-language test detection + WeakPoint field
completed successfully:
CodeQL Security Analysis#390:Pull request#102openedbyhyperpolymath
feat/v2.5.5-test-context
Jun 2, 202654s
docs(truthfulness): test count + Fly toml + 500+ claim + chapel-perf …
completed successfully:
CodeQL Security Analysis#389:Commit55a094cpushedbyhyperpolymath
main
Jun 2, 202615m 15s
docs(truthfulness): test count + Fly toml + 500+ claim + chapel-perf hedge
completed successfully:
CodeQL Security Analysis#388:Pull request#100synchronizebyhyperpolymath
chore/truthfulness-audit-2026-06-02
Jun 2, 20267m 3s
docs(truthfulness): test count + Fly toml + 500+ claim + chapel-perf hedge
completed successfully:
CodeQL Security Analysis#387:Pull request#100openedbyhyperpolymath
chore/truthfulness-audit-2026-06-02
Jun 2, 20264m 14s

Navigation Menu

CodeQL Security Analysis

735 workflow runs

docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME comprehensive close-out

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l…

feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110)

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape lemma

feat(suppression): v2.5.5 Phase 2 — analyzer wire-up

ci(codeql): cron weekly→monthly (cut 3, standards#288) (#109)

ci(codeql): cron weekly→monthly (cut 3, standards#288)

feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test…

feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / TestMock)

feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus…

feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-push

feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wa…

feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wasm/JS)

feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppress…

feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppression

docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape …

docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape

chore(license): PMPL → MPL-2.0 sweep (1 files) (#103)

chore(license): PMPL → MPL-2.0 sweep (1 files)

chore(license): PMPL → MPL-2.0 sweep (1 files)

feat(test_context): v2.5.5 cross-language test detection + WeakPoint …

feat(test_context): v2.5.5 cross-language test detection + WeakPoint field

docs(truthfulness): test count + Fly toml + 500+ claim + chapel-perf …

docs(truthfulness): test count + Fly toml + 500+ claim + chapel-perf hedge

docs(truthfulness): test count + Fly toml + 500+ claim + chapel-perf hedge

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

735 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.