Train 39: stated-field receiver typing, --path question-word order + test-copy disclosure, --grep carrier defs by joyful-ii-V-I · Pull Request #457 · redhat-et/ripwire

P1 PATH-ORDER: --path orders reaching pairs by the argument's owner words (after proven-ness) and discloses a bound test/fixture copy (from_test=/to_test= + next=)

joyful-ii-V-I

and

claude

committed

035f3db

P1 PATH-ORDER: keep pathPairsLegend/pathPairsRootAttrs signatures; the test twin's attrs and the qword/twin clauses are their own helpers (qd)

joyful-ii-V-I

and

claude

committed

29b5bd0

P1 PATH-ORDER: qword= only when the word orders something (every pair's owner carrying it marks none); arm QA

joyful-ii-V-I

and

claude

committed

c7dfba1

ci-flakes: scale cppqualcheck's cold repo-root parse by the harness factor; give memguardcheck B12 a call-free fixture

joyful-ii-V-I

and

claude

committed

360e895

grep: a carrier <enc> row with vals= names its definition as p=file:line (A3)

joyful-ii-V-I

and

claude

committed

b14f336

pathpaircheck ZN: a second source def beside the bound one, so the bound-in-tests guard has its own near miss

joyful-ii-V-I

and

claude

committed

8364a4f

receiver-fixes: stated-field receivers, Python annotated/qualified typing, open Rust trait declines

joyful-ii-V-I

and

claude

committed

fbd4d91

grep: compact legend row for the carrier <enc> p= (A3)

joyful-ii-V-I

and

claude

committed

852a77d

grep: the carrier p= in its own helper (grepCarrierAt), grepCarrierText's complexity unchanged

joyful-ii-V-I

and

claude

committed

9ba278c

changelog.d: grep carrier p= (A3)

joyful-ii-V-I

and

claude

committed

d87cde4

receiver-fixes: pySelfFieldType helper (qd nesting), gate arms T5b/T9-T11/R3, ifacedispatch k_rs_undecided_use declines, gate count 717

joyful-ii-V-I

and

claude

committed

715133d

changelog.d: grep carrier p= bytes incl. the compact legend line

joyful-ii-V-I

and

claude

committed

e595bd9

ci-flakes fix1: reword the changelog fragment (no harness flag as prose), give memguardcheck B12 a worker-count-robust laddered fixture, raise compactlegendcheck's declared budget

joyful-ii-V-I

and

claude

committed

4662d6c

receiver-fixes fix 1: constructed field value beats annotation, type aliases keep the own-class candidate, open Rust list cands=1 declines

joyful-ii-V-I

and

claude

committed

bb9deca

P1 PATH-ORDER fix 1 (rv-path-order F1-F3): from= owner word first, twin next= must reach, arms

joyful-ii-V-I

and

claude

committed

4cecd08

receiver-fixes fix 1: rustPathProvablyOutside helper (qd verbosity on IfaceDispatch)

joyful-ii-V-I

and

claude

committed

6059068

grep: the full legend's p= sentence is its own present-only clause (rv-for-small F1/F2)

joyful-ii-V-I

and

claude

committed

bd8dc5a

receiver-fixes fix 2: an Iface decline on a stated in-tree field is still a #11 crossing; receiverfixescheck accumulates

joyful-ii-V-I

and

claude

committed

b69063c

Merge lane/ci-flakes (4662d6c3371d41947b233aecf65f1f3829cedc3c) into train 39

joyful-ii-V-I

and

claude

committed

f3aab18

Merge lane/for-small (bd8dc5a85a02672be6ecb237ecbb79286732a369) into train 39

joyful-ii-V-I

and

claude

committed

65f8e42

Merge lane/path-order (4cecd08cf0484622088c33ea790e417064422954) into train 39

joyful-ii-V-I

and

claude

committed

7bc8a77

Merge lane/receiver-fixes (b69063c0af6fad6de83050e2970942023890714d) into train 39

joyful-ii-V-I

and

claude

committed

1efc88c

train 39: qschemetrip re-pin (kParserVer 239)

joyful-ii-V-I

and

claude

committed

99979d4

train 39: showcase capture + COMMANDS.md from the composed binary, dictv

joyful-ii-V-I

and

claude

committed

3d03da5

pathpaircheck: an arm for unlisted_next= (a bound tests/ copy beside pairs_unlisted=)

joyful-ii-V-I

and

claude

committed

fe55e01

changelog.d: path-pairs-question-words names how its example matches

joyful-ii-V-I

and

claude

committed

4c09d28

Merge origin/main (cab28607, train 38 #454 + harvest + #444 sync) into train 39

joyful-ii-V-I

and

claude

committed

41a4538

train 39 sync: showcase capture + COMMANDS.md from the merged binary, dictv

joyful-ii-V-I

and

claude

committed

c50458a

compact legend: to_test= gets its own reading (CodeRabbit 4392937862)

joyful-ii-V-I

and

claude

committed

8ea3e81

pargates: compactlegendcheck budget 1800 -> 3600 (CodeRabbit 4392937909)

joyful-ii-V-I

and

claude

committed

fc469a5

regen: showcase capture, COMMANDS.md and dictv for the to_test legend row

joyful-ii-V-I

and

claude

committed

0b87a18

Navigation Menu

Repository navigation

Train 39: stated-field receiver typing, --path question-word order + test-copy disclosure, --grep carrier defs - #457

Train 39: stated-field receiver typing, --path question-word order + test-copy disclosure, --grep carrier defs#457
joyful-ii-V-I merged 31 commits into
mainfrom
integration/train-39

Commits on Oct 27, 2026

P1 PATH-ORDER: --path orders reaching pairs by the argument's owner words (after proven-ness) and discloses a bound test/fixture copy (from_test=/to_test= + next=)

P1 PATH-ORDER: keep pathPairsLegend/pathPairsRootAttrs signatures; the test twin's attrs and the qword/twin clauses are their own helpers (qd)

P1 PATH-ORDER: qword= only when the word orders something (every pair's owner carrying it marks none); arm QA

ci-flakes: scale cppqualcheck's cold repo-root parse by the harness factor; give memguardcheck B12 a call-free fixture

grep: a carrier <enc> row with vals= names its definition as p=file:line (A3)

pathpaircheck ZN: a second source def beside the bound one, so the bound-in-tests guard has its own near miss

receiver-fixes: stated-field receivers, Python annotated/qualified typing, open Rust trait declines

grep: compact legend row for the carrier <enc> p= (A3)

grep: the carrier p= in its own helper (grepCarrierAt), grepCarrierText's complexity unchanged

changelog.d: grep carrier p= (A3)

receiver-fixes: pySelfFieldType helper (qd nesting), gate arms T5b/T9-T11/R3, ifacedispatch k_rs_undecided_use declines, gate count 717

changelog.d: grep carrier p= bytes incl. the compact legend line

ci-flakes fix1: reword the changelog fragment (no harness flag as prose), give memguardcheck B12 a worker-count-robust laddered fixture, raise compactlegendcheck's declared budget

receiver-fixes fix 1: constructed field value beats annotation, type aliases keep the own-class candidate, open Rust list cands=1 declines

P1 PATH-ORDER fix 1 (rv-path-order F1-F3): from= owner word first, twin next= must reach, arms

receiver-fixes fix 1: rustPathProvablyOutside helper (qd verbosity on IfaceDispatch)

grep: the full legend's p= sentence is its own present-only clause (rv-for-small F1/F2)

receiver-fixes fix 2: an Iface decline on a stated in-tree field is still a #11 crossing; receiverfixescheck accumulates

Merge lane/ci-flakes (4662d6c3371d41947b233aecf65f1f3829cedc3c) into train 39

Merge lane/for-small (bd8dc5a85a02672be6ecb237ecbb79286732a369) into train 39

Merge lane/path-order (4cecd08cf0484622088c33ea790e417064422954) into train 39

Merge lane/receiver-fixes (b69063c0af6fad6de83050e2970942023890714d) into train 39

train 39: qschemetrip re-pin (kParserVer 239)

train 39: showcase capture + COMMANDS.md from the composed binary, dictv

pathpaircheck: an arm for unlisted_next= (a bound tests/ copy beside pairs_unlisted=)

changelog.d: path-pairs-question-words names how its example matches

Merge origin/main (cab28607, train 38 #454 + harvest + #444 sync) into train 39

train 39 sync: showcase capture + COMMANDS.md from the merged binary, dictv

compact legend: to_test= gets its own reading (CodeRabbit 4392937862)

pargates: compactlegendcheck budget 1800 -> 3600 (CodeRabbit 4392937909)

regen: showcase capture, COMMANDS.md and dictv for the to_test legend row