Repository navigation

feat!: a solution claims no module's facade route, and holds no credential that could - #53

Merged

antoinetoussaint-byte merged 13 commits into

mainfrom

issue-51-security-posture-audit-2026-10-04-the-findings

Oct 7, 2026

Merged

feat!: a solution claims no module's facade route, and holds no credential that could#53
antoinetoussaint-byte merged 13 commits into
mainfrom
issue-51-security-posture-audit-2026-10-04-the-findings

Commits on Oct 5, 2026
- feat!: a solution claims no module's facade route, and holds no credential that could
  
  Antoine Toussaint
  and
  claude
  committed
  4ae4683
- fix: refuse an undecodable api.consumes projection at boot, and guard the facade invariant by shape
  
  Antoine Toussaint
  and
  claude
  committed
  a7d5dc7
Commits on Oct 6, 2026
- merge: main after #45, which landed the facade-claim removal this branch carried
  
  Antoine Toussaint
  and
  claude
  committed
  de28382
- fix: judge the api.consumes projection at boot, and guard three boundaries by shape rather than by spelling
  
  Antoine Toussaint
  and
  claude
  committed
  017c4a5
- docs: say that the raw projection and its decoded form are set together
  
  Antoine Toussaint
  and
  claude
  committed
  d01a038
- fix: take constants from the type checker, refuse an untraceable environment key, root reachability at every exported declaration
  
  Antoine Toussaint
  and
  claude
  committed
  3949ea2
- fix: the post-boot environment gate resolves served callbacks by type
  
  Antoine Toussaint
  and
  claude
  committed
  e4d4a80
- fix: one parsed projection at the boundary, and hold the seam, the later targets and the boot path
  
  Antoine Toussaint
  and
  claude
  committed
  c87972f
- test: commit the escaping fixtures as compiled negative cases
  
  Antoine Toussaint
  and
  claude
  committed
  2b1d8a8
- perf: load the package once for the gates, and compile each fixture set in one overlay
  
  Antoine Toussaint
  and
  claude
  committed
  869034e
- fix: a reader is an object and reachability is CHA over SSA, not names and FuncDecls
  
  Antoine Toussaint
  and
  claude
  committed
  9554666
- fix: one reader model answers both gates, so an aliased reader with a constant key is seen
  
  Antoine Toussaint
  and
  claude
  committed
  ea3e0f4
- perf: build SSA for this package only, and compile each fixture set in one overlay
  
  Antoine Toussaint
  and
  claude
  committed
  e354557

Commits

Commits on Oct 5, 2026

Commits on Oct 6, 2026