Vitte Native Bootstrap Migration (Rust-style)

HTML reading page generated from the source Markdown document.

Reading mode

This page is the static HTML reader for BOOTSTRAP_NATIVE_MIGRATION_FROM_RUST.md. Internal Markdown links are rewritten to HTML when a matching reading page exists.

Vitte Native Bootstrap Migration (Rust-style)

Reference model: bootstrap builder graph semantics (step contracts, strict stage semantics).

Target Architecture

  1. toolchain/src/bootstrap_vitte/context.vit - Global context (paths, host/target, budgets, report sinks).
  1. toolchain/src/bootstrap_vitte/step.vit - Step contract (name, deps, run, artifacts, invariants).
  1. toolchain/src/bootstrap_vitte/builder.vit - Deterministic DAG executor with fail-fast semantics.
  1. toolchain/src/bootstrap_vitte/checks.vit - Reproducibility, interface contract, parity, corpus diagnostics, perf budgets.
  1. toolchain/src/bootstrap_vitte/report.vit - JSON report writer to target/reports/bootstrap/*.json.
  1. toolchain/src/bootstrap_vitte/main.vit - CLI entrypoint, routes to full hard gate or scoped runs.

Migration Phases

  1. Phase A (coexist) - Keep current scripts and Make targets. - Add bootstrap-v2-hard-gate target invoking strict hard gate.
  1. Phase B (step parity) - Re-encode existing stages as typed Step objects. - Ensure exact behavioral parity with current bootstrap-hard-gate.
  1. Phase C (ownership switch) - Make bootstrap-v2-hard-gate the release gate. - Keep legacy flow for rollback for 1 release cycle.

Non-negotiable Invariants

  • Fail-fast on first error.
  • No silent fallback in release/hard mode.
  • Stage artifacts hash-identical for reproducibility checks.
  • Stage interface contract snapshots are diff-blocking.
  • Bootstrap parity and corpus diagnostics are release-blocking.

CI Matrix

  • macOS: x86_64, arm64
  • Linux: x86_64, arm64

Same invariants and JSON report shape on all runners.

Entry Commands

  • Local hard gate: make bootstrap-hard-gate
  • Future native hard gate: make bootstrap-v2-hard-gate
  • Reports: target/reports/bootstrap/hard_gate.json