Skip to content

a wide refactor of aprender-contracts made three unrelated PRs DIRTY on the same three files — the class needs a rebase sweep the moment such a merge lands #3628

Closed as not planned

Description

@noahgift

Measured in the 2026-09-20 sweep of DIRTY PRs. Three unrelated PRs — #3351 (pv L2 column), #3395 (AutoGluon CRUX category), #3350 (GDN shape keys) — were all cut on 2026-09-16 and were all DIRTY by 2026-09-18 on the same files under crates/aprender-contracts: src/lint/strict_test_binding.rs, src/commands/lint.rs, src/schema/types.rs / src/schema/validator.rs. One merge did it: ONT-6 (#3463, "one Verdict lattice, Kani-proved; per-repo arming; exit-vocabulary mapping"), a wide refactor of the contracts crate that landed on 2026-09-18. None of the three PRs is about the Verdict lattice; each touched those files for its own reason and each now carries a content conflict the by-id roadmap resolver cannot help with, because the conflicts are in code. All three are otherwise green (present is their only red) and none is superseded. The class: a wide refactor of a shared crate makes every open PR that touches that crate DIRTY at once, silently, and the conflicts surface one PR at a time as each is picked up — days later, by someone who did not land the refactor. No proposal here; this is a ledger entry for the failure-classes list.

Refs #3463, #3351, #3395, #3350

Activity

  1. added this to the 0.70.0 milestone on Sep 20, 2026
  2. added
    triageclassification/linking row; no code diff
    kind:triageEpic, tracker, decision or hygiene work (derived rule, #4159)
    on Sep 20, 2026
  3. modified the milestones: 0.70.0, backlog on Sep 24, 2026
  4. noahgift commented on Sep 25, 2026

    @noahgift
    MemberAuthor

    Parked by APR-EPIC-001: over S2 budget (rank 36/38). Reopen = pull. Applied by aprender-d1: claude+agy both said close, apr shadow row recorded (handoff/close-quorum-2026-09-25.json).

  5. added
    parkedClosed over epic budget (APR-EPIC-001 rule 5). Reopen = pull.
    on Sep 25, 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

    kind:triageEpic, tracker, decision or hygiene work (derived rule, #4159)parkedClosed over epic budget (APR-EPIC-001 rule 5). Reopen = pull.triageclassification/linking row; no code diff

    Type

    No type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions