Repository navigation
Conversation
…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>
|
§13.11 rung 1 — quorum shadow verdict Shadow mode: this records a verdict and merges nothing. A refusal |
Member
Author
|
quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false) {
"ticket": "PMAT-1955",
"head": "3fe73290a4aaffb488e3b6f00aa75650fc58f03d",
"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": 3
},
{
"lane": 2,
"verdict": "PASS",
"findings": 3
},
{
"lane": 3,
"verdict": "FAIL",
"findings": 1
}
]
} |
Member
Author
|
quorum-review (AD-04): three PASS — agreed (auto_merge: checked=true was_armed=false disarmed=false) {
"ticket": "PMAT-6185",
"head": "3fe73290a4aaffb488e3b6f00aa75650fc58f03d",
"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": 5
},
{
"lane": 3,
"verdict": "PASS",
"findings": 0
}
]
} |
Member
Author
|
quorum-review (AD-04): three PASS — agreed (auto_merge: checked=true was_armed=false disarmed=false) {
"ticket": "PMAT-1955",
"head": "3fe73290a4aaffb488e3b6f00aa75650fc58f03d",
"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": 3
},
{
"lane": 3,
"verdict": "PASS",
"findings": 0
}
]
} |
Member
Author
|
Superseded by #6250, which has merged. Closed by the aprender cop (successor map from aprender-w5404, 10:12Z); the branch is kept. |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
GATE CHANGE. Supersedes #6244 (needs the X64 pr-light pin from #6243; linear re-cut onto main 57452cf, 2 commits, both PMAT-6185).
docs/roadmaps/roadmap-base.yaml: byte copy ofdocs/roadmaps/roadmap.yamlat main 57452cf.scripts/check_comparator_pin_citations.sh. It loosens R1 for ONE pair:roadmap-base.yamlpasses unledgered only if every citing line is a byte-copy of a line the HISTORICAL ledger row forroadmap.yamlpins. Any other path, a fixture-class source or one novel line is R1. Membership only.docs/audits/quorum-PMAT-6185-R1-pin-cites.mdis the A/B question ruling, NOT the sign-off (superseded pins elided).roadmap.yamlmoves its ledger row ontoroadmap-base.yaml.Known residual: a copy of a historical line skips R3/R6; a re-pin of
roadmap.yamlthat drops a citing line needs the base re-cut.Needs: the non-author sign-off round bound to the FINAL commit.
keep-open: S2-S4 follow under #6185.
🤖 Generated with Claude Code