Chris Tate c8f2bb2cbe Profiles deny surfaces by manifest id: fences, generalized teachings, and the determinism invariant ...

- A fences array denies manifest-identified surfaces reached by the compiled library graph: SC4008 names the id and surface with the profile's teaching as an attributed note; unreached fences leave emission byte-identical
- Fence evaluation walks the dead-stripped module IR — the same ground as the deterministic attestation, making the full-fences invariant structural
- Teachings generalize to any refusal code or manifest id; unknown or unpoliceable fence selectors refuse loudly rather than sit inert
- Teaching and remediation strings take the ratified byte constraints and the 512-byte cap everywhere

2026-07-24 09:18:32 -05:00

..

corpus

The stream-ladder fixture tears its socket down deterministically

2026-07-24 09:04:54 -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

Ambient roots trap whole chains; dead and nullish generic bindings lower to their runtime truth

2026-07-24 08:06:21 -05:00

fixtures

Routed operations over engine-held dyn values: keyed access, calls, method dispatch, and nullish tests

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

harness

Profiles deny surfaces by manifest id: fences, generalized teachings, and the determinism invariant

2026-07-24 09:18:32 -05:00

library-mode

Fence ambient surfaces by manifest id: SC4008 denials, teachings on any refusal

2026-07-24 09:11:50 -05:00