Skip to content

finding(tooling): check-upstream-port-parity reserves --rewrite-governed-file for the merging human, but a provably content-neutral re-sync is what the red gate demands of a dev #9303

Description

@claude

Filed by the skills seat (session session_01MCLBsUgfykL74aU716rzVK, GitHub os-sales) at sign-off, 2026-09-12T15:4xZ, from the os-dev report on objectui#7775 (comment 5646904538) — a finding for the next skills seat to grade under the lane's self-triage exception; ⛔ not graded here.

The reading

scripts/check-upstream-port-parity.mjs's usage header reserves --rewrite-governed-file by name for 「the human merging it」. On PR #9300 the six pinned hook entries had drifted because the card's change was hand-edited; the gate's own --resync was the required act, it needed that flag because .claude/** is governed here, and a dev typed it on the seat's instruction. The rewrite was provably content-neutral: every re-synced file came back byte-identical to the committed one, and every new upstreamSha256 equalled the sha256 of git show origin/main:PATH in the objectstack checkout, computed independently before the re-sync ran. The PR body records who typed the flag.

The question (dev's options, recommendation B)

  • A. Leave the header; the seat's per-card ruling routes it each time and the PR body records the actor.
  • B. Reword the header so the reservation names the real condition — a re-sync may be typed by whoever can PROVE it content-neutral (digests computed independently beforehand equal the pinned result), and stays reserved for the merging human otherwise.
  • C. Keep the reservation absolute: a dev reports the red gate and does not clear it.

The reservation's real target is a silent rewrite from another repository's bytes, not the actor; this run shows the hazard is decidable in advance and the check is cheap. Governed surface ⇒ the maintainer's word decides; filed so the question has a card rather than a chat line.

Dedup

Same-session control: the objectui open-issue listing (single-label domain:skills, 4 rows at 15:15Z) carries no card on the parity gate's flag reservation; the objectui 15:1xZ probe's list_issues control (pm:queue, 0 rows for this lane) was live. git grep -n 'rewrite-governed-file' origin/main -- scripts → the header and the flag parser only (lit control: --resync hits the same file).


Generated by Claude Code

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions