.github/workflows/codeql.yml

Workflow runs for .github/workflows/codeql.yml

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and…

  failed:
  .github/workflows/codeql.yml#472:Commitbbbc433pushedbyhyperpolymath
  main

  Nov 10, 2026Failure
  More actions for workflow run 472

• ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches

  failed:
  .github/workflows/codeql.yml#471:Pull request#196byhyperpolymath
  claude/new-session-th4e9w-proof-honesty

  Nov 9, 2026Failure
  More actions for workflow run 471

• ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches

  failed:
  .github/workflows/codeql.yml#470:Pull request#196byhyperpolymath
  claude/new-session-th4e9w-proof-honesty

  Nov 9, 2026Failure
  More actions for workflow run 470

• ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches

  failed:
  .github/workflows/codeql.yml#469:Pull request#196byhyperpolymath
  claude/new-session-th4e9w-proof-honesty

  Nov 9, 2026-1s
  More actions for workflow run 469

• ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches

  failed:
  .github/workflows/codeql.yml#468:Pull request#196byhyperpolymath
  claude/new-session-th4e9w-proof-honesty

  Nov 9, 2026Failure
  More actions for workflow run 468

• ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches

  failed:
  .github/workflows/codeql.yml#467:Pull request#196byhyperpolymath
  claude/new-session-th4e9w-proof-honesty

  Nov 9, 2026Failure
  More actions for workflow run 467

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  failed:
  .github/workflows/codeql.yml#466:Pull request#195byhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 2026Failure
  More actions for workflow run 466

• ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches

  failed:
  .github/workflows/codeql.yml#465:Pull request#196byhyperpolymath
  claude/new-session-th4e9w-proof-honesty

  Nov 9, 2026Failure
  More actions for workflow run 465

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  failed:
  .github/workflows/codeql.yml#464:Pull request#195byhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 2026Failure
  More actions for workflow run 464

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  failed:
  .github/workflows/codeql.yml#463:Pull request#195byhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 2026Failure
  More actions for workflow run 463

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  failed:
  .github/workflows/codeql.yml#462:Pull request#195byhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 2026Failure
  More actions for workflow run 462

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  failed:
  .github/workflows/codeql.yml#461:Pull request#195byhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 2026Failure
  More actions for workflow run 461

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  failed:
  .github/workflows/codeql.yml#460:Pull request#195byhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 2026Failure
  More actions for workflow run 460

• proofs: check the receipt-boundary theory in Agda, Lean and Rocq, and gate it in CI

  failed:
  .github/workflows/codeql.yml#459:Pull request#195byhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 9, 2026Failure
  More actions for workflow run 459

• fix(deps): move four crates off RustSec advisories (#194)

  failed:
  .github/workflows/codeql.yml#458:Commit1443adfpushedbyhyperpolymath
  main

  Nov 5, 2026Failure
  More actions for workflow run 458

• fix(deps): move four crates off RustSec advisories

  failed:
  .github/workflows/codeql.yml#457:Pull request#194byhyperpolymath
  claude/new-session-th4e9w-rustsec-lock

  Nov 5, 2026Failure
  More actions for workflow run 457

• fix(k9): validate K9 with the canonical validator; templates are not …

  failed:
  .github/workflows/codeql.yml#456:Commit5ecd8e9pushedbyhyperpolymath
  main

  Nov 5, 2026Failure
  More actions for workflow run 456

• fix(k9): validate K9 with the canonical validator; templates are not components

  failed:
  .github/workflows/codeql.yml#455:Pull request#193byhyperpolymath
  claude/new-session-th4e9w-wo10-k9

  Nov 5, 2026Failure
  More actions for workflow run 455

• fix(api)!: authenticate and authorize the GraphQL API; bind loopback …

  failed:
  .github/workflows/codeql.yml#454:Commit3d4e4a1pushedbyhyperpolymath
  main

  Nov 5, 2026Failure
  More actions for workflow run 454

• fix(deps): move four crates off RustSec advisories

  failed:
  .github/workflows/codeql.yml#453:Pull request#194byhyperpolymath
  claude/new-session-th4e9w-rustsec-lock

  Nov 5, 2026Failure
  More actions for workflow run 453

• fix(k9): validate K9 with the canonical validator; templates are not components

  failed:
  .github/workflows/codeql.yml#452:Pull request#193byhyperpolymath
  claude/new-session-th4e9w-wo10-k9

  Nov 5, 2026Failure
  More actions for workflow run 452

• fix(api)!: authenticate and authorize the GraphQL API; bind loopback by default

  failed:
  .github/workflows/codeql.yml#451:Pull request#192byhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 5, 2026Failure
  More actions for workflow run 451

• fix(api)!: authenticate and authorize the GraphQL API; bind loopback by default

  failed:
  .github/workflows/codeql.yml#450:Pull request#192byhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 4, 2026Failure
  More actions for workflow run 450

• fix(k9): validate K9 with the canonical validator; templates are not components

  failed:
  .github/workflows/codeql.yml#449:Pull request#193byhyperpolymath
  claude/new-session-th4e9w-wo10-k9

  Nov 4, 2026Failure
  More actions for workflow run 449

• fix(api)!: authenticate and authorize the GraphQL API; bind loopback by default

  failed:
  .github/workflows/codeql.yml#448:Pull request#192byhyperpolymath
  claude/clever-heisenberg-q9qp32

  Nov 4, 2026Failure
  More actions for workflow run 448