Obligation gate (Gate III): justification-required abort_run#553

xmap merged 2 commits into

mainxmap/cora:mainfrom

worktree-obligation-gatexmap/cora:worktree-obligation-gateCopy head branch name to clipboard