Skip to content

Commits

Branch selector

User selector

Commit History

Commits on May 14, 2026

Merge remote-tracking branch 'upstream/main' into dev
github-actions[bot] github-actions[bot]
committed
Merge commit '204af77596345c120e25ce9d433dad0676a59b37'
bellmanbellman
bellman
authored and
bellman
committed
Merge remote-tracking branch 'upstream/main' into dev
github-actions[bot] github-actions[bot]
committed
map branch recovery verification evidence
bellmanbellman
bellman
authored and
bellman
committed
Close the G005 verification gaps before checkpoint
bellmanbellman
bellman
authored and
bellman
committed
require provenance for green contracts
bellmanbellman
bellman
authored and
bellman
committed
harden branch recovery reporting
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-1 [1]
bellmanbellman
bellman
authored and
bellman
committed
Keep recovery recipe lint green for ledger reporting
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-3 [4]
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-1 [1]
bellmanbellman
bellman
authored and
bellman
committed
omx(team): merge worker-2
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-2 [3]
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-1 [1]
bellmanbellman
bellman
authored and
bellman
committed
omx(team): merge worker-1
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-1 [1]
bellmanbellman
bellman
authored and
bellman
committed
map g004 event report verification lanes
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-1 [1]
bellmanbellman
bellman
authored and
bellman
committed
Keep approval token contracts in their own runtime module
bellmanbellman
bellman
authored and
bellman
committed
harden report contract projection identity
bellmanbellman
bellman
authored and
bellman
committed
omx(team): merge worker-3
bellmanbellman
bellman
authored and
bellman
committed
Prove G004 contract bundles are machine-checkable
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-2 [3]
bellmanbellman
bellman
authored and
bellman
committed
task: approval token chain
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-2 [3]
bellmanbellman
bellman
authored and
bellman
committed
Stabilize G004 contract integration after worker merges
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-1 [1]
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-3 [6]
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-2 [3]
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-1 [1]
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-4 [unknown]
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-2 [3]
bellmanbellman
bellman
authored and
bellman
committed
omx(team): merge worker-2
bellmanbellman
bellman
authored and
bellman
committed
omx(team): auto-checkpoint worker-2 [3]
bellmanbellman
bellman
authored and
bellman
committed
Merge commit '4e0211d36c0180e787e73f96d52381f40a4c7ac4'
bellmanbellman
bellman
authored and
bellman
committed