Governance

Workflow runs for Governance

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

  failed:
  Governance#524:Commita7503b2pushedbyhyperpolymath
  main

  Oct 7, 20261m 7s
  More actions for workflow run 524

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

  failed:
  Governance#523:Pull request#233openedbyhyperpolymath
  docs/affirmation-mark-draft

  Oct 7, 202658s
  More actions for workflow run 523

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

  failed:
  Governance#522:Commit6071d0bpushedbyhyperpolymath
  main

  Oct 7, 20261m 21s
  More actions for workflow run 522

• docs: add AFFIRMATION.adoc anchored at 53600326

  failed:
  Governance#521:Pull request#232openedbyhyperpolymath
  docs/affirmation-2026-10-07

  Oct 7, 20261m 10s
  More actions for workflow run 521

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

  failed:
  Governance#520:Commit5360032pushedbyhyperpolymath
  main

  Oct 6, 202646s
  More actions for workflow run 520

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

  failed:
  Governance#519:Pull request#231openedbyhyperpolymath
  fix/gitleaks-fixture-ignores

  Oct 6, 202657s
  More actions for workflow run 519

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

  failed:
  Governance#518:Commita32c3b6pushedbyhyperpolymath
  main

  Oct 6, 20261m 30s
  More actions for workflow run 518

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

  failed:
  Governance#517:Pull request#229openedbyhyperpolymath
  fix/finite-field-irr-degree

  Oct 6, 20261m 1s
  More actions for workflow run 517

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

  failed:
  Governance#516:Commitced0ca5pushedbyhyperpolymath
  main

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

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

  failed:
  Governance#515:Pull request#228openedbyhyperpolymath
  fix/remove-false-runtime-assumptions

  Oct 6, 20261m 26s
  More actions for workflow run 515

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

  failed:
  Governance#514:Commit8542e84pushedbyhyperpolymath
  main

  Oct 1, 202620m 32s
  More actions for workflow run 514

• docs: add Signed commits section to CONTRIBUTING

  failed:
  Governance#513:Pull request#227openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 20261m 12s
  More actions for workflow run 513

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

  failed at startup:
  Governance#512:Commit91d353apushedbyarena-ai-coding-agent[bot]Bot
  main

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

• Governance

  failed at startup:
  Governance#511:openedbyarena-ai-coding-agent[bot]Bot
  arena/01a0df48-proven

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

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

  failed:
  Governance#510:Commitc725099pushedbyhyperpolymath
  main

  Sep 21, 20268h 17m 43s
  More actions for workflow run 510

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

  failed:
  Governance#509:Pull request#225openedbyhyperpolymath
  fix/deed-gate-grammar

  Sep 21, 20268h 18m 38s
  More actions for workflow run 509

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

  failed:
  Governance#508:Commit0413242pushedbyhyperpolymath
  main

  Sep 21, 20268h 25m 45s
  More actions for workflow run 508

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

  failed:
  Governance#507:Pull request#224openedbyhyperpolymath
  fix/deed-gate-a2ml-retire

  Sep 21, 20268h 24m 56s
  More actions for workflow run 507

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

  failed:
  Governance#506:Commitc8db3a1pushedbyhyperpolymath
  main

  Sep 20, 20262h 32m 19s
  More actions for workflow run 506

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

  failed:
  Governance#505:Pull request#223openedbyhyperpolymath
  fix/hypatia-caller-id

  Sep 20, 20262h 13m 55s
  More actions for workflow run 505

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

  failed:
  Governance#504:Commitbdee8ccpushedbyhyperpolymath
  main

  Sep 19, 202627m 24s
  More actions for workflow run 504

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

  failed:
  Governance#503:Pull request#222openedbyhyperpolymath
  chore/settings-no-identity

  Sep 19, 202627m 1s
  More actions for workflow run 503

• fix(docs): repoint references to the relocated contributing guide (#221)

  failed:
  Governance#502:Commit867bd6apushedbyhyperpolymath
  main

  Sep 19, 20265m 37s
  More actions for workflow run 502

• fix(docs): repoint references to the relocated contributing guide

  failed:
  Governance#501:Pull request#221openedbyhyperpolymath
  refactor/contributing-guide-link-repair

  Sep 19, 20262h 20m 13s
  More actions for workflow run 501

• refactor(root): relocate the contributing guide into .github/ (#220)

  failed:
  Governance#500:Commita1de1b8pushedbyhyperpolymath
  main

  Sep 19, 20263h 19m 16s
  More actions for workflow run 500