Push email notification

Workflow runs for Push email notification

• fix(ci): clear OSSF Scorecard startup_failure (#44)

  failed at startup:
  Push email notification#36:Commitd1036b9pushedbyhyperpolymath
  main

  Jul 6, 2026Startup failure
  More actions for workflow run 36

• fix(ci): make OSSF Scorecard caller valid (perms / drop timeout-minutes)

  failed at startup:
  Push email notification#35:Commit495e420pushedbyhyperpolymath
  fix/scorecard-caller-startup

  Jul 6, 2026Startup failure
  More actions for workflow run 35

• fix(clade): correct identity uuid (deterministic v5) (#43)

  failed at startup:
  Push email notification#34:Commitf83af4fpushedbyhyperpolymath
  fix/scorecard-caller-startup

  Jul 6, 2026Startup failure
  More actions for workflow run 34

• fix(clade): correct identity uuid (deterministic v5) (#43)

  failed at startup:
  Push email notification#33:Commitf83af4fpushedbyhyperpolymath
  main

  Jun 29, 2026Startup failure
  More actions for workflow run 33

• fix(clade): correct identity to deterministic v5 (rsr-template residue)

  failed at startup:
  Push email notification#32:Commitfa84b5epushedbyhyperpolymath
  fix/clade-uuid

  Jun 29, 2026Startup failure
  More actions for workflow run 32

• ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia…

  failed at startup:
  Push email notification#31:Commit6158143pushedbyhyperpolymath
  main

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

• Merge branch 'main' into claude/new-session-znxgm7

  failed at startup:
  Push email notification#30:Commit571d591pushedbyhyperpolymath
  claude/new-session-znxgm7

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

• ci: adopt canonical Julia ABI-FFI gate (estate standard, matches veri…

  failed at startup:
  Push email notification#29:Commitc76ba9apushedbyhyperpolymath
  claude/new-session-znxgm7

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

• ci: make CI green — bump rust-ci to standards@8dc2bf0 (toolchain: sta…

  failed at startup:
  Push email notification#28:Commit29c43bapushedbyhyperpolymath
  claude/new-session-znxgm7

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

• ABI Layer 5: end-to-end soundness capstone certificate (#41)

  failed at startup:
  Push email notification#27:Commit721550apushedbyhyperpolymath
  main

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

• Merge branch 'main' into claude/new-session-znxgm7

  failed at startup:
  Push email notification#26:Commite4fef55pushedbyhyperpolymath
  claude/new-session-znxgm7

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

• Add Layer-5 capstone ABI soundness certificate (Tlaiser.ABI.Capstone)

  failed at startup:
  Push email notification#25:Commit35c3cedpushedbyhyperpolymath
  claude/new-session-znxgm7

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

• ABI Layer 4: prove the FFI result-code seam is injective + faithful (…

  failed at startup:
  Push email notification#24:Commit9efc926pushedbyhyperpolymath
  main

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

• Merge branch 'main' into claude/new-session-znxgm7

  failed at startup:
  Push email notification#23:Commita4c76bdpushedbyhyperpolymath
  claude/new-session-znxgm7

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

• Add Layer 4 FfiSeam proof sealing ABI<->FFI result encoding

  skipped:
  Push email notification#22:Commitaf9c0efpushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 20261s
  More actions for workflow run 22

• ABI Layer 3: compositionality of inductive invariants (conjunction is…

  skipped:
  Push email notification#21:Commitb0cd266pushedbyhyperpolymath
  main

  Jun 28, 20261s
  More actions for workflow run 21

• Merge branch 'main' into claude/new-session-znxgm7

  skipped:
  Push email notification#20:Commit5e89d15pushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 20261s
  More actions for workflow run 20

• abi(tlaiser): Layer-3 — inductive invariants compose (conjunction is …

  skipped:
  Push email notification#19:Commit0680396pushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 20261s
  More actions for workflow run 19

• abi: prove inductive-invariant soundness (TLA+ INV1) in Tlaiser.ABI.S…

  skipped:
  Push email notification#18:Commit8f54595pushedbyhyperpolymath
  main

  Jun 27, 20267s
  More actions for workflow run 18

• abi: prove inductive-invariant soundness (TLA+ INV1) in Tlaiser.ABI.S…

  skipped:
  Push email notification#17:Commitee9339epushedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 27, 20267s
  More actions for workflow run 17

• ci: refresh standards reusable pins to current HEAD (d7c2271) (#37)

  skipped:
  Push email notification#16:Commitd8da9f8pushedbyhyperpolymath
  main

  Jun 27, 20261s
  More actions for workflow run 16

• ci: re-pin scorecard reusable to standards HEAD d7c2271 (hypatia#464)

  skipped:
  Push email notification#15:Commiteb57669pushedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 20261s
  More actions for workflow run 15

• ci: re-pin governance reusable to standards HEAD d7c2271 (hypatia#464)

  skipped:
  Push email notification#14:Commit9fc8778pushedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 20261s
  More actions for workflow run 14

• ci: re-pin hypatia-scan reusable to standards HEAD d7c2271 (hypatia#464)

  skipped:
  Push email notification#13:Commit6c5dc93pushedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 20261s
  More actions for workflow run 13

• ci: add ABI↔FFI conformance gate (#36)

  skipped:
  Push email notification#12:Commit4d6a89bpushedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 20261s
  More actions for workflow run 12