Repository navigation

Train 26b: name-only calls marked, typed receivers resolve, honest path gaps and counts - #383

Merged

joyful-ii-V-I merged 245 commits into

mainfrom

integration/train-26b

Oct 10, 2026

Merged

Train 26b: name-only calls marked, typed receivers resolve, honest path gaps and counts#383
joyful-ii-V-I merged 245 commits into
mainfrom
integration/train-26b

Commits on Oct 4, 2026
- test: receiverevidencecheck — a call bound by name alone never shows as a proven edge
  
  joyful-ii-V-I
  and
  claude
  committed
  c758e71
- test: receiverevidencecheck — gates review changes before the fix lands
  
  barefootski
  and
  claude
  committed
  c8e2a9c
- resolve: a call bound by name alone keeps its rows, marked via="name"; typed receivers resolve
  
  barefootski
  and
  claude
  committed
  c699a1c
- resolve: receiver-evidence fix round — qualified calls, free functions, builtin names, self aliases
  
  barefootski
  and
  claude
  committed
  344259e
- resolve: leave Ruby's own method lookup alone; its mixin arm states the contract only
  
  barefootski
  and
  claude
  committed
  4cdf6b8
- resolve: receiver-evidence fix round 2 — gates the discovery suite named
  
  barefootski
  and
  claude
  committed
  89b1cc6
- resolve: a language's own method lookup can prove a name-ladder survivor
  
  barefootski
  and
  claude
  committed
  a4b2c12
- value references: prototype parameters, self references, per-site callees rows, the depth cut
  
  joyful-ii-V-I
  and
  claude
  committed
  7942b37
- go.mod: a quoted replace names the same module as the bare one
  
  joyful-ii-V-I
  and
  claude
  committed
  f0071cd
- falseedgecheck: pin the unresolved counts the census arms rely on
  
  joyful-ii-V-I
  and
  claude
  committed
  e14b455
- kParserVer 143 -> 145, kQSnapCacheScheme 17 -> 18; CHANGELOG and the dictionary figures
  
  joyful-ii-V-I
  and
  claude
  committed
  f239515
- recallshapecheck: RD4 calls its two slots in reverse order
  
  joyful-ii-V-I
  and
  claude
  committed
  8d3ea27
- --dead-code help and ARCHITECTURE: a self-stored function, the depth disclosure
  
  joyful-ii-V-I
  and
  claude
  committed
  635b275
- profilePmc: PMC_DIAG speaks std::format, so -DPROFILE_PMC_VERBOSE=1 builds again
  
  barefootski
  and
  claude
  committed
  7ec3682
- test: forspinecheck + forsigspancheck — --for caller spine, e= end line, hop slots, code over docs (red)
  
  barefootski
  and
  claude
  committed
  dc9a365
- fix(go): a named type's t= comes from its written form, never a blanket struct
  
  barefootski
  and
  claude
  committed
  eefa763
- --dead-code help: name the depth disclosure without claiming a cap for cli.h
  
  joyful-ii-V-I
  and
  claude
  committed
  025cea9
- value references: quality-delta follow-ups
  
  joyful-ii-V-I
  and
  claude
  committed
  a379f40
- profilePmc: release the hardware counters on teardown
  
  barefootski
  and
  claude
  committed
  05a9912
- FE-B fix round 3: first-screen via legend, zero-weight extras, parity
  
  barefootski
  and
  claude
  committed
  5010325
- falseedgecheck: a quoted replace into a sibling root keeps its cross-root edge
  
  joyful-ii-V-I
  and
  claude
  committed
  975ca8b
- test: qschemetrip re-pinned for kParserVer 145 / kCacheVersion 29 (logged)
  
  barefootski
  and
  claude
  committed
  00b94b5
- buildGraph: memoize Rule 3's include narrow per (caller file, name's candidate list)
  
  barefootski
  and
  claude
  committed
  523e0cc
- --for/--metrics/--exemplar: run the 18-month history walk beside the ingest
  
  barefootski
  and
  claude
  committed
  cd02c90
- test(gate): countfloorcheck — a count the index cannot vouch for is a floor beside the number (red on base)
  
  barefootski
  and
  claude
  committed
  6be99a5
- fix(honesty): mark a count the index cannot vouch for as a floor; safe-delete rows carry the call line
  
  barefootski
  and
  claude
  committed
  a45f9b5
- resolve: the map's <c> rows carry via="name" too, with its MCP and JSON twins
  
  barefootski
  and
  claude
  committed
  cb044ec
- whereis: list the definitions, count the references (lean default)
  
  barefootski
  and
  claude
  committed
  d8c402b
- for: omit zero cx=/ccx=/in= on lens rows; the legend says absent = 0
  
  barefootski
  and
  claude
  committed
  8a38c1a
- map: a row's bare callees as one comma-joined calls= attribute
  
  barefootski
  and
  claude
  committed
  9fa1f68
- mcp: the legend session opens on its first answer (ref posture by default)
  
  barefootski
  and
  claude
  committed
  e7dc38c
- test(gate): mcpreloadasancheck - one MCP session rebuilt in place 20 times under ASan, answers checked against the CLI
  
  joyful-ii-V-I
  and
  claude
  committed
  26a7ea0
- test: whereis listing arms (LEAN L1-L10) and listing=all twins in crossref/complete
  
  barefootski
  and
  claude
  committed
  8bdce27
- for: the via clause rides on the sections' own node sets, not the row head
  
  barefootski
  and
  claude
  committed
  62d2f85
- mcp: --mcp-legend=inline keeps the pre-lane posture; core marked served only when sent
  
  barefootski
  and
  claude
  committed
  04d6fdc
- for: the zero reading is exempt from the sig ledger
  
  barefootski
  and
  claude
  committed
  874eb65
- legend: shorter whereis/map readings; mcp whereis listing twin arms; manifest re-anchor
  
  barefootski
  and
  claude
  committed
  4f149b8
- test(countfloorcheck): F2 — a declined call from a caller that also binds the name elsewhere
  
  barefootski
  and
  claude
  committed
  df5822a
- legend pins for the new definitions; docs and skill text for the whereis listing
  
  barefootski
  and
  claude
  committed
  e2a4977
- test(gate): mcpreloadasancheck waits for the sanitizer report to finish before it stops the session
  
  joyful-ii-V-I
  and
  claude
  committed
  783fbe2
- resolve: the two sides of a JS/TS class lookup; a fallback hook only after a miss
  
  barefootski
  and
  claude
  committed
  d6acc95
- refactor: split writeWhereisPage's root and rows, sigRowHead's tail (quality-delta)
  
  barefootski
  and
  claude
  committed
  eb55312
- refactor(count-floor): split callerFloors and the safe-delete floor/legend work into small helpers
  
  barefootski
  and
  claude
  committed
  0b8e0f1
- CHANGELOG: leaner answers
  
  barefootski
  and
  claude
  committed
  53c93fb
- refactor(count-floor): table-shaped armed languages and risk readings; one-probe lego attribute test
  
  barefootski
  and
  claude
  committed
  4d3cf0b
- refactor(count-floor): the lego clause probe is a shared prefix constant, not a one-line helper
  
  barefootski
  and
  claude
  committed
  1e37e1d
- test: selectorhonestycheck §A7 reads listing=all; default-listing twin
  
  barefootski
  and
  claude
  committed
  63727cc
- test(gate): mcpreloadasancheck symbolizes with llvm-symbolizer when it is installed
  
  joyful-ii-V-I
  and
  claude
  committed
  a2cc8df
- fix(path): an unreached to= is "no path" only when the search met no call without an edge
  
  barefootski
  and
  claude
  committed
  afe2ea3
- test: rubysettercheck counts symbol rows, not a map <c n="name" via="name"/> callee row
  
  barefootski
  and
  claude
  committed
  26a3abf
- docs: CHANGELOG for the Go kinds and the path gaps; dictv from the binary
  
  barefootski
  and
  claude
  committed
  8409b45
- fix(count-floor): present-only full grep floor clause; shorter safe-delete readings; re-pin safe-delete compact legend
  
  barefootski
  and
  claude
  committed
  4a1bbc8
- map: withdraw the comma-joined callee list (deferred); bundleidcheck reads the --for zero spelling
  
  barefootski
  and
  claude
  committed
  09c49f0
- refactor: one unreached-path clause for both transports; kind tables over switches
  
  barefootski
  and
  claude
  committed
  173c947
- CHANGELOG: FE-B states its measured cost, not a pointer to a report
  
  barefootski
  and
  claude
  committed
  743d306
- refactor: the gap sum is carried, not recomputed; the split kinds are one range
  
  barefootski
  and
  claude
  committed
  d14e3fd
- quality: ack five lexical clone matches on one-line helpers
  
  barefootski
  and
  claude
  committed
  a6cb974
Commits on Oct 7, 2026
Commits on Oct 8, 2026
Commits on Oct 9, 2026

Commits

Commits on Oct 4, 2026

Commits on Oct 7, 2026

Commits on Oct 8, 2026