feat: named tax-on Layer B suite (#623) #1134

Merged

PlasticDigits merged 2 commits from issue-623-named-tax-on-layer-b into main

2026-08-24 06:59:19 +00:00

PlasticDigits commented

2026-08-24 06:34:36 +00:00

(Migrated from gitlab.com)

Summary

Add cw20-codeid-audits/scripts/layer-b-tax-on.sh as the named tax-on DEX harness. Generic layer-b-lt.sh stays tax-off 1:1 (no RegisterListedPair, no extra-debit asserts).
Shared helpers in lib-tax-on.sh (also sourced by #601 smoke) cover store/create/register/preview/sell-buy so the suites do not diverge.
Suite records pair-direct sell/buy, official-router ≥2hop trader, spoof-trader negative, missing-trader fail-closed, limit Place 1:1, AutoLP floor + fake-pair reject. LAYER_B_TAX_ON=1 without LocalTerra FAILs (not a stub PASS).
Playbook skills/AGENTS_CW20_CODE_ID_TAX_ON.md (C623-1–C623-8). make verify-issue-623. 11611/11619 REPORT rows document the B-lt vs tax-on split.

Closes #623

Test plan

LAYER_B_TAX_ON=1 make verify-issue-623 (docs + FoT mutant red + crates + live tax-on + retest) — 10 passed
JSON artifact has sell/buy/router/spoof/limit/skim txs (executed: true, not a stub)
layer-b-lt.sh unchanged (no register_listed_pair, no tax math)
Optional: CODE_ID=11619 LAYER_B_LT=1 make verify-issue-589 — tax-off 1:1 still green (long; B-lt file untouched)
Optional: make verify-issue-601 — smoke still green (lib wrappers only)
Optional: seed-pin path after make deploy-local (this LocalTerra had no #620 pins; ephemeral path was exercised)

## Summary - Add `cw20-codeid-audits/scripts/layer-b-tax-on.sh` as the **named tax-on** DEX harness. Generic `layer-b-lt.sh` stays tax-off 1:1 (no `RegisterListedPair`, no extra-debit asserts). - Shared helpers in `lib-tax-on.sh` (also sourced by `#601` smoke) cover store/create/register/preview/sell-buy so the suites do not diverge. - Suite records pair-direct sell/buy, official-router ≥2hop `trader`, spoof-trader negative, missing-trader fail-closed, limit Place 1:1, AutoLP floor + fake-pair reject. `LAYER_B_TAX_ON=1` without LocalTerra **FAIL**s (not a stub PASS). - Playbook [`skills/AGENTS_CW20_CODE_ID_TAX_ON.md`](skills/AGENTS_CW20_CODE_ID_TAX_ON.md) (**C623-1–C623-8**). `make verify-issue-623`. 11611/11619 REPORT rows document the B-lt vs tax-on split. Closes #623 ## Test plan - [x] `LAYER_B_TAX_ON=1 make verify-issue-623` (docs + FoT mutant red + crates + live tax-on + retest) — 10 passed - [x] JSON artifact has sell/buy/router/spoof/limit/skim txs (`executed: true`, not a stub) - [x] `layer-b-lt.sh` unchanged (no `register_listed_pair`, no tax math) - [ ] Optional: `CODE_ID=11619 LAYER_B_LT=1 make verify-issue-589` — tax-off 1:1 still green (long; B-lt file untouched) - [ ] Optional: `make verify-issue-601` — smoke still green (lib wrappers only) - [ ] Optional: seed-pin path after `make deploy-local` (this LocalTerra had no `#620` pins; ephemeral path was exercised)

PlasticDigits commented

2026-08-24 06:59:13 +00:00

(Migrated from gitlab.com)

added 3 commits

23453a21...3ca5f628 - 2 commits from branch main
77df08f4 - Merge origin/main into issue-623-named-tax-on-layer-b

Compare with previous version

added 3 commits <ul><li>23453a21...3ca5f628 - 2 commits from branch <code>main</code></li><li>77df08f4 - Merge origin/main into issue-623-named-tax-on-layer-b</li></ul> [Compare with previous version](/PlasticDigits/cl8y-dex-terraclassic/-/merge_requests/416/diffs?diff_id=1978804912&start_sha=23453a21d89d652e8476c79939e4980ca0487f0b)