FFI Full Integration

Workflow runs for FFI Full Integration

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

  completed successfully:
  FFI Full Integration#52:Commita32c3b6pushedbyhyperpolymath
  main

  Oct 6, 202629s
  More actions for workflow run 52

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

  completed successfully:
  FFI Full Integration#51:Pull request#229openedbyhyperpolymath
  fix/finite-field-irr-degree

  Oct 6, 202613s
  More actions for workflow run 51

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

  completed successfully:
  FFI Full Integration#50:Commitced0ca5pushedbyhyperpolymath
  main

  Oct 6, 202647s
  More actions for workflow run 50

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

  completed successfully:
  FFI Full Integration#49:Pull request#228openedbyhyperpolymath
  fix/remove-false-runtime-assumptions

  Oct 6, 202612s
  More actions for workflow run 49

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

  failed at startup:
  FFI Full Integration#48:Commit91d353apushedbyarena-ai-coding-agent[bot]Bot
  main

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

• FFI Full Integration

  failed at startup:
  FFI Full Integration#47:openedbyarena-ai-coding-agent[bot]Bot
  arena/01a0df48-proven

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

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

  completed successfully:
  FFI Full Integration#46:Commita92d237pushedbyhyperpolymath
  main

  Sep 17, 202610s
  More actions for workflow run 46

• Fix/idris2 totality and elaboration cures

  completed successfully:
  FFI Full Integration#45:Pull request#217synchronizebyhyperpolymath
  fix/idris2-totality-and-elaboration-cures

  Sep 17, 202612s
  More actions for workflow run 45

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

  failed at startup:
  FFI Full Integration#44:Commit3b118cbpushedbyhyperpolymath
  main

  Sep 13, 2026Startup failure
  More actions for workflow run 44

• FFI Full Integration

  failed at startup:
  FFI Full Integration#43:synchronizebyhyperpolymath
  fix/idris2-build-blockers

  Sep 13, 2026Startup failure
  More actions for workflow run 43

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

  completed successfully:
  FFI Full Integration#42:Pull request#206synchronizebycoderabbitai[bot]Bot
  fix/idris2-build-blockers

  Sep 9, 202614s
  More actions for workflow run 42

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

  completed successfully:
  FFI Full Integration#41:Pull request#206synchronizebycoderabbitai[bot]Bot
  fix/idris2-build-blockers

  Sep 9, 202615s
  More actions for workflow run 41

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

  completed successfully:
  FFI Full Integration#40:Pull request#206synchronizebyhyperpolymath
  fix/idris2-build-blockers

  Sep 9, 202613s
  More actions for workflow run 40

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

  completed successfully:
  FFI Full Integration#39:Pull request#206synchronizebyhyperpolymath
  fix/idris2-build-blockers

  Sep 8, 20262m 45s
  More actions for workflow run 39

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

  completed successfully:
  FFI Full Integration#38:Pull request#206synchronizebyhyperpolymath
  fix/idris2-build-blockers

  Aug 27, 202657m 35s
  More actions for workflow run 38

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

  cancelled:
  FFI Full Integration#37:Pull request#206synchronizebyhyperpolymath
  fix/idris2-build-blockers

  Aug 27, 202613m 57s
  More actions for workflow run 37

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

  completed successfully:
  FFI Full Integration#36:Pull request#206openedbyhyperpolymath
  fix/idris2-build-blockers

  Aug 27, 202612m 43s
  More actions for workflow run 36

• fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329

  completed successfully:
  FFI Full Integration#35:Pull request#199openedbyhyperpolymath
  fix/ci-426-batch13

  Aug 13, 202610s
  More actions for workflow run 35

• fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329

  completed successfully:
  FFI Full Integration#34:Pull request#198openedbyhyperpolymath
  fix/ci-426-batch11

  Aug 13, 20261m 6s
  More actions for workflow run 34

• fix(ci): remove erroneous squisher-corpus guix.scm placeholder (#197)

  completed successfully:
  FFI Full Integration#33:Commit0f5c394pushedbyhyperpolymath
  main

  Aug 13, 20261m 36s
  More actions for workflow run 33

• fix(ci): remove erroneous squisher-corpus guix.scm placeholder

  completed successfully:
  FFI Full Integration#32:Pull request#197openedbyhyperpolymath
  fix/ci-426-squisher-cleanup

  Aug 13, 20261m 40s
  More actions for workflow run 32

• [P1] Explicit postulate sweep (Fork A) (#189)

  completed successfully:
  FFI Full Integration#31:Commit6c80e0bpushedbyhyperpolymath
  main

  Jul 25, 202612s
  More actions for workflow run 31

• [P1] Explicit postulate sweep (Fork A)

  completed successfully:
  FFI Full Integration#30:Pull request#189openedbyhyperpolymath
  fix-158-bodyless-postulates

  Jul 25, 202615s
  More actions for workflow run 30

• ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go…

  completed successfully:
  FFI Full Integration#29:Commit9ddee66pushedbyhyperpolymath
  main

  Jun 21, 20261m 45s
  More actions for workflow run 29

• feat(ffi): add missing Zig FFI exports — issue #88 (#160)

  failed at startup:
  FFI Full Integration#28:Commitbba9533pushedbyhyperpolymath
  main

  Jun 4, 2026Startup failure
  More actions for workflow run 28