diff --git a/build/self-host/compiler-A.gir.json b/build/self-host/compiler-A.gir.json index 8d9f38ffe..123c88ce5 100644 --- a/build/self-host/compiler-A.gir.json +++ b/build/self-host/compiler-A.gir.json @@ -2,7 +2,7 @@ "compiled_from": { "compiler_id": "TCS-STAGE0-IGNITION-0001", "compiler_state": "FOREIGN_HOST_BOOTSTRAP_SEED_NOT_SELF_HOSTED", - "source_sha256": "65856dd98a272c0e8911d64dc96c9f0b4101f6d9364eeeac3cf78c282129de3f" + "source_sha256": "d375adb7a715c93320c14f3e38a3fa10bc764493d62cfa671e5dfd2d4d3b049f" }, "compiler_definition": { "canonicalization": { @@ -17,7 +17,7 @@ }, "header": { "bootstrap_seed": "TCS-STAGE0-IGNITION-0001", - "lifecycle": "EXECUTABLE_SEMANTIC_FIXED_POINT_PROVEN_HOST_ACCEPTANCE_IN_PROGRESS", + "lifecycle": "STABLE_COMPILER_SOURCE_CANDIDATE", "name_zh": "TCS 第一代自举编译器", "output": "GIR/1", "profile": "HLDP-NP/1", @@ -241,7 +241,7 @@ }, "self_host": { "compiler_A_compiles_stage1_to": "compiler-B.gir", - "current_state": "SH01_TO_SH06_LOCAL_PASS_SH07_TARGET_READBACK_IN_PROGRESS", + "current_state": "READ_EXTERNAL_SELF_HOST_ACCEPTANCE_RECEIPT", "fixed_point": "SEMANTIC_SHA256_A_EQUALS_B", "minimum_runnable_module_test": "REQUIRED", "negative_corpus_test": "REQUIRED", @@ -329,7 +329,7 @@ "execution_abi": "TCS-COMPILER-GIR-EXEC/1", "identity": { "compiler_id": "TCS-COMPILER-STAGE1-0001", - "definition_sha256": "c7da830afd1dbf4fdda223226f091f17a5f8a1ee9c7c8e6424d1805a001d6e9a", + "definition_sha256": "c2bf0e4e93f9952daf661628aa7b17891718c53b9fbb5e77636f5f40812ff9f6", "language_version": "0.1" }, "native_self_hosted": false, diff --git a/build/self-host/compiler-B.gir.json b/build/self-host/compiler-B.gir.json index 36e51323c..348a6b630 100644 --- a/build/self-host/compiler-B.gir.json +++ b/build/self-host/compiler-B.gir.json @@ -2,7 +2,7 @@ "compiled_from": { "compiler_id": "TCS-COMPILER-STAGE1-0001", "compiler_state": "TCS_COMPILER_GIR_EXECUTED", - "source_sha256": "65856dd98a272c0e8911d64dc96c9f0b4101f6d9364eeeac3cf78c282129de3f" + "source_sha256": "d375adb7a715c93320c14f3e38a3fa10bc764493d62cfa671e5dfd2d4d3b049f" }, "compiler_definition": { "canonicalization": { @@ -17,7 +17,7 @@ }, "header": { "bootstrap_seed": "TCS-STAGE0-IGNITION-0001", - "lifecycle": "EXECUTABLE_SEMANTIC_FIXED_POINT_PROVEN_HOST_ACCEPTANCE_IN_PROGRESS", + "lifecycle": "STABLE_COMPILER_SOURCE_CANDIDATE", "name_zh": "TCS 第一代自举编译器", "output": "GIR/1", "profile": "HLDP-NP/1", @@ -241,7 +241,7 @@ }, "self_host": { "compiler_A_compiles_stage1_to": "compiler-B.gir", - "current_state": "SH01_TO_SH06_LOCAL_PASS_SH07_TARGET_READBACK_IN_PROGRESS", + "current_state": "READ_EXTERNAL_SELF_HOST_ACCEPTANCE_RECEIPT", "fixed_point": "SEMANTIC_SHA256_A_EQUALS_B", "minimum_runnable_module_test": "REQUIRED", "negative_corpus_test": "REQUIRED", @@ -329,7 +329,7 @@ "execution_abi": "TCS-COMPILER-GIR-EXEC/1", "identity": { "compiler_id": "TCS-COMPILER-STAGE1-0001", - "definition_sha256": "c7da830afd1dbf4fdda223226f091f17a5f8a1ee9c7c8e6424d1805a001d6e9a", + "definition_sha256": "c2bf0e4e93f9952daf661628aa7b17891718c53b9fbb5e77636f5f40812ff9f6", "language_version": "0.1" }, "native_self_hosted": true, diff --git a/language/compiler/TCS-COMPILER-STAGE1.tcs b/language/compiler/TCS-COMPILER-STAGE1.tcs index 4bbfb7673..ad7c5f554 100644 --- a/language/compiler/TCS-COMPILER-STAGE1.tcs +++ b/language/compiler/TCS-COMPILER-STAGE1.tcs @@ -6,7 +6,7 @@ COMPILER TCS-COMPILER-STAGE1-0001 { name_zh = "TCS 第一代自举编译器"; version = "0.1.0"; profile = "HLDP-NP/1"; - lifecycle = "EXECUTABLE_SEMANTIC_FIXED_POINT_PROVEN_HOST_ACCEPTANCE_IN_PROGRESS"; + lifecycle = "STABLE_COMPILER_SOURCE_CANDIDATE"; bootstrap_seed = "TCS-STAGE0-IGNITION-0001"; output = "GIR/1"; } @@ -96,6 +96,6 @@ COMPILER TCS-COMPILER-STAGE1-0001 { standard_library_test = "REQUIRED"; negative_corpus_test = "REQUIRED"; minimum_runnable_module_test = "REQUIRED"; - current_state = "SH01_TO_SH06_LOCAL_PASS_SH07_TARGET_READBACK_IN_PROGRESS"; + current_state = "READ_EXTERNAL_SELF_HOST_ACCEPTANCE_RECEIPT"; } }