CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• docs(audit): record the 10 November scanner follow-up for #362 (#373)

  completed successfully:
  CodeQL Security Analysis#460:Commit03067a6pushedbyhyperpolymath
  main

  Nov 10, 20261m 8s
  More actions for workflow run 460

• docs(audit): record the 10 November scanner follow-up for #362

  completed successfully:
  CodeQL Security Analysis#459:Pull request#373synchronizebyhyperpolymath
  marina/optimistic-cray-js64k7

  Nov 10, 20261m 8s
  More actions for workflow run 459

• docs(audit): record the 10 November scanner follow-up for #362

  completed successfully:
  CodeQL Security Analysis#458:Pull request#373openedbyhyperpolymath
  marina/optimistic-cray-js64k7

  Nov 10, 202658s
  More actions for workflow run 458

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire Echo…

  completed successfully:
  CodeQL Security Analysis#457:Commitb6c8b97pushedbyhyperpolymath
  main

  Nov 10, 20261m 15s
  More actions for workflow run 457

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire EchoTruncation (squeakwell R3/R8/R9/R12/R13)

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

  Nov 10, 202645s
  More actions for workflow run 456

• docs(proofs): correct claims that say more than the Agda states (#369)

  completed successfully:
  CodeQL Security Analysis#455:Commitaed13adpushedbyhyperpolymath
  main

  Nov 10, 20261m 20s
  More actions for workflow run 455

• docs(proofs): correct claims that say more than the Agda states

  completed successfully:
  CodeQL Security Analysis#454:Pull request#369synchronizebyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 10, 202650s
  More actions for workflow run 454

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire EchoTruncation (squeakwell R3/R8/R9/R12/R13)

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

  Nov 10, 202650s
  More actions for workflow run 453

• docs(bridges): ephapax Coq correspondence rows and RMR/RMO/OND note (…

  completed successfully:
  CodeQL Security Analysis#452:Commit9b70faapushedbyhyperpolymath
  main

  Nov 9, 20261m 11s
  More actions for workflow run 452

• docs(bridges): ephapax Coq correspondence rows and RMR/RMO/OND note

  completed successfully:
  CodeQL Security Analysis#451:Pull request#371synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202657s
  More actions for workflow run 451

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire EchoTruncation (squeakwell R3/R8/R9/R12/R13)

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

  Nov 9, 20263m 14s
  More actions for workflow run 450

• proofs: EchoSearchExample PWG-2ii (Agda receipt + Rocq and Lean legs,…

  completed successfully:
  CodeQL Security Analysis#449:Commit9abd8a5pushedbyhyperpolymath
  main

  Nov 9, 20263m 49s
  More actions for workflow run 449

• docs(bridges): ephapax Coq correspondence rows and RMR/RMO/OND note

  completed successfully:
  CodeQL Security Analysis#448:Pull request#371synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 20261m 36s
  More actions for workflow run 448

• proofs: EchoSearchExample PWG-2ii (Agda receipt + Rocq and Lean legs, reconciled)

  completed successfully:
  CodeQL Security Analysis#447:Pull request#368synchronizebyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202649s
  More actions for workflow run 447

• Thermo: faithful Bennett statement on an enumerated fibre (#372)

  completed successfully:
  CodeQL Security Analysis#446:Commite6f65a2pushedbyhyperpolymath
  main

  Nov 9, 20264m 28s
  More actions for workflow run 446

• proofs: EchoSearchExample PWG-2ii (Agda receipt + Rocq and Lean legs, reconciled)

  completed successfully:
  CodeQL Security Analysis#445:Pull request#368synchronizebyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202646m 51s
  More actions for workflow run 445

• Thermo: faithful Bennett statement on an enumerated fibre

  completed successfully:
  CodeQL Security Analysis#444:Pull request#372openedbyhyperpolymath
  proofs/bennett-enumerated-fibre

  Nov 9, 202643m 27s
  More actions for workflow run 444

• proofs: EchoSearchExample PWG-2ii (Agda receipt + Rocq and Lean legs, reconciled)

  completed successfully:
  CodeQL Security Analysis#443:Pull request#368synchronizebyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202633m 48s
  More actions for workflow run 443

• docs(bridges): ephapax Coq correspondence rows and RMR/RMO/OND note

  completed successfully:
  CodeQL Security Analysis#442:Pull request#371openedbyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202630m 1s
  More actions for workflow run 442

• feat(recovery): EchoPartialSection + EchoFibreIntersection; wire EchoTruncation (squeakwell R3/R8/R9/R12/R13)

  completed successfully:
  CodeQL Security Analysis#441:Pull request#370openedbyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202631m 49s
  More actions for workflow run 441

• docs(proofs): correct claims that say more than the Agda states

  completed successfully:
  CodeQL Security Analysis#440:Pull request#369openedbyhyperpolymath
  docs/proof-claims-audit-2026-11-09

  Nov 9, 202617m 34s
  More actions for workflow run 440

• proofs: EchoSearchExample PWG-2ii (Agda receipt + Rocq and Lean legs, reconciled)

  completed successfully:
  CodeQL Security Analysis#439:Pull request#368openedbyhyperpolymath
  claude/kind-clarke-aqpe7a-echosearch-recheck

  Nov 9, 202614m 33s
  More actions for workflow run 439

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#438:Scheduled
  main

  Nov 9, 20261m 22s
  More actions for workflow run 438

• chore(deps): bump the actions group with 5 updates (#367)

  completed successfully:
  CodeQL Security Analysis#437:Commitccec4d7pushedbyhyperpolymath
  main

  Nov 7, 20261m 4s
  More actions for workflow run 437

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

  completed successfully:
  CodeQL Security Analysis#436:Pull request#367openedbydependabot[bot]Bot
  dependabot/github_actions/actions-eaf715d3e5

  Nov 7, 202653s
  More actions for workflow run 436