Règle d'or: le compilateur est correct uniquement s'il passe 100 % des tests normatifs.

• invalid/parse : source invalide lexicalement/syntaxiquement
• invalid/type : source invalide statiquement
• invalid/runtime : source valide statiquement qui doit lever une exception runtime
• edge : cas limites normatifs obligatoires

Chaque cas contient:

• un fichier source *.pts
• un fichier d'attentes *.expect.json

Champs attendus dans *.expect.json:

• status: reject-parse | reject-static | reject-runtime | accept-runtime
• error_family: E1xxx | E2xxx | E3xxx | E4xxx | Rxxxx
• error_code: code canonique stable
• category: catégorie d'erreur normative
• position: file, line, column

Pour les cas positifs runtime :

• status: accept-runtime
• expected_stdout: sortie standard exacte attendue

Runner fourni: tests/run_conformance.sh Pré-requis: jq

Exemples :

• tests/run_conformance.sh
• FRONTEND_ONLY=1 tests/run_conformance.sh
• COMPILER=./bin/protoscriptc tests/run_conformance.sh
• CONFORMANCE_CHECK_CMD=\"./myc check\" CONFORMANCE_RUN_CMD=\"./myc run\" tests/run_conformance.sh

Le runner écrit tests/.conformance_passed uniquement si la suite complète passe sans skip.

Runner runtime crosscheck: tests/run_runtime_crosscheck.sh Le runner écrit tests/.runtime_crosscheck_passed si la parité runtime Node/C est validée.

Runner de validation croisée complète (diagnostics + comportement): tests/run_node_c_crosscheck.sh Option stricte AST intégrée: tests/run_node_c_crosscheck.sh --strict-ast Option stricte statique C intégrée: tests/run_node_c_crosscheck.sh --strict-static-c

Runner dédié frontend C vs oracle Node (--check): tests/run_c_frontend_oracle.sh Runner dédié statique C vs oracle Node (--check-c-static): tests/run_c_static_oracle.sh

Runner dédié comparaison structurelle AST (Node vs C): tests/run_ast_structural_crosscheck.sh Runner dédié crosscheck IR Node/C (structure + invariants): tests/run_ir_node_c_crosscheck.sh Runner dédié parité runtime CLI (protoscriptc --run vs c/ps run) : tests/run_cli_runtime_parity.sh Runner dédié CLI (C) : tests/run_cli_tests.sh Runner dédié diagnostics stricts (format exact + suggestions + parité JS/C) : tests/run_diagnostics_strict.sh Runner complet (build + conformance + crosscheck + parité runtime CLI + CLI) : tests/run_all.sh Runner robustesse (ASAN + déterminisme + audits mémoire) : tests/run_robustness.sh

La conformité inclut explicitement le CLI :

• c/ps run fait partie de la chaîne normative principale.
• Toute divergence (exit code, stdout, stderr) avec protoscriptc --run sur les cas runtime du manifest provoque un échec.

Le contrôle emit-c sanitizer est normé par tests/robustness/run_asan_ubsan_emitc.sh.

• La compilation de référence utilise -Wall -Wextra -Wpedantic -fsanitize=address,undefined.
• Le build strict impose -Werror avec une seule whitelist explicite : -Wno-unused-function.
• Cette whitelist neutralise uniquement le bruit du runtime C monolithique (helpers static non référencés selon le cas), et le script échoue si un warning hors whitelist apparaît.
• Le script vérifie aussi la couverture _Static_assert des paires parent/enfant IR.
• Seules deux paires sont exclues explicitement : Exception:Object et RuntimeException:Exception.
• Motif normatif: Exception/RuntimeException sont manipulés via le handle ps_exception* (pas comme structures layoutées de la hiérarchie objet), donc la vérification de layout parent/enfant ne s’y applique pas.

Runner dédié: tests/run_opt_safety.sh

Préconditions :

• tests/.conformance_passed présent
• BACKEND_C_STABLE=1

Exemple :

• BACKEND_C_STABLE=1 tests/run_opt_safety.sh