swaits b9645f80cb safety(codegen): debug_assert companion for every unsafe get_unchecked ...

Pair every codegen-emitted `unsafe { ... get_unchecked ... }` with a
debug_assert! that re-states the safety obligation as a runtime
predicate. Free in release (debug_assert! compiles to nothing); in
dev/test/miri builds, every dispatch through the 68 behavior tests
exercises these checks, so any future regression in the codegen's
invariants trips loudly.

Sites covered:
  - step()'s __DISPATCH lookup        (sync + async)
  - apply_path()'s __PATH_RANGE +
    __PATH_DATA[..] slice ranges      (sync + async)
  - follow_defaults()'s __DEFAULT_CHILD lookup (sync + async)
  - do_terminate()'s __TERMINATE_RANGE +
    __TERMINATE_DATA[..] slice ranges (sync + async)

Verification:
  - cargo nextest: 68/68 pass (debug_assert! active)
  - cargo +nightly miri test: 66/66 pass (UB detector)
  - cargo bench --bench dispatch: zero release-mode regression
    (asserts compile out as expected)

2026-05-04 15:29:24 -06:00

..

codegen.rs

safety(codegen): debug_assert companion for every unsafe get_unchecked

2026-05-04 15:29:24 -06:00

ir.rs

feat(default)!: model default(...) as a real LCA-aware transition

2026-04-28 20:57:01 -06:00

lib.rs

chore: prepare 0.1.0 for crates.io publish

2026-04-22 09:13:04 -06:00

parse.rs

journal + determinism tests + Creusot verification scaffolding

2026-04-27 20:15:05 -06:00

validate.rs

feat(default)!: model default(...) as a real LCA-aware transition

2026-04-28 20:57:01 -06:00