CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• build(rust): pin toolchain to 1.96.0 + fix the two 1.96-only clippy l…

  failed:
  CodeQL Security Analysis#290:Commitf2deaf0pushedbyhyperpolymath
  main

  Jun 18, 202641s
  More actions for workflow run 290

• style(rust): cargo fmt + clippy --fix to clear Build Check (2204e1d landed unchecked)

  failed:
  CodeQL Security Analysis#289:Pull request#88openedbyhyperpolymath
  claude/fmt-clippy-2204e1d

  Jun 18, 202635s
  More actions for workflow run 289

• build(rust): pin toolchain to 1.96.0 + fix the two 1.96-only clippy lints

  failed:
  CodeQL Security Analysis#288:Pull request#87synchronizebyhyperpolymath
  claude/pin-toolchain-clippy

  Jun 18, 202631s
  More actions for workflow run 288

• build(rust): pin toolchain to 1.96.0 + fix the two 1.96-only clippy lints

  failed:
  CodeQL Security Analysis#287:Pull request#87openedbyhyperpolymath
  claude/pin-toolchain-clippy

  Jun 18, 202646s
  More actions for workflow run 287

• security: remediate Track C and Track E findings

  failed:
  CodeQL Security Analysis#286:Commit2204e1dpushedbyhyperpolymath
  main

  Jun 17, 202639s
  More actions for workflow run 286

• feat(proofs): Coq binop parity — or/sub/mul/div/mod + comparisons in …

  failed:
  CodeQL Security Analysis#285:Commitf69d910pushedbyhyperpolymath
  main

  Jun 15, 20261m 29s
  More actions for workflow run 285

• feat(proofs): Coq binop parity — or/sub/mul/div/mod + comparisons in WokeLang.v

  failed:
  CodeQL Security Analysis#284:Pull request#86openedbyhyperpolymath
  claude/coq-binop-parity

  Jun 15, 202642s
  More actions for workflow run 284

• style(rust): clear cargo clippy -- -D warnings (the other half of B…

  failed:
  CodeQL Security Analysis#283:Commitab94e64pushedbyhyperpolymath
  main

  Jun 15, 202644s
  More actions for workflow run 283

• style(rust): clear cargo clippy -- -D warnings (the other half of Build Check)

  failed:
  CodeQL Security Analysis#282:Pull request#85synchronizebyhyperpolymath
  claude/fix-clippy-warnings

  Jun 15, 202654s
  More actions for workflow run 282

• docs(machine-readable): surface PRs #79-#82 proof work to bot-coordin…

  failed:
  CodeQL Security Analysis#281:Commitdccad8fpushedbyhyperpolymath
  main

  Jun 15, 202650s
  More actions for workflow run 281

• docs(machine-readable): surface PRs #79-#82 proof work to bot-coordination state

  failed:
  CodeQL Security Analysis#280:Pull request#83synchronizebyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 15, 202652s
  More actions for workflow run 280

• style(rust): satisfy cargo fmt --check (fix red Build Check on main…

  cancelled:
  CodeQL Security Analysis#279:Commitdf7f213pushedbyhyperpolymath
  main

  Jun 15, 202632s
  More actions for workflow run 279

• docs(machine-readable): surface PRs #79-#82 proof work to bot-coordination state

  failed:
  CodeQL Security Analysis#278:Pull request#83synchronizebyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 15, 202630s
  More actions for workflow run 278

• style(rust): satisfy cargo fmt --check (fix red Build Check on main)

  failed:
  CodeQL Security Analysis#277:Pull request#84openedbyhyperpolymath
  claude/fix-rustfmt-nonconformity

  Jun 15, 202636s
  More actions for workflow run 277

• docs(machine-readable): surface PRs #79-#82 proof work to bot-coordination state

  failed:
  CodeQL Security Analysis#276:Pull request#83openedbyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 15, 202643s
  More actions for workflow run 276

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#275:Scheduled
  main

  Jun 15, 202635s
  More actions for workflow run 275

• fix(proofs): repair bit-rotted WokeLang.v (Coq) + meticulous audit + …

  failed:
  CodeQL Security Analysis#274:Commit11ec276pushedbyhyperpolymath
  main

  Jun 14, 202636s
  More actions for workflow run 274

• fix(proofs): repair bit-rotted WokeLang.v (Coq) + meticulous audit + CI gate

  failed:
  CodeQL Security Analysis#273:Pull request#82openedbyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 14, 202643s
  More actions for workflow run 273

• feat(proofs): Tier 1 — comparisons (lt/gt/le/ge) + div/mod with panic…

  failed:
  CodeQL Security Analysis#272:Commitb244755pushedbyhyperpolymath
  main

  Jun 14, 202639s
  More actions for workflow run 272

• feat(proofs): Tier 1 — comparisons (lt/gt/le/ge) + div/mod with panic

  failed:
  CodeQL Security Analysis#271:Pull request#81openedbyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 14, 202644s
  More actions for workflow run 271

• feat(proofs): extend type safety — or/sub/mul operators + capability …

  failed:
  CodeQL Security Analysis#270:Commitda35ff4pushedbyhyperpolymath
  main

  Jun 14, 202631s
  More actions for workflow run 270

• feat(proofs): extend type safety — or/sub/mul operators + capability preorder

  failed:
  CodeQL Security Analysis#269:Pull request#80openedbyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 14, 202637s
  More actions for workflow run 269

• fix(proofs): repair WokeLang.lean to verify under Lean 4.30.0 + add C…

  failed:
  CodeQL Security Analysis#268:Commit343867dpushedbyhyperpolymath
  main

  Jun 14, 202637s
  More actions for workflow run 268

• fix(proofs): repair WokeLang.lean to verify under Lean 4.30.0 + add CI gate

  failed:
  CodeQL Security Analysis#267:Pull request#79openedbyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 14, 202635s
  More actions for workflow run 267

• CI/CD gate fixes + estate-standardization reconciliation (#77)

  failed:
  CodeQL Security Analysis#266:Commitf51b27epushedbyhyperpolymath
  main

  Jun 13, 202637s
  More actions for workflow run 266