Lock Sync Gate

Workflow runs for Lock Sync Gate

• feat(formal): Recovery.v — squeakwell recovery kernel over Octad.v (R…

  failed:
  Lock Sync Gate#200:Commit7039618pushedbyhyperpolymath
  main

  Nov 10, 202610s
  More actions for workflow run 200

• feat(formal): Recovery.v — squeakwell recovery kernel over Octad.v (R2/R3/R4/R9/R10)

  failed:
  Lock Sync Gate#199:Pull request#350synchronizebyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 20261m 7s
  More actions for workflow run 199

• feat(formal): Recovery.v — squeakwell recovery kernel over Octad.v (R2/R3/R4/R9/R10)

  completed successfully:
  Lock Sync Gate#198:Pull request#350synchronizebyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202643m 24s
  More actions for workflow run 198

• feat(formal): Recovery.v — squeakwell recovery kernel over Octad.v (R2/R3/R4/R9/R10)

  completed successfully:
  Lock Sync Gate#197:Pull request#350synchronizebyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202645m 13s
  More actions for workflow run 197

• feat(formal): Recovery.v — squeakwell recovery kernel over Octad.v (R2/R3/R4/R9/R10)

  cancelled:
  Lock Sync Gate#196:Pull request#350synchronizebyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 20261m 32s
  More actions for workflow run 196

• feat(formal): Recovery.v — squeakwell recovery kernel over Octad.v (R2/R3/R4/R9/R10)

  completed successfully:
  Lock Sync Gate#195:Pull request#350synchronizebyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202629m 38s
  More actions for workflow run 195

• feat(formal): Recovery.v — squeakwell recovery kernel over Octad.v (R2/R3/R4/R9/R10)

  cancelled:
  Lock Sync Gate#194:Pull request#350openedbyhyperpolymath
  claude/gracious-darwin-vkgj6l

  Nov 9, 202611m 58s
  More actions for workflow run 194

• chore(deps): bump the actions group across 1 directory with 7 updates

  failed:
  Lock Sync Gate#193:Pull request#349openedbydependabot[bot]Bot
  dependabot/github_actions/actions-71e5f3a5db

  Nov 7, 20268s
  More actions for workflow run 193

• chore(deps): bump the cargo-minor-patch group across 1 directory with 4 updates

  failed:
  Lock Sync Gate#192:Pull request#348openedbydependabot[bot]Bot
  dependabot/cargo/cargo-minor-patch-ebcfac74bc

  Nov 7, 20267s
  More actions for workflow run 192

• chore(deps): bump futures from 0.3.32 to 0.3.34 in /rust-core/fuzz

  failed:
  Lock Sync Gate#191:Pull request#345openedbydependabot[bot]Bot
  dependabot/cargo/rust-core/fuzz/futures-0.3.34

  Nov 1, 20269s
  More actions for workflow run 191

• chore(deps): bump tokio from 1.52.3 to 1.54.1 in /rust-core/fuzz

  failed:
  Lock Sync Gate#190:Pull request#344openedbydependabot[bot]Bot
  dependabot/cargo/rust-core/fuzz/tokio-1.54.1

  Nov 1, 202619s
  More actions for workflow run 190

• chore(deps): bump hyper from 1.11.1 to 1.12.0 in /fuzz

  failed:
  Lock Sync Gate#189:Pull request#343openedbydependabot[bot]Bot
  dependabot/cargo/fuzz/hyper-1.12.0

  Nov 1, 20268s
  More actions for workflow run 189

• audit: VCL communication-substrate claim for ECHIDNA/echidnabot/proof…

  failed:
  Lock Sync Gate#188:Commit137045apushedbyhyperpolymath
  main

  Nov 1, 202652s
  More actions for workflow run 188

• audit: VCL communication-substrate claim for ECHIDNA/echidnabot/proof-burrower

  failed:
  Lock Sync Gate#187:Pull request#342openedbyhyperpolymath
  arena/7a2a8bd7-verisimdb

  Nov 1, 20268s
  More actions for workflow run 187

• fix(auth): enforce middleware on merged GraphQL and federation routes…

  failed:
  Lock Sync Gate#186:Commitdd82709pushedbyhyperpolymath
  main

  Oct 31, 202610s
  More actions for workflow run 186

• docs(recon): as-built identity model, modality evidence, proof obliga…

  cancelled:
  Lock Sync Gate#185:Commit95c9e96pushedbyhyperpolymath
  main

  Oct 31, 202628s
  More actions for workflow run 185

• docs(recon): as-built identity model, modality evidence, proof obligations and v1 consumer contract

  failed:
  Lock Sync Gate#184:Pull request#337synchronizebyhyperpolymath
  docs/as-built-identity-recon-2026-10-29

  Oct 31, 202613s
  More actions for workflow run 184

• chore(deps): bump the actions group with 4 updates

  failed:
  Lock Sync Gate#183:Pull request#341openedbydependabot[bot]Bot
  dependabot/github_actions/actions-d62306716f

  Oct 31, 202612s
  More actions for workflow run 183

• chore(deps): bump the cargo-minor-patch group with 3 updates

  failed:
  Lock Sync Gate#182:Pull request#340openedbydependabot[bot]Bot
  dependabot/cargo/cargo-minor-patch-1f1f2fbac3

  Oct 31, 202620s
  More actions for workflow run 182

• chore(deps): bump bandit from 1.13.1 to 1.14.1 in /elixir-orchestration

  failed:
  Lock Sync Gate#181:Pull request#339openedbydependabot[bot]Bot
  dependabot/hex/elixir-orchestration/bandit-1.14.1

  Oct 31, 202630s
  More actions for workflow run 181

• fix(api): reject modality inputs that would be silently discarded (#334)

  failed:
  Lock Sync Gate#180:Commit2cf7746pushedbyhyperpolymath
  main

  Oct 31, 20268s
  More actions for workflow run 180

• docs(recon): as-built identity model, modality evidence, proof obligations and v1 consumer contract

  failed:
  Lock Sync Gate#179:Pull request#337synchronizebyhyperpolymath
  docs/as-built-identity-recon-2026-10-29

  Oct 29, 202611s
  More actions for workflow run 179

• fix(auth): enforce middleware on merged GraphQL and federation routes

  failed:
  Lock Sync Gate#178:Pull request#336synchronizebyhyperpolymath
  fix/auth-router-coverage

  Oct 29, 202610s
  More actions for workflow run 178

• fix(api): reject modality inputs that would be silently discarded

  failed:
  Lock Sync Gate#177:Pull request#334synchronizebyhyperpolymath
  fix/reject-lossy-octad-input

  Oct 29, 20268s
  More actions for workflow run 177

• chore(deps): bump rustler from 0.36.2 to 0.39.0 (#327)

  failed:
  Lock Sync Gate#176:Commit4e2c43epushedbyhyperpolymath
  main

  Oct 29, 20268s
  More actions for workflow run 176