CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• fix(deps): resolve RUSTSEC-2026-0414 in the root lockfile

  completed successfully:
  CodeQL Security Analysis#1581:Pull request#457openedbyhyperpolymath
  fix/audit-pulldown-cmark-0414

  Nov 2, 20261m 0s
  More actions for workflow run 1581

• proofs: require full Agda safe/cubical-compatible mode in dogfood and…

  completed successfully:
  CodeQL Security Analysis#1580:Commit1576370pushedbyhyperpolymath
  main

  Nov 2, 20261m 20s
  More actions for workflow run 1580

• chore(deps): bump rustls from 0.23.45 to 0.23.46 in /fuzz in the cargo group across 1 directory

  completed successfully:
  CodeQL Security Analysis#1579:Pull request#456openedbydependabot[bot]Bot
  dependabot/cargo/fuzz/cargo-8681492501

  Nov 2, 20261m 7s
  More actions for workflow run 1579

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  CodeQL Security Analysis#1578:Pull request#455synchronizebycoderabbitai[bot]Bot
  arena/4853aec5-echidna

  Nov 1, 20265m 0s
  More actions for workflow run 1578

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  CodeQL Security Analysis#1577:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 1, 20261m 0s
  More actions for workflow run 1577

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  CodeQL Security Analysis#1576:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 1, 202658s
  More actions for workflow run 1576

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  CodeQL Security Analysis#1575:Pull request#455synchronizebyhyperpolymath
  arena/4853aec5-echidna

  Nov 1, 20261m 41s
  More actions for workflow run 1575

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-checked under PROOF-POLICY §2.1

  completed successfully:
  CodeQL Security Analysis#1574:Pull request#455openedbyhyperpolymath
  arena/4853aec5-echidna

  Nov 1, 20262m 12s
  More actions for workflow run 1574

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#1573:Scheduled
  main

  Nov 1, 20261m 27s
  More actions for workflow run 1573

• proofs: require full Agda safe/cubical-compatible mode in dogfood and meta-checker

  completed successfully:
  CodeQL Security Analysis#1572:Pull request#454openedbyhyperpolymath
  proofs/agda-reconciliation-policy-2026-11

  Nov 1, 202659s
  More actions for workflow run 1572

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

  completed successfully:
  CodeQL Security Analysis#1571:Pull request#451synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-b593c395d0

  Oct 30, 202651s
  More actions for workflow run 1571

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (sta…

  completed successfully:
  CodeQL Security Analysis#1570:Commit916b769pushedbyhyperpolymath
  main

  Oct 27, 20261m 17s
  More actions for workflow run 1570

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3)

  completed successfully:
  CodeQL Security Analysis#1569:Pull request#453synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 27, 20261m 5s
  More actions for workflow run 1569

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3)

  completed successfully:
  CodeQL Security Analysis#1568:Pull request#453synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 27, 20261m 6s
  More actions for workflow run 1568

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3)

  completed successfully:
  CodeQL Security Analysis#1567:Pull request#453synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 27, 20261m 12s
  More actions for workflow run 1567

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3)

  completed successfully:
  CodeQL Security Analysis#1566:Pull request#453synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 27, 20261m 29s
  More actions for workflow run 1566

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3)

  completed successfully:
  CodeQL Security Analysis#1565:Pull request#453synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 27, 20261m 8s
  More actions for workflow run 1565

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3)

  completed successfully:
  CodeQL Security Analysis#1564:Pull request#453synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 27, 20261m 34s
  More actions for workflow run 1564

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3)

  completed successfully:
  CodeQL Security Analysis#1563:Pull request#453synchronizebycoderabbitai[bot]Bot
  claude/zen-brahmagupta-opqqle

  Oct 27, 20261m 9s
  More actions for workflow run 1563

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3)

  completed successfully:
  CodeQL Security Analysis#1562:Pull request#453synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 27, 20261m 6s
  More actions for workflow run 1562

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3)

  completed successfully:
  CodeQL Security Analysis#1561:Pull request#453synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 27, 20261m 27s
  More actions for workflow run 1561

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3)

  completed successfully:
  CodeQL Security Analysis#1560:Pull request#453synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 27, 20261m 12s
  More actions for workflow run 1560

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3)

  completed successfully:
  CodeQL Security Analysis#1559:Pull request#453synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 27, 20261m 16s
  More actions for workflow run 1559

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (stage 6c PR 3)

  completed successfully:
  CodeQL Security Analysis#1558:Pull request#453openedbyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Oct 27, 20261m 10s
  More actions for workflow run 1558

• DO NOT MERGE: live probe for standards#1350 (close-lock moved-tag fallback)

  completed successfully:
  CodeQL Security Analysis#1557:Pull request#452synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe

  Oct 27, 20261m 35s
  More actions for workflow run 1557