Bootstrap native + diagnostics changelog

Synthese complete du patch: extension du build natif bootstrap, diagnostics directs branches sur FTL, exemples utilisateur, snapshots et verification.

Date: 2026-06-23 Commande officielle: vitte build main.vit -o main Langues FTL: en, fr Statut: gates passes

20 exemples utilisateur ajoutes et compiles.

25 cles E_BOOTSTRAP_* ajoutees par locale en/fr.

7 gates executes avec succes.

Bootstrap Native

Support ajoute

extract_native_main_return() reconnait maintenant les records simples.
Support des champs comme p.x et p.y.
Support des sommes de champs, litteraux, constantes et appels pseudo-stdlib deja reconnus.
Support de records types: let p: Point = Point { ... }.
Fixture native tests/bootstrap_native/record_field_sum.vit avec exit code attendu 30.

Commande build

La commande valide reste strictement vitte build main.vit -o main.
Le raccourci non souhaite vitte build main n'est pas active.
Test manuel confirme: sans .vit echoue, avec .vit reussit.

Diagnostics FTL

cli_error() passe par localized_diagnostic_message() et localized_diagnostic_hint().
diag() dans le parseur AWK bootstrap utilise les messages FTL pour les erreurs E_BOOTSTRAP_*.
--lang fr fonctionne sur les diagnostics directs bootstrap de dump-native-ir, check et build.
Resolution robuste du repertoire locales/ depuis le repo, le seed, ou un payload natif temporaire.
Le shell natif genere initialise diagnostics_lang="${VITTE_LANG:-en}".

Locales

Les fichiers locales/en/diagnostics.ftl et locales/fr/diagnostics.ftl ont recu les cles bootstrap suivantes.

legacy bootstrap subset diagnostic
legacy bootstrap subset diagnostic hint
E_BOOTSTRAP_FULL_COMPILER_BRIDGE_DISABLED
E_BOOTSTRAP_UNKNOWN_STRING_CONST
E_BOOTSTRAP_UNKNOWN_INT_CONST
E_BOOTSTRAP_EXPECTED_STRING_CONST
E_BOOTSTRAP_EXPECTED_INT_CONST
E_BOOTSTRAP_UNKNOWN_PROC_PREFIX
E_BOOTSTRAP_DUP_PROC_PREFIX
E_BOOTSTRAP_CONST_SIGNATURE
E_BOOTSTRAP_MAIN_SIGNATURE
E_BOOTSTRAP_PROC_SIGNATURE_PARAMS
E_BOOTSTRAP_PROC_SIGNATURE_RETURN
E_BOOTSTRAP_PROC_SIGNATURE
E_BOOTSTRAP_PROC_BODY
E_BOOTSTRAP_PROC_BODY_GIVE
E_BOOTSTRAP_MAIN_BODY
E_BOOTSTRAP_PROC_BODY_INT
E_BOOTSTRAP_PROC_BODY_STRING
E_BOOTSTRAP_TOP_LEVEL
E_BOOTSTRAP_UNCLOSED_PROC
E_BOOTSTRAP_EXPORT
E_BOOTSTRAP_SPACE
E_BOOTSTRAP_VERSION
E_BOOTSTRAP_BANNER

Snapshots Et Fixtures

Ajout de tests/bootstrap_native/bad_unknown_const.fr.err.must.
Ajout de tests/bootstrap_native/cli.build_native_subset.fr.err.must.
Ajout de la couverture FR dans tools/bootstrap_native_snapshots.sh.
Mise a jour de tests/bootstrap_native/shell.*.must.
Mise a jour de tests/bootstrap_native/emission.sha256.must.
Mise a jour de toolchain/seed/manifest.txt.

20 Exemples Utilisateur

example_01_constant.vit
example_02_literal_sum.vit
example_03_i32_negative.vit
example_04_record_two_fields.vit
example_05_record_three_terms.vit
example_06_typed_record.vit
example_07_string_length.vit
example_08_path_join_length.vit
example_09_arithmetic_add_i64.vit
example_10_utf8_length.vit

example_11_vector_push.vit
example_12_generic_pair_first.vit
example_13_known_native_call.vit
example_14_json_module_count.vit
example_15_string_return_length.vit
example_16_record_negative_field.vit
example_17_record_and_string.vit
example_18_difficult_record_path_arithmetic.vit
example_19_negative_literal_sum.vit
example_20_pair_and_record.vit

Validation

make bootstrap-native-snapshots
make bootstrap-verify
make diagnostics-locales-lint
make diagnostics-ftl-check
make cli-diagnostics-snapshots
make seed-contract-check
make bootstrap-native-drift-check