Repository navigation

nvx-rs: plan every caller's host exports through one planner - #765

Merged

Pedro Henrique Penna (ppenna) merged 8 commits into

devfrom

esaurez/a4-pr4-export-composition-20261021

Oct 23, 2026

Merged

nvx-rs: plan every caller's host exports through one planner#765
Pedro Henrique Penna (ppenna) merged 8 commits into
devfrom
esaurez/a4-pr4-export-composition-20261021

Commits on Oct 23, 2026
- filesystem: plan the exports of every caller
  
  authored and
  Pedro Henrique Penna (ppenna)
  committed
  6be7626
- sandbox: plan live shares through the export planner
  
  authored and
  Pedro Henrique Penna (ppenna)
  committed
  ce6afae
- scripts: expect the policy path that a planned share resolves to
  
  Enrique Saurez
  authored and
  Pedro Henrique Penna (ppenna)
  committed
  9f7d019
- filesystem: check the write paths and pins of recorded plans
  
  Enrique Saurez
  authored and
  Pedro Henrique Penna (ppenna)
  committed
  8e26341
- filesystem: compare nested targets by name and reserve the whole root
  
  Enrique Saurez
  authored and
  Pedro Henrique Penna (ppenna)
  committed
  6aa6509
- filesystem: refuse recorded host paths that are not resolved
  
  Enrique Saurez
  authored and
  Pedro Henrique Penna (ppenna)
  committed
  5d7bb42
- sandbox: check a one-shot run's shares again for overlap
  
  authored and
  Pedro Henrique Penna (ppenna)
  committed
  bc2a44f
- filesystem: refuse host paths that only a verbatim path names
  
  authored and
  Pedro Henrique Penna (ppenna)
  committed
  cda9371