Vitte

Bootstrap Contracts

HTML reading page generated from the source Markdown document.

Documentation Source Sitemap Source Markdown

Reading mode

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

Bootstrap Contracts

This page is the index for the bootstrap-native contract surface.

  • Seed trust chain: docs/bootstrap_seed.md
  • Native IR contract: docs/bootstrap_native_ir.md
  • Bootstrap-native snapshots: tests/bootstrap_native/README.md
  • Local full contract target: make bootstrap-native-contract
  • Local fast contract target: make bootstrap-native-fast-contract
  • CI job: bootstrap-native-contract

The bootstrap contract is intentionally split across readable docs, checked seed artifacts, deterministic snapshots, and visible CI steps. A change that affects the seed parser, generated shell backend, command behavior, or stage1/stage2 source must carry the matching snapshots in the same change.

PR Checklist

Before publishing a bootstrap-native change:

  • Run make bootstrap-native-contract.
  • Run make docs-paths-check.
  • Run make bootstrap-contracts-index-check.
  • Run tools/bootstrap_native_fixture_matrix.sh and confirm the touched surface is covered by snapshots.
  • If toolchain/seed/vittec0.seed changed, confirm toolchain/seed/manifest.txt changed with the new SHA-256.
  • If generated shell behavior changed, confirm the relevant shell snapshot under tests/bootstrap_native/ and emission.sha256.must snapshots changed together.
  • If parser or diagnostic behavior changed, confirm at least one .ir.must or .err.must snapshot changed with it.