Repository navigation

Add per-sample L4 validation execution - #887

Merged

Brandon Miller (brandom-msft) merged 7 commits into

mainfrom

brandom-msft-p4-0-l4-execution

Aug 6, 2026

Merged

Add per-sample L4 validation execution#887
Brandon Miller (brandom-msft) merged 7 commits into
mainfrom
brandom-msft-p4-0-l4-execution

Commits on Aug 6, 2026
- Add per-sample L4 validation mode
  
  Brandon Miller (brandom-msft)
  and
  Copilot
  committed
  889bfdf
- Fix L4 explicit exit classification
  
  Brandon Miller (brandom-msft)
  and
  Copilot
  committed
  156b595
- Add temporary hosted L4 proof
  
  Brandon Miller (brandom-msft)
  and
  Copilot
  committed
  0f6dddf
- Fix L4 declaration type checks
  
  Brandon Miller (brandom-msft)
  and
  Copilot
  committed
  f8156e7
- Remove temporary hosted L4 proof
  
  Brandon Miller (brandom-msft)
  and
  Copilot
  committed
  4755aea
- Clarify L4 exit normalization
  
  Brandon Miller (brandom-msft)
  and
  Copilot
  committed
  c143f30
- Cover L4 YAML edge cases
  
  Brandon Miller (brandom-msft)
  and
  Copilot
  committed
  c253133