Skip to content

roadmap: frozen roadmap-base.yaml snapshot + gate rule R7 (S1b of #6185) — GATE CHANGE - #6244

Closed
noahgift wants to merge 2 commits into
mainfrom
feat/roadmap-base-s1b-v6
Closed

noahgift wants to merge 2 commits into
mainfrom
feat/roadmap-base-s1b-v6

Conversation

@noahgift

Copy link
Copy Markdown
Member

GATE CHANGE. Supersedes #6238 (main's roadmap moved by 2 commits, so its snapshot was stale; linear re-cut onto main 2ce5e36, 2 commits, both PMAT-6185).

  1. docs/roadmaps/roadmap-base.yaml: byte copy of docs/roadmaps/roadmap.yaml at main 2ce5e36.
  2. Gate rule R7 in scripts/check_comparator_pin_citations.sh. It loosens R1 for ONE pair: roadmap-base.yaml passes unledgered only if every citing line is a byte-copy of a line the HISTORICAL ledger row for roadmap.yaml pins. Any other path, a fixture-class source or one novel line is R1. Membership only.
  3. Evidence: self-test C20-C24 (C24: aggregate removed, ledger row moved onto the base); mutants drop-copy-rule, any-copy-line, drop-class-filter, widen-scope all killed; self-test 41/41; real tree PASS.
  4. In-tree quorum triage record: docs/audits/quorum-PMAT-6185-R1-pin-cites.md. It is the A/B question ruling, NOT the sign-off. The two superseded pins in it are elided to 6 hex digits so the file does not trip R1.
  5. PMAT-6185 acceptance declares the gate change and the follow-up: the step removing the tracked roadmap.yaml moves its ledger row onto roadmap-base.yaml.

Known residual: a copy of a historical line skips R3/R6; a re-pin of roadmap.yaml that drops a citing line needs the base re-cut.

Needs: the non-author sign-off round bound to the FINAL commit (this round is the sign-off).

keep-open: S2-S4 follow under #6185.

🤖 Generated with Claude Code

t and others added 2 commits October 24, 2026 07:27
…data, Refs #6185)

A byte copy of docs/roadmaps/roadmap.yaml at main 2ce5e36; rule 3 and aggregate --check pass.

PMAT-Ticket: PMAT-6185
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…ap-base.yaml only (GATE CHANGE, Refs #6185)

R7 loosens R1 for ONE pair: roadmap-base.yaml passes unledgered only if every citing line is a byte-copy of a
line the HISTORICAL ledger row for roadmap.yaml pins. Any other path, a fixture-class source or one novel line
is R1. Rows C20-C24 (C24: aggregate removed, ledger row moved onto the base); mutants drop-copy-rule,
any-copy-line, drop-class-filter, widen-scope all killed; self-test 41/41. Membership only. The quorum triage
record is in-tree at docs/audits/quorum-PMAT-6185-R1-pin-cites.md (A/B ruling, not the sign-off).
PMAT-6185 acceptance now says S1a landed scripts-only and S1b adds the snapshot plus R7.
Residual: a copy of a historical line skips R3/R6.

PMAT-Ticket: PMAT-6185
Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
@noahgift

Copy link
Copy Markdown
Member Author

quorum-review (AD-04): three PASS — agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-6185",
 "head": "d4e1f14b58559c15d299247b6532c2691797cf28",
 "width": 3,
 "executor": "agy",
 "agreed": true,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "PASS",
   "findings": 3
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 4
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 0
  }
 ]
}

@noahgift

Copy link
Copy Markdown
Member Author

quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-1955",
 "head": "d4e1f14b58559c15d299247b6532c2691797cf28",
 "width": 3,
 "executor": "agy",
 "agreed": false,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "PASS",
   "findings": 4
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 5
  },
  {
   "lane": 3,
   "verdict": "FAIL",
   "findings": 2
  }
 ]
}

@noahgift

Copy link
Copy Markdown
Member Author

quorum-review (AD-04): three PASS — agreed (auto_merge: checked=true was_armed=false disarmed=false)

{
 "ticket": "PMAT-1955",
 "head": "d4e1f14b58559c15d299247b6532c2691797cf28",
 "width": 3,
 "executor": "agy",
 "agreed": true,
 "auto_merge": {
  "checked": true,
  "was_armed": false,
  "disarmed": false,
  "note": "auto-merge not armed"
 },
 "lanes": [
  {
   "lane": 1,
   "verdict": "PASS",
   "findings": 3
  },
  {
   "lane": 2,
   "verdict": "PASS",
   "findings": 4
  },
  {
   "lane": 3,
   "verdict": "PASS",
   "findings": 0
  }
 ]
}

@noahgift

Copy link
Copy Markdown
Member Author

Superseded by #6250, which has merged. Closed by the aprender cop (successor map from aprender-w5404, 10:12Z); the branch is kept.

@noahgift noahgift closed this Oct 24, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant