Lock Sync Gate

Workflow runs for Lock Sync Gate

• feat: gate proof checks and add cost-state witnesses (#16)

  completed successfully:
  Lock Sync Gate#49:Commitce12cf7pushedbyhyperpolymath
  main

  Nov 3, 20268s
  More actions for workflow run 49

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#48:synchronizebycoderabbitai[bot]Bot
  arena/01a108bb-occupancy-types

  Nov 1, 2026Startup failure
  More actions for workflow run 48

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#47:synchronizebyhyperpolymath
  arena/01a108bb-occupancy-types

  Nov 1, 2026Startup failure
  More actions for workflow run 47

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#46:synchronizebyhyperpolymath
  arena/01a108bb-occupancy-types

  Nov 1, 2026Startup failure
  More actions for workflow run 46

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#45:synchronizebyhyperpolymath
  arena/01a108bb-occupancy-types

  Nov 1, 2026Startup failure
  More actions for workflow run 45

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#44:synchronizebyhyperpolymath
  arena/01a108bb-occupancy-types

  Nov 1, 2026Startup failure
  More actions for workflow run 44

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#43:synchronizebyhyperpolymath
  arena/01a108bb-occupancy-types

  Nov 1, 2026Startup failure
  More actions for workflow run 43

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#42:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-c8eb3872c1

  Nov 1, 2026Startup failure
  More actions for workflow run 42

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#41:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-1326a0cada

  Oct 18, 2026Startup failure
  More actions for workflow run 41

• ci+ids: the spine's own repair — canon 2.1.2, standards pins, closed …

  failed at startup:
  Lock Sync Gate#40:Commit680d0cfpushedbyhyperpolymath
  main

  Oct 15, 2026Startup failure
  More actions for workflow run 40

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#39:synchronizebycoderabbitai[bot]Bot
  ci/governance-repair

  Oct 15, 2026Startup failure
  More actions for workflow run 39

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#38:synchronizebycoderabbitai[bot]Bot
  ci/governance-repair

  Oct 15, 2026Startup failure
  More actions for workflow run 38

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#37:openedbyhyperpolymath
  ci/governance-repair

  Oct 15, 2026Startup failure
  More actions for workflow run 37

• docs: an Applications-in-practice section (#12)

  failed at startup:
  Lock Sync Gate#36:Commit7033336pushedbyhyperpolymath
  main

  Oct 15, 2026Startup failure
  More actions for workflow run 36

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#35:synchronizebyhyperpolymath
  docs/applications-in-practice

  Oct 15, 2026Startup failure
  More actions for workflow run 35

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#34:synchronizebyhyperpolymath
  docs/applications-in-practice

  Oct 15, 2026Startup failure
  More actions for workflow run 34

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#33:openedbyhyperpolymath
  docs/applications-in-practice

  Oct 15, 2026Startup failure
  More actions for workflow run 33

• fix: use resource-algebra's order lemmas; pin resource-algebra 0b338c…

  failed at startup:
  Lock Sync Gate#32:Commit8f09c0bpushedbyhyperpolymath
  main

  Oct 14, 2026Startup failure
  More actions for workflow run 32

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#31:synchronizebycoderabbitai[bot]Bot
  claude/new-session-ywdrth

  Oct 14, 2026Startup failure
  More actions for workflow run 31

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#30:openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 2026Startup failure
  More actions for workflow run 30

• reclaim-2026-10-12 (#9)

  failed at startup:
  Lock Sync Gate#29:Commitaf95728pushedbyhyperpolymath
  main

  Oct 12, 2026Startup failure
  More actions for workflow run 29

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#28:synchronizebyhyperpolymath
  reclaim-2026-10-12

  Oct 12, 2026Startup failure
  More actions for workflow run 28

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#27:synchronizebyhyperpolymath
  reclaim-2026-10-12

  Oct 12, 2026Startup failure
  More actions for workflow run 27

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#26:synchronizebycoderabbitai[bot]Bot
  reclaim-2026-10-12

  Oct 12, 2026Startup failure
  More actions for workflow run 26

• Lock Sync Gate

  failed at startup:
  Lock Sync Gate#25:synchronizebycoderabbitai[bot]Bot
  reclaim-2026-10-12

  Oct 12, 2026Startup failure
  More actions for workflow run 25