Instant Sync

Workflow runs for Instant Sync

• Claude/unbounded severity v2 (#135)

  failed:
  Instant Sync#223:Commitb26acb0pushedbyhyperpolymath
  main

  Jun 24, 202611s
  More actions for workflow run 223

• chore(deps): bump the rust-minor group across 1 directory with 2 upda…

  failed:
  Instant Sync#222:Commit3155768pushedbyhyperpolymath
  main

  Jun 24, 202653s
  More actions for workflow run 222

• fix(assail): null-check-aware UncheckedAllocation + precise eval dete…

  failed:
  Instant Sync#221:Commit60d9219pushedbyhyperpolymath
  main

  Jun 24, 20266s
  More actions for workflow run 221

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

  failed:
  Instant Sync#220:Commit926c507pushedbyhyperpolymath
  main

  Jun 22, 202619m 14s
  More actions for workflow run 220

• Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) …

  failed:
  Instant Sync#219:Commit549234dpushedbyhyperpolymath
  main

  Jun 21, 20269s
  More actions for workflow run 219

• Fix broken bench: add missing test_context field to WeakPoint literal…

  failed:
  Instant Sync#218:Commit36db570pushedbyhyperpolymath
  main

  Jun 21, 20266s
  More actions for workflow run 218

• fix(assail): UnboundedAllocation is Medium, not Critical

  failed:
  Instant Sync#217:Commit3f7d0bbpushedbyhyperpolymath
  main

  Jun 13, 202613s
  More actions for workflow run 217

• chore(deps): bump the rust-minor group with 2 updates (#126)

  failed:
  Instant Sync#216:Commit6a814fapushedbyhyperpolymath
  main

  Jun 13, 20267s
  More actions for workflow run 216

• ci: wire the merge-orchestration CVE/bump gate (bridge-gate.yml) (#127)

  failed:
  Instant Sync#215:Commit2576c19pushedbyhyperpolymath
  main

  Jun 13, 202614s
  More actions for workflow run 215

• proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX…

  failed:
  Instant Sync#214:Commitd215986pushedbyhyperpolymath
  main

  Jun 4, 20268s
  More actions for workflow run 214

• chore(close-out): CI hardening + hexad proof + doc accuracy + 6a2 met…

  failed:
  Instant Sync#213:Commitcfc892fpushedbyhyperpolymath
  main

  Jun 4, 202610s
  More actions for workflow run 213

• feat: assay / assimilate / aggregate — proof-integration subcommands …

  failed:
  Instant Sync#212:Commit4dc4acapushedbyhyperpolymath
  main

  Jun 4, 20269s
  More actions for workflow run 212

• feat(safe_path): port proven SafePath as pure-Rust + add traversal gu…

  failed:
  Instant Sync#211:Commit2dc1393pushedbyhyperpolymath
  main

  Jun 2, 202610m 14s
  More actions for workflow run 211

• proofs(Layer 1.0): close slash-slash inductive case via mutual recurs…

  failed:
  Instant Sync#210:Commit833f394pushedbyhyperpolymath
  main

  Jun 2, 202610m 0s
  More actions for workflow run 210

• release(v2.5.5): tag the 11-PR context-awareness cohort (#118)

  failed:
  Instant Sync#209:Commitd5f3a4fpushedbyhyperpolymath
  main

  Jun 2, 202610m 4s
  More actions for workflow run 209

• docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME…

  failed:
  Instant Sync#208:Commit2fc73bdpushedbyhyperpolymath
  main

  Jun 2, 20269m 17s
  More actions for workflow run 208

• proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l…

  failed:
  Instant Sync#207:Commitad1faf6pushedbyhyperpolymath
  main

  Jun 2, 202626s
  More actions for workflow run 207

• feat(suppression): v2.5.5 Phase 2 — analyzer wire-up (#110)

  failed:
  Instant Sync#206:Commitad72e06pushedbyhyperpolymath
  main

  Jun 2, 20268s
  More actions for workflow run 206

• ci(codeql): cron weekly→monthly (cut 3, standards#288) (#109)

  failed:
  Instant Sync#205:Commit600bf51pushedbyhyperpolymath
  main

  Jun 2, 202612s
  More actions for workflow run 205

• feat(ffi_kind): v2.5.5 FFI subtyping (BuildSystem / RuntimeAbi / Test…

  failed:
  Instant Sync#204:Commitd25210dpushedbyhyperpolymath
  main

  Jun 2, 202618s
  More actions for workflow run 204

• feat(v3.0.0): Chapel→VeriSimDB HTTP push via panic-attack verisim-pus…

  failed:
  Instant Sync#203:Commit62c98ccpushedbyhyperpolymath
  main

  Jun 2, 20261m 10s
  More actions for workflow run 203

• feat(jit_context): v2.5.5 JIT-framework classifier (Cranelift/LLVM/Wa…

  failed:
  Instant Sync#202:Commitf0b6463pushedbyhyperpolymath
  main

  Jun 2, 20263m 24s
  More actions for workflow run 202

• feat(comment_marker): v2.5.5 inline 'panic-attack: accepted' suppress…

  failed:
  Instant Sync#201:Commit7d633e3pushedbyhyperpolymath
  main

  Jun 2, 20269s
  More actions for workflow run 201

• docs(proof): PROOF-PROGRAMME.md — first-principles 3-layer landscape …

  failed:
  Instant Sync#200:Commit016dd53pushedbyhyperpolymath
  main

  Jun 2, 20268s
  More actions for workflow run 200

• chore(license): PMPL → MPL-2.0 sweep (1 files) (#103)

  failed:
  Instant Sync#199:Commit3014a51pushedbyhyperpolymath
  main

  Jun 2, 202610s
  More actions for workflow run 199