codex-home: /tmp/mantis-codex-home-${{ github.run_id }}

safety-strategy: unprivileged-user

codex-user: codex

allow-bot-users: clawsweeper[bot]

- name: Inspect Mantis evidence manifest

id: inspect

expect(workflowText).toContain('eventName === "pull_request_target"');

expect(workflowText).toContain("context.payload.pull_request?.number");

expect(workflowText).toContain("Accepted Mantis label trigger");

expect(workflowText).toContain("allow-bot-users: clawsweeper[bot]");

});

it("can publish an existing proof artifact without recapturing", () => {