CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#878:Scheduled
  main

  Nov 1, 20261m 16s
  More actions for workflow run 878

• docs: mark AFFIRMATION as agent-authored DRAFT, not owner-affirmed (#…

  completed successfully:
  CodeQL Security Analysis#877:Commita7503b2pushedbyhyperpolymath
  main

  Oct 7, 20262m 26s
  More actions for workflow run 877

• docs: mark AFFIRMATION as agent-authored DRAFT, not owner-affirmed

  completed successfully:
  CodeQL Security Analysis#876:Pull request#233openedbyhyperpolymath
  docs/affirmation-mark-draft

  Oct 7, 202658s
  More actions for workflow run 876

• docs: add AFFIRMATION.adoc anchored at 53600326 (#232)

  completed successfully:
  CodeQL Security Analysis#875:Commit6071d0bpushedbyhyperpolymath
  main

  Oct 7, 20261m 13s
  More actions for workflow run 875

• docs: add AFFIRMATION.adoc anchored at 53600326

  completed successfully:
  CodeQL Security Analysis#874:Pull request#232openedbyhyperpolymath
  docs/affirmation-2026-10-07

  Oct 7, 20261m 1s
  More actions for workflow run 874

• chore(secrets): ignore three gitleaks test-fixture false positives (#…

  completed successfully:
  CodeQL Security Analysis#873:Commit5360032pushedbyhyperpolymath
  main

  Oct 6, 20261m 11s
  More actions for workflow run 873

• chore(secrets): ignore three gitleaks test-fixture false positives

  completed successfully:
  CodeQL Security Analysis#872:Pull request#231openedbyhyperpolymath
  fix/gitleaks-fixture-ignores

  Oct 6, 20261m 36s
  More actions for workflow run 872

• fix(SafeFiniteField): reject irreducibles not of degree n before redu…

  completed successfully:
  CodeQL Security Analysis#871:Commita32c3b6pushedbyhyperpolymath
  main

  Oct 6, 20261m 36s
  More actions for workflow run 871

• fix(SafeFiniteField): reject irreducibles not of degree n before reduction

  completed successfully:
  CodeQL Security Analysis#870:Pull request#229openedbyhyperpolymath
  fix/finite-field-irr-degree

  Oct 6, 202649s
  More actions for workflow run 870

• fix(soundness): remove false postulates in SafeFiniteField, SafePipe,…

  completed successfully:
  CodeQL Security Analysis#869:Commitced0ca5pushedbyhyperpolymath
  main

  Oct 6, 20262m 5s
  More actions for workflow run 869

• fix(soundness): remove false postulates in SafeFiniteField, SafePipe, SafeTerminal

  completed successfully:
  CodeQL Security Analysis#868:Pull request#228openedbyhyperpolymath
  fix/remove-false-runtime-assumptions

  Oct 6, 20261m 10s
  More actions for workflow run 868

• docs: add Signed commits section to CONTRIBUTING (#227)

  completed successfully:
  CodeQL Security Analysis#867:Commit8542e84pushedbyhyperpolymath
  main

  Oct 1, 202612m 16s
  More actions for workflow run 867

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  CodeQL Security Analysis#866:Pull request#227openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20261m 3s
  More actions for workflow run 866

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#865:Scheduled
  main

  Oct 1, 202622m 45s
  More actions for workflow run 865

• fix: restore the Idris2 0.8 package build (#226)

  failed at startup:
  CodeQL Security Analysis#864:Commit91d353apushedbyarena-ai-coding-agent[bot]Bot
  main

  Sep 27, 2026Startup failure
  More actions for workflow run 864

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#863:openedbyarena-ai-coding-agent[bot]Bot
  arena/01a0df48-proven

  Sep 27, 2026Startup failure
  More actions for workflow run 863

• fix(gates): gate on the DEED grammar, per the template and standards#…

  completed successfully:
  CodeQL Security Analysis#862:Commitc725099pushedbyhyperpolymath
  main

  Sep 21, 20263h 34m 31s
  More actions for workflow run 862

• fix(gates): gate on the DEED grammar, per the template and standards#837

  completed successfully:
  CodeQL Security Analysis#861:Pull request#225openedbyhyperpolymath
  fix/deed-gate-grammar

  Sep 21, 20263h 31m 11s
  More actions for workflow run 861

• fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era nam…

  cancelled:
  CodeQL Security Analysis#860:Commit0413242pushedbyhyperpolymath
  main

  Sep 21, 202641m 43s
  More actions for workflow run 860

• fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era naming

  completed successfully:
  CodeQL Security Analysis#859:Pull request#224openedbyhyperpolymath
  fix/deed-gate-a2ml-retire

  Sep 21, 20262h 32m 29s
  More actions for workflow run 859

• ci(hypatia): standardise the wrapper caller id to the canonical `hypa…

  completed successfully:
  CodeQL Security Analysis#858:Commitc8db3a1pushedbyhyperpolymath
  main

  Sep 20, 20261h 32m 18s
  More actions for workflow run 858

• ci(hypatia): standardise the wrapper caller id to the canonical hypatia

  completed successfully:
  CodeQL Security Analysis#857:Pull request#223openedbyhyperpolymath
  fix/hypatia-caller-id

  Sep 20, 202642m 54s
  More actions for workflow run 857

• chore(governance): stop declaring repository identity in settings.yml…

  completed successfully:
  CodeQL Security Analysis#856:Commitbdee8ccpushedbyhyperpolymath
  main

  Sep 19, 202616m 13s
  More actions for workflow run 856

• chore(governance): stop declaring repository identity in settings.yml

  completed successfully:
  CodeQL Security Analysis#855:Pull request#222openedbyhyperpolymath
  chore/settings-no-identity

  Sep 19, 202611m 34s
  More actions for workflow run 855

• fix(docs): repoint references to the relocated contributing guide (#221)

  completed successfully:
  CodeQL Security Analysis#854:Commit867bd6apushedbyhyperpolymath
  main

  Sep 19, 20263m 52s
  More actions for workflow run 854