Instant Sync

Workflow runs for Instant Sync

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

  failed at startup:
  Instant Sync#147:Commit3398da0pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#146:Commit2956930pushedbyhyperpolymath
  main

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

• fix(soundness): FFI octad ops fail loudly instead of reporting false …

  failed at startup:
  Instant Sync#145:Commit696c495pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#144:Commitce26ae4pushedbyhyperpolymath
  main

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

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

  failed at startup:
  Instant Sync#143:Commit0d2e8e5pushedbyhyperpolymath
  main

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

• ABI Layer 3: compositional sidecar isolation (write-effect monoid hom…

  failed:
  Instant Sync#142:Commit3f4675cpushedbyhyperpolymath
  main

  Jun 28, 202618s
  More actions for workflow run 142

• fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate (#175)

  failed:
  Instant Sync#141:Commit77f6eb7pushedbyhyperpolymath
  main

  Jun 27, 20268s
  More actions for workflow run 141

• chore: port the ABI-FFI gate from Python to Julia (RSR-H4: no Python)…

  failed:
  Instant Sync#140:Commitdd49dd3pushedbyhyperpolymath
  main

  Jun 27, 20266s
  More actions for workflow run 140

• feat(abi): prove hash-chain integrity, version ordering & lineage acy…

  failed:
  Instant Sync#139:Commitb53a4c8pushedbyhyperpolymath
  main

  Jun 27, 202638s
  More actions for workflow run 139

• chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + …

  failed:
  Instant Sync#138:Commit5c1c44cpushedbyhyperpolymath
  main

  Jun 27, 20269s
  More actions for workflow run 138

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

  failed:
  Instant Sync#137:Commit56e6c5fpushedbyhyperpolymath
  main

  Jun 27, 20262h 29m 52s
  More actions for workflow run 137

• verisimiser: make ABI/FFI/codegen provably-real + honest docs (#167)

  failed:
  Instant Sync#136:Commit86319dbpushedbyhyperpolymath
  main

  Jun 27, 202610s
  More actions for workflow run 136

• P3: prove octad-model invariants as real bijections + sidecar isolati…

  failed:
  Instant Sync#135:Commitf4ea008pushedbyhyperpolymath
  main

  Jun 27, 202611s
  More actions for workflow run 135

• P1: fix Zig FFI to compile under Zig 0.14.0 (#166)

  failed:
  Instant Sync#134:Commit84162aapushedbyhyperpolymath
  main

  Jun 26, 202611s
  More actions for workflow run 134

• Auto-install pinned Zig toolchain in setup + devcontainer (#165)

  failed:
  Instant Sync#133:Commitefd2291pushedbyhyperpolymath
  main

  Jun 26, 20265m 59s
  More actions for workflow run 133

• ABI: make Idris2 proofs genuinely compile + add machine-checked theor…

  failed:
  Instant Sync#132:Commit6f9bdc2pushedbyhyperpolymath
  main

  Jun 26, 20261m 19s
  More actions for workflow run 132

• Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#163)

  failed:
  Instant Sync#131:Commitfe51a4apushedbyhyperpolymath
  main

  Jun 26, 20266s
  More actions for workflow run 131

• chore(ci): add dormant push-email notification workflow (#162)

  failed:
  Instant Sync#130:Commit76d0573pushedbyhyperpolymath
  main

  Jun 24, 202621h 16m 16s
  More actions for workflow run 130

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) …

  failed:
  Instant Sync#129:Commit89baf58pushedbyhyperpolymath
  main

  Jun 24, 202618h 38m 18s
  More actions for workflow run 129

• chore(clade): backfill [status] lifecycle block (#160)

  failed:
  Instant Sync#128:Commit699f64epushedbyhyperpolymath
  main

  Jun 24, 202616h 43m 28s
  More actions for workflow run 128

• chore(ci): bump standards reusable workflow pins (#159)

  failed:
  Instant Sync#127:Commitfc6c30bpushedbyhyperpolymath
  main

  Jun 24, 20267h 47m 15s
  More actions for workflow run 127

• chore(nix->guix): remove flake.nix (Guix-only) (#158)

  failed:
  Instant Sync#126:Commit796eefbpushedbyhyperpolymath
  main

  Jun 24, 202622m 54s
  More actions for workflow run 126

• chore: retire local issue/discussion templates -> inherit org .github…

  failed:
  Instant Sync#125:Commit38d4e79pushedbyhyperpolymath
  main

  Jun 22, 20261h 16m 51s
  More actions for workflow run 125

• Base camp: add root Mustfile (RSR compliance) (#157)

  failed:
  Instant Sync#124:Commit4c98b4dpushedbyhyperpolymath
  main

  Jun 18, 20267s
  More actions for workflow run 124

• chore(license): flip 274 PMPL→MPL-2.0 SPDX stamps (#156)

  failed:
  Instant Sync#123:Commitb8f1da5pushedbyhyperpolymath
  main

  Jun 2, 20261m 21s
  More actions for workflow run 123