Repository navigation

Enforce Pyright for the simulation gateway and executor - #875

Draft

anth-volk wants to merge 3 commits into

pyright-executor-remainderfrom

pyright-enforce

Draft

Enforce Pyright for the simulation gateway and executor#875
anth-volk wants to merge 3 commits into
pyright-executor-remainderfrom
pyright-enforce

Commits on Oct 22, 2026
- Prove the gateway and executor Pyright rules as enforced rules
  
  anth-volk
  and
  claude
  committed
  2789140
- Enforce Pyright for the gateway and executor, and drop their baselines
  
  anth-volk
  and
  claude
  committed
  7440c0b
- Say the gateway and executor proofs use excerpts of the real reports
  
  anth-volk
  and
  claude
  committed
  133c4d0