feat: alloc-only profiles for platform-value and platform-serialization - #4707

Open

DCG-Claude wants to merge 5 commits into

Commits on Sep 15, 2026

feat: alloc-only profiles for platform-value and platform-serialization

DCG-Claude
and
claude
committed
1ca14f7
ci: add the guest alloc-only cut and document the profile

DCG-Claude
and
claude
committed
f9909b8
fix: reject depth counter overflow and state the bounded codec guarantees precisely

DCG-Claude
and
claude
committed
db32774
fix(platform-value): enumerate bounded encoder leaves and pin the depth contract

DCG-Claude
and
claude
committed
86f8b00
fix(platform-value): keep implicit feature names, expose error sources, measure encoder rejection

DCG-Claude
and
claude
committed
e6bb212