CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• ABI Layer 3: map/each fusion law (bmap f ∘ bmap g = bmap (f∘g))

  completed successfully:
  CodeQL Security Analysis#113:Pull request#34synchronizebyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 202654s
  More actions for workflow run 113

• ABI Layer 2: prove array-rewrite semantics preservation (+´⌽ ⇒ +´) — …

  completed successfully:
  CodeQL Security Analysis#112:Commitf4d6a44pushedbyhyperpolymath
  main

  Jun 27, 202646s
  More actions for workflow run 112

• ABI Layer 2: prove array-rewrite semantics preservation (+´⌽ ⇒ +´) — flagship Idris2 proof

  completed successfully:
  CodeQL Security Analysis#111:Pull request#33openedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 27, 202646s
  More actions for workflow run 111

• ci: refresh standards reusable pins to current HEAD (d7c2271) (#32)

  completed successfully:
  CodeQL Security Analysis#110:Commit8fc1ddfpushedbyhyperpolymath
  main

  Jun 27, 202614m 49s
  More actions for workflow run 110

• ci: refresh standards reusable pins to current HEAD (d7c2271)

  completed successfully:
  CodeQL Security Analysis#109:Pull request#32openedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 202616m 18s
  More actions for workflow run 109

• P1: fix Zig FFI null-handle test under Zig 0.14.0 (#31)

  completed successfully:
  CodeQL Security Analysis#108:Commita4a72a2pushedbyhyperpolymath
  main

  Jun 26, 202644s
  More actions for workflow run 108

• P1: fix Zig FFI null-handle test under Zig 0.14.0

  completed successfully:
  CodeQL Security Analysis#107:Pull request#31openedbyhyperpolymath
  claude/new-session-1fphit

  Jun 26, 202648s
  More actions for workflow run 107

• Auto-install pinned Zig toolchain in setup + devcontainer (#30)

  completed successfully:
  CodeQL Security Analysis#106:Commitd29c797pushedbyhyperpolymath
  main

  Jun 26, 20261m 4s
  More actions for workflow run 106

• Auto-install pinned Zig toolchain in setup + devcontainer

  completed successfully:
  CodeQL Security Analysis#105:Pull request#30openedbyhyperpolymath
  claude/new-session-1fphit

  Jun 26, 202641s
  More actions for workflow run 105

• ABI: make Idris2 proofs genuinely compile + add machine-checked theor…

  completed successfully:
  CodeQL Security Analysis#104:Commit32bf567pushedbyhyperpolymath
  main

  Jun 26, 20261m 44s
  More actions for workflow run 104

• ABI: make Idris2 proofs genuinely compile + add machine-checked theorems

  completed successfully:
  CodeQL Security Analysis#103:Pull request#29synchronizebyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 202651s
  More actions for workflow run 103

• ABI: make Idris2 proofs genuinely compile + add machine-checked theorems

  completed successfully:
  CodeQL Security Analysis#102:Pull request#29openedbyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 202651s
  More actions for workflow run 102

• Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#28)

  completed successfully:
  CodeQL Security Analysis#101:Commit5b796efpushedbyhyperpolymath
  main

  Jun 26, 20263m 0s
  More actions for workflow run 101

• Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)

  completed successfully:
  CodeQL Security Analysis#100:Pull request#28openedbyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 20261m 40s
  More actions for workflow run 100

• docs(readme): convert README.adoc -> Markdown (renders on Glama/profi…

  completed successfully:
  CodeQL Security Analysis#99:Commitfd37396pushedbyhyperpolymath
  main

  Jun 25, 202631m 31s
  More actions for workflow run 99

• docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health)

  completed successfully:
  CodeQL Security Analysis#98:Pull request#27openedbyhyperpolymath
  fix/readme-adoc-to-markdown

  Jun 25, 202633m 40s
  More actions for workflow run 98

• chore(clade): backfill [status] lifecycle block (#25)

  completed successfully:
  CodeQL Security Analysis#97:Commitb9ab427pushedbyhyperpolymath
  main

  Jun 24, 202617h 7m 57s
  More actions for workflow run 97

• chore(clade): backfill [status] lifecycle block

  completed successfully:
  CodeQL Security Analysis#96:Pull request#25synchronizebyhyperpolymath
  chore/clade-status-backfill

  Jun 24, 202617h 1m 19s
  More actions for workflow run 96

• chore(ci): add dormant push-email notification workflow (#26)

  cancelled:
  CodeQL Security Analysis#95:Commit8ed2e32pushedbyhyperpolymath
  main

  Jun 24, 202616m 15s
  More actions for workflow run 95

• chore(ci): add dormant push-email notification workflow

  completed successfully:
  CodeQL Security Analysis#94:Pull request#26openedbyhyperpolymath
  chore/push-email-notify

  Jun 24, 202615h 24m 50s
  More actions for workflow run 94

• chore(clade): backfill [status] lifecycle block

  cancelled:
  CodeQL Security Analysis#93:Pull request#25openedbyhyperpolymath
  chore/clade-status-backfill

  Jun 24, 202630m 32s
  More actions for workflow run 93

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) …

  cancelled:
  CodeQL Security Analysis#92:Commit331cb27pushedbyhyperpolymath
  main

  Jun 24, 20261h 25m 47s
  More actions for workflow run 92

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair)

  completed successfully:
  CodeQL Security Analysis#91:Pull request#24openedbyhyperpolymath
  chore/licence-normalisation-2026-06-24

  Jun 24, 20268h 37m 11s
  More actions for workflow run 91

• chore(ci): bump standards reusable workflow pins (#23)

  cancelled:
  CodeQL Security Analysis#90:Commit889cc0fpushedbyhyperpolymath
  main

  Jun 24, 202637m 18s
  More actions for workflow run 90

• chore(ci): bump standards reusable workflow pins

  completed successfully:
  CodeQL Security Analysis#89:Pull request#23openedbyhyperpolymath
  chore/bump-standards-pins-2026-06-24

  Jun 24, 202639m 7s
  More actions for workflow run 89