Repository navigation

v1 refuses any reference to test code, with a shrink-only debt ledger - #11505

Merged

gunbai-bot[bot] merged 32 commits into

mainfrom

session/proud-tern-736-test-refusal

Sep 19, 2026

Commits on Sep 16, 2026
- v1 parser carries the test marker as an item kind instead of dropping it
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  a059c5c
- Carry the test marker as a declaration marker on Node, not as item kinds
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  07f21fd
- Decide test-marker admissibility from the authored form, not the parsed kind
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c2b9bd3
Commits on Sep 17, 2026
- v1 refuses any reference to test code, with a shrink-only debt ledger
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  63d0616
- Test-reference wall: identity-grain ledger, function values, tracked advisory class
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  0d4e08e
- Test-reference wall: index the ledger and occurrences in maps, no quadratic fold (review 67195)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cf95303
- Merge remote-tracking branch 'origin/main' into session/proud-tern-736-test-refusal
  gunbc-ci-auto-heal
  committed
  df3db96
- Regenerate the test-reference ledger on the merged tree (1151 rows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  60df823
- Enrol the test-reference wall's reds on the floor (review 67224)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  f6985cf
- Merge remote-tracking branch 'origin/main' into session/proud-tern-736-test-refusal
  gunbc-ci-auto-heal
  committed
  a6134a2
- Regenerate the test-reference ledger on the merged tree (1151 rows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  1056c36
Commits on Sep 18, 2026
- Regenerate the test-reference ledger on the merged tree (1151 rows)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  bf6b79c
- Regenerate the test-reference ledger on the merged tree (regenerated)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c187b55
- Regenerate the test-reference ledger on the merged tree (regenerated)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3eecb9d
- Point the paid-down claim at the wall's own control row
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  3f35379
- Merge remote-tracking branch 'origin/main' into session/proud-tern-736-test-refusal
  gunbc-ci-auto-heal
  committed
  2880947
- Regenerate the seed mirror for the test-reference diagnostics (reviews 67441, 67459)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  05e247d
- Test-reference wall: walk defaults, expand import-all, drop the module-level arm (side-chat review)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  32200e6
- Merge remote-tracking branch 'origin/main' into session/proud-tern-736-test-refusal
  gunbc-ci-auto-heal
  committed
  e0f942e
- Test-reference wall: resolver precedence for visible names, drop compiler_tests rows the floor supersedes (review 67649)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5d4c2ac
- Test-reference ledger: delete the module-level import rows the removed arm produced (CI-observed)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5d418de
- Test-reference wall: a qualified test value is its own declaration key (review 67685)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  8a429de
- Test-reference wall: an uninferred call or method call in a default is a reference (review 67713)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  c4db00d
Commits on Sep 19, 2026
- Test-reference ledger: an orphaned corpus row refuses when the census is loaded (operator ruling A', review 67730)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  eedefa1
- Merge remote-tracking branch 'origin/main' into session/proud-tern-736-test-refusal
  gunbc-ci-auto-heal
  committed
  6f71ad8
- Test-reference ledger: corpus knowledge is stated by the compile-clean caller, not inferred from census size (review 68429)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  504596b
- Semantic system readout calls producers, never claims; its 26 test-reference ledger rows are deleted (review 68483)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  cb5fdc3
- Test-reference wall: only corpus rows admit, corpus knowledge follows the index's roots, src/v2 rows restored
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  78a7b3a
- Test-reference ledger: delete the 44 src/v2 rows the merged v2 cleanups paid down (floor refusal on 78a7b3a)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  22072d7
- Whole-tree compile-clean carries the index its closure was loaded from (review 68591)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  ce322c9
- Merge remote-tracking branch 'origin/main' into session/proud-tern-736-test-refusal
  gunbc-ci-auto-heal
  committed
  5068e09
- Carry the compile-clean plan's index to both checks; delete 17 orphaned src/v2 ledger rows; edac names its Unit
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  6f38316

Navigation Menu

Repository navigation

v1 refuses any reference to test code, with a shrink-only debt ledger - #11505

v1 refuses any reference to test code, with a shrink-only debt ledger#11505
gunbai-bot[bot] merged 32 commits into
mainfrom
session/proud-tern-736-test-refusal

Commits on Sep 16, 2026

v1 parser carries the test marker as an item kind instead of dropping it

Carry the test marker as a declaration marker on Node, not as item kinds

Decide test-marker admissibility from the authored form, not the parsed kind

Commits on Sep 17, 2026

v1 refuses any reference to test code, with a shrink-only debt ledger

Test-reference wall: identity-grain ledger, function values, tracked advisory class

Test-reference wall: index the ledger and occurrences in maps, no quadratic fold (review 67195)

Merge remote-tracking branch 'origin/main' into session/proud-tern-736-test-refusal

Regenerate the test-reference ledger on the merged tree (1151 rows)

Enrol the test-reference wall's reds on the floor (review 67224)

Merge remote-tracking branch 'origin/main' into session/proud-tern-736-test-refusal

Regenerate the test-reference ledger on the merged tree (1151 rows)

Commits on Sep 18, 2026

Regenerate the test-reference ledger on the merged tree (1151 rows)

Regenerate the test-reference ledger on the merged tree (regenerated)

Regenerate the test-reference ledger on the merged tree (regenerated)

Point the paid-down claim at the wall's own control row

Merge remote-tracking branch 'origin/main' into session/proud-tern-736-test-refusal

Regenerate the seed mirror for the test-reference diagnostics (reviews 67441, 67459)

Test-reference wall: walk defaults, expand import-all, drop the module-level arm (side-chat review)

Merge remote-tracking branch 'origin/main' into session/proud-tern-736-test-refusal

Test-reference wall: resolver precedence for visible names, drop compiler_tests rows the floor supersedes (review 67649)

Test-reference ledger: delete the module-level import rows the removed arm produced (CI-observed)

Test-reference wall: a qualified test value is its own declaration key (review 67685)

Test-reference wall: an uninferred call or method call in a default is a reference (review 67713)

Commits on Sep 19, 2026

Test-reference ledger: an orphaned corpus row refuses when the census is loaded (operator ruling A', review 67730)

Merge remote-tracking branch 'origin/main' into session/proud-tern-736-test-refusal

Test-reference ledger: corpus knowledge is stated by the compile-clean caller, not inferred from census size (review 68429)

Semantic system readout calls producers, never claims; its 26 test-reference ledger rows are deleted (review 68483)

Test-reference wall: only corpus rows admit, corpus knowledge follows the index's roots, src/v2 rows restored

Test-reference ledger: delete the 44 src/v2 rows the merged v2 cleanups paid down (floor refusal on 78a7b3a)

Whole-tree compile-clean carries the index its closure was loaded from (review 68591)

Merge remote-tracking branch 'origin/main' into session/proud-tern-736-test-refusal

Carry the compile-clean plan's index to both checks; delete 17 orphaned src/v2 ledger rows; edac names its Unit