CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• feat(formal): Recovery.v — squeakwell recovery kernel over Octad.v (R2/R3/R4/R9/R10)

  completed successfully:
  CodeQL Security Analysis#931:Pull request#350synchronizebyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 20261m 55s
  More actions for workflow run 931

• feat(formal): Recovery.v — squeakwell recovery kernel over Octad.v (R2/R3/R4/R9/R10)

  completed successfully:
  CodeQL Security Analysis#930:Pull request#350synchronizebyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202645m 43s
  More actions for workflow run 930

• feat(formal): Recovery.v — squeakwell recovery kernel over Octad.v (R2/R3/R4/R9/R10)

  completed successfully:
  CodeQL Security Analysis#929:Pull request#350synchronizebyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202644m 46s
  More actions for workflow run 929

• feat(formal): Recovery.v — squeakwell recovery kernel over Octad.v (R2/R3/R4/R9/R10)

  cancelled:
  CodeQL Security Analysis#928:Pull request#350synchronizebyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 20261m 31s
  More actions for workflow run 928

• feat(formal): Recovery.v — squeakwell recovery kernel over Octad.v (R2/R3/R4/R9/R10)

  cancelled:
  CodeQL Security Analysis#927:Pull request#350synchronizebyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202629m 44s
  More actions for workflow run 927

• feat(formal): Recovery.v — squeakwell recovery kernel over Octad.v (R2/R3/R4/R9/R10)

  cancelled:
  CodeQL Security Analysis#926:Pull request#350openedbyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202612m 7s
  More actions for workflow run 926

• chore(deps): bump the actions group across 1 directory with 7 updates

  completed successfully:
  CodeQL Security Analysis#925:Pull request#349openedbydependabot[bot]Bot
  dependabot/github_actions/actions-71e5f3a5db

  Nov 7, 202655s
  More actions for workflow run 925

• chore(deps): bump the cargo-minor-patch group across 1 directory with 4 updates

  completed successfully:
  CodeQL Security Analysis#924:Pull request#348openedbydependabot[bot]Bot
  dependabot/cargo/cargo-minor-patch-ebcfac74bc

  Nov 7, 20261m 1s
  More actions for workflow run 924

• chore(deps): bump futures from 0.3.32 to 0.3.34 in /rust-core/fuzz

  completed successfully:
  CodeQL Security Analysis#923:Pull request#345openedbydependabot[bot]Bot
  dependabot/cargo/rust-core/fuzz/futures-0.3.34

  Nov 1, 20261m 4s
  More actions for workflow run 923

• chore(deps): bump tokio from 1.52.3 to 1.54.1 in /rust-core/fuzz

  completed successfully:
  CodeQL Security Analysis#922:Pull request#344openedbydependabot[bot]Bot
  dependabot/cargo/rust-core/fuzz/tokio-1.54.1

  Nov 1, 20261m 13s
  More actions for workflow run 922

• chore(deps): bump hyper from 1.11.1 to 1.12.0 in /fuzz

  completed successfully:
  CodeQL Security Analysis#921:Pull request#343openedbydependabot[bot]Bot
  dependabot/cargo/fuzz/hyper-1.12.0

  Nov 1, 202653s
  More actions for workflow run 921

• audit: VCL communication-substrate claim for ECHIDNA/echidnabot/proof…

  completed successfully:
  CodeQL Security Analysis#920:Commit137045apushedbyhyperpolymath
  main

  Nov 1, 20261m 56s
  More actions for workflow run 920

• audit: VCL communication-substrate claim for ECHIDNA/echidnabot/proof-burrower

  completed successfully:
  CodeQL Security Analysis#919:Pull request#342openedbyhyperpolymath
  arena/7a2a8bd7-verisimdb

  Nov 1, 202649s
  More actions for workflow run 919

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#918:Scheduled
  main

  Nov 1, 20261m 21s
  More actions for workflow run 918

• fix(auth): enforce middleware on merged GraphQL and federation routes…

  completed successfully:
  CodeQL Security Analysis#917:Commitdd82709pushedbyhyperpolymath
  main

  Oct 31, 20261m 14s
  More actions for workflow run 917

• docs(recon): as-built identity model, modality evidence, proof obliga…

  cancelled:
  CodeQL Security Analysis#916:Commit95c9e96pushedbyhyperpolymath
  main

  Oct 31, 202628s
  More actions for workflow run 916

• docs(recon): as-built identity model, modality evidence, proof obligations and v1 consumer contract

  completed successfully:
  CodeQL Security Analysis#915:Pull request#337synchronizebyhyperpolymath
  docs/as-built-identity-recon-2026-10-29

  Oct 31, 20261m 23s
  More actions for workflow run 915

• chore(deps): bump the actions group with 4 updates

  completed successfully:
  CodeQL Security Analysis#914:Pull request#341openedbydependabot[bot]Bot
  dependabot/github_actions/actions-d62306716f

  Oct 31, 202657s
  More actions for workflow run 914

• chore(deps): bump the cargo-minor-patch group with 3 updates

  completed successfully:
  CodeQL Security Analysis#913:Pull request#340openedbydependabot[bot]Bot
  dependabot/cargo/cargo-minor-patch-1f1f2fbac3

  Oct 31, 202647s
  More actions for workflow run 913

• chore(deps): bump bandit from 1.13.1 to 1.14.1 in /elixir-orchestration

  completed successfully:
  CodeQL Security Analysis#912:Pull request#339openedbydependabot[bot]Bot
  dependabot/hex/elixir-orchestration/bandit-1.14.1

  Oct 31, 202651s
  More actions for workflow run 912

• fix(api): reject modality inputs that would be silently discarded (#334)

  completed successfully:
  CodeQL Security Analysis#911:Commit2cf7746pushedbyhyperpolymath
  main

  Oct 31, 20261m 16s
  More actions for workflow run 911

• docs(recon): as-built identity model, modality evidence, proof obligations and v1 consumer contract

  completed successfully:
  CodeQL Security Analysis#910:Pull request#337synchronizebyhyperpolymath
  docs/as-built-identity-recon-2026-10-29

  Oct 29, 202650s
  More actions for workflow run 910

• fix(auth): enforce middleware on merged GraphQL and federation routes

  completed successfully:
  CodeQL Security Analysis#909:Pull request#336synchronizebyhyperpolymath
  fix/auth-router-coverage

  Oct 29, 202659s
  More actions for workflow run 909

• fix(api): reject modality inputs that would be silently discarded

  completed successfully:
  CodeQL Security Analysis#908:Pull request#334synchronizebyhyperpolymath
  fix/reject-lossy-octad-input

  Oct 29, 202650s
  More actions for workflow run 908

• chore(deps): bump rustler from 0.36.2 to 0.39.0 (#327)

  completed successfully:
  CodeQL Security Analysis#907:Commit4e2c43epushedbyhyperpolymath
  main

  Oct 29, 20261m 12s
  More actions for workflow run 907