Hypatia Security Scan

Workflow runs for Hypatia Security Scan

• Hypatia Security Scan

  completed successfully:
  Hypatia Security Scan#788:Scheduled
  main

  Oct 11, 20261m 39s
  More actions for workflow run 788

• docs: mark AFFIRMATION as agent-authored DRAFT, not owner-affirmed (#…

  completed successfully:
  Hypatia Security Scan#787:Commita7503b2pushedbyhyperpolymath
  main

  Oct 7, 20262m 38s
  More actions for workflow run 787

• docs: mark AFFIRMATION as agent-authored DRAFT, not owner-affirmed

  completed successfully:
  Hypatia Security Scan#786:Pull request#233openedbyhyperpolymath
  docs/affirmation-mark-draft

  Oct 7, 20261m 27s
  More actions for workflow run 786

• docs: add AFFIRMATION.adoc anchored at 53600326 (#232)

  completed successfully:
  Hypatia Security Scan#785:Commit6071d0bpushedbyhyperpolymath
  main

  Oct 7, 20261m 54s
  More actions for workflow run 785

• docs: add AFFIRMATION.adoc anchored at 53600326

  completed successfully:
  Hypatia Security Scan#784:Pull request#232openedbyhyperpolymath
  docs/affirmation-2026-10-07

  Oct 7, 20261m 25s
  More actions for workflow run 784

• chore(secrets): ignore three gitleaks test-fixture false positives (#…

  completed successfully:
  Hypatia Security Scan#783:Commit5360032pushedbyhyperpolymath
  main

  Oct 6, 20261m 4s
  More actions for workflow run 783

• chore(secrets): ignore three gitleaks test-fixture false positives

  completed successfully:
  Hypatia Security Scan#782:Pull request#231openedbyhyperpolymath
  fix/gitleaks-fixture-ignores

  Oct 6, 20261m 10s
  More actions for workflow run 782

• fix(SafeFiniteField): reject irreducibles not of degree n before redu…

  completed successfully:
  Hypatia Security Scan#781:Commita32c3b6pushedbyhyperpolymath
  main

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

• fix(SafeFiniteField): reject irreducibles not of degree n before reduction

  completed successfully:
  Hypatia Security Scan#780:Pull request#229openedbyhyperpolymath
  fix/finite-field-irr-degree

  Oct 6, 20261m 32s
  More actions for workflow run 780

• fix(soundness): remove false postulates in SafeFiniteField, SafePipe,…

  completed successfully:
  Hypatia Security Scan#779:Commitced0ca5pushedbyhyperpolymath
  main

  Oct 6, 20262m 3s
  More actions for workflow run 779

• fix(soundness): remove false postulates in SafeFiniteField, SafePipe, SafeTerminal

  completed successfully:
  Hypatia Security Scan#778:Pull request#228openedbyhyperpolymath
  fix/remove-false-runtime-assumptions

  Oct 6, 20261m 43s
  More actions for workflow run 778

• Hypatia Security Scan

  completed successfully:
  Hypatia Security Scan#777:Scheduled
  main

  Oct 4, 20261m 41s
  More actions for workflow run 777

• docs: add Signed commits section to CONTRIBUTING (#227)

  completed successfully:
  Hypatia Security Scan#776:Commit8542e84pushedbyhyperpolymath
  main

  Oct 1, 202612m 42s
  More actions for workflow run 776

• docs: add Signed commits section to CONTRIBUTING

  completed successfully:
  Hypatia Security Scan#775:Pull request#227openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20261m 47s
  More actions for workflow run 775

• fix: restore the Idris2 0.8 package build (#226)

  failed at startup:
  Hypatia Security Scan#774:Commit91d353apushedbyarena-ai-coding-agent[bot]Bot
  main

  Sep 27, 2026Startup failure
  More actions for workflow run 774

• Hypatia Security Scan

  failed at startup:
  Hypatia Security Scan#773:openedbyarena-ai-coding-agent[bot]Bot
  arena/01a0df48-proven

  Sep 27, 2026Startup failure
  More actions for workflow run 773

• Hypatia Security Scan

  failed:
  Hypatia Security Scan#772:Scheduled
  main

  Sep 27, 202634s
  More actions for workflow run 772

• fix(gates): gate on the DEED grammar, per the template and standards#…

  completed successfully:
  Hypatia Security Scan#771:Commitc725099pushedbyhyperpolymath
  main

  Sep 21, 20263h 36m 10s
  More actions for workflow run 771

• fix(gates): gate on the DEED grammar, per the template and standards#837

  completed successfully:
  Hypatia Security Scan#770:Pull request#225openedbyhyperpolymath
  fix/deed-gate-grammar

  Sep 21, 20263h 33m 57s
  More actions for workflow run 770

• fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era nam…

  completed successfully:
  Hypatia Security Scan#769:Commit0413242pushedbyhyperpolymath
  main

  Sep 21, 20262h 33m 6s
  More actions for workflow run 769

• fix(dogfood-gate): validate DEED via deed-ecosystem, not a2ml-era naming

  completed successfully:
  Hypatia Security Scan#768:Pull request#224openedbyhyperpolymath
  fix/deed-gate-a2ml-retire

  Sep 21, 20262h 31m 19s
  More actions for workflow run 768

• ci(hypatia): standardise the wrapper caller id to the canonical `hypa…

  completed successfully:
  Hypatia Security Scan#767:Commitc8db3a1pushedbyhyperpolymath
  main

  Sep 20, 20261h 33m 23s
  More actions for workflow run 767

• ci(hypatia): standardise the wrapper caller id to the canonical hypatia

  completed successfully:
  Hypatia Security Scan#766:Pull request#223openedbyhyperpolymath
  fix/hypatia-caller-id

  Sep 20, 202643m 22s
  More actions for workflow run 766

• Hypatia Security Scan

  completed successfully:
  Hypatia Security Scan#765:Scheduled
  main

  Sep 20, 20261m 19s
  More actions for workflow run 765

• chore(governance): stop declaring repository identity in settings.yml…

  completed successfully:
  Hypatia Security Scan#764:Commitbdee8ccpushedbyhyperpolymath
  main

  Sep 19, 202616m 10s
  More actions for workflow run 764