Skip to content

source-control: inline promotion evidence loses a gate failure when its workflow run is deleted #7518

Closed

Description

@kyle-sexton

Refs: #4588, #7516

File mode's publish refuses to drop an earlier event (superset check in publish-promotion-evidence.mjs publish()). Inline mode rebuilds events from GitHub on every call, and a red post-merge run is the only source of its gate-failure. An identity with actions:write (the lane identity dispatches pr-require-checks.yml) can DELETE /actions/runs/{id}, and the demoted cell then reads promoted again. Needs a misbehaving or prompt-injected holder of that identity.

#7516 records the limit in reference/promotion-evidence-resolution.md, "Inline mode". Decision needed before pr-merge adopts inline mode: append events to storage the lane cannot write and fail closed when a recorded event disappears, or accept the gap and state that actions:write holders are trusted.

Found by the ready-for-review security review of #7516.

Activity

  1. added
    needs-triageNot yet classified. Floor until a type and one priority tier are set.
    on Oct 15, 2026
  2. github-actions commented on Oct 15, 2026

    @github-actions
    Contributor

    Thanks for the report. Automated triage handed this issue to a maintainer.

    Proposed work class: work-class: structural
    Basis: automated intake triage; a maintainer confirms or changes it.

    Automated triage. A maintainer reviews it.

  3. added
    needs-humanHuman-in-the-loop required; autonomous sessions must not resolve items carrying this.
    and removed
    needs-triageNot yet classified. Floor until a type and one priority tier are set.
    on Oct 15, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    needs-humanHuman-in-the-loop required; autonomous sessions must not resolve items carrying this.

    Type

    Fields

    No fields configured for Task.

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions