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
toolchain/src/bootstrap_vitte/context.vit- Global context (paths, host/target, budgets, report sinks).
toolchain/src/bootstrap_vitte/step.vit- Step contract (name,deps,run,artifacts,invariants).
toolchain/src/bootstrap_vitte/builder.vit- Deterministic DAG executor with fail-fast semantics.
toolchain/src/bootstrap_vitte/checks.vit- Reproducibility, interface contract, parity, corpus diagnostics, perf budgets.
toolchain/src/bootstrap_vitte/report.vit- JSON report writer totarget/reports/bootstrap/*.json.
toolchain/src/bootstrap_vitte/main.vit- CLI entrypoint, routes to fullhardgate or scoped runs.
Migration Phases
- Phase A (coexist) - Keep current scripts and Make targets. - Add
bootstrap-v2-hard-gatetarget invoking strict hard gate.
- Phase B (step parity) - Re-encode existing stages as typed
Stepobjects. - Ensure exact behavioral parity with currentbootstrap-hard-gate.
- Phase C (ownership switch) - Make
bootstrap-v2-hard-gatethe 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