Repository navigation
Conversation
…p.yaml lines, that one pair only (Refs #6185) GATE CHANGE (loosens R1, ruled by quorum). R1 flagged the frozen snapshot's byte-copy of a dated ticket line. R7: docs/roadmaps/roadmap-base.yaml passes unledgered only if every citing line is a byte-identical copy of a line the HISTORICAL ledger row for docs/roadmaps/roadmap.yaml pins. Any other path, a fixture-class source, or one novel line is R1. Rows C20-C23; mutants drop-copy-rule, any-copy-line, drop-class-filter, widen-scope all killed; self-test 40/40, real tree PASS. Residual: a copy of a historical line skips R3/R6. PMAT-Ticket: PMAT-6185 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
…not data-only (Refs #6185) 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 |
|
quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false) {
"ticket": "PMAT-6185",
"head": "8ba263ad9af84c849f92694c33a8044b69dbc954",
"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": 2
},
{
"lane": 3,
"verdict": "FAIL",
"findings": 1
}
]
} |
|
quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false) {
"ticket": "PMAT-1955",
"head": "8ba263ad9af84c849f92694c33a8044b69dbc954",
"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": 2
},
{
"lane": 2,
"verdict": "PASS",
"findings": 3
},
{
"lane": 3,
"verdict": "FAIL",
"findings": 2
}
]
} |
…s the snapshot and R7 (Refs #6185) PMAT-Ticket: PMAT-6185 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
|
quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false) {
"ticket": "PMAT-1955",
"head": "8ba263ad9af84c849f92694c33a8044b69dbc954",
"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": 2
},
{
"lane": 3,
"verdict": "FAIL",
"findings": 1
}
]
} |
|
quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false) {
"ticket": "PMAT-6185",
"head": "52bb433b81198875b74a5a7352612a7cc6a5f22a",
"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": "FAIL",
"findings": 3
},
{
"lane": 3,
"verdict": "PASS",
"findings": 0
}
]
} |
|
quorum-review (AD-04): three PASS — agreed (auto_merge: checked=true was_armed=false disarmed=false) {
"ticket": "PMAT-1955",
"head": "52bb433b81198875b74a5a7352612a7cc6a5f22a",
"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": 4
},
{
"lane": 2,
"verdict": "PASS",
"findings": 4
},
{
"lane": 3,
"verdict": "PASS",
"findings": 0
}
]
} |
… move (C24); acceptance cites the receipt (Refs #6185) PMAT-Ticket: PMAT-6185 Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
|
quorum-review (AD-04): NOT agreed (auto_merge: checked=true was_armed=false disarmed=false) {
"ticket": "PMAT-6185",
"head": "27cb36c1128ba8830a9d5b15d1a5aaa03173dd42",
"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
}
]
} |
|
quorum-review (AD-04): three PASS — agreed (auto_merge: checked=true was_armed=false disarmed=false) {
"ticket": "PMAT-1955",
"head": "27cb36c1128ba8830a9d5b15d1a5aaa03173dd42",
"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": 4
},
{
"lane": 2,
"verdict": "PASS",
"findings": 3
},
{
"lane": 3,
"verdict": "PASS",
"findings": 0
}
]
} |
|
Superseded by #6250, which has merged. Closed by the aprender cop (successor map from aprender-w5404, 10:12Z); the branch is kept. |
GATE CHANGE. Supersedes #6228 (same content, re-cut so each commit cites one ticket and R7 is scoped to one path pair).
docs/roadmaps/roadmap-base.yaml: byte copy ofdocs/roadmaps/roadmap.yamlat main d3d6662 (rule 3 andaggregate --checkpass).scripts/check_comparator_pin_citations.sh(quorum receipttriage-quorum-6228-R1-pin-cites-*.md). 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.Known residual: a copy of a historical line skips R3/R6.
Needs: non-author sign-off round bound to the FINAL commit.
keep-open: S2-S4 follow under #6185.
🤖 Generated with Claude Code