Skip to content

Add keyed semantic expression protection - #112

Merged
imakris merged 12 commits into
masterfrom
codex/keyed-expression-plan-20260711
Jul 12, 2026
Merged

Add keyed semantic expression protection#112
imakris merged 12 commits into
masterfrom
codex/keyed-expression-plan-20260711

Conversation

@imakris

@imakris imakris commented Jul 12, 2026

Copy link
Copy Markdown
Owner

Summary

  • route clear and protected expressions through one semantic compiler boundary
  • add move-only protected keys, authenticated format 1.0 codec, streaming runtime loading, numeric-slot bindings, lifecycle erasure, and source-free fallback
  • add dependency-isolated CMake, Conan, and vcpkg protected packages
  • add the safe no-overwrite mexce_protect issuer, installed example, threat-model documentation, release CI, and seeded structured fuzzing
  • add phase-isolated protected performance/resource benchmarks and release acceptance limits

Verification

  • clear corpus: 44,229/44,229 correct on MSVC, GCC 13, and Clang 18 with identical backend counts
  • protected acceptance: 216 isolated measurements per compiler, zero bad results, stable equal backends
  • exact resource artifact: 16,384 records / 802,880 bytes
  • final MSVC CTest: 10/10 passed
  • GCC 13 and Clang 18 protected orchestrator/resource gates passed
  • MSVC/GCC/Clang issuer publication suites passed, including synchronized path-replacement cases
  • CMake installed consumers, Conan ordinary/protected packages, and vcpkg candidate overlays passed
  • sanitizers, structured fuzzing, mixed-TU, cross-platform artifacts, and ordinary no-sodium isolation passed in their owning batches

Performance

See analysis/performance_acceptance.md for retained distributions, profiles, limits, failures, and tool availability. No production optimization was retained; a measured MSVC force-inline experiment regressed and was removed.

Notes

  • protected expressions are opt-in and x64-only; ordinary x86 support remains
  • ordinary mexce::mexce remains dependency-free
  • remote GitHub Actions are expected to provide the final hosted release-matrix evidence

@imakris
imakris merged commit 2fc59ae into master Jul 12, 2026
8 checks passed
@imakris
imakris deleted the codex/keyed-expression-plan-20260711 branch July 12, 2026 20:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant