Trustfile Validation

Workflow runs for Trustfile Validation

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

  failed:
  Trustfile Validation#512:Pull request#233openedbyhyperpolymath
  docs/affirmation-mark-draft

  Oct 7, 202621s
  More actions for workflow run 512

• docs: add AFFIRMATION.adoc anchored at 53600326

  failed:
  Trustfile Validation#511:Pull request#232openedbyhyperpolymath
  docs/affirmation-2026-10-07

  Oct 7, 202620s
  More actions for workflow run 511

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

  failed:
  Trustfile Validation#510:Pull request#231openedbyhyperpolymath
  fix/gitleaks-fixture-ignores

  Oct 6, 202621s
  More actions for workflow run 510

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

  failed:
  Trustfile Validation#509:Commita32c3b6pushedbyhyperpolymath
  main

  Oct 6, 202626s
  More actions for workflow run 509

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

  failed:
  Trustfile Validation#508:Pull request#229openedbyhyperpolymath
  fix/finite-field-irr-degree

  Oct 6, 202617s
  More actions for workflow run 508

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

  failed:
  Trustfile Validation#507:Commitced0ca5pushedbyhyperpolymath
  main

  Oct 6, 202648s
  More actions for workflow run 507

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

  failed:
  Trustfile Validation#506:Pull request#228openedbyhyperpolymath
  fix/remove-false-runtime-assumptions

  Oct 6, 202623s
  More actions for workflow run 506

• docs: add Signed commits section to CONTRIBUTING

  failed:
  Trustfile Validation#505:Pull request#227openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 202622s
  More actions for workflow run 505

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

  failed at startup:
  Trustfile Validation#504:Commit91d353apushedbyarena-ai-coding-agent[bot]Bot
  main

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

• Trustfile Validation

  failed at startup:
  Trustfile Validation#503:openedbyarena-ai-coding-agent[bot]Bot
  arena/01a0df48-proven

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

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

  failed:
  Trustfile Validation#502:Pull request#225openedbyhyperpolymath
  fix/deed-gate-grammar

  Sep 21, 20268h 18m 57s
  More actions for workflow run 502

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

  failed:
  Trustfile Validation#501:Pull request#224openedbyhyperpolymath
  fix/deed-gate-a2ml-retire

  Sep 21, 20268h 24m 17s
  More actions for workflow run 501

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

  failed:
  Trustfile Validation#500:Pull request#223openedbyhyperpolymath
  fix/hypatia-caller-id

  Sep 20, 20262h 13m 8s
  More actions for workflow run 500

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

  failed:
  Trustfile Validation#499:Pull request#222openedbyhyperpolymath
  chore/settings-no-identity

  Sep 19, 202626m 54s
  More actions for workflow run 499

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

  failed:
  Trustfile Validation#498:Pull request#221openedbyhyperpolymath
  refactor/contributing-guide-link-repair

  Sep 19, 20262h 19m 22s
  More actions for workflow run 498

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

  failed:
  Trustfile Validation#497:Pull request#220openedbyhyperpolymath
  refactor/contributing-guide-relocation

  Sep 19, 20263h 19m 3s
  More actions for workflow run 497

• chore(www): migrate root .well-known/ to www/.well-known/

  cancelled:
  Trustfile Validation#496:Pull request#219openedbyhyperpolymath
  chore/well-known-to-www

  Sep 18, 20262h 7m 4s
  More actions for workflow run 496

• Fix/idris2 totality and elaboration cures (#217)

  failed:
  Trustfile Validation#495:Commita92d237pushedbyhyperpolymath
  main

  Sep 17, 202622s
  More actions for workflow run 495

• Fix/idris2 totality and elaboration cures

  failed:
  Trustfile Validation#494:Pull request#217synchronizebyhyperpolymath
  fix/idris2-totality-and-elaboration-cures

  Sep 17, 202625s
  More actions for workflow run 494

• fix(ci): repair unparseable permissions scalar (2 workflow file(s))

  completed successfully:
  Trustfile Validation#493:Pull request#218openedbyhyperpolymath
  fix/workflow-permissions-scalar-parse-error

  Sep 14, 20262m 2s
  More actions for workflow run 493

• fix(idris2): cure seven build blockers — build goes VOID → RED, front…

  completed successfully:
  Trustfile Validation#492:Commit3b118cbpushedbyhyperpolymath
  main

  Sep 13, 202619s
  More actions for workflow run 492

• fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305

  completed successfully:
  Trustfile Validation#491:Pull request#206synchronizebyhyperpolymath
  fix/idris2-build-blockers

  Sep 13, 202620s
  More actions for workflow run 491

• chore(dependabot): cap open pull requests per update block

  completed successfully:
  Trustfile Validation#490:Pull request#216openedbyhyperpolymath
  chore/dependabot-pr-caps-2026-09-08

  Sep 12, 202620s
  More actions for workflow run 490

• fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305

  completed successfully:
  Trustfile Validation#489:Pull request#206synchronizebycoderabbitai[bot]Bot
  fix/idris2-build-blockers

  Sep 9, 202620s
  More actions for workflow run 489

• fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305

  failed:
  Trustfile Validation#488:Pull request#206synchronizebycoderabbitai[bot]Bot
  fix/idris2-build-blockers

  Sep 9, 202617s
  More actions for workflow run 488