Repository navigation

Call-shape wall: refuse unknown argument labels and surplus positionals at the direct-call seam - #7519

Merged

briansrls merged 42 commits into

mainfrom

session/cool-badger-514

Jul 31, 2026

Merged

Call-shape wall: refuse unknown argument labels and surplus positionals at the direct-call seam#7519
briansrls merged 42 commits into
mainfrom
session/cool-badger-514

Commits on Jul 31, 2026
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  be1a001
- Bind the guarantee-recovery analysis into the doc graph
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  40d615c
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  f71fee9
- Reconcile the gap analysis against the independent review — three corrections adopted, receipts verified
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  9ca8d00
- Status header: two audit passes complete, open items typed
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6a80656
- Align the bind's dissolution trigger with the doc's own authority model (review 45299)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  dd7e585
- Address review 45305 (merge same-slug binds, fix stale block) + land the safety ladder as the organizing frame
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a78e4bf
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  5130f7a
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  2687e32
- Integrate main (squash-merge of #7486)
  gunbc-ci-auto-heal
  committed
  d2d7ed5
- Ladder follow-up: adopt the post-merge verdict (8 corrections) + the guarantee-ladder roadmap section
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0532d3e
- Give works its executing consumers (review 45336): nonempty wall, symbol fields, two-anchor pin, RED control
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  aa06080
- Merge remote-tracking branch 'origin/main' into session/cool-badger-514
  gunbc-ci-auto-heal
  committed
  9ac8bd5
- De-inflate the three climb-node headlines (review 45349): work nodes name the target rung; current rung defers to the census
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d256baf
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  93b95d2
- Merge 93b95d29a5011c610e9d265edcf96d0d51e329b4 into e156812de5c5e7d1e85496536d9d7ece0cd0473f
  gunbai-bot[bot]
  authored
  be77111
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  dceeb89
- Ladder nodes join the declared roadmap graph; binds nonempty by construction; rung state derived, never stored
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  2d836ed
- Merge remote-tracking branch 'origin/main' into session/cool-badger-514
  gunbc-ci-auto-heal
  committed
  df2c1a8
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  754f187
- Trim the three over-budget ladder briefs to the operator's 100-word ticket law
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5bd52c4
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  c0ac6e8
- Containment predicates consume doc_all_nodes, the one canonical walker (review 45412)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cd3d4bb
- Merge remote-tracking branch 'origin/main' into session/cool-badger-514
  gunbc-ci-auto-heal
  committed
  a524d9e
- Merge remote-tracking branch 'origin/main' into session/cool-badger-514
  gunbc-ci-auto-heal
  committed
  62c4700
- Merge remote-tracking branch 'origin/main' into session/cool-badger-514
  gunbc-ci-auto-heal
  committed
  646078e
- Post-merge verdict follow-up: open-candidate honesty, anchored baseline, FrontierAccepted, and the closure door
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  26e803e
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  1c33799
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  819e8f1
- Route the ambiguity wall and cardinality seam through the closure door (review 45545)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  71b3a02
- Merge branch 'session/cool-badger-514' of https://github.com/gunb-ai/gunbc into session/cool-badger-514
  gunbc-ci-auto-heal
  committed
  d92594b
- Reconcile the sec-7b behavior-count passage to past tense (review 45558)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ec15d71
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  c23ac37
- Remove probe demo scaffolding (net-zero vs main: files added by autocommit sweep mid-run, deleted after measurement)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  64b757f
- Merge remote-tracking branch 'origin/main' into session/cool-badger-514
  gunbc-ci-auto-heal
  committed
  3f5db40
- WIP: compiler correctness
  gunbc-ci-auto-heal
  committed
  37cd00d
- Call-shape wall: refuse unknown argument labels and surplus positionals at the direct-call seam, mirroring the runtime contract
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ab0b5f9
- Merge remote-tracking branch 'origin/main' into session/cool-badger-514
  gunbc-ci-auto-heal
  committed
  87026e7
- chore: regenerate drifted generated artifacts (ci auto-heal)
  gunbc-ci-auto-heal
  committed
  c31945d
- Roster the call-shape witness blob in the scaffold index (review 45655)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d7eb539
- Merge branch 'session/cool-badger-514' of https://github.com/gunb-ai/gunbc into session/cool-badger-514
  gunbc-ci-auto-heal
  committed
  c7bc814
- Merge remote-tracking branch 'origin/main' into session/cool-badger-514
  gunbc-ci-auto-heal
  committed
  a1889e2

Commits

Commits on Jul 31, 2026