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
Track buffer move-aliases; require the Buffer namespace (PR #2)
claude
committed
Reject non-identifier scratch fallback values (PR #2)
claude
committed
Nest ordinary resources with buffers; guard native size; honor policy trace
claude
committed
Fix buffer move in sibling branches, scratch-only counters, simple-mode ordering
claude
committed
Split simple-mode scopes at release; guard scratch size; reject bad policy ref
claude
committed
Scope buffer cleanup aliases; reject non-integer bounds; refresh golden
claude
committed
Validate only the effective inline source (override beats policy default)
claude
committed
Restrict hoist to laminar lifetimes; expose native buffers as Span<byte>
claude
committed
Reject unknown buffer option and policy setting names
claude
committed
Require integer buffer sizes; reject dynamic inline buffers
claude
committed
Reject malformed boolean/trace policy and option values
claude
committed
Do not hoist resources whose release is nested or consumed
claude
committed
Span signatures for local Buffer helpers; attribute report by buffer identity
claude
committed
Reject duplicate buffer options and policy settings
claude
committed
Reject unknown-type sizes; keep locals declared before a hoisted release in scope
claude
committed