Instant Sync

Workflow runs for Instant Sync

• chore(state): session-close 2026-04-12 — log entry added

  failed:
  Instant Sync#73:Commit75eee84pushedbyhyperpolymath
  main

  Apr 12, 20265s
  More actions for workflow run 73

• chore(state): advance version to v2.5.0, mark completions + delta rep…

  failed:
  Instant Sync#72:Commit4624e53pushedbyhyperpolymath
  main

  Apr 12, 202614s
  More actions for workflow run 72

• docs: update CLAUDE.md with completed JWT bypass and Coq extraction d…

  failed:
  Instant Sync#71:Commit7b3042fpushedbyhyperpolymath
  main

  Apr 12, 202617s
  More actions for workflow run 71

• feat(v2.5.0): crypto_misuse JWT sig bypass + proof_drift Coq extracti…

  failed:
  Instant Sync#70:Commit1723745pushedbyhyperpolymath
  main

  Apr 12, 20266s
  More actions for workflow run 70

• feat(storage): wire VeriSimDB HTTP push via direct verisim-api

  failed:
  Instant Sync#69:Commit728688apushedbyhyperpolymath
  main

  Apr 12, 202651s
  More actions for workflow run 69

• chore(v2.5.0): update doc counts 23→25, STATE.a2ml v2.3.0, complete m…

  failed:
  Instant Sync#68:Commit82f2e6bpushedbyhyperpolymath
  main

  Apr 12, 20269s
  More actions for workflow run 68

• feat(v2.5.0): input_boundary (PA024) + mutation gap (PA025)

  failed:
  Instant Sync#67:Commitab89123pushedbyhyperpolymath
  main

  Apr 12, 202619s
  More actions for workflow run 67

• feat(v2.5.0): crypto_misuse category — PA022

  failed:
  Instant Sync#66:Commiteb949d8pushedbyhyperpolymath
  main

  Apr 12, 202615s
  More actions for workflow run 66

• chore(v2.2.0): doc sweep — 49 langs, 23 categories, stale counts cleared

  failed:
  Instant Sync#65:Commit0bba84dpushedbyhyperpolymath
  main

  Apr 12, 20266s
  More actions for workflow run 65

• feat(v2.5.0): proof_drift category — 49-language support, PA021

  failed:
  Instant Sync#64:Commitdf61372pushedbyhyperpolymath
  main

  Apr 12, 20268s
  More actions for workflow run 64

• feat(v2.1.0): wire FP suppression + remove Logtalk export

  failed:
  Instant Sync#63:Commit476efd9pushedbyhyperpolymath
  main

  Apr 11, 202614s
  More actions for workflow run 63

• docs(proof): update PROOF-NEEDS to reflect PA1+PA2 completion

  failed:
  Instant Sync#62:Commitf02af8cpushedbyhyperpolymath
  main

  Apr 11, 202612s
  More actions for workflow run 62

• docs(roadmap): add v2.5.0 — attack surface widening milestone

  failed:
  Instant Sync#61:Commit0a74596pushedbyhyperpolymath
  main

  Apr 11, 202610s
  More actions for workflow run 61

• chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred

  failed:
  Instant Sync#60:Commit698901bpushedbyhyperpolymath
  main

  Apr 11, 20261h 46m 51s
  More actions for workflow run 60

• fix: compilation errors, deprecation warnings, and add unit tests (#17)

  failed:
  Instant Sync#59:Commitfbbff87pushedbyhyperpolymath
  main

  Apr 10, 202612s
  More actions for workflow run 59

• fix: compilation errors, deprecation warnings, and add unit tests

  failed:
  Instant Sync#58:Commit8134738pushedbyJoshuaJewell
  main

  Apr 10, 20269s
  More actions for workflow run 58

• fix: add missing file/line fields to WeakPoint initializers (#16)

  failed:
  Instant Sync#57:Commit40b40dapushedbyhyperpolymath
  main

  Apr 9, 20269s
  More actions for workflow run 57

• chore(deps): bump getrandom from 0.3.4 to 0.4.2 (#15)

  failed:
  Instant Sync#56:Commit36c7599pushedbyhyperpolymath
  main

  Apr 9, 20263m 24s
  More actions for workflow run 56

• feat(crg): add crg-grade and crg-badge justfile recipes

  failed:
  Instant Sync#55:Commit21fc3f0pushedbyhyperpolymath
  main

  Apr 4, 20266h 2m 30s
  More actions for workflow run 55

• feat(crg): elevate assail to grade B, add Current Grade badge anchor

  failed:
  Instant Sync#54:Commit36bc6fcpushedbyhyperpolymath
  main

  Apr 4, 20265h 11m 16s
  More actions for workflow run 54

• chore: update eclexiaiser.toml with real function entries

  failed:
  Instant Sync#53:Commit256561epushedbyhyperpolymath
  main

  Apr 4, 20265h 7m 10s
  More actions for workflow run 53

• chore: add eclexiaiser.toml manifests for container sub-services

  failed:
  Instant Sync#52:Commit93649cfpushedbyhyperpolymath
  main

  Apr 4, 20264h 6m 19s
  More actions for workflow run 52

• chore: add K9 Kennel-level metadata guard

  failed:
  Instant Sync#51:Commit8f0800cpushedbyhyperpolymath
  main

  Apr 4, 20262h 17m 26s
  More actions for workflow run 51

• fix: add file/line fields to WeakPoint for GitHub Actions annotations…

  failed:
  Instant Sync#50:Commit3154217pushedbyhyperpolymath
  main

  Apr 4, 202619m 54s
  More actions for workflow run 50

• docs: substantive CRG C annotation (EXPLAINME.adoc)

  failed:
  Instant Sync#49:Commit650acb5pushedbyhyperpolymath
  main

  Apr 4, 202630m 51s
  More actions for workflow run 49