CodeQL Security Analysis

codeql.yml

880 workflow runs

ci(antipattern): fix top-level dir + benchmark/lsp filename matching …
completed successfully:
CodeQL Security Analysis#330:Commit61b9a0bpushedbyhyperpolymath
main
May 3, 20261h 49m 29s
ci(antipattern): fix top-level dir + benchmark/lsp filename matching
completed successfully:
CodeQL Security Analysis#329:Pull request#7openedbyhyperpolymath
ci/antipattern-dynamic-exemptions-v3-1
May 3, 20261h 50m 16s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#6)
completed successfully:
CodeQL Security Analysis#328:Commit03deadbpushedbyhyperpolymath
main
May 3, 20261h 2m 28s
ci(antipattern): TS check reads .claude/CLAUDE.md exemption table
completed successfully:
CodeQL Security Analysis#327:Pull request#6openedbyhyperpolymath
ci/antipattern-dynamic-exemptions
May 3, 202659m 59s
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vsco…
completed successfully:
CodeQL Security Analysis#326:Commit5937efcpushedbyhyperpolymath
main
May 3, 20261h 24m 13s
ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vscode*, deno-*)
completed successfully:
CodeQL Security Analysis#325:Pull request#5openedbyhyperpolymath
ci/antipattern-allowlist-v2
May 3, 20261h 23m 19s
ci(antipattern): allowlist legit TS bridge/adapter paths (#4)
completed successfully:
CodeQL Security Analysis#324:Commit73237bepushedbyhyperpolymath
main
May 3, 202657m 19s
ci(antipattern): allowlist legit TS bridge/adapter paths
completed successfully:
CodeQL Security Analysis#323:Pull request#4openedbyhyperpolymath
ci/antipattern-allowlist-bridges
May 3, 202656m 4s
chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18)
completed successfully:
CodeQL Security Analysis#322:Commit6b8fa34pushedbyhyperpolymath
main
Apr 27, 202651m 32s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#321:Scheduled
main
Apr 27, 202653s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#320:Scheduled
main
Apr 20, 202655s
Standardize workspace: Track Bust contractile artifacts
completed successfully:
CodeQL Security Analysis#319:Commit6922cdfpushedbyhyperpolymath
main
Apr 18, 20265h 1m 13s
chore(contractiles): remove lust (not in 6-verb set: intend trust mus…
completed successfully:
CodeQL Security Analysis#318:Commitc74624cpushedbyhyperpolymath
main
Apr 18, 20264h 0m 34s
Standardize workspace: Capitalize Justfile references in scripts and …
completed successfully:
CodeQL Security Analysis#317:Commita004770pushedbyhyperpolymath
main
Apr 18, 20262h 20m 6s
Standardize workspace: Justfile migration and A2ML directive cleanup
completed successfully:
CodeQL Security Analysis#316:Commit09372d3pushedbyhyperpolymath
main
Apr 18, 20265m 38s
chore(STATE): reconcile proven completion to stable-library (proven i…
completed successfully:
CodeQL Security Analysis#315:Commit4cb556fpushedbyhyperpolymath
main
Apr 17, 20261m 7s
chore(ffi/zig): update Zig to 0.15.2 and link zig-out as zig-out-stan…
completed successfully:
CodeQL Security Analysis#314:Commit389eda2pushedbyhyperpolymath
main
Apr 17, 20268m 36s
feat(proven): implement proven_header_has_crlf Zig FFI export
completed successfully:
CodeQL Security Analysis#313:Commit2ca7f40pushedbyhyperpolymath
main
Apr 17, 202615m 20s
ffi(zig): add proven_path_has_traversal and standalone build
completed successfully:
CodeQL Security Analysis#312:Commite961ae6pushedbyhyperpolymath
main
Apr 17, 20262h 3m 29s
chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback
completed successfully:
CodeQL Security Analysis#311:Commit4f1cdc6pushedbyhyperpolymath
main
Apr 17, 20261h 38m 36s
chore: M5 CI/Workflow Sweep - final synchronisation
completed successfully:
CodeQL Security Analysis#310:Commit00f4eb5pushedbyhyperpolymath
main
Apr 16, 20261h 13m 14s
chore: M5 CI/Workflow Sweep - add blockers and contractile.just
completed successfully:
CodeQL Security Analysis#309:Commit84d80eapushedbyhyperpolymath
main
Apr 15, 202630m 34s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#308:Scheduled
main
Apr 13, 202651s
refactor(proven): replace assert_smaller with fuel-bounded recursion
completed successfully:
CodeQL Security Analysis#307:Commit74d0d4apushedbyhyperpolymath
main
Apr 12, 20266m 2s
chore(v-sweep): remove orphaned V-lang API stub
completed successfully:
CodeQL Security Analysis#306:Commit6228b48pushedbyhyperpolymath
main
Apr 12, 20261m 2s

Navigation Menu

CodeQL Security Analysis

880 workflow runs

ci(antipattern): fix top-level dir + benchmark/lsp filename matching …

ci(antipattern): fix top-level dir + benchmark/lsp filename matching

ci(antipattern): TS check reads .claude/CLAUDE.md exemption table (#6)

ci(antipattern): TS check reads .claude/CLAUDE.md exemption table

ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vsco…

ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, vscode, deno-*)

ci(antipattern): allowlist legit TS bridge/adapter paths (#4)

ci(antipattern): allowlist legit TS bridge/adapter paths

chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18)

CodeQL Security Analysis

CodeQL Security Analysis

Standardize workspace: Track Bust contractile artifacts

chore(contractiles): remove lust (not in 6-verb set: intend trust mus…

Standardize workspace: Capitalize Justfile references in scripts and …

Standardize workspace: Justfile migration and A2ML directive cleanup

chore(STATE): reconcile proven completion to stable-library (proven i…

chore(ffi/zig): update Zig to 0.15.2 and link zig-out as zig-out-stan…

feat(proven): implement proven_header_has_crlf Zig FFI export

ffi(zig): add proven_path_has_traversal and standalone build

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

chore: M5 CI/Workflow Sweep - final synchronisation

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

CodeQL Security Analysis

refactor(proven): replace assert_smaller with fuel-bounded recursion

chore(v-sweep): remove orphaned V-lang API stub

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

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