Repository navigation

feat(v3): enforce NominalOpacity fail-closed field projection - #937

Merged

briansrls merged 29 commits into

mainfrom

session/lively-ferret-24

Apr 27, 2026

Merged

feat(v3): enforce NominalOpacity fail-closed field projection#937
briansrls merged 29 commits into
mainfrom
session/lively-ferret-24

Commits on Apr 26, 2026
Commits on Apr 27, 2026
- Merge remote-tracking branch 'origin/main' into session/lively-ferret-24
  briansrls
  committed
  d86cd56
- WIP: R2 Substrate
  briansrls
  committed
  bbfea70
- Merge remote-tracking branch 'origin/main' into session/lively-ferret-24
  briansrls
  committed
  b799e81
- Merge remote-tracking branch 'origin/main' into session/lively-ferret-24
  briansrls
  committed
  f1e2e7b
- fix(v3): preserve opacity through instantiation walks
  briansrls
  committed
  6b20dd8
- fix(v3): fail closed when bootstrap Secret is missing
  briansrls
  committed
  b65b6cb
- WIP: R2 Substrate
  briansrls
  committed
  903a7df
- fix(v3): include opacity in instantiation interning
  briansrls
  committed
  8493cab
- fix(v3): cover opacity diagnostic in testgen helpers
  briansrls
  committed
  346d08b
- fix(v3): refresh parse manifest for opacity diagnostics
  briansrls
  committed
  f4304a7
- WIP: R2 Substrate
  briansrls
  committed
  96752ca
- chore: apply cargo fmt
  briansrls
  committed
  9b38574
- WIP: R2 Substrate
  briansrls
  committed
  f757f1c
- fix(v3): update verification diagnostic fixture
  briansrls
  committed
  208ef5b
- WIP: R2 Substrate
  briansrls
  committed
  85c6213