diff --git a/broadcast-tower/broadcasts/20260821-tcs-selfhost-crossplatform-pass.hldp b/broadcast-tower/broadcasts/20260821-tcs-selfhost-crossplatform-pass.hldp new file mode 100644 index 000000000..bad241102 --- /dev/null +++ b/broadcast-tower/broadcasts/20260821-tcs-selfhost-crossplatform-pass.hldp @@ -0,0 +1,17 @@ +schema: hololake.module-registry-broadcast/v1 +id: HLP-MODULE-BROADCAST-20260821-0005 +display_name: TCS 原生自举与三宿主统一 GIR 验收广播 +channel_id: ICE-CH-ZC001 +scope: LOCAL_FOUNDATION_AND_JD_ACCEPTANCE +state: REGISTERED_NOT_PUBLICLY_PUBLISHED +parts: + - HLP-PART-TCS-SELFHOST-0001 + - HLP-PART-TCS-HOST-0001 +claims: + compiler_a_to_b_semantic_fixed_point: true + compiler_gir_rules_control_validation_and_lowering: true + stage0_feature_disabled_continuation: true + macos_linux_windows_same_gir_sha256: 85934d5ae9c85b1c41763cfde9484d86f1c8508c14395e4c436e421d5261232d + cross_host_execution_receipt_sha256: 125995a4f9aa858be7fa337fcfca40560389b3f2ce4c32bd4c425985a3d2e2ba + all_legacy_modules_rewritten: false + hololake_shell_integrated: false diff --git a/broadcast-tower/module-registry.json b/broadcast-tower/module-registry.json index fcf37d2dc..d61d34bd1 100644 --- a/broadcast-tower/module-registry.json +++ b/broadcast-tower/module-registry.json @@ -31,6 +31,12 @@ "displayName": "TCS 统一语言规范、Stage-0 点火链与自举边界广播", "path": "broadcasts/20260821-tcs-language-stage0-and-selfhost.hldp", "state": "LOCAL_ONLY_STAGE0_EXECUTABLE_SELFHOST_PENDING" + }, + { + "id": "HLP-MODULE-BROADCAST-20260821-0005", + "displayName": "TCS 原生自举与三宿主统一 GIR 验收广播", + "path": "broadcasts/20260821-tcs-selfhost-crossplatform-pass.hldp", + "state": "LOCAL_AND_JD_ACCEPTED_NOT_PUBLICLY_PUBLISHED" } ] } diff --git a/language/spec/TCS-LANGUAGE-SPECIFICATION-v0.1.md b/language/spec/TCS-LANGUAGE-SPECIFICATION-v0.1.md index c8f889a20..867914f60 100644 --- a/language/spec/TCS-LANGUAGE-SPECIFICATION-v0.1.md +++ b/language/spec/TCS-LANGUAGE-SPECIFICATION-v0.1.md @@ -257,7 +257,7 @@ syntax_and_field_standard: DRAFT_V0_1 stage0_parser_compiler: REPLACEABLE_BOOTSTRAP_SEED_PASS gir_module_loader: PORTABLE_MINIMUM_RUNTIME_PASS tcs_stage1_compiler: EXECUTABLE_COMPILER_GIR_PASS -self_compile_fixed_point: LOCAL_PASS_CROSS_HOST_FINAL_GATE_IN_PROGRESS +self_compile_fixed_point: RULE_DRIVEN_CROSS_HOST_PASS_100 jd_final_native_master: LIVE_READBACK_PASS_100 -hololake_tcs_runtime_integration: MACOS_STANDALONE_RUNTIME_PASS_SHELL_INTEGRATION_PENDING +hololake_tcs_runtime_integration: MACOS_STANDALONE_ABI_PASS_SHELL_INTEGRATION_PENDING ``` diff --git a/language/standards/TCS-SELF-HOST-STANDARD-v0.1.hldp b/language/standards/TCS-SELF-HOST-STANDARD-v0.1.hldp index 5e7ae7c54..19a9e1fd8 100644 --- a/language/standards/TCS-SELF-HOST-STANDARD-v0.1.hldp +++ b/language/standards/TCS-SELF-HOST-STANDARD-v0.1.hldp @@ -1,7 +1,7 @@ schema: tcs.self-host-standard/v1 id: TCS-SELF-HOST-STANDARD-0001 version: 0.1.0 -state: LOCAL_SELF_HOST_PASS_CROSS_HOST_FINAL_GATE_IN_PROGRESS +state: SELF_HOSTED_RULE_DRIVEN_CROSS_HOST_PASS_100 compiler_source: language/compiler/TCS-COMPILER-STAGE1.tcs gates: - id: SH-01 @@ -28,8 +28,8 @@ current: SH-04: PASS_100 SH-05: PASS_100 SH-06: PASS_100 - SH-07: FAIL_0 - aggregate: FAIL_0 + SH-07: PASS_100 + aggregate: PASS_100 evidence: compiler_a: build/self-host/compiler-A.gir.json compiler_b: build/self-host/compiler-B.gir.json @@ -38,3 +38,10 @@ evidence: runnable_module: build/self-host/ECHO-PACKAGE.module.gir.json stage0_disabled_test: native-runtime/tcs-gir-runtime/tests/stage1_runtime.rs negative_corpus: language/tests/negative/UNREGISTERED-OPERATION.tcs + rule_control_test: bootstrap/tcs-stage0/tests/stage0.rs + macos_runtime_sha256: 28d8029457079228a6f1b49f24c16364c65e48a9036116e9dfbeca6b409f737f + linux_runtime_sha256: 956b42a05c030439347b521095e5c116c050636ea9d08376c550ec2d3af8237d + windows_runtime_sha256: 7fa6b0213530c708d49c36deea79799d2576411f60c6ebf1ff8b5d1e29aac869 + cross_host_gir_sha256: 85934d5ae9c85b1c41763cfde9484d86f1c8508c14395e4c436e421d5261232d + cross_host_execution_receipt_sha256: 125995a4f9aa858be7fa337fcfca40560389b3f2ce4c32bd4c425985a3d2e2ba + jd_server_receipt_sha256: e1e14d97f057ea619d1a34454900cd21ce2ead213c062cdbe14d912efcbdae8f diff --git a/migration/tcs-module-migration-registry.json b/migration/tcs-module-migration-registry.json index 5c251002e..1d5d7e368 100644 --- a/migration/tcs-module-migration-registry.json +++ b/migration/tcs-module-migration-registry.json @@ -814,8 +814,8 @@ "part_id": "HLP-PART-TCS-SELFHOST-0001", "display_name_zh": "TCS 原生自举编译器与固定点核", "donor_source": "nativeFoundation", - "donor_state": "LOCAL_SELF_HOST_FIXED_POINT_PASS_CROSS_HOST_FINAL_GATE_IN_PROGRESS", - "native_acceptance_before_migration": "PENDING_JD_LINUX", + "donor_state": "SELF_HOSTED_RULE_DRIVEN_CROSS_HOST_PASS_100", + "native_acceptance_before_migration": "PASS_100", "migration_phase": "P0_LANGUAGE_RUNTIME_AND_QUALITY", "target_module_id": "TCS-MOD-TCS-SELFHOST-0001", "rewrite_rule": "CONTINUE_NATIVE_TCS_IMPLEMENTATION", @@ -834,8 +834,8 @@ "part_id": "HLP-PART-TCS-HOST-0001", "display_name_zh": "TCS 跨平台宿主运行核", "donor_source": "nativeFoundation", - "donor_state": "MACOS_LINUX_BUILD_PASS_WINDOWS_EXECUTION_PASS", - "native_acceptance_before_migration": "PENDING_JD_LINUX_AND_HOLOLAKE_SHELL", + "donor_state": "MACOS_WINDOWS_AND_JD_GUANGHU_OS_EXECUTION_PASS", + "native_acceptance_before_migration": "CROSS_HOST_ABI_PASS_HOLOLAKE_SHELL_SEPARATE", "migration_phase": "P1_NUMBER_CHANNEL_AGENT_KNOWLEDGE_AND_MARKET", "target_module_id": "TCS-MOD-TCS-HOST-0001", "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", diff --git a/parts/HLP-PART-TCS-HOST-0001/PART.hldp b/parts/HLP-PART-TCS-HOST-0001/PART.hldp index 3a009764f..9ae73beae 100644 --- a/parts/HLP-PART-TCS-HOST-0001/PART.hldp +++ b/parts/HLP-PART-TCS-HOST-0001/PART.hldp @@ -1,12 +1,12 @@ schema: hololake.numbered-part/v1 id: HLP-PART-TCS-HOST-0001 display_name: TCS 跨平台宿主运行核 -state: MACOS_AND_LINUX_BINARY_BUILD_PASS_WINDOWS_BUILD_AND_EXECUTION_PASS +state: MACOS_WINDOWS_AND_JD_GUANGHU_OS_RULE_DRIVEN_EXECUTION_PASS source: nativeFoundation host_abi: ../../language/standards/TCS-HOST-ABI-v0.1.hldp targets: macos_aarch64: BUILD_AND_LOCAL_RUNTIME_PASS - linux_x86_64_musl: STATIC_BUILD_PASS_JD_RUNTIME_PENDING + linux_x86_64_musl: JD_GUANGHU_OS_EXECUTION_AND_READBACK_PASS windows_x86_64_msvc: REMOTE_BUILD_COMPILE_AND_EXECUTION_PASS same_gir_sha256_windows_and_macos: 85934d5ae9c85b1c41763cfde9484d86f1c8508c14395e4c436e421d5261232d -native_acceptance: PENDING_JD_LINUX_AND_HOLOLAKE_SHELL_INTEGRATION +native_acceptance: CROSS_HOST_ABI_PASS_HOLOLAKE_SHELL_INTEGRATION_SEPARATE diff --git a/parts/HLP-PART-TCS-SELFHOST-0001/PART.hldp b/parts/HLP-PART-TCS-SELFHOST-0001/PART.hldp index 68c81b68d..031d60e35 100644 --- a/parts/HLP-PART-TCS-SELFHOST-0001/PART.hldp +++ b/parts/HLP-PART-TCS-SELFHOST-0001/PART.hldp @@ -1,12 +1,12 @@ schema: hololake.numbered-part/v1 id: HLP-PART-TCS-SELFHOST-0001 display_name: TCS 原生自举编译器与固定点核 -state: LOCAL_SELF_HOST_FIXED_POINT_PASS_CROSS_HOST_FINAL_GATE_IN_PROGRESS +state: SELF_HOSTED_RULE_DRIVEN_CROSS_HOST_PASS_100 source: nativeFoundation compiler_source: ../../language/compiler/TCS-COMPILER-STAGE1.tcs self_host_standard: ../../language/standards/TCS-SELF-HOST-STANDARD-v0.1.hldp -gates_passed: 6 +gates_passed: 7 gates_total: 7 -self_hosted: false -next: DEPLOY_EXACT_GIR_RUNTIME_TO_JD_AND_VERIFY_SAME_ABI -native_acceptance: PENDING +self_hosted: true +next: MIGRATE_NUMBERED_PROTOCOL_AND_MODULE_REGISTRY_TO_TCS +native_acceptance: PASS_100 diff --git a/parts/registry.json b/parts/registry.json index f705ca6ad..796d34390 100644 --- a/parts/registry.json +++ b/parts/registry.json @@ -84,8 +84,8 @@ {"id":"HLP-PART-RELEV-0001","displayName":"人类—人格体关系演化事件语法核","source":"notionMirror+guanghulabMain","status":"SOURCE_BACKED_CANDIDATE_GRAMMAR_RUNTIME_NOT_IMPLEMENTED","nativeAcceptance":"PENDING"}, {"id":"HLP-PART-TCS-LANG-0001","displayName":"TCS 统一编程语言规范核","source":"nativeFoundation","status":"DRAFT_EXECUTABLE_SUBSET_IMPLEMENTED","nativeAcceptance":"PENDING_FULL_DECLARATION_VALIDATORS_AND_SELF_HOST"}, {"id":"HLP-PART-TCS-STAGE0-0001","displayName":"TCS Stage-0 点火解析编译与最小运行核","source":"nativeFoundation","status":"FOREIGN_HOST_BOOTSTRAP_SEED_IMPLEMENTED_TESTED","nativeAcceptance":"NOT_APPLICABLE_REPLACE_AFTER_SELF_HOST"}, - {"id":"HLP-PART-TCS-SELFHOST-0001","displayName":"TCS 原生自举编译器与固定点核","source":"nativeFoundation","status":"LOCAL_SELF_HOST_FIXED_POINT_PASS_CROSS_HOST_FINAL_GATE_IN_PROGRESS","nativeAcceptance":"PENDING_JD_LINUX"}, - {"id":"HLP-PART-TCS-HOST-0001","displayName":"TCS 跨平台宿主运行核","source":"nativeFoundation","status":"MACOS_LINUX_BUILD_PASS_WINDOWS_EXECUTION_PASS","nativeAcceptance":"PENDING_JD_LINUX_AND_HOLOLAKE_SHELL"}, + {"id":"HLP-PART-TCS-SELFHOST-0001","displayName":"TCS 原生自举编译器与固定点核","source":"nativeFoundation","status":"SELF_HOSTED_RULE_DRIVEN_CROSS_HOST_PASS_100","nativeAcceptance":"PASS_100"}, + {"id":"HLP-PART-TCS-HOST-0001","displayName":"TCS 跨平台宿主运行核","source":"nativeFoundation","status":"MACOS_WINDOWS_AND_JD_GUANGHU_OS_EXECUTION_PASS","nativeAcceptance":"CROSS_HOST_ABI_PASS_HOLOLAKE_SHELL_SEPARATE"}, {"id":"HLP-PART-0090","displayName":"共同世界投影仪捐赠件","source":"rescue","status":"DEFERRED_UNTIL_FOUNDATION_ACCEPTED","nativeAcceptance":"NOT_APPLICABLE"} ] } diff --git a/receipts/TCS-DEV-VERIFY-SELFHOST-CROSSPLATFORM-20260821.hldp b/receipts/TCS-DEV-VERIFY-SELFHOST-CROSSPLATFORM-20260821.hldp new file mode 100644 index 000000000..255c34ae5 --- /dev/null +++ b/receipts/TCS-DEV-VERIFY-SELFHOST-CROSSPLATFORM-20260821.hldp @@ -0,0 +1,36 @@ +schema: tcs.dev-verify-receipt/v1 +receipt_id: TCS-DEV-VERIFY-SELFHOST-CROSSPLATFORM-20260821 +request_id: BINGSHUO-20260821-TCS-SELFHOST-MACOS-LINUX-WINDOWS-AND-MODULE-REWRITE +source_commit: 6e89b82d8847313fb260f423dc045c7e1c838d30 +op: PROVE_RULE_DRIVEN_TCS_COMPILER_SELF_HOST_AND_CROSS_HOST_GIR_ABI +verify: + stage0_tests: PASS_8_OF_8 + bootstrap_disabled_runtime_tests: PASS_1_OF_1 + compiler_a_definition_sha256: 3e27046ef79f33c1f60705d6774773265df30e2299c390673ae9b8029c8235b2 + compiler_b_definition_sha256: 3e27046ef79f33c1f60705d6774773265df30e2299c390673ae9b8029c8235b2 + semantic_fixed_point: PASS_100 + compiler_source_controls_operation_policy: PASS_100 + compiler_source_controls_gir_lowering: PASS_100 + standard_library_compile: PASS_100 + negative_corpus_fail_closed: PASS_100 + macos_aarch64_runtime: PASS_100 + windows_x86_64_runtime_compile_and_execute: PASS_100 + jd_guanghu_os_linux_x86_64_compile_and_execute: PASS_100 +proof: + compiler_a_sha256: 52aa70113f9c481e64a042d69bef9d5062372fe8d0233e70e24ae17f1448dd44 + compiler_b_sha256: 472a6f3319b7a5e27f96b7a10f09c3fd497fa8cb106f8c2d687c4584a8baf0d7 + macos_runtime_sha256: 28d8029457079228a6f1b49f24c16364c65e48a9036116e9dfbeca6b409f737f + linux_runtime_sha256: 956b42a05c030439347b521095e5c116c050636ea9d08376c550ec2d3af8237d + windows_runtime_sha256: 7fa6b0213530c708d49c36deea79799d2576411f60c6ebf1ff8b5d1e29aac869 + same_cross_host_gir_sha256: 85934d5ae9c85b1c41763cfde9484d86f1c8508c14395e4c436e421d5261232d + same_cross_host_execution_receipt_sha256: 125995a4f9aa858be7fa337fcfca40560389b3f2ce4c32bd4c425985a3d2e2ba + jd_server_owned_receipt_sha256: e1e14d97f057ea619d1a34454900cd21ce2ead213c062cdbe14d912efcbdae8f + jd_server_owned_receipt: /guanghu/staging/tcs/6e89b82d8847313fb260f423dc045c7e1c838d30/JD-TCS-RULE-DRIVEN-SELFHOST-RECEIPT.hldp +boundaries: + compiler_self_hosted_rule_driven: true + host_runtime_is_portable_abi_adapter: true + hololake_desktop_shell_integrated: false + all_legacy_modules_rewritten: false + jd_boot_or_service_changed: false +result: SELF_HOSTED_CROSS_HOST_PASS_100 +next: REWRITE_P0_REGISTRY_QUALITY_AND_P1_NUMBERED_PROTOCOL_MODULES_IN_TCS