Chris Tate b3752bb181 Integer attestations keep their declared class; model-slot writes enter the boundary check ...

- integer_slots records u64 as u64: the wire flattening narrows to the frozen TypeRef spellings where it belongs
- Declaring any integer slot force-lowers the designated init, update, and subscription exports, so every model-field write proves or refuses like an export slot; declared field reads seed their class shapes
- Export integer classes stay attested by the emitted C signature under the same gate — the sidecar list is the document-side complement, and its refusal message now says so

2026-07-24 18:00:49 -05:00

..

corpus

2470's deferred fence is cured: the general for-of lowering claims its table loop

2026-07-24 17:56:17 -05:00

coverage-fixtures

Coverage fixtures keep their loose-equality pins mixed-kind

2026-07-23 01:26:57 -05:00

deadstrip

init

2026-07-22 18:08:04 -05:00

diagnostics

Trap-claim carve-outs restore two over-narrowed shapes; extending a poisoned base refuses at build time

2026-07-24 17:18:25 -05:00

fixtures

The long tail of engine-held values: iteration, promises crossing, and the driver through its plugin pipeline

2026-07-24 17:17:00 -05:00

harness

Integer attestations keep their declared class; model-slot writes enter the boundary check

2026-07-24 18:00:49 -05:00

library-mode

Profile-declared integer boundary slots prove or refuse at compile time

2026-07-24 12:07:29 -05:00