Repository navigation

XL-2 model: minimal native compile/test/execute boundary - #9673

Merged

gunbai-bot[bot] merged 14 commits into

mainfrom

session/vivid-ibex-97

Aug 30, 2026

Merged

XL-2 model: minimal native compile/test/execute boundary#9673
gunbai-bot[bot] merged 14 commits into
mainfrom
session/vivid-ibex-97

Commits on Aug 29, 2026
- Model the minimal native compile test execute boundary
  gunbc-ci-auto-heal
  committed
  c026fa2
- Keep native loop witness annotation at module grain
  gunbc-ci-auto-heal
  committed
  e71bd6e
- Restrict native loop model to schema carriers
  gunbc-ci-auto-heal
  committed
  8de7b89
Commits on Aug 30, 2026
- Merge remote-tracking branch 'origin/main' into session/vivid-ibex-97
  gunbc-ci-auto-heal
  committed
  82c0943
- Merge remote-tracking branch 'origin/main' into session/vivid-ibex-97
  gunbc-ci-auto-heal
  committed
  bfc89ae
- Address native loop schema review findings
  gunbc-ci-auto-heal
  committed
  93c2323
- Reuse source root identity and defer decoder claims
  gunbc-ci-auto-heal
  committed
  a030cdb
- Remove tautological native loop schema claims
  gunbc-ci-auto-heal
  committed
  8653b68
- Carry typed located native refusal diagnostics
  gunbc-ci-auto-heal
  committed
  b4f11b2
- Merge remote-tracking branch 'origin/main' into session/vivid-ibex-97
  gunbc-ci-auto-heal
  committed
  7dd6506
- Merge remote-tracking branch 'origin/main' into session/vivid-ibex-97
  gunbc-ci-auto-heal
  committed
  79f2574
- Merge remote-tracking branch 'origin/main' into session/vivid-ibex-97
  gunbc-ci-auto-heal
  committed
  08ea93b
- Carry located native decode diagnostics
  gunbc-ci-auto-heal
  committed
  a4fc630
- Make native source roots nonempty by construction
  gunbc-ci-auto-heal
  committed
  72e8154