Contract Gate

Workflow runs for Contract Gate

• fix: pin occupancy-types at its merge commit 8f09c0b (#277)

  completed successfully:
  Contract Gate#169:Commit836d06fpushedbyhyperpolymath
  main

  Oct 14, 20268m 48s
  More actions for workflow run 169

• fix: pin occupancy-types at its merge commit 8f09c0b

  completed successfully:
  Contract Gate#168:Pull request#277openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 20269m 4s
  More actions for workflow run 168

• feat(abi): MinMax joins the grade kernel; tropMax is its sequence (#276)

  completed successfully:
  Contract Gate#167:Commit9bb4c27pushedbyhyperpolymath
  main

  Oct 14, 20269m 19s
  More actions for workflow run 167

• feat(abi): MinMax joins the grade kernel; tropMax is its sequence

  completed successfully:
  Contract Gate#166:Pull request#276synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 20267m 49s
  More actions for workflow run 166

• feat(abi): MinMax joins the grade kernel; tropMax is its sequence

  cancelled:
  Contract Gate#165:Pull request#276synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 202619s
  More actions for workflow run 165

• feat(abi): MinMax joins the grade kernel; tropMax is its sequence

  cancelled:
  Contract Gate#164:Pull request#276openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 20267m 48s
  More actions for workflow run 164

• fix: PWL-01 follow-ups — WithinMaximum bounds the initial allocation;…

  completed successfully:
  Contract Gate#163:Commit47098dcpushedbyhyperpolymath
  main

  Oct 14, 20268m 34s
  More actions for workflow run 163

• fix: PWL-01 follow-ups — WithinMaximum bounds the initial allocation; gate exits if cd fails

  completed successfully:
  Contract Gate#162:Pull request#275synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 202611m 37s
  More actions for workflow run 162

• fix: PWL-01 follow-ups — WithinMaximum bounds the initial allocation; gate exits if cd fails

  cancelled:
  Contract Gate#161:Pull request#275synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 20264m 20s
  More actions for workflow run 161

• fix: PWL-01 follow-ups — WithinMaximum bounds the initial allocation; gate exits if cd fails

  cancelled:
  Contract Gate#160:Pull request#275openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 20265m 37s
  More actions for workflow run 160

• feat(abi): L16 K-CUT-LOSS, parametric in the grade kernel (PWL-01, PR…

  completed successfully:
  Contract Gate#159:Commit117bbf8pushedbyhyperpolymath
  main

  Oct 14, 20269m 17s
  More actions for workflow run 159

• feat(abi): L16 K-CUT-LOSS, parametric in the grade kernel (PWL-01, PR C)

  completed successfully:
  Contract Gate#158:Pull request#274synchronizebyhyperpolymath
  claude/new-session-ywdrth-c

  Oct 14, 20268m 33s
  More actions for workflow run 158

• feat(abi): L11/L12 read through the grade kernel; L13 occupancy and R…

  cancelled:
  Contract Gate#157:Commitc65be0apushedbyhyperpolymath
  main

  Oct 14, 20268m 58s
  More actions for workflow run 157

• feat(abi): L11/L12 read through the grade kernel; L13 occupancy and R-2 at a boundary (PWL-01, PR B)

  completed successfully:
  Contract Gate#156:Pull request#273synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 20269m 26s
  More actions for workflow run 156

• feat(abi): L16 K-CUT-LOSS, parametric in the grade kernel (PWL-01, PR C)

  completed successfully:
  Contract Gate#155:Pull request#274synchronizebyhyperpolymath
  claude/new-session-ywdrth-c

  Oct 14, 20269m 6s
  More actions for workflow run 155

• feat(abi): L16 K-CUT-LOSS, parametric in the grade kernel (PWL-01, PR C)

  cancelled:
  Contract Gate#154:Pull request#274openedbyhyperpolymath
  claude/new-session-ywdrth-c

  Oct 14, 20262m 45s
  More actions for workflow run 154

• feat(abi): L11/L12 read through the grade kernel; L13 occupancy and R-2 at a boundary (PWL-01, PR B)

  cancelled:
  Contract Gate#153:Pull request#273synchronizebyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 20264m 1s
  More actions for workflow run 153

• feat(abi): L11/L12 read through the grade kernel; L13 occupancy and R-2 at a boundary (PWL-01, PR B)

  completed successfully:
  Contract Gate#152:Pull request#273openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 20268m 27s
  More actions for workflow run 152

• feat(abi): resource-algebra as the grade kernel — one min-plus, one m…

  completed successfully:
  Contract Gate#151:Commit9403258pushedbyhyperpolymath
  main

  Oct 14, 20268m 36s
  More actions for workflow run 151

• feat(abi): resource-algebra as the grade kernel — one min-plus, one max-plus (PWL-01, PR A)

  completed successfully:
  Contract Gate#150:Pull request#271openedbyhyperpolymath
  claude/new-session-ywdrth

  Oct 14, 20268m 38s
  More actions for workflow run 150

• fix(ci): unblock E2E Validation and Static Analysis Gate (actions.lock drift from #268)

  completed successfully:
  Contract Gate#149:Pull request#270openedbyhyperpolymath
  claude/new-session-ywdrth-ci

  Oct 14, 202610s
  More actions for workflow run 149

• chore(deps-dev): bump tree-sitter-cli from 0.24.7 to 0.27.0 in /tools…

  completed successfully:
  Contract Gate#148:Commit3083b30pushedbyhyperpolymath
  main

  Oct 10, 20268s
  More actions for workflow run 148

• chore(deps-dev): bump tree-sitter-cli from 0.24.7 to 0.27.0 in /tools/tree-sitter-twasm

  completed successfully:
  Contract Gate#147:Pull request#267synchronizebyhyperpolymath
  dependabot/npm_and_yarn/tools/tree-sitter-twasm/tree-sitter-cli-0.27.0

  Oct 10, 202610s
  More actions for workflow run 147

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

  completed successfully:
  Contract Gate#146:Commit554345cpushedbyhyperpolymath
  main

  Oct 10, 20269s
  More actions for workflow run 146

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

  completed successfully:
  Contract Gate#145:Pull request#268synchronizebyhyperpolymath
  dependabot/github_actions/actions-9d52d8572a

  Oct 10, 202621s
  More actions for workflow run 145