Add buffer storage policies with mandatory logging - #2

Closed

PhysShell wants to merge 20 commits into

mainfrom

claude/untitled-tyoeaq

Commits on Jun 14, 2026

Handle overlapping buffer lifetimes; validate fallback; report OWN017
claude
committed
4ae71b8
Track buffer move-aliases; require the Buffer namespace (PR #2)
claude
committed
70652fb
Reject non-identifier scratch fallback values (PR #2)
claude
committed
d9254b7
Nest ordinary resources with buffers; guard native size; honor policy trace
claude
committed
3ee9c74
Fix buffer move in sibling branches, scratch-only counters, simple-mode ordering
claude
committed
996e730
Split simple-mode scopes at release; guard scratch size; reject bad policy ref
claude
committed
ce7db10
Scope buffer cleanup aliases; reject non-integer bounds; refresh golden
claude
committed
777428a
Validate only the effective inline source (override beats policy default)
claude
committed
1c63f3a
Restrict hoist to laminar lifetimes; expose native buffers as Span<byte>
claude
committed
df63790
Reject unknown buffer option and policy setting names
claude
committed
19ca1df
Require integer buffer sizes; reject dynamic inline buffers
claude
committed
dc1f984
Reject malformed boolean/trace policy and option values
claude
committed
51c11c9
Do not hoist resources whose release is nested or consumed
claude
committed
3d9097e
Span signatures for local Buffer helpers; attribute report by buffer identity
claude
committed
6ad85bd
Reject duplicate buffer options and policy settings
claude
committed
ccb9cb5
Reject unknown-type sizes; keep locals declared before a hoisted release in scope
claude
committed
bb064f8