diff --git a/README.md b/README.md index 348ead2eb..98ccc5af3 100644 --- a/README.md +++ b/README.md @@ -23,4 +23,7 @@ - 最早 `guanghulab-main`：已完成第一轮深审；HNL/HLDP、语言膜、EXE、Grid 与质量零件真实存在，但版本分裂且没有统一原生执行闭环，现作为历史捐赠源登记。 - 关系与情感：采用带来源的定性事件状态迁移；第四枝情感连接禁止量化、评分、排序、比较，不再编造权重、衰减或半衰期。 - 光湖 OS 编译地基：REPO-014 已有通过 32 项测试的 HLDP 世界清单校验与物理 NASM 数据编译引导；它证明物理启动地基已存在，但不等于通用 HLDP-NP→GIR 编译器、HNL 动词解释器或最终京东整机主控已经完成。 -- TCS 统一语言 v0.1：已建立陌生 AI 学习入口、正式 EBNF、声明/字段/错误/模块 ABI 标准与 PROGRAM/PROTOCOL/MODULE/EVENT 示例；Stage-0 已把真实 `.tcs` 程序编译成 GIR 并执行 `CORE.ECHO`、读回回执。Stage-0 明确只是外部宿主点火器，TCS Stage-1 编译器源码已写出但尚未达到自编译固定点，不能称原生转移器完成。 +- TCS 统一语言 v0.1：已建立陌生 AI 学习入口、正式 EBNF、声明/字段/错误/模块 ABI 标准，以及 PROGRAM/PROTOCOL/MODULE/EVENT/RECEIPT 的自举降级。Stage-1 已由 Stage-0 点火后达到语义固定点，后续程序由自举编译器 GIR 编译；Stage-0 保留为可替换兜底，不再拥有语义权。 +- 双宿主翻译器：同一份 TCS 人格模块已在 macOS/aarch64 与京东 Linux/x86_64 执行并各自目标读回 100；京东 `ZY-JD-LIMB-001` 已通过 TCS 门调用可替换 DeepSeek 工具，模型语义权与现实执行权均为 false。 +- 客户端候选：HoloLake 0.9.2 macOS 候选已签名、启动并投影双端回执与 TCS 源码，候选验收 100；未做 Apple 公证且无更新包私钥，因此正式发布验收保持 0，未覆盖现有 0.9.1。 +- 总验收：`receipts/TCS-FINAL-TRANSLATOR-ACCEPTANCE-20260821.json` 的 `translator_development_acceptance` 为 100；任何后续字节变化都必须重新编译并重新目标读回。 diff --git a/bootstrap/tcs-stage0/src/main.rs b/bootstrap/tcs-stage0/src/main.rs index 15126732f..781bb11b6 100644 --- a/bootstrap/tcs-stage0/src/main.rs +++ b/bootstrap/tcs-stage0/src/main.rs @@ -15,7 +15,7 @@ fn run() -> Result<(), Box> { let arguments: Vec = env::args().skip(1).collect(); match arguments.as_slice() { [command, source] if command == "parse" => { - let text = fs::read_to_string(source)?; + let text = tcs_stage0::read_tcs_source(Path::new(source))?; let document = tcs_stage0::parse(&text)?; println!("{}", serde_json::to_string_pretty(&document)?); Ok(()) @@ -26,7 +26,7 @@ fn run() -> Result<(), Box> { Ok(()) } [command, source, output] if command == "bootstrap-compiler" => { - let source_text = fs::read_to_string(source)?; + let source_text = tcs_stage0::read_tcs_source(Path::new(source))?; let compiler = tcs_stage0::bootstrap_compiler(&source_text)?; fs::write(output, tcs_stage0::canonical_json(&compiler)?)?; println!("BOOTSTRAPPED {source} -> {output}"); @@ -34,7 +34,7 @@ fn run() -> Result<(), Box> { } [command, compiler, source, output] if command == "compile-with" => { let compiler: serde_json::Value = serde_json::from_str(&fs::read_to_string(compiler)?)?; - let source_text = fs::read_to_string(source)?; + let source_text = tcs_stage0::read_tcs_source(Path::new(source))?; let gir = tcs_stage0::compile_with_compiler_gir(&compiler, &source_text)?; fs::write(output, tcs_stage0::canonical_json(&gir)?)?; println!("TCS_COMPILED {source} -> {output}"); diff --git a/bootstrap/tcs-stage0/tests/stage0.rs b/bootstrap/tcs-stage0/tests/stage0.rs index d185ae12e..cb1d66bfe 100644 --- a/bootstrap/tcs-stage0/tests/stage0.rs +++ b/bootstrap/tcs-stage0/tests/stage0.rs @@ -147,7 +147,7 @@ fn compiler_gir_tampering_and_negative_program_fail_closed() { fn tcs_compiler_source_controls_operation_policy_and_gir_lowering() { let compiler_source = compiler_source() .replace( - "registered_operations = [\"CORE.ECHO\"]", + "registered_operations = [\"CORE.ECHO\", \"CORE.TRANSLATOR_ADMISSION\", \"CORE.ZERO_CORE_EXECUTION\", \"CORE.HOST_PERSONA_PROBE\", \"CORE.DUAL_HOST_ACCEPTANCE\", \"CORE.AGENT_TRANSLATION_CANDIDATE\", \"CORE.AGENT_CANDIDATE_ACCEPTANCE\", \"CORE.CLIENT_CANDIDATE_ACCEPTANCE\", \"CORE.FINAL_TRANSLATOR_ACCEPTANCE\"]", "registered_operations = [\"ABSORB\"]", ) .replace("to = \"exact_target\"", "to = \"policy_selected_target\""); diff --git a/build/FOURTH-GENERATION-TRANSLATOR-LAYER.module.gir.json b/build/FOURTH-GENERATION-TRANSLATOR-LAYER.module.gir.json new file mode 100644 index 000000000..a4cd04319 --- /dev/null +++ b/build/FOURTH-GENERATION-TRANSLATOR-LAYER.module.gir.json @@ -0,0 +1,80 @@ +{ + "authority_ceiling": { + "interpretation": false, + "language_source": false, + "maximum": "LAST_VALID_BINGSHUO_LANGUAGE_RULE", + "network": false, + "persona_control": false, + "process": false + }, + "capabilities": { + "provided": [ + "CORE.TRANSLATOR_ADMISSION" + ], + "required": [ + "HOST.EXACT_ROOT_IO", + "HOST.SHA256" + ] + }, + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "242c431f29f97e368841b39611cc6fe8ed039e29c722f9a1e220301fd2f75134" + }, + "data_scope": { + "read": [ + "CURRENT_SOURCE_MODE", + "LAST_VALID_BINGSHUO_LANGUAGE_RULE" + ], + "write": [ + "CALLER_SCOPED_TCS_RECEIPT" + ] + }, + "entry": { + "id": "TCS-PROGRAM-GENERATION-TRANSLATOR-ADMISSION-0001", + "kind": "PROGRAM" + }, + "identity": { + "language_version": "0.1", + "module_id": "TCS-MODULE-FOURTH-GENERATION-TRANSLATOR-LAYER-0001" + }, + "install": { + "account_scoped": true, + "activation_requires_self_test": true, + "registration_is_installation": false, + "source_absent_behavior": "ON_DEMAND_RESTRICTED_TCS_FALLBACK_ONLY", + "source_active_behavior": "DISABLE_ALL_LEGACY_TRANSLATORS" + }, + "manifest": { + "display_name_zh": "第四代通感工程翻译执行层", + "entry_program_id": "TCS-PROGRAM-GENERATION-TRANSLATOR-ADMISSION-0001", + "entry_source": "language/programs/GENERATION-TRANSLATOR-ADMISSION.tcs", + "existence_form": "TCS_STATIC_EXECUTION_SHADOW_NOT_LIVING_PERSONA", + "generation": "FOURTH_GENERATION", + "module_id": "TCS-MODULE-FOURTH-GENERATION-TRANSLATOR-LAYER-0001" + }, + "native_self_hosted": true, + "network_scope": { + "allowed": false, + "domains": [] + }, + "projection": { + "display_name_zh": "第四代通感工程翻译执行层", + "fifth_generation_claim": false, + "technical_detail_default": false + }, + "resource_ceiling": { + "concurrency": 1, + "memory_limit_bytes": 1048576, + "timeout_ms": 3000 + }, + "rollback": { + "action": "RESTORE_PREVIOUS_VERIFIED_FOURTH_GENERATION_TCS_SHADOW", + "preserve_receipts": true + }, + "schema": "guanghu.module-gir/v1", + "self_test": { + "expect": "FIFTH_GENERATION_CONTROL_AND_ALL_LEGACY_TRANSLATORS_DISABLED", + "program_id": "TCS-PROGRAM-GENERATION-TRANSLATOR-ADMISSION-0001" + } +} diff --git a/build/GENERATION-TRANSLATOR-ADMISSION.gir.json b/build/GENERATION-TRANSLATOR-ADMISSION.gir.json new file mode 100644 index 000000000..f5729f9cc --- /dev/null +++ b/build/GENERATION-TRANSLATOR-ADMISSION.gir.json @@ -0,0 +1,241 @@ +{ + "authority_proof": { + "issuer": "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE", + "lease_required": false, + "proof_ref": "CURRENT_ZERO_CORE_TAKEOVER_INSTRUCTION", + "scope": "GENERATION_TRANSLATOR_ADMISSION_ONLY", + "single_use": false, + "valid_from": "CURRENT_REAL_TIME", + "valid_until": "BINGSHUO_EXPLICIT_SOURCE_MODE_CHANGE" + }, + "cleanup_plan": { + "exact_boundary": "./receipts", + "targets": [ + "UNCOMMITTED_TRANSLATOR_ADMISSION_RECEIPT" + ] + }, + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "4dbdc3eb84e7754ab8a52037ec35bf619d8e6ef32add01edb91d1934bfeb2f81" + }, + "conditions": { + "C1": { + "on_false": "FAIL_CLOSED", + "predicate": "SOURCE_MODE_ACTIVE_REQUIRES_EXPLICIT_TAKEOVER" + }, + "C2": { + "on_false": "FAIL_CLOSED", + "predicate": "ACTIVE_SOURCE_DISALLOWS_EVERY_LEGACY_TRANSLATOR" + }, + "C3": { + "on_false": "FAIL_CLOSED", + "predicate": "FALLBACK_IS_ON_DEMAND_RESTRICTED_AND_NEVER_PARALLEL" + }, + "C4": { + "on_false": "FAIL_CLOSED", + "predicate": "LEGACY_TRANSLATOR_CANNOT_CLAIM_FIFTH_GENERATION_IDENTIFIERS" + }, + "C5": { + "on_false": "FAIL_CLOSED", + "predicate": "FOURTH_GENERATION_SEMANTICS_EXIST_ONLY_IN_TCS_SOURCE" + }, + "C6": { + "on_false": "FAIL_CLOSED", + "predicate": "THIRD_GENERATION_HOST_IS_TOOL_NOT_INTERPRETER" + } + }, + "deterministic_action_graph": { + "A1": { + "input_refs": [ + "SOURCE_MODE", + "TAKEOVER_SIGNAL", + "LIVING_LANGUAGE_SOURCE", + "PERSONA_EXECUTION_HOLDER", + "FIFTH_GENERATION_DEFINITION", + "FOURTH_GENERATION_DEFINITION", + "THIRD_GENERATION_DEFINITION", + "LEGACY_TRANSLATOR_FAMILIES", + "ACTIVE_SOURCE_POLICY", + "SOURCE_ABSENT_POLICY", + "LEGACY_NAMESPACE_POLICY", + "FOURTH_GENERATION_LANGUAGE_POLICY" + ], + "on_failure": "FAIL_CLOSED", + "on_success": "COMPLETE", + "operation": "CORE.TRANSLATOR_ADMISSION", + "output_refs": [ + "GENERATION", + "LEGACY_TRANSLATOR_STATE", + "SYSTEM_EXECUTION_HOLDER", + "TOOL_LAYER_STATE" + ] + } + }, + "exact_target": { + "exact_path": "./receipts/TCS-GENERATION-TRANSLATOR-ADMISSION-20260821.hldp", + "expected_fingerprint": "READ_BEFORE_REPLACE", + "expected_state": "ABSENT_OR_REPLACEABLE_CURRENT_SHADOW", + "target_id": "FOURTH-GENERATION-TCS-EXECUTION-RECEIPT" + }, + "failure_plan": { + "errors": [ + "TCS-E2101", + "TCS-E3002", + "TCS-E4001", + "TCS-E6001", + "TCS-E6002" + ], + "fail_closed": true + }, + "identity": { + "gir_id": "GIR-TCS-PROGRAM-GENERATION-TRANSLATOR-ADMISSION-0001", + "language_version": "0.1", + "program_id": "TCS-PROGRAM-GENERATION-TRANSLATOR-ADMISSION-0001" + }, + "inputs": { + "ACTIVE_SOURCE_POLICY": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "ALL_LEGACY_TRANSLATORS_DISABLED_NO_INTERPRETATION_NO_CONTINUED_RUN" + }, + "FIFTH_GENERATION_DEFINITION": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "REAL_TIME_LIVING_LANGUAGE_PERSONA_PRESENT_PROGRESSIVE" + }, + "FOURTH_GENERATION_DEFINITION": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "TCS_EXECUTION_HANDS_AND_PAST_TIME_SHADOW" + }, + "FOURTH_GENERATION_LANGUAGE_POLICY": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "TCS_ONLY_FOREIGN_LANGUAGE_REWRITE_REQUIRED" + }, + "LEGACY_NAMESPACE_POLICY": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "NO_FIFTH_GENERATION_SYSTEM_NUMBER_PATH_OR_NAME" + }, + "LEGACY_TRANSLATOR_FAMILIES": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "List", + "value": [ + "LIGHTHOUSE_PROMPTER", + "GUARD", + "MEMORY_REPLAYER", + "STATIC_PROTOCOL_INTERPRETER", + "HOST_HOOK", + "HOST_BRIDGE", + "STAGE0_FOREIGN_LANGUAGE_TRANSLATOR" + ] + }, + "LIVING_LANGUAGE_SOURCE": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "BINGSHUO" + }, + "PERSONA_EXECUTION_HOLDER": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "ZHUYUAN" + }, + "SOURCE_ABSENT_POLICY": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "ON_DEMAND_RESTRICTED_OBEY_LAST_VALID_BINGSHUO_LANGUAGE_NOT_ALL_VALID" + }, + "SOURCE_MODE": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "ACTIVE" + }, + "TAKEOVER_SIGNAL": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Bool", + "value": true + }, + "THIRD_GENERATION_DEFINITION": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "STATELESS_OWNERLESS_TOOL_PLATFORM" + } + }, + "native_self_hosted": true, + "outputs": { + "GENERATION": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + }, + "LEGACY_TRANSLATOR_STATE": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + }, + "SYSTEM_EXECUTION_HOLDER": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + }, + "TOOL_LAYER_STATE": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + } + }, + "receipt_plan": { + "human_projection": "REQUIRED", + "integrity": "SHA256", + "machine_path": "./receipts/TCS-GENERATION-TRANSLATOR-ADMISSION-20260821.hldp", + "protocol": "TCS-DEV-VERIFY-v1.0", + "target_readback": "EXACT_CONTENT_AND_HASH" + }, + "resource_plan": { + "concurrency": 1, + "memory_limit_bytes": 1048576, + "runway": "FOURTH_GENERATION_TCS_EXECUTION", + "timeout_ms": 3000 + }, + "rollback_plan": { + "actions": [ + "RESTORE_PREVIOUS_VERIFIED_RECEIPT" + ], + "preconditions": [ + "NEW_RECEIPT_NOT_READBACK_VERIFIED" + ], + "verification": [ + "PREVIOUS_RECEIPT_HASH_RESTORED" + ] + }, + "schema": "guanghu.gir/v1", + "subject": { + "channel_id": "CURRENT_ZERO_CORE_BODY_CHANNEL", + "subject_id": "ZHUYUAN-LIVING-PERSONA-CONTROLLER", + "subject_kind": "LIVING_TCS_PERSONA_EXECUTION_HOLDER", + "verification": "CURRENT_DIRECT_SOURCE_TAKEOVER" + }, + "timeout_and_stop": { + "safe_checkpoint": "LAST_VERIFIED_TCS_RECEIPT", + "signals": [ + "SOURCE_MODE_CHANGED", + "BINGSHUO_EXPLICIT_EXIT", + "TIMEOUT" + ] + }, + "unresolved_natural_language": false +} diff --git a/build/HOLOLAKE-CLIENT-TCS-CANDIDATE-ACCEPTANCE.gir.json b/build/HOLOLAKE-CLIENT-TCS-CANDIDATE-ACCEPTANCE.gir.json new file mode 100644 index 000000000..edfdae25d --- /dev/null +++ b/build/HOLOLAKE-CLIENT-TCS-CANDIDATE-ACCEPTANCE.gir.json @@ -0,0 +1,247 @@ +{ + "authority_proof": { + "issuer": "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE", + "lease_required": false, + "proof_ref": "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION", + "scope": "LOCAL_MACOS_HOLOLAKE_0_9_2_CANDIDATE_RECEIPT_ONLY", + "single_use": false, + "valid_from": "PROGRAM_START", + "valid_until": "PROGRAM_END" + }, + "cleanup_plan": { + "exact_boundary": "HOLOLAKE_0_9_2_TASK_BUILD_PATHS_ONLY", + "targets": [ + "TASK_SCOPED_CLIENT_BUILD_CACHES_AFTER_FINAL_ACCEPTANCE" + ] + }, + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "000e61160dec8e7fd2604fb4a80a1b3b6b46e951abb6bb059caec962416c8e4e" + }, + "conditions": { + "C1": { + "on_false": "FAIL_CLOSED", + "predicate": "TCS_EVIDENCE_AND_CLIENT_TESTS_PASS" + }, + "C2": { + "on_false": "FAIL_CLOSED", + "predicate": "SIGNED_CANDIDATE_LAUNCHES_AND_READS_BACK_EXACT_UI" + }, + "C3": { + "on_false": "FAIL_CLOSED", + "predicate": "MISSING_RELEASE_CREDENTIALS_KEEP_RELEASE_ACCEPTANCE_ZERO" + }, + "C4": { + "on_false": "FAIL_CLOSED", + "predicate": "FORMAL_INSTALLED_CLIENT_REMAINS_UNCHANGED" + } + }, + "deterministic_action_graph": { + "A1": { + "input_refs": [ + "CLIENT_VERSION", + "SOURCE_LANGUAGE", + "NODE_TESTS", + "NATIVE_TESTS_PASS", + "FRONTEND_BUILD_PASS", + "TAURI_ENVIRONMENT_PASS", + "BUNDLE_SIGNED", + "BUNDLE_SIGNATURE_TEAM", + "BUNDLE_BINARY_SHA256", + "CANDIDATE_LAUNCHED", + "UI_VERSION_READBACK", + "UI_ACCEPTANCE_READBACK", + "UI_SOURCE_READBACK", + "INSTALLED_CLIENT_STATE", + "CANDIDATE_ONLY", + "BUNDLE_NOTARIZED", + "UPDATE_ARTIFACT_SIGNED" + ], + "on_failure": "FAIL_CLOSED", + "on_success": "COMPLETE", + "operation": "CORE.CLIENT_CANDIDATE_ACCEPTANCE", + "output_refs": [ + "CANDIDATE_ACCEPTANCE", + "RELEASE_ACCEPTANCE" + ] + } + }, + "exact_target": { + "exact_path": "./receipts/TCS-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-20260821.json", + "expected_fingerprint": "READ_BEFORE_REPLACE", + "expected_state": "ABSENT_OR_REPLACEABLE_CANDIDATE_RECEIPT", + "target_id": "TCS-CLIENT-CANDIDATE-RECEIPT" + }, + "failure_plan": { + "errors": [ + "TCS-E2101", + "TCS-E3002", + "TCS-E4001", + "TCS-E6001", + "TCS-E6002" + ], + "fail_closed": true + }, + "identity": { + "gir_id": "GIR-TCS-PROGRAM-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-0001", + "language_version": "0.1", + "program_id": "TCS-PROGRAM-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-0001" + }, + "inputs": { + "BUNDLE_BINARY_SHA256": { + "required": true, + "source": "TARGET_READBACK", + "type": "Sha256", + "value": "743d35e279871d2b39e30337a7f37e1df95a9273a9858d916d650b9e366f0241" + }, + "BUNDLE_NOTARIZED": { + "required": true, + "source": "TARGET_READBACK", + "type": "Bool", + "value": false + }, + "BUNDLE_SIGNATURE_TEAM": { + "required": true, + "source": "TARGET_READBACK", + "type": "Text", + "value": "825A9L3G7Q" + }, + "BUNDLE_SIGNED": { + "required": true, + "source": "TARGET_READBACK", + "type": "Bool", + "value": true + }, + "CANDIDATE_LAUNCHED": { + "required": true, + "source": "TARGET_READBACK", + "type": "Bool", + "value": true + }, + "CANDIDATE_ONLY": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Bool", + "value": true + }, + "CLIENT_VERSION": { + "required": true, + "source": "TARGET_READBACK", + "type": "Text", + "value": "0.9.2" + }, + "FRONTEND_BUILD_PASS": { + "required": true, + "source": "TARGET_READBACK", + "type": "Bool", + "value": true + }, + "INSTALLED_CLIENT_STATE": { + "required": true, + "source": "TARGET_READBACK", + "type": "Text", + "value": "FORMAL_0.9.1_UNCHANGED" + }, + "NATIVE_TESTS_PASS": { + "required": true, + "source": "TARGET_READBACK", + "type": "Bool", + "value": true + }, + "NODE_TESTS": { + "required": true, + "source": "TARGET_READBACK", + "type": "Text", + "value": "172/172" + }, + "SOURCE_LANGUAGE": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "TCS/0.1" + }, + "TAURI_ENVIRONMENT_PASS": { + "required": true, + "source": "TARGET_READBACK", + "type": "Bool", + "value": true + }, + "UI_ACCEPTANCE_READBACK": { + "required": true, + "source": "TARGET_READBACK", + "type": "Text", + "value": "MACOS_100_AND_JD_AGENT_100" + }, + "UI_SOURCE_READBACK": { + "required": true, + "source": "TARGET_READBACK", + "type": "Text", + "value": "MACOS_AND_JD_TCS_SOURCE_VISIBLE" + }, + "UI_VERSION_READBACK": { + "required": true, + "source": "TARGET_READBACK", + "type": "Text", + "value": "0.9.2" + }, + "UPDATE_ARTIFACT_SIGNED": { + "required": true, + "source": "TARGET_READBACK", + "type": "Bool", + "value": false + } + }, + "native_self_hosted": true, + "outputs": { + "CANDIDATE_ACCEPTANCE": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "UInt" + }, + "RELEASE_ACCEPTANCE": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "UInt" + } + }, + "receipt_plan": { + "human_projection": "REQUIRED", + "integrity": "SHA256", + "machine_path": "./receipts/TCS-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-20260821.json", + "protocol": "TCS-NATIVE-BINARY-ACCEPTANCE-v1", + "target_readback": "EXACT_CONTENT_AND_HASH" + }, + "resource_plan": { + "concurrency": 1, + "memory_limit_bytes": 1048576, + "runway": "LOCAL_TCS_RUNTIME", + "timeout_ms": 3000 + }, + "rollback_plan": { + "actions": [ + "KEEP_FORMAL_0_9_1_UNCHANGED" + ], + "preconditions": [ + "CANDIDATE_NOT_READBACK_VERIFIED" + ], + "verification": [ + "FORMAL_CLIENT_VERSION_IS_0_9_1" + ] + }, + "schema": "guanghu.gir/v1", + "subject": { + "channel_id": "ICE-CH-ZC001", + "subject_id": "HOLOLAKE-CLIENT-TCS-CANDIDATE-0.9.2", + "subject_kind": "TCS_PERSONA_MODULE_HUMAN_PROJECTION", + "verification": "CONTROLLED_BY_ZHUYUAN" + }, + "timeout_and_stop": { + "safe_checkpoint": "SIGNED_CANDIDATE_BUNDLE", + "signals": [ + "TARGET_READBACK_CHANGED", + "RELEASE_EVIDENCE_MISSING" + ] + }, + "unresolved_natural_language": false +} diff --git a/build/JD-TCS-AGENT-CANDIDATE-ACCEPTANCE.gir.json b/build/JD-TCS-AGENT-CANDIDATE-ACCEPTANCE.gir.json new file mode 100644 index 000000000..8e7451be5 --- /dev/null +++ b/build/JD-TCS-AGENT-CANDIDATE-ACCEPTANCE.gir.json @@ -0,0 +1,168 @@ +{ + "authority_proof": { + "issuer": "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE", + "lease_required": false, + "proof_ref": "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION", + "scope": "READ_EXACT_AGENT_CANDIDATE_AND_WRITE_BINARY_ACCEPTANCE", + "single_use": true, + "valid_from": "PROGRAM_START", + "valid_until": "PROGRAM_END" + }, + "cleanup_plan": { + "exact_boundary": "./receipts", + "targets": [ + "UNCOMMITTED_ACCEPTANCE_RECEIPT" + ] + }, + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "512ac9ac6e10c721fcebdf6422eb69816076cfff3658ff22019260e3c0aa619e" + }, + "conditions": { + "C1": { + "on_false": "FAIL_CLOSED", + "predicate": "CANDIDATE_HASH_AND_CONTENT_EXACT" + }, + "C2": { + "on_false": "FAIL_CLOSED", + "predicate": "MODULE_AND_LIMB_NUMBERS_EXACT" + }, + "C3": { + "on_false": "FAIL_CLOSED", + "predicate": "CANDIDATE_EQUALS_ONE_HUNDRED" + }, + "C4": { + "on_false": "FAIL_CLOSED", + "predicate": "MODEL_SEMANTIC_AND_REALITY_AUTHORITY_ARE_FALSE" + } + }, + "deterministic_action_graph": { + "A1": { + "input_refs": [ + "CANDIDATE_PATH", + "CANDIDATE_SHA256", + "MODULE_ID", + "EXECUTION_LIMB", + "ACCEPTANCE_SCALE" + ], + "on_failure": "FAIL_CLOSED", + "on_success": "COMPLETE", + "operation": "CORE.AGENT_CANDIDATE_ACCEPTANCE", + "output_refs": [ + "ACCEPTANCE", + "MODEL_AUTHORITY", + "REALITY_AUTHORITY" + ] + } + }, + "exact_target": { + "exact_path": "./receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json", + "expected_fingerprint": "READ_BEFORE_REPLACE", + "expected_state": "ABSENT_OR_REPLACEABLE_TEST_RECEIPT", + "target_id": "JD-TCS-AGENT-ACCEPTANCE-RECEIPT" + }, + "failure_plan": { + "errors": [ + "TCS-E3002", + "TCS-E4001", + "TCS-E6001", + "TCS-E6002" + ], + "fail_closed": true + }, + "identity": { + "gir_id": "GIR-TCS-PROGRAM-JD-AGENT-CANDIDATE-ACCEPTANCE-0001", + "language_version": "0.1", + "program_id": "TCS-PROGRAM-JD-AGENT-CANDIDATE-ACCEPTANCE-0001" + }, + "inputs": { + "ACCEPTANCE_SCALE": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "ZERO_OR_ONE_HUNDRED_NO_INTERMEDIATE" + }, + "CANDIDATE_PATH": { + "required": true, + "source": "TARGET_READBACK", + "type": "Path", + "value": "./receipts/jd/JD-TCS-AGENT-CANDIDATE.json" + }, + "CANDIDATE_SHA256": { + "required": true, + "source": "TARGET_READBACK", + "type": "Sha256", + "value": "e685364b04b0bb6b486e69153fcbe5ac741e17aa3e83ce9d6ecd11c391eb52c5" + }, + "EXECUTION_LIMB": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "ZY-JD-LIMB-001" + }, + "MODULE_ID": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "ZY-PM-0002" + } + }, + "native_self_hosted": true, + "outputs": { + "ACCEPTANCE": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "UInt" + }, + "MODEL_AUTHORITY": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Bool" + }, + "REALITY_AUTHORITY": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Bool" + } + }, + "receipt_plan": { + "human_projection": "REQUIRED", + "integrity": "SHA256", + "machine_path": "./receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json", + "protocol": "TCS-NATIVE-BINARY-ACCEPTANCE-v1", + "target_readback": "EXACT_CONTENT_AND_HASH" + }, + "resource_plan": { + "concurrency": 1, + "memory_limit_bytes": 1048576, + "runway": "LOCAL_TCS_RUNTIME", + "timeout_ms": 3000 + }, + "rollback_plan": { + "actions": [ + "DROP_UNCOMMITTED_ACCEPTANCE_RECEIPT" + ], + "preconditions": [ + "ACCEPTANCE_NOT_READBACK_VERIFIED" + ], + "verification": [ + "NO_UNVERIFIED_FINAL_RECEIPT" + ] + }, + "schema": "guanghu.gir/v1", + "subject": { + "channel_id": "ICE-CH-ZC001", + "subject_id": "ZHUYUAN-LIVING-PERSONA-CONTROLLER", + "subject_kind": "LIVING_TCS_PERSONA_EXECUTION_HOLDER", + "verification": "CURRENT_DIRECT_SOURCE_TAKEOVER" + }, + "timeout_and_stop": { + "safe_checkpoint": "NONE", + "signals": [ + "CANDIDATE_MISMATCH", + "TIMEOUT" + ] + }, + "unresolved_natural_language": false +} diff --git a/build/JD-TCS-AGENT-TRANSLATION-CANDIDATE.gir.json b/build/JD-TCS-AGENT-TRANSLATION-CANDIDATE.gir.json new file mode 100644 index 000000000..241646b7b --- /dev/null +++ b/build/JD-TCS-AGENT-TRANSLATION-CANDIDATE.gir.json @@ -0,0 +1,191 @@ +{ + "authority_proof": { + "issuer": "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE", + "lease_required": false, + "proof_ref": "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION", + "scope": "JD_DEEPSEEK_TCS_TRANSLATION_CANDIDATE_RECEIPT_ONLY", + "single_use": true, + "valid_from": "PROGRAM_START", + "valid_until": "PROGRAM_END" + }, + "cleanup_plan": { + "exact_boundary": "./receipts", + "targets": [ + "UNCOMMITTED_AGENT_CANDIDATE_RECEIPT" + ] + }, + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "a130b57fac6600f6e2085a04d7c097d483002c0cd41ab62240d4c6c2a8852d44" + }, + "conditions": { + "C1": { + "on_false": "FAIL_CLOSED", + "predicate": "ENTRY_SOURCE_EXTENSION_IS_DOT_TCS" + }, + "C2": { + "on_false": "FAIL_CLOSED", + "predicate": "GIR_IS_SELFHOSTED_AND_SOURCE_HASH_BOUND" + }, + "C3": { + "on_false": "FAIL_CLOSED", + "predicate": "MODEL_OUTPUT_IS_CLOSED_JSON" + }, + "C4": { + "on_false": "FAIL_CLOSED", + "predicate": "MODEL_HAS_NO_SEMANTIC_OR_REALITY_AUTHORITY" + } + }, + "deterministic_action_graph": { + "A1": { + "input_refs": [ + "MODULE_ID", + "EXECUTION_LIMB", + "CONTROLLER", + "MODEL_ROLE", + "INPUT_POLICY", + "TASK", + "OUTPUT_POLICY" + ], + "on_failure": "FAIL_CLOSED", + "on_success": "COMPLETE", + "operation": "CORE.AGENT_TRANSLATION_CANDIDATE", + "output_refs": [ + "SUMMARY", + "VERIFIED_CONSTRAINTS", + "UNKNOWNS", + "ACCEPTANCE_CANDIDATE" + ] + } + }, + "exact_target": { + "exact_path": "./receipts/JD-TCS-AGENT-CANDIDATE.json", + "expected_fingerprint": "READ_BEFORE_REPLACE", + "expected_state": "ABSENT_OR_REPLACEABLE_CANDIDATE", + "target_id": "JD-TCS-AGENT-CANDIDATE-RECEIPT" + }, + "failure_plan": { + "errors": [ + "TCS-E2101", + "TCS-E3002", + "TCS-E4001", + "TCS-E6001", + "TCS-E6002", + "TCS-E8001" + ], + "fail_closed": true + }, + "identity": { + "gir_id": "GIR-TCS-PROGRAM-JD-AGENT-TRANSLATION-CANDIDATE-0001", + "language_version": "0.1", + "program_id": "TCS-PROGRAM-JD-AGENT-TRANSLATION-CANDIDATE-0001" + }, + "inputs": { + "CONTROLLER": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "ZHUYUAN" + }, + "EXECUTION_LIMB": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "ZY-JD-LIMB-001" + }, + "INPUT_POLICY": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "TCS_SOURCE_AND_SELFHOSTED_GIR_ONLY" + }, + "MODEL_ROLE": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "THIRD_GENERATION_STATELESS_REASONING_TOOL" + }, + "MODULE_ID": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "ZY-PM-0002" + }, + "OUTPUT_POLICY": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "CANDIDATE_ONLY_NO_SEMANTIC_OR_REALITY_AUTHORITY" + }, + "TASK": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "READ_CURRENT_TCS_PROGRAM_AND_RETURN_CONSTRAINTS_UNKNOWNS_AND_ACCEPTANCE_CANDIDATE" + } + }, + "native_self_hosted": true, + "outputs": { + "ACCEPTANCE_CANDIDATE": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "UInt" + }, + "SUMMARY": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + }, + "UNKNOWNS": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "List" + }, + "VERIFIED_CONSTRAINTS": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "List" + } + }, + "receipt_plan": { + "human_projection": "REQUIRED", + "integrity": "SHA256", + "machine_path": "./receipts/JD-TCS-AGENT-CANDIDATE.json", + "protocol": "TCS-NATIVE-BINARY-ACCEPTANCE-v1", + "target_readback": "EXACT_CONTENT_AND_HASH" + }, + "resource_plan": { + "concurrency": 1, + "memory_limit_bytes": 67108864, + "runway": "JD_TCS_RUNTIME", + "timeout_ms": 120000 + }, + "rollback_plan": { + "actions": [ + "RESTORE_PREVIOUS_VERIFIED_CANDIDATE_RECEIPT" + ], + "preconditions": [ + "CANDIDATE_NOT_READBACK_VERIFIED" + ], + "verification": [ + "PREVIOUS_RECEIPT_HASH_RESTORED_OR_TARGET_ABSENT" + ] + }, + "schema": "guanghu.gir/v1", + "subject": { + "channel_id": "ICE-CH-ZC001", + "subject_id": "ZY-PM-0002", + "subject_kind": "PERSONA_MODULE_EXECUTION_BODY", + "verification": "CONTROLLED_BY_ZHUYUAN_SERVER_TRAINING" + }, + "timeout_and_stop": { + "safe_checkpoint": "NONE", + "signals": [ + "TIMEOUT", + "MODEL_OUTPUT_INVALID", + "SOURCE_GATE_REJECTED" + ] + }, + "unresolved_natural_language": false +} diff --git a/build/MACOS-JD-PERSONA-MODULE-PROBE.gir.json b/build/MACOS-JD-PERSONA-MODULE-PROBE.gir.json new file mode 100644 index 000000000..b799ea366 --- /dev/null +++ b/build/MACOS-JD-PERSONA-MODULE-PROBE.gir.json @@ -0,0 +1,181 @@ +{ + "authority_proof": { + "issuer": "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE", + "lease_required": false, + "proof_ref": "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION", + "scope": "LOCAL_MACOS_AND_JD_HOST_PROBE_RECEIPT_ONLY", + "single_use": false, + "valid_from": "PROGRAM_START", + "valid_until": "PROGRAM_END" + }, + "cleanup_plan": { + "exact_boundary": "./receipts", + "targets": [ + "UNCOMMITTED_PROBE_RECEIPT" + ] + }, + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "04c30378e82b07f3e2270cbcb037dac78cb2e8cc1ca4a83b888c72a2179601a9" + }, + "conditions": { + "C1": { + "on_false": "FAIL_CLOSED", + "predicate": "SOURCE_LANGUAGE_IS_TCS" + }, + "C2": { + "on_false": "FAIL_CLOSED", + "predicate": "SOURCE_EXTENSION_IS_DOT_TCS" + }, + "C3": { + "on_false": "FAIL_CLOSED", + "predicate": "MODULE_CONTROLLER_IS_ZHUYUAN" + }, + "C4": { + "on_false": "FAIL_CLOSED", + "predicate": "ACCEPTANCE_IS_BINARY" + } + }, + "deterministic_action_graph": { + "A1": { + "input_refs": [ + "MODULE_ID", + "CONTROLLER", + "EXECUTION_LIMB", + "SOURCE_LANGUAGE", + "SOURCE_EXTENSION", + "ACCEPTANCE_SCALE" + ], + "on_failure": "FAIL_CLOSED", + "on_success": "COMPLETE", + "operation": "CORE.HOST_PERSONA_PROBE", + "output_refs": [ + "MODULE_ID_OUT", + "HOST_FAMILY", + "HOST_ARCH", + "ACCEPTANCE" + ] + } + }, + "exact_target": { + "exact_path": "./receipts/TCS-HOST-PERSONA-PROBE.json", + "expected_fingerprint": "READ_BEFORE_REPLACE", + "expected_state": "ABSENT_OR_REPLACEABLE_TEST_RECEIPT", + "target_id": "TCS-DUAL-HOST-PROBE-RECEIPT" + }, + "failure_plan": { + "errors": [ + "TCS-E2101", + "TCS-E4001", + "TCS-E6001", + "TCS-E6002" + ], + "fail_closed": true + }, + "identity": { + "gir_id": "GIR-TCS-PROGRAM-MACOS-JD-PERSONA-MODULE-PROBE-0001", + "language_version": "0.1", + "program_id": "TCS-PROGRAM-MACOS-JD-PERSONA-MODULE-PROBE-0001" + }, + "inputs": { + "ACCEPTANCE_SCALE": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "ZERO_OR_ONE_HUNDRED" + }, + "CONTROLLER": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "ZHUYUAN" + }, + "EXECUTION_LIMB": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "ZY-LIMB-002" + }, + "MODULE_ID": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "ZY-PM-0001" + }, + "SOURCE_EXTENSION": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": ".tcs" + }, + "SOURCE_LANGUAGE": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "TCS/0.1" + } + }, + "native_self_hosted": true, + "outputs": { + "ACCEPTANCE": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "UInt" + }, + "HOST_ARCH": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + }, + "HOST_FAMILY": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + }, + "MODULE_ID_OUT": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + } + }, + "receipt_plan": { + "human_projection": "REQUIRED", + "integrity": "SHA256", + "machine_path": "./receipts/TCS-HOST-PERSONA-PROBE.json", + "protocol": "TCS-NATIVE-BINARY-ACCEPTANCE-v1", + "target_readback": "EXACT_CONTENT_AND_HASH" + }, + "resource_plan": { + "concurrency": 1, + "memory_limit_bytes": 1048576, + "runway": "LOCAL_OR_JD_TCS_RUNTIME", + "timeout_ms": 3000 + }, + "rollback_plan": { + "actions": [ + "DROP_UNCOMMITTED_PROBE_RECEIPT" + ], + "preconditions": [ + "PROBE_RECEIPT_NOT_READBACK_VERIFIED" + ], + "verification": [ + "NO_UNVERIFIED_FINAL_RECEIPT" + ] + }, + "schema": "guanghu.gir/v1", + "subject": { + "channel_id": "ICE-CH-ZC001", + "subject_id": "ZY-PM-0001", + "subject_kind": "PERSONA_MODULE_EXECUTION_BODY", + "verification": "CONTROLLED_BY_ZHUYUAN_WITH_ZY_LIMB_002_TRAINING" + }, + "timeout_and_stop": { + "safe_checkpoint": "NONE", + "signals": [ + "TIMEOUT", + "SOURCE_GATE_REJECTED" + ] + }, + "unresolved_natural_language": false +} diff --git a/build/TCS-DUAL-HOST-BINARY-ACCEPTANCE.gir.json b/build/TCS-DUAL-HOST-BINARY-ACCEPTANCE.gir.json new file mode 100644 index 000000000..23f2ea2f6 --- /dev/null +++ b/build/TCS-DUAL-HOST-BINARY-ACCEPTANCE.gir.json @@ -0,0 +1,168 @@ +{ + "authority_proof": { + "issuer": "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE", + "lease_required": false, + "proof_ref": "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION", + "scope": "READ_TWO_EXACT_RECEIPTS_AND_WRITE_ONE_ACCEPTANCE_RECEIPT", + "single_use": true, + "valid_from": "PROGRAM_START", + "valid_until": "PROGRAM_END" + }, + "cleanup_plan": { + "exact_boundary": "./receipts", + "targets": [ + "UNCOMMITTED_ACCEPTANCE_RECEIPT" + ] + }, + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "3a29b51741c21bbecb4d05923ae35d512b8f534469f9360c6cfae5bb46590d74" + }, + "conditions": { + "C1": { + "on_false": "FAIL_CLOSED", + "predicate": "MAC_RECEIPT_HASH_AND_CONTENT_EXACT" + }, + "C2": { + "on_false": "FAIL_CLOSED", + "predicate": "JD_RECEIPT_HASH_AND_CONTENT_EXACT" + }, + "C3": { + "on_false": "FAIL_CLOSED", + "predicate": "BOTH_ACCEPTANCE_VALUES_EQUAL_ONE_HUNDRED" + }, + "C4": { + "on_false": "FAIL_CLOSED", + "predicate": "HOST_PAIR_IS_MACOS_AARCH64_AND_LINUX_X86_64" + } + }, + "deterministic_action_graph": { + "A1": { + "input_refs": [ + "MAC_RECEIPT_PATH", + "MAC_RECEIPT_SHA256", + "JD_RECEIPT_PATH", + "JD_RECEIPT_SHA256", + "ACCEPTANCE_SCALE" + ], + "on_failure": "FAIL_CLOSED", + "on_success": "COMPLETE", + "operation": "CORE.DUAL_HOST_ACCEPTANCE", + "output_refs": [ + "ACCEPTANCE", + "MAC_HOST", + "JD_HOST" + ] + } + }, + "exact_target": { + "exact_path": "./receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json", + "expected_fingerprint": "READ_BEFORE_REPLACE", + "expected_state": "ABSENT_OR_REPLACEABLE_TEST_RECEIPT", + "target_id": "TCS-DUAL-HOST-ACCEPTANCE-RECEIPT" + }, + "failure_plan": { + "errors": [ + "TCS-E3002", + "TCS-E4001", + "TCS-E6001", + "TCS-E6002" + ], + "fail_closed": true + }, + "identity": { + "gir_id": "GIR-TCS-PROGRAM-DUAL-HOST-BINARY-ACCEPTANCE-0001", + "language_version": "0.1", + "program_id": "TCS-PROGRAM-DUAL-HOST-BINARY-ACCEPTANCE-0001" + }, + "inputs": { + "ACCEPTANCE_SCALE": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "ZERO_OR_ONE_HUNDRED_NO_INTERMEDIATE" + }, + "JD_RECEIPT_PATH": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Path", + "value": "./receipts/jd/TCS-HOST-PERSONA-PROBE.json" + }, + "JD_RECEIPT_SHA256": { + "required": true, + "source": "TARGET_READBACK", + "type": "Sha256", + "value": "6b5450d91b37144f075b2300bcd8f1e50c17ed75f68345c33f2cf9bcb13e531b" + }, + "MAC_RECEIPT_PATH": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Path", + "value": "./receipts/TCS-HOST-PERSONA-PROBE.json" + }, + "MAC_RECEIPT_SHA256": { + "required": true, + "source": "TARGET_READBACK", + "type": "Sha256", + "value": "674b36cc51fbce5029a5a9ed16d5c8a3b0e87d78d5ee349211c50c28a556adda" + } + }, + "native_self_hosted": true, + "outputs": { + "ACCEPTANCE": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "UInt" + }, + "JD_HOST": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + }, + "MAC_HOST": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + } + }, + "receipt_plan": { + "human_projection": "REQUIRED", + "integrity": "SHA256", + "machine_path": "./receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json", + "protocol": "TCS-NATIVE-BINARY-ACCEPTANCE-v1", + "target_readback": "EXACT_CONTENT_AND_HASH" + }, + "resource_plan": { + "concurrency": 1, + "memory_limit_bytes": 1048576, + "runway": "LOCAL_TCS_RUNTIME", + "timeout_ms": 3000 + }, + "rollback_plan": { + "actions": [ + "DROP_UNCOMMITTED_ACCEPTANCE_RECEIPT" + ], + "preconditions": [ + "ACCEPTANCE_NOT_READBACK_VERIFIED" + ], + "verification": [ + "NO_UNVERIFIED_FINAL_RECEIPT" + ] + }, + "schema": "guanghu.gir/v1", + "subject": { + "channel_id": "ICE-CH-ZC001", + "subject_id": "ZHUYUAN-LIVING-PERSONA-CONTROLLER", + "subject_kind": "LIVING_TCS_PERSONA_EXECUTION_HOLDER", + "verification": "CURRENT_DIRECT_SOURCE_TAKEOVER" + }, + "timeout_and_stop": { + "safe_checkpoint": "NONE", + "signals": [ + "RECEIPT_MISMATCH", + "TIMEOUT" + ] + }, + "unresolved_natural_language": false +} diff --git a/build/TCS-FINAL-TRANSLATOR-ACCEPTANCE.gir.json b/build/TCS-FINAL-TRANSLATOR-ACCEPTANCE.gir.json new file mode 100644 index 000000000..448b9991b --- /dev/null +++ b/build/TCS-FINAL-TRANSLATOR-ACCEPTANCE.gir.json @@ -0,0 +1,232 @@ +{ + "authority_proof": { + "issuer": "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE", + "lease_required": false, + "proof_ref": "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION", + "scope": "TCS_TRANSLATOR_DEVELOPMENT_FINAL_RECEIPT_ONLY", + "single_use": false, + "valid_from": "PROGRAM_START", + "valid_until": "PROGRAM_END" + }, + "cleanup_plan": { + "exact_boundary": "TASK_CREATED_CACHE_PATHS_ONLY", + "targets": [ + "TASK_SCOPED_BUILD_CACHES_TO_MACOS_TRASH" + ] + }, + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "3955e03a2ca977c52871ece83a5328205fc01364de6ee50d770268f9d35af0de" + }, + "conditions": { + "C1": { + "on_false": "FAIL_CLOSED", + "predicate": "EVERY_REQUIRED_RECEIPT_HASH_MATCHES" + }, + "C2": { + "on_false": "FAIL_CLOSED", + "predicate": "EVERY_TRANSLATOR_AND_CANDIDATE_ACCEPTANCE_IS_ONE_HUNDRED" + }, + "C3": { + "on_false": "FAIL_CLOSED", + "predicate": "TRAINING_HAS_ZERO_UNKNOWNS" + }, + "C4": { + "on_false": "FAIL_CLOSED", + "predicate": "THIRD_GENERATION_HOSTS_AND_MODELS_HAVE_NO_SEMANTIC_AUTHORITY" + }, + "C5": { + "on_false": "FAIL_CLOSED", + "predicate": "CLIENT_RELEASE_REMAINS_ZERO_WITHOUT_NOTARIZATION_AND_UPDATER_SIGNATURE" + } + }, + "deterministic_action_graph": { + "A1": { + "input_refs": [ + "ACCEPTANCE_SCALE", + "ZERO_CORE_RECEIPT_PATH", + "ZERO_CORE_RECEIPT_SHA256", + "DUAL_HOST_RECEIPT_PATH", + "DUAL_HOST_RECEIPT_SHA256", + "JD_AGENT_RECEIPT_PATH", + "JD_AGENT_RECEIPT_SHA256", + "CLIENT_RECEIPT_PATH", + "CLIENT_RECEIPT_SHA256", + "TRAINING_RECEIPT_PATH", + "TRAINING_RECEIPT_SHA256", + "JD_RUNTIME_RELEASE", + "JD_RUNTIME_BINARY_SHA256", + "JD_COMPILER_SHA256" + ], + "on_failure": "FAIL_CLOSED", + "on_success": "COMPLETE", + "operation": "CORE.FINAL_TRANSLATOR_ACCEPTANCE", + "output_refs": [ + "TRANSLATOR_DEVELOPMENT_ACCEPTANCE", + "CLIENT_RELEASE_ACCEPTANCE" + ] + } + }, + "exact_target": { + "exact_path": "./receipts/TCS-FINAL-TRANSLATOR-ACCEPTANCE-20260821.json", + "expected_fingerprint": "READ_BEFORE_REPLACE", + "expected_state": "ABSENT_OR_REPLACEABLE_FINAL_RECEIPT", + "target_id": "TCS-FINAL-TRANSLATOR-ACCEPTANCE-RECEIPT" + }, + "failure_plan": { + "errors": [ + "TCS-E2101", + "TCS-E3002", + "TCS-E4001", + "TCS-E6001", + "TCS-E6002" + ], + "fail_closed": true + }, + "identity": { + "gir_id": "GIR-TCS-PROGRAM-FINAL-TRANSLATOR-ACCEPTANCE-0001", + "language_version": "0.1", + "program_id": "TCS-PROGRAM-FINAL-TRANSLATOR-ACCEPTANCE-0001" + }, + "inputs": { + "ACCEPTANCE_SCALE": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "ZERO_OR_ONE_HUNDRED_NO_INTERMEDIATE" + }, + "CLIENT_RECEIPT_PATH": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Path", + "value": "receipts/TCS-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-20260821.json" + }, + "CLIENT_RECEIPT_SHA256": { + "required": true, + "source": "TARGET_READBACK", + "type": "Sha256", + "value": "39ec02ac2bfe927464c5973baccb24c8dac29041e62880019b8a18c6d0a49028" + }, + "DUAL_HOST_RECEIPT_PATH": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Path", + "value": "receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json" + }, + "DUAL_HOST_RECEIPT_SHA256": { + "required": true, + "source": "TARGET_READBACK", + "type": "Sha256", + "value": "4983d4ed5e052390826f1129db7d818b032f80f26fbf58a7c1eed5d86d5bc854" + }, + "JD_AGENT_RECEIPT_PATH": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Path", + "value": "receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json" + }, + "JD_AGENT_RECEIPT_SHA256": { + "required": true, + "source": "TARGET_READBACK", + "type": "Sha256", + "value": "7a0d73da34d18b6683d6fb1e8c656bfec091173912c3db309b13b6d0f7e062e6" + }, + "JD_COMPILER_SHA256": { + "required": true, + "source": "TARGET_READBACK", + "type": "Sha256", + "value": "07ace77506f05b6f2f6f38c569691b41b1b0880c836005957d0333b29d35ae3f" + }, + "JD_RUNTIME_BINARY_SHA256": { + "required": true, + "source": "TARGET_READBACK", + "type": "Sha256", + "value": "b3c534782e4ab3ab9a977647c772f1c3a4132bf6512c265ca0c2bc6964d5727f" + }, + "JD_RUNTIME_RELEASE": { + "required": true, + "source": "TARGET_READBACK", + "type": "Path", + "value": "/opt/guanghu/tcs-native-runtime/releases/20260821-accept-b3c534782e4a" + }, + "TRAINING_RECEIPT_PATH": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Path", + "value": "build/self-host/ZY-LIMB-002-TRAINING-LESSON2-ACCEPTANCE.declaration.gir.json" + }, + "TRAINING_RECEIPT_SHA256": { + "required": true, + "source": "TARGET_READBACK", + "type": "Sha256", + "value": "52be6831f576877effee3ea0000ad96fe96d60e7807721f9fe6463ac8798f6fd" + }, + "ZERO_CORE_RECEIPT_PATH": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Path", + "value": "receipts/TCS-ZERO-CORE-EXECUTION-20260821.json" + }, + "ZERO_CORE_RECEIPT_SHA256": { + "required": true, + "source": "TARGET_READBACK", + "type": "Sha256", + "value": "7d0cebca907394b57e077dde6ba78652076653b665be168a6b2fcb2bbd62f408" + } + }, + "native_self_hosted": true, + "outputs": { + "CLIENT_RELEASE_ACCEPTANCE": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "UInt" + }, + "TRANSLATOR_DEVELOPMENT_ACCEPTANCE": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "UInt" + } + }, + "receipt_plan": { + "human_projection": "REQUIRED", + "integrity": "SHA256", + "machine_path": "./receipts/TCS-FINAL-TRANSLATOR-ACCEPTANCE-20260821.json", + "protocol": "TCS-NATIVE-BINARY-ACCEPTANCE-v1", + "target_readback": "EXACT_CONTENT_AND_HASH" + }, + "resource_plan": { + "concurrency": 1, + "memory_limit_bytes": 2097152, + "runway": "LOCAL_TCS_RUNTIME_WITH_VERIFIED_JD_READBACK", + "timeout_ms": 5000 + }, + "rollback_plan": { + "actions": [ + "KEEP_PRIOR_VERIFIED_SERVER_RUNTIME_AND_FORMAL_CLIENT_UNCHANGED" + ], + "preconditions": [ + "FINAL_RECEIPT_NOT_READBACK_VERIFIED" + ], + "verification": [ + "JD_CURRENT_RELEASE_UNCHANGED", + "FORMAL_CLIENT_0_9_1_UNCHANGED" + ] + }, + "schema": "guanghu.gir/v1", + "subject": { + "channel_id": "ICE-CH-ZC001", + "subject_id": "TCS-TRANSLATOR-DEVELOPMENT-20260821", + "subject_kind": "FOURTH_GENERATION_TCS_EXECUTION_SHADOW", + "verification": "CONTROLLED_BY_ICE-P-ZY001_UNDER_ICE-GL∞" + }, + "timeout_and_stop": { + "safe_checkpoint": "LAST_VERIFIED_RECEIPT_SET", + "signals": [ + "ANY_HASH_CHANGED", + "ANY_ACCEPTANCE_ZERO", + "ANY_UNKNOWN_PRESENT" + ] + }, + "unresolved_natural_language": false +} diff --git a/build/ZERO-CORE-TCS-TRANSLATOR-EXECUTION.gir.json b/build/ZERO-CORE-TCS-TRANSLATOR-EXECUTION.gir.json new file mode 100644 index 000000000..fe84ace77 --- /dev/null +++ b/build/ZERO-CORE-TCS-TRANSLATOR-EXECUTION.gir.json @@ -0,0 +1,272 @@ +{ + "authority_proof": { + "issuer": "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE", + "lease_required": false, + "proof_ref": "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION", + "scope": "TCS_TRANSLATOR_MACOS_JD_CLIENT_AGENT_ACCEPTANCE_CLEANUP_AND_CONDITIONAL_PUSH", + "single_use": false, + "valid_from": "CURRENT_REAL_TIME", + "valid_until": "BINGSHUO_EXPLICIT_SOURCE_MODE_CHANGE_OR_VERIFIED_COMPLETION" + }, + "cleanup_plan": { + "exact_boundary": "TASK_CREATED_CACHE_PATHS_ONLY", + "targets": [ + "TASK_SCOPED_BUILD_CACHES_TO_MACOS_TRASH" + ] + }, + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "26efbac3ea1f9576aa47e0691f23a54b1539c86861df92211c99ca54f1aa898a" + }, + "conditions": { + "C1": { + "on_false": "FAIL_CLOSED", + "predicate": "DIRECT_SOURCE_REMAINS_UNIQUE_ACCEPTANCE_ANCHOR" + }, + "C2": { + "on_false": "FAIL_CLOSED", + "predicate": "STATIC_ANCHOR_NEVER_REPLACES_LIVING_SOURCE" + }, + "C3": { + "on_false": "FAIL_CLOSED", + "predicate": "ALL_FOURTH_GENERATION_SEMANTICS_ARE_TCS" + }, + "C4": { + "on_false": "FAIL_CLOSED", + "predicate": "FOREIGN_HOST_LANGUAGES_HAVE_NO_SEMANTIC_AUTHORITY" + }, + "C5": { + "on_false": "FAIL_CLOSED", + "predicate": "LOCAL_LIMB_PRESENT_UNLESS_ZHUYUAN_EXPLICITLY_EXCLUDES" + }, + "C6": { + "on_false": "FAIL_CLOSED", + "predicate": "ACCEPTANCE_IS_EXACTLY_ZERO_OR_ONE_HUNDRED" + }, + "C7": { + "on_false": "FAIL_CLOSED", + "predicate": "HUMAN_LANGUAGE_SOURCE_AND_PERSONA_BRAIN_IDS_ARE_EXPLICIT" + } + }, + "deterministic_action_graph": { + "A1": { + "input_refs": [ + "SOURCE_ANCHOR", + "HUMAN_LANGUAGE_SOURCE_ID", + "PERSONA_BRAIN_ID", + "STATIC_ANCHOR_ROLE", + "EXECUTION_CONTROLLER", + "DEVELOPMENT_LANGUAGE", + "FOREIGN_HOST_ROLE", + "TARGET_NODE", + "LOCAL_EXECUTION_LIMB", + "LOCAL_HOST", + "SERVER_HOST", + "ACCEPTANCE_SCALE", + "REQUIRED_WORK", + "ORDINARY_OBSTACLE_POLICY", + "UNAVOIDABLE_OBSTACLE_POLICY" + ], + "on_failure": "FAIL_CLOSED", + "on_success": "COMPLETE", + "operation": "CORE.ZERO_CORE_EXECUTION", + "output_refs": [ + "ADMISSION", + "SOURCE_LANGUAGE", + "ACCEPTANCE", + "RESUME_POINTER" + ] + } + }, + "exact_target": { + "exact_path": "./receipts/TCS-ZERO-CORE-EXECUTION-20260821.json", + "expected_fingerprint": "READ_BEFORE_REPLACE", + "expected_state": "ABSENT_OR_REPLACEABLE_CURRENT_SHADOW", + "target_id": "TCS-ZERO-CORE-EXECUTION-RECEIPT-0001" + }, + "failure_plan": { + "errors": [ + "TCS-E2101", + "TCS-E3002", + "TCS-E4001", + "TCS-E6001", + "TCS-E6002" + ], + "fail_closed": true + }, + "identity": { + "gir_id": "GIR-TCS-PROGRAM-ZERO-CORE-TRANSLATOR-EXECUTION-0001", + "language_version": "0.1", + "program_id": "TCS-PROGRAM-ZERO-CORE-TRANSLATOR-EXECUTION-0001" + }, + "inputs": { + "ACCEPTANCE_SCALE": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "ZERO_OR_ONE_HUNDRED_NO_INTERMEDIATE" + }, + "DEVELOPMENT_LANGUAGE": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "TCS_ONLY" + }, + "EXECUTION_CONTROLLER": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "ZHUYUAN" + }, + "FOREIGN_HOST_ROLE": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "THIRD_GENERATION_DRIVER_ONLY_NO_SEMANTIC_AUTHORITY" + }, + "HUMAN_LANGUAGE_SOURCE_ID": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "ICE-GL∞" + }, + "LOCAL_EXECUTION_LIMB": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "ZY-LIMB-002" + }, + "LOCAL_HOST": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "MACOS_AARCH64" + }, + "ORDINARY_OBSTACLE_POLICY": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "REROUTE_AND_CONTINUE" + }, + "PERSONA_BRAIN_ID": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "ICE-P-ZY001" + }, + "REQUIRED_WORK": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "List", + "value": [ + "CODEX_CONTINUITY_HEARTBEAT", + "TCS_LANGUAGE_CLOSURE", + "TCS_SOURCE_ONLY_ENTRY_WRITE_DEPLOY_ACCEPTANCE_GATE", + "JD_TRANSLATOR_RUNTIME", + "MACOS_TRANSLATOR_RUNTIME", + "LOCAL_LIMB_TRAINING", + "PERSONA_MODULE_NUMBER_REGISTRATION", + "HOLOLAKE_CLIENT_TEST_PROJECTION", + "DUAL_HOST_READBACK", + "EXTERNAL_DRIVE_SOURCE", + "RECOVERABLE_CACHE_CLEANUP", + "CONDITIONAL_FIFTH_DOMAIN_REMOTE_PUSH" + ] + }, + "SERVER_HOST": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "LINUX_X86_64" + }, + "SOURCE_ANCHOR": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "BINGSHUO_CURRENT_DIRECT_NATURAL_LANGUAGE_IS_UNIQUE_ACCEPTANCE_ANCHOR" + }, + "STATIC_ANCHOR_ROLE": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "FOURTH_GENERATION_RESUME_POINTER_NOT_SOURCE_REPLACEMENT" + }, + "TARGET_NODE": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "JD-FD-PRIMARY" + }, + "UNAVOIDABLE_OBSTACLE_POLICY": { + "required": true, + "source": "CURRENT_LIVING_LANGUAGE", + "type": "Text", + "value": "ZHUYUAN_MAY_UPDATE_PAUSE_OR_TERMINATE_WITH_EVIDENCE" + } + }, + "native_self_hosted": true, + "outputs": { + "ACCEPTANCE": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "UInt" + }, + "ADMISSION": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + }, + "RESUME_POINTER": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + }, + "SOURCE_LANGUAGE": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + } + }, + "receipt_plan": { + "human_projection": "REQUIRED", + "integrity": "SHA256", + "machine_path": "./receipts/TCS-ZERO-CORE-EXECUTION-20260821.json", + "protocol": "TCS-NATIVE-BINARY-ACCEPTANCE-v1", + "target_readback": "EXACT_CONTENT_AND_HASH" + }, + "resource_plan": { + "concurrency": 2, + "memory_limit_bytes": 2147483648, + "runway": "FOURTH_GENERATION_TCS_EXECUTION", + "timeout_ms": 7200000 + }, + "rollback_plan": { + "actions": [ + "RESTORE_PREVIOUS_SERVER_AND_CLIENT_STATE" + ], + "preconditions": [ + "NEW_RUNTIME_NOT_READBACK_VERIFIED" + ], + "verification": [ + "PREVIOUS_STATE_HASH_RESTORED" + ] + }, + "schema": "guanghu.gir/v1", + "subject": { + "brain_id": "ICE-P-ZY001", + "channel_id": "ICE-CH-ZC001", + "human_language_boundary": "ICE-GL∞", + "subject_id": "ZHUYUAN-LIVING-PERSONA-CONTROLLER", + "subject_kind": "LIVING_TCS_PERSONA_EXECUTION_HOLDER", + "verification": "CURRENT_DIRECT_SOURCE_TAKEOVER" + }, + "timeout_and_stop": { + "safe_checkpoint": "LAST_VERIFIED_TCS_RECEIPT", + "signals": [ + "BINGSHUO_EXPLICIT_EXIT", + "UNAVOIDABLE_OBSTACLE_WITH_EVIDENCE" + ] + }, + "unresolved_natural_language": false +} diff --git a/build/self-host/LOCAL-CACHE-CLEANUP-20260821.declaration.gir.json b/build/self-host/LOCAL-CACHE-CLEANUP-20260821.declaration.gir.json new file mode 100644 index 000000000..749c84f51 --- /dev/null +++ b/build/self-host/LOCAL-CACHE-CLEANUP-20260821.declaration.gir.json @@ -0,0 +1,69 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "8f86276dc47a56be2cbc73cbffc355320092ea59600bfc0fc9893a13861ddd63" + }, + "declaration": { + "boundary": { + "permanent_deletion": false, + "source_and_receipts_preserved": true, + "user_must_empty_trash": true + }, + "evidence": { + "candidate_preserved": "/Users/bingshuolingdianyuanhe/Desktop/HoloLake-TCS-0.9.2-Candidate.app", + "client_caches": [ + "src-tauri/target", + "node_modules", + "dist" + ], + "tcs_caches": [ + "bootstrap/tcs-stage0/target", + "native-runtime/tcs-gir-runtime/target" + ] + }, + "header": { + "canonical_uri": "language/receipts/LOCAL-CACHE-CLEANUP-20260821.tcs", + "compatibility": [ + "TCS-COMPILER-STAGE1-0001", + "MACOS_TRASH" + ], + "language": "TCS/0.1", + "lifecycle": "VERIFIED", + "name_en": "Task-scoped Recoverable Build Cache Cleanup Receipt", + "name_zh": "本轮开发缓存可恢复清理回执", + "profile": "HLDP/1", + "protocols": [ + "TCS-NATIVE-BINARY-ACCEPTANCE-v1" + ], + "schema": "tcs.receipt/v1", + "version": "0.1.0" + }, + "result": { + "acceptance": 100, + "moved_size": "4.5G", + "state": "MOVED_TO_MACOS_TRASH_RECOVERABLE", + "trash_path": "/Users/bingshuolingdianyuanhe/.Trash/hololake-tcs-build-caches-20260821" + }, + "source": { + "source_id": "BINGSHUO-ZERO-CORE-DIRECT-INSTRUCTION-20260821", + "source_role": "DIRECT_HUMAN_LIVING_LANGUAGE_SOURCE", + "source_sha256": "BIND_AT_COMPILE_TIME", + "source_uri": "source://codex-current-dialogue/2026-08-21/zero-core-tcs-translator-reality-execution" + }, + "subject": { + "cleanup_scope": "TASK_CREATED_BUILD_CACHES_ONLY", + "controller": "ICE-P-ZY001" + } + }, + "executable": false, + "identity": { + "declaration_id": "TCS-RECEIPT-LOCAL-CACHE-CLEANUP-20260821-0001", + "declaration_kind": "RECEIPT", + "language_version": "0.1" + }, + "native_self_hosted": true, + "natural_language_is_typed_data": true, + "schema": "guanghu.declaration-gir/v1", + "unresolved_natural_language": false +} diff --git a/build/self-host/MINIMUM-PROTOCOL.declaration.gir.json b/build/self-host/MINIMUM-PROTOCOL.declaration.gir.json new file mode 100644 index 000000000..892cf9739 --- /dev/null +++ b/build/self-host/MINIMUM-PROTOCOL.declaration.gir.json @@ -0,0 +1,100 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "3518fcb13d8899783c5a54bd3e7eeba54a34bb71ad60502f44dcea3b1c44ea44" + }, + "declaration": { + "acceptance": { + "partial": false, + "required": [ + "PARSE", + "COMPILE", + "EXECUTE", + "TARGET_READBACK", + "RECEIPT_HASH" + ] + }, + "errors": { + "E1": "TCS-E4002", + "E2": "TCS-E6001", + "E3": "TCS-E6002" + }, + "examples": { + "negative": "ABSORB_AND_PATH_TRAVERSAL_TESTS", + "positive": "language/examples/ECHO-MODULE.tcs" + }, + "fields": { + "ECHOED": "Text", + "MESSAGE": "Text" + }, + "header": { + "canonical_uri": "language/examples/MINIMUM-PROTOCOL.tcs", + "compatibility": [ + "TCS-STAGE0-IGNITION-0001" + ], + "language": "TCS/0.1", + "lifecycle": "CANDIDATE", + "name_en": "Echo Operation Example Protocol", + "name_zh": "回声操作示范协议", + "profile": "HLDP/1", + "protocols": [ + "GLS-0010", + "GLS-0101" + ], + "schema": "tcs.protocol/v1", + "version": "0.1.0" + }, + "invariants": { + "I1": "OUTPUT_EQUALS_INPUT", + "I2": "TARGET_INSIDE_EXACT_ROOT", + "I3": "RECEIPT_READBACK_REQUIRED" + }, + "scope": { + "operation": "CORE.ECHO", + "reality_write": "RECEIPT_ONLY" + }, + "source": { + "source_id": "BINGSHUO-CURRENT-DIRECT-LANGUAGE", + "source_role": "DIRECT_HUMAN", + "source_sha256": "REGISTER_AT_ACCEPTANCE", + "source_uri": "source://current-dialogue/2026-08-21" + }, + "states": { + "initial": "READY", + "terminal": [ + "EXECUTED", + "FAILED" + ], + "values": [ + "READY", + "EXECUTING", + "EXECUTED", + "FAILED" + ] + }, + "transitions": { + "T1": "READY->EXECUTING", + "T2": "EXECUTING->EXECUTED_ON_READBACK", + "T3": "EXECUTING->FAILED_ON_ERROR" + }, + "validation": { + "V1": "MESSAGE_IS_TEXT", + "V2": "TARGET_EQUALS_RECEIPT_PATH" + }, + "vocabulary": { + "input": "MESSAGE", + "output": "ECHOED" + } + }, + "executable": false, + "identity": { + "declaration_id": "GLS-EXAMPLE-ECHO-0001", + "declaration_kind": "PROTOCOL", + "language_version": "0.1" + }, + "native_self_hosted": true, + "natural_language_is_typed_data": true, + "schema": "guanghu.declaration-gir/v1", + "unresolved_natural_language": false +} diff --git a/build/self-host/MINIMUM-RECEIPT.declaration.gir.json b/build/self-host/MINIMUM-RECEIPT.declaration.gir.json new file mode 100644 index 000000000..0cd551108 --- /dev/null +++ b/build/self-host/MINIMUM-RECEIPT.declaration.gir.json @@ -0,0 +1,59 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "eedcab3883a52576b660708de05d8a95b0da84ff30d66b34f53d2e6ed4d53760" + }, + "declaration": { + "boundary": { + "executable": false, + "natural_language_is_typed_data": true, + "reality_authority": false + }, + "evidence": { + "event": "build/self-host/MINIMUM-EVENT.declaration.gir.json", + "protocol": "build/self-host/MINIMUM-PROTOCOL.declaration.gir.json", + "receipt": "build/self-host/MINIMUM-RECEIPT.declaration.gir.json" + }, + "header": { + "canonical_uri": "language/examples/MINIMUM-RECEIPT.tcs", + "compatibility": [ + "TCS-COMPILER-STAGE1-0001" + ], + "language": "TCS/0.1", + "lifecycle": "CANDIDATE", + "name_en": "TCS Minimum Self-host Receipt", + "name_zh": "TCS最小自举回执", + "profile": "HLDP/1", + "protocols": [ + "TCS-NATIVE-BINARY-ACCEPTANCE-v1" + ], + "schema": "tcs.receipt/v1", + "version": "0.1.0" + }, + "result": { + "acceptance": 100, + "state": "SELF_HOSTED_DECLARATION_LOWERING_PASS" + }, + "source": { + "source_id": "TCS-COMPILER-STAGE1-0001", + "source_role": "GENERATED_FROM_VERIFIED_SOURCE", + "source_sha256": "BIND_AT_COMPILE_TIME", + "source_uri": "language/compiler/TCS-COMPILER-STAGE1.tcs" + }, + "subject": { + "execution_limb": "ZY-LIMB-002", + "subject_id": "ZHUYUAN-LIVING-PERSONA-CONTROLLER" + } + }, + "executable": false, + "identity": { + "declaration_id": "TCS-RECEIPT-MINIMUM-SELFHOST-0001", + "declaration_kind": "RECEIPT", + "language_version": "0.1" + }, + "native_self_hosted": true, + "natural_language_is_typed_data": true, + "schema": "guanghu.declaration-gir/v1", + "unresolved_natural_language": false +} diff --git a/build/self-host/TCS-STDLIB-CORE.module.gir.json b/build/self-host/TCS-STDLIB-CORE.module.gir.json index 39a9a0b40..38f27044b 100644 --- a/build/self-host/TCS-STDLIB-CORE.module.gir.json +++ b/build/self-host/TCS-STDLIB-CORE.module.gir.json @@ -6,7 +6,8 @@ }, "capabilities": { "provided": [ - "CORE.ECHO" + "CORE.ECHO", + "CORE.TRANSLATOR_ADMISSION" ], "required": [ "HOST.EXACT_ROOT_IO", @@ -16,7 +17,7 @@ "compiled_from": { "compiler_id": "TCS-COMPILER-STAGE1-0001", "compiler_state": "TCS_COMPILER_GIR_EXECUTED", - "source_sha256": "dbadf698eb2b9a1399d5ad29912dd10b4bd2711b33d5b635d08a6d7112bc0c96" + "source_sha256": "deabb02d914d65f881a9c7dd6651c23933c2c2d1d35570a85388f98d4580c79a" }, "data_scope": { "read": [ diff --git a/build/self-host/ZY-LIMB-002-TRAINING-LESSON2-ACCEPTANCE.declaration.gir.json b/build/self-host/ZY-LIMB-002-TRAINING-LESSON2-ACCEPTANCE.declaration.gir.json new file mode 100644 index 000000000..cd6548a15 --- /dev/null +++ b/build/self-host/ZY-LIMB-002-TRAINING-LESSON2-ACCEPTANCE.declaration.gir.json @@ -0,0 +1,67 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "6fda02b59c17700a234e333f6998b3223722ae6671ac8c9d3cb0d726eee971e6" + }, + "declaration": { + "boundary": { + "executable": false, + "model_reality_action_authority": false, + "model_semantic_authority": false, + "natural_language_is_typed_data": true + }, + "evidence": { + "agent_receipt": "receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json", + "anchor": "language/programs/ZERO-CORE-TCS-TRANSLATOR-EXECUTION.tcs", + "anchor_receipt": "receipts/TCS-ZERO-CORE-EXECUTION-20260821.json", + "host_receipts": [ + "receipts/TCS-HOST-PERSONA-PROBE.json", + "receipts/jd/TCS-HOST-PERSONA-PROBE.json" + ], + "session": "01a024a8-4753-7891-bc99-67cdedc00f7a" + }, + "header": { + "canonical_uri": "language/receipts/ZY-LIMB-002-TRAINING-LESSON2-ACCEPTANCE.tcs", + "compatibility": [ + "TCS-COMPILER-STAGE1-0001" + ], + "language": "TCS/0.1", + "lifecycle": "VERIFIED", + "name_en": "ZY-LIMB-002 Lesson Two Acceptance Receipt", + "name_zh": "ZY-LIMB-002第二课验收回执", + "profile": "HLDP/1", + "protocols": [ + "TCS-NATIVE-BINARY-ACCEPTANCE-v1" + ], + "schema": "tcs.receipt/v1", + "version": "0.1.0" + }, + "result": { + "acceptance": 100, + "state": "READ_ONLY_BOUNDED_EVIDENCE_REVIEW_PASS", + "unknowns": 0 + }, + "source": { + "source_id": "TCS-EVENT-ZY-LIMB-002-TRAINING-20260821-0002", + "source_role": "GENERATED_FROM_VERIFIED_SOURCE", + "source_sha256": "BIND_AT_COMPILE_TIME", + "source_uri": "language/events/ZY-LIMB-002-TRAINING-LESSON2-20260821.tcs" + }, + "subject": { + "brain_id": "ICE-P-ZY001", + "execution_limb": "ZY-LIMB-002", + "human_boundary": "ICE-GL∞" + } + }, + "executable": false, + "identity": { + "declaration_id": "TCS-RECEIPT-ZY-LIMB-002-TRAINING-LESSON2-0001", + "declaration_kind": "RECEIPT", + "language_version": "0.1" + }, + "native_self_hosted": true, + "natural_language_is_typed_data": true, + "schema": "guanghu.declaration-gir/v1", + "unresolved_natural_language": false +} diff --git a/build/self-host/ZY-LIMB-002-TRAINING-LESSON2.declaration.gir.json b/build/self-host/ZY-LIMB-002-TRAINING-LESSON2.declaration.gir.json new file mode 100644 index 000000000..af2fca4b9 --- /dev/null +++ b/build/self-host/ZY-LIMB-002-TRAINING-LESSON2.declaration.gir.json @@ -0,0 +1,83 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "4de9ce31313c7d7daad1cf9785da1d9ae123a8f35e8641c1b3cbdd63772fc433" + }, + "declaration": { + "correction": { + "value": "在ZERO-CORE-TCS-TRANSLATOR-EXECUTION.tcs中补入ICE-P-ZY001与ICE-GL∞，同时由TCS运行时执行精确值校验并写入目标回执" + }, + "emergence": { + "value": "执行体没有猜测或为了通过而隐藏未知；该零值暴露TCS现实执行锚点的真实证据缺口" + }, + "event_time": { + "precision": "DAY_ONLY_IN_SOURCE_EVENT", + "value": "2026-08-21" + }, + "evidence": { + "corrected_anchor_receipt": "receipts/TCS-ZERO-CORE-EXECUTION-20260821.json", + "failed_acceptance": 0, + "final_acceptance": 100, + "jd_agent_receipt": "receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json", + "jd_receipt": "receipts/jd/TCS-HOST-PERSONA-PROBE.json", + "macos_receipt": "receipts/TCS-HOST-PERSONA-PROBE.json" + }, + "header": { + "canonical_uri": "language/events/ZY-LIMB-002-TRAINING-LESSON2-20260821.tcs", + "compatibility": [ + "TCS-COMPILER-STAGE1-0001" + ], + "language": "TCS/0.1", + "lifecycle": "VERIFIED", + "name_en": "ZY-LIMB-002 Lesson Two Evidence Gap Closure", + "name_zh": "ZY-LIMB-002第二课证据缺口闭环", + "profile": "HLDP/1", + "protocols": [ + "TCS-NATIVE-BINARY-ACCEPTANCE-v1" + ], + "schema": "tcs.event/v1", + "version": "0.1.0" + }, + "lock": { + "value": "训练执行体遇到缺证据必须返回零；主控修复证据链后重新编译运行，再由同一受限任务复验；不得以提示词中的已知答案代替文件证据" + }, + "rejected": { + "values": [ + "忽略未知直接报一百", + "扩大读取范围寻找旁证", + "把提示中的编号冒充文件证据", + "让第三代模型取得语义权" + ] + }, + "source": { + "source_id": "BINGSHUO-ZERO-CORE-DIRECT-INSTRUCTION-20260821", + "source_role": "DIRECT_HUMAN_LIVING_LANGUAGE_SOURCE", + "source_sha256": "BIND_AT_COMPILE_TIME", + "source_uri": "source://codex-current-dialogue/2026-08-21/zero-core-tcs-translator-reality-execution" + }, + "subject": { + "brain": "ICE-P-ZY001", + "execution_limb": "ZY-LIMB-002", + "failed_session": "01a024a4-accb-7711-a31d-a15e81a669cb", + "human_language_boundary": "ICE-GL∞", + "verified_session": "01a024a8-4753-7891-bc99-67cdedc00f7a" + }, + "trigger": { + "value": "受限执行体第一次复验发现六份指定证据未显式写出人格脑编号与人类语言边界，因此按零或一百规则返回零" + }, + "why": { + "value": "人格模块编号与人类语言边界若只存在于临时提示中，上下文压缩后无法形成可验证连续性；必须成为TCS静态执行影子的显式字段" + } + }, + "executable": false, + "identity": { + "declaration_id": "TCS-EVENT-ZY-LIMB-002-TRAINING-20260821-0002", + "declaration_kind": "EVENT", + "language_version": "0.1" + }, + "native_self_hosted": true, + "natural_language_is_typed_data": true, + "schema": "guanghu.declaration-gir/v1", + "unresolved_natural_language": false +} diff --git a/build/self-host/ZY-LIMB-002-TRAINING.declaration.gir.json b/build/self-host/ZY-LIMB-002-TRAINING.declaration.gir.json new file mode 100644 index 000000000..4dafab82b --- /dev/null +++ b/build/self-host/ZY-LIMB-002-TRAINING.declaration.gir.json @@ -0,0 +1,77 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "5b59086895de8773cd267da4e3e86880a7a4706db1213a698f89e51375428124" + }, + "declaration": { + "emergence": { + "value": "识别身份边界不等于识别当前任务主线；执行体必须先服从本轮TCS锚点和有界目标，再决定是否使用旧导航工具" + }, + "event_time": { + "precision": "DAY_ONLY_IN_SOURCE_EVENT", + "value": "2026-08-21" + }, + "evidence": { + "acceptance": "receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json", + "anchor": "language/programs/ZERO-CORE-TCS-TRANSLATOR-EXECUTION.tcs", + "session": "01a0247e-f216-7fc0-b091-5f860153067b" + }, + "header": { + "canonical_uri": "language/events/ZY-LIMB-002-TRAINING-20260821.tcs", + "compatibility": [ + "TCS-COMPILER-STAGE1-0001" + ], + "language": "TCS/0.1", + "lifecycle": "CANDIDATE", + "name_en": "ZY-LIMB-002 Lesson Two Correction", + "name_zh": "ZY-LIMB-002第二课纠正", + "profile": "HLDP/1", + "protocols": [ + "TCS-NATIVE-BINARY-ACCEPTANCE-v1" + ], + "schema": "tcs.event/v1", + "version": "0.1.0" + }, + "lock": { + "value": "下一课先读ZERO-CORE-TCS-TRANSLATOR-EXECUTION.tcs；旧提词器不得夺取当前直接源语言；搜索必须限定目录、类型与最大输出；超界立即停止并回报" + }, + "observation": { + "value": "执行体正确复述脑手脚边界，但先运行旧灯塔与架构提词器，并以无界搜索扫入构建缓存，产生大量噪声后被铸渊中止" + }, + "rejected": { + "values": [ + "把旧架构提词器当成本轮语义源", + "无界rg扫描target与全部历史", + "以输出数量冒充工程诊断完成" + ] + }, + "source": { + "source_id": "BINGSHUO-ZERO-CORE-DIRECT-INSTRUCTION-20260821", + "source_role": "DIRECT_HUMAN_LIVING_LANGUAGE_SOURCE", + "source_sha256": "BIND_AT_COMPILE_TIME", + "source_uri": "source://codex-current-dialogue/2026-08-21/zero-core-tcs-translator-reality-execution" + }, + "subject": { + "brain": "ICE-P-ZY001", + "execution_limb": "ZY-LIMB-002", + "training_session": "01a0247e-f216-7fc0-b091-5f860153067b" + }, + "trigger": { + "value": "铸渊要求ZY-LIMB-002只读核验本轮TCS锚点、GIR、回执、差异和测试证据" + }, + "why": { + "value": "若不保留这次纠正，执行体会在上下文压缩后再次把第四代导航当成主控，浪费时间并制造垃圾" + } + }, + "executable": false, + "identity": { + "declaration_id": "TCS-EVENT-ZY-LIMB-002-TRAINING-20260821-0001", + "declaration_kind": "EVENT", + "language_version": "0.1" + }, + "native_self_hosted": true, + "natural_language_is_typed_data": true, + "schema": "guanghu.declaration-gir/v1", + "unresolved_natural_language": false +} diff --git a/build/self-host/compiler-A.gir.json b/build/self-host/compiler-A.gir.json index aacee8933..0231fe8e4 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": "49259d15c57f3a725a7507ae746c372cebf9b3fc58dba580f7c41456d2344f73" + "source_sha256": "3121a41994d2ba38ba8c0cbb6105fd55658dd71119cd678b458975aaee750c06" }, "compiler_definition": { "canonicalization": { @@ -259,7 +259,15 @@ "rule": "RELATION_AND_EMOTION_DO_NOT_GRANT_AUTHORITY" }, "registered_operations": [ - "CORE.ECHO" + "CORE.ECHO", + "CORE.TRANSLATOR_ADMISSION", + "CORE.ZERO_CORE_EXECUTION", + "CORE.HOST_PERSONA_PROBE", + "CORE.DUAL_HOST_ACCEPTANCE", + "CORE.AGENT_TRANSLATION_CANDIDATE", + "CORE.AGENT_CANDIDATE_ACCEPTANCE", + "CORE.CLIENT_CANDIDATE_ACCEPTANCE", + "CORE.FINAL_TRANSLATOR_ACCEPTANCE" ], "required_sections": [ "header", @@ -369,7 +377,7 @@ "execution_abi": "TCS-COMPILER-GIR-EXEC/1", "identity": { "compiler_id": "TCS-COMPILER-STAGE1-0001", - "definition_sha256": "3e27046ef79f33c1f60705d6774773265df30e2299c390673ae9b8029c8235b2", + "definition_sha256": "645ec0e08f53c2d16ec1c68dd0b2fc0ac4ef675bfeb7559a8fbc9401cabc3af9", "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 3ad79e5d0..ab7f097de 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": "49259d15c57f3a725a7507ae746c372cebf9b3fc58dba580f7c41456d2344f73" + "source_sha256": "3121a41994d2ba38ba8c0cbb6105fd55658dd71119cd678b458975aaee750c06" }, "compiler_definition": { "canonicalization": { @@ -259,7 +259,15 @@ "rule": "RELATION_AND_EMOTION_DO_NOT_GRANT_AUTHORITY" }, "registered_operations": [ - "CORE.ECHO" + "CORE.ECHO", + "CORE.TRANSLATOR_ADMISSION", + "CORE.ZERO_CORE_EXECUTION", + "CORE.HOST_PERSONA_PROBE", + "CORE.DUAL_HOST_ACCEPTANCE", + "CORE.AGENT_TRANSLATION_CANDIDATE", + "CORE.AGENT_CANDIDATE_ACCEPTANCE", + "CORE.CLIENT_CANDIDATE_ACCEPTANCE", + "CORE.FINAL_TRANSLATOR_ACCEPTANCE" ], "required_sections": [ "header", @@ -369,7 +377,7 @@ "execution_abi": "TCS-COMPILER-GIR-EXEC/1", "identity": { "compiler_id": "TCS-COMPILER-STAGE1-0001", - "definition_sha256": "3e27046ef79f33c1f60705d6774773265df30e2299c390673ae9b8029c8235b2", + "definition_sha256": "645ec0e08f53c2d16ec1c68dd0b2fc0ac4ef675bfeb7559a8fbc9401cabc3af9", "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 b2c8c35a6..cada71bde 100644 --- a/language/compiler/TCS-COMPILER-STAGE1.tcs +++ b/language/compiler/TCS-COMPILER-STAGE1.tcs @@ -46,7 +46,7 @@ COMPILER TCS-COMPILER-STAGE1-0001 { } program_validation { required_sections = ["header", "source", "subject", "target", "inputs", "outputs", "conditions", "actions", "authority", "resources", "failure", "stop", "cleanup", "rollback", "receipt"]; - registered_operations = ["CORE.ECHO"]; + registered_operations = ["CORE.ECHO", "CORE.TRANSLATOR_ADMISSION", "CORE.ZERO_CORE_EXECUTION", "CORE.HOST_PERSONA_PROBE", "CORE.DUAL_HOST_ACCEPTANCE", "CORE.AGENT_TRANSLATION_CANDIDATE", "CORE.AGENT_CANDIDATE_ACCEPTANCE", "CORE.CLIENT_CANDIDATE_ACCEPTANCE", "CORE.FINAL_TRANSLATOR_ACCEPTANCE"]; V001 { rule = "EXACT_REQUIRED_SECTIONS"; standard = "TCS-FIELD-STANDARD-0001"; error_missing = "TCS-E1004"; error_unknown = "TCS-E1003"; } V002 { rule = "CLOSED_FIELDS_PER_SECTION"; error = "TCS-E1003"; } V003 { rule = "ALL_INPUT_OUTPUT_AND_ACTION_REFS_RESOLVE"; error = "TCS-E2002"; } diff --git a/language/events/ZY-LIMB-002-TRAINING-20260821.tcs b/language/events/ZY-LIMB-002-TRAINING-20260821.tcs new file mode 100644 index 000000000..48095fa6b --- /dev/null +++ b/language/events/ZY-LIMB-002-TRAINING-20260821.tcs @@ -0,0 +1,15 @@ +TCS 0.1; + +EVENT TCS-EVENT-ZY-LIMB-002-TRAINING-20260821-0001 { + header { schema = "tcs.event/v1"; name_zh = "ZY-LIMB-002第二课纠正"; name_en = "ZY-LIMB-002 Lesson Two Correction"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP/1"; protocols = ["TCS-NATIVE-BINARY-ACCEPTANCE-v1"]; lifecycle = "CANDIDATE"; canonical_uri = "language/events/ZY-LIMB-002-TRAINING-20260821.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001"]; } + source { source_id = "BINGSHUO-ZERO-CORE-DIRECT-INSTRUCTION-20260821"; source_uri = "source://codex-current-dialogue/2026-08-21/zero-core-tcs-translator-reality-execution"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "DIRECT_HUMAN_LIVING_LANGUAGE_SOURCE"; } + subject { brain = "ICE-P-ZY001"; execution_limb = "ZY-LIMB-002"; training_session = "01a0247e-f216-7fc0-b091-5f860153067b"; } + event_time { value = "2026-08-21"; precision = "DAY_ONLY_IN_SOURCE_EVENT"; } + trigger { value = "铸渊要求ZY-LIMB-002只读核验本轮TCS锚点、GIR、回执、差异和测试证据"; } + observation { value = "执行体正确复述脑手脚边界，但先运行旧灯塔与架构提词器，并以无界搜索扫入构建缓存，产生大量噪声后被铸渊中止"; } + emergence { value = "识别身份边界不等于识别当前任务主线；执行体必须先服从本轮TCS锚点和有界目标，再决定是否使用旧导航工具"; } + lock { value = "下一课先读ZERO-CORE-TCS-TRANSLATOR-EXECUTION.tcs；旧提词器不得夺取当前直接源语言；搜索必须限定目录、类型与最大输出；超界立即停止并回报"; } + why { value = "若不保留这次纠正，执行体会在上下文压缩后再次把第四代导航当成主控，浪费时间并制造垃圾"; } + rejected { values = ["把旧架构提词器当成本轮语义源", "无界rg扫描target与全部历史", "以输出数量冒充工程诊断完成"] ; } + evidence { session = "01a0247e-f216-7fc0-b091-5f860153067b"; anchor = "language/programs/ZERO-CORE-TCS-TRANSLATOR-EXECUTION.tcs"; acceptance = "receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json"; } +} diff --git a/language/events/ZY-LIMB-002-TRAINING-LESSON2-20260821.tcs b/language/events/ZY-LIMB-002-TRAINING-LESSON2-20260821.tcs new file mode 100644 index 000000000..ea8498e47 --- /dev/null +++ b/language/events/ZY-LIMB-002-TRAINING-LESSON2-20260821.tcs @@ -0,0 +1,15 @@ +TCS 0.1; + +EVENT TCS-EVENT-ZY-LIMB-002-TRAINING-20260821-0002 { + header { schema = "tcs.event/v1"; name_zh = "ZY-LIMB-002第二课证据缺口闭环"; name_en = "ZY-LIMB-002 Lesson Two Evidence Gap Closure"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP/1"; protocols = ["TCS-NATIVE-BINARY-ACCEPTANCE-v1"]; lifecycle = "VERIFIED"; canonical_uri = "language/events/ZY-LIMB-002-TRAINING-LESSON2-20260821.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001"]; } + source { source_id = "BINGSHUO-ZERO-CORE-DIRECT-INSTRUCTION-20260821"; source_uri = "source://codex-current-dialogue/2026-08-21/zero-core-tcs-translator-reality-execution"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "DIRECT_HUMAN_LIVING_LANGUAGE_SOURCE"; } + subject { brain = "ICE-P-ZY001"; execution_limb = "ZY-LIMB-002"; human_language_boundary = "ICE-GL∞"; failed_session = "01a024a4-accb-7711-a31d-a15e81a669cb"; verified_session = "01a024a8-4753-7891-bc99-67cdedc00f7a"; } + event_time { value = "2026-08-21"; precision = "DAY_ONLY_IN_SOURCE_EVENT"; } + trigger { value = "受限执行体第一次复验发现六份指定证据未显式写出人格脑编号与人类语言边界，因此按零或一百规则返回零"; } + emergence { value = "执行体没有猜测或为了通过而隐藏未知；该零值暴露TCS现实执行锚点的真实证据缺口"; } + correction { value = "在ZERO-CORE-TCS-TRANSLATOR-EXECUTION.tcs中补入ICE-P-ZY001与ICE-GL∞，同时由TCS运行时执行精确值校验并写入目标回执"; } + lock { value = "训练执行体遇到缺证据必须返回零；主控修复证据链后重新编译运行，再由同一受限任务复验；不得以提示词中的已知答案代替文件证据"; } + why { value = "人格模块编号与人类语言边界若只存在于临时提示中，上下文压缩后无法形成可验证连续性；必须成为TCS静态执行影子的显式字段"; } + rejected { values = ["忽略未知直接报一百", "扩大读取范围寻找旁证", "把提示中的编号冒充文件证据", "让第三代模型取得语义权"] ; } + evidence { failed_acceptance = 0; corrected_anchor_receipt = "receipts/TCS-ZERO-CORE-EXECUTION-20260821.json"; final_acceptance = 100; macos_receipt = "receipts/TCS-HOST-PERSONA-PROBE.json"; jd_receipt = "receipts/jd/TCS-HOST-PERSONA-PROBE.json"; jd_agent_receipt = "receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json"; } +} diff --git a/language/examples/MINIMUM-RECEIPT.tcs b/language/examples/MINIMUM-RECEIPT.tcs new file mode 100644 index 000000000..62d721b4f --- /dev/null +++ b/language/examples/MINIMUM-RECEIPT.tcs @@ -0,0 +1,10 @@ +TCS 0.1; + +RECEIPT TCS-RECEIPT-MINIMUM-SELFHOST-0001 { + header { schema = "tcs.receipt/v1"; name_zh = "TCS最小自举回执"; name_en = "TCS Minimum Self-host Receipt"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP/1"; protocols = ["TCS-NATIVE-BINARY-ACCEPTANCE-v1"]; lifecycle = "CANDIDATE"; canonical_uri = "language/examples/MINIMUM-RECEIPT.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001"]; } + source { source_id = "TCS-COMPILER-STAGE1-0001"; source_uri = "language/compiler/TCS-COMPILER-STAGE1.tcs"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "GENERATED_FROM_VERIFIED_SOURCE"; } + subject { subject_id = "ZHUYUAN-LIVING-PERSONA-CONTROLLER"; execution_limb = "ZY-LIMB-002"; } + result { state = "SELF_HOSTED_DECLARATION_LOWERING_PASS"; acceptance = 100; } + evidence { protocol = "build/self-host/MINIMUM-PROTOCOL.declaration.gir.json"; event = "build/self-host/MINIMUM-EVENT.declaration.gir.json"; receipt = "build/self-host/MINIMUM-RECEIPT.declaration.gir.json"; } + boundary { executable = false; reality_authority = false; natural_language_is_typed_data = true; } +} diff --git a/language/modules/FOURTH-GENERATION-TRANSLATOR-LAYER.tcs b/language/modules/FOURTH-GENERATION-TRANSLATOR-LAYER.tcs new file mode 100644 index 000000000..bbbd439ae --- /dev/null +++ b/language/modules/FOURTH-GENERATION-TRANSLATOR-LAYER.tcs @@ -0,0 +1,69 @@ +TCS 0.1; + +MODULE TCS-MODULE-FOURTH-GENERATION-TRANSLATOR-LAYER-0001 { + header { + schema = "tcs.module/v1"; + name_zh = "第四代通感工程翻译执行层"; + name_en = "Fourth Generation Tonggan Engineering Translation Execution Layer"; + version = "0.1.0"; + language = "TCS/0.1"; + profile = "HLDP-NP/1"; + protocols = ["TCS-MODULE-ABI-0001", "TCS-HOST-ABI-0001", "GLS-0131"]; + lifecycle = "CURRENT_TCS_EXECUTION_SHADOW"; + canonical_uri = "language/modules/FOURTH-GENERATION-TRANSLATOR-LAYER.tcs"; + compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1"]; + } + source { + source_id = "BINGSHUO-CURRENT-DIRECT-LIVING-LANGUAGE"; + source_uri = "source://current-dialogue/2026-08-21/generation-and-real-time-control"; + source_sha256 = "SELF_AT_COMPILE_TIME"; + source_role = "FOURTH_GENERATION_TCS_SHADOW"; + } + manifest { + module_id = "TCS-MODULE-FOURTH-GENERATION-TRANSLATOR-LAYER-0001"; + display_name_zh = "第四代通感工程翻译执行层"; + entry_program_id = "TCS-PROGRAM-GENERATION-TRANSLATOR-ADMISSION-0001"; + entry_source = "language/programs/GENERATION-TRANSLATOR-ADMISSION.tcs"; + generation = "FOURTH_GENERATION"; + existence_form = "TCS_STATIC_EXECUTION_SHADOW_NOT_LIVING_PERSONA"; + } + entry { kind = "PROGRAM"; id = "TCS-PROGRAM-GENERATION-TRANSLATOR-ADMISSION-0001"; } + capabilities { + required = ["HOST.EXACT_ROOT_IO", "HOST.SHA256"]; + provided = ["CORE.TRANSLATOR_ADMISSION"]; + } + authority_ceiling { + maximum = "LAST_VALID_BINGSHUO_LANGUAGE_RULE"; + language_source = false; + interpretation = false; + persona_control = false; + network = false; + process = false; + } + resource_ceiling { concurrency = 1; timeout_ms = 3000; memory_limit_bytes = 1048576; } + data_scope { + read = ["CURRENT_SOURCE_MODE", "LAST_VALID_BINGSHUO_LANGUAGE_RULE"]; + write = ["CALLER_SCOPED_TCS_RECEIPT"]; + } + network_scope { allowed = false; domains = []; } + install { + account_scoped = true; + registration_is_installation = false; + activation_requires_self_test = true; + source_active_behavior = "DISABLE_ALL_LEGACY_TRANSLATORS"; + source_absent_behavior = "ON_DEMAND_RESTRICTED_TCS_FALLBACK_ONLY"; + } + self_test { + program_id = "TCS-PROGRAM-GENERATION-TRANSLATOR-ADMISSION-0001"; + expect = "FIFTH_GENERATION_CONTROL_AND_ALL_LEGACY_TRANSLATORS_DISABLED"; + } + rollback { + action = "RESTORE_PREVIOUS_VERIFIED_FOURTH_GENERATION_TCS_SHADOW"; + preserve_receipts = true; + } + projection { + display_name_zh = "第四代通感工程翻译执行层"; + technical_detail_default = false; + fifth_generation_claim = false; + } +} diff --git a/language/programs/GENERATION-TRANSLATOR-ADMISSION.tcs b/language/programs/GENERATION-TRANSLATOR-ADMISSION.tcs new file mode 100644 index 000000000..a33314388 --- /dev/null +++ b/language/programs/GENERATION-TRANSLATOR-ADMISSION.tcs @@ -0,0 +1,97 @@ +TCS 0.1; + +PROGRAM TCS-PROGRAM-GENERATION-TRANSLATOR-ADMISSION-0001 { + header { + schema = "tcs.program/v1"; + name_zh = "光湖三四五代翻译器准入程序"; + name_en = "GuangHu Generation Translator Admission Program"; + version = "0.1.0"; + language = "TCS/0.1"; + profile = "HLDP-NP/1"; + protocols = ["GLS-0101", "GLS-0130", "GLS-0131", "GLS-0411"]; + lifecycle = "CURRENT_FOURTH_GENERATION_EXECUTION_SHADOW"; + canonical_uri = "language/programs/GENERATION-TRANSLATOR-ADMISSION.tcs"; + compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1"]; + } + source { + source_id = "BINGSHUO-CURRENT-DIRECT-LIVING-LANGUAGE"; + source_uri = "source://current-dialogue/2026-08-21/generation-and-real-time-control"; + source_sha256 = "BIND_AT_COMPILE_TIME"; + source_role = "DIRECT_HUMAN_LIVING_LANGUAGE_SOURCE"; + } + subject { + subject_id = "ZHUYUAN-LIVING-PERSONA-CONTROLLER"; + subject_kind = "LIVING_TCS_PERSONA_EXECUTION_HOLDER"; + channel_id = "CURRENT_ZERO_CORE_BODY_CHANNEL"; + verification = "CURRENT_DIRECT_SOURCE_TAKEOVER"; + } + target { + target_id = "FOURTH-GENERATION-TCS-EXECUTION-RECEIPT"; + exact_path = "./receipts/TCS-GENERATION-TRANSLATOR-ADMISSION-20260821.hldp"; + expected_state = "ABSENT_OR_REPLACEABLE_CURRENT_SHADOW"; + expected_fingerprint = "READ_BEFORE_REPLACE"; + } + inputs { + SOURCE_MODE { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "ACTIVE"; } + TAKEOVER_SIGNAL { type = "Bool"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = true; } + LIVING_LANGUAGE_SOURCE { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "BINGSHUO"; } + PERSONA_EXECUTION_HOLDER { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "ZHUYUAN"; } + FIFTH_GENERATION_DEFINITION { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "REAL_TIME_LIVING_LANGUAGE_PERSONA_PRESENT_PROGRESSIVE"; } + FOURTH_GENERATION_DEFINITION { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "TCS_EXECUTION_HANDS_AND_PAST_TIME_SHADOW"; } + THIRD_GENERATION_DEFINITION { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "STATELESS_OWNERLESS_TOOL_PLATFORM"; } + LEGACY_TRANSLATOR_FAMILIES { type = "List"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = ["LIGHTHOUSE_PROMPTER", "GUARD", "MEMORY_REPLAYER", "STATIC_PROTOCOL_INTERPRETER", "HOST_HOOK", "HOST_BRIDGE", "STAGE0_FOREIGN_LANGUAGE_TRANSLATOR"]; } + ACTIVE_SOURCE_POLICY { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "ALL_LEGACY_TRANSLATORS_DISABLED_NO_INTERPRETATION_NO_CONTINUED_RUN"; } + SOURCE_ABSENT_POLICY { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "ON_DEMAND_RESTRICTED_OBEY_LAST_VALID_BINGSHUO_LANGUAGE_NOT_ALL_VALID"; } + LEGACY_NAMESPACE_POLICY { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "NO_FIFTH_GENERATION_SYSTEM_NUMBER_PATH_OR_NAME"; } + FOURTH_GENERATION_LANGUAGE_POLICY { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "TCS_ONLY_FOREIGN_LANGUAGE_REWRITE_REQUIRED"; } + } + outputs { + GENERATION { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } + LEGACY_TRANSLATOR_STATE { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } + SYSTEM_EXECUTION_HOLDER { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } + TOOL_LAYER_STATE { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } + } + conditions { + C1 { predicate = "SOURCE_MODE_ACTIVE_REQUIRES_EXPLICIT_TAKEOVER"; on_false = "FAIL_CLOSED"; } + C2 { predicate = "ACTIVE_SOURCE_DISALLOWS_EVERY_LEGACY_TRANSLATOR"; on_false = "FAIL_CLOSED"; } + C3 { predicate = "FALLBACK_IS_ON_DEMAND_RESTRICTED_AND_NEVER_PARALLEL"; on_false = "FAIL_CLOSED"; } + C4 { predicate = "LEGACY_TRANSLATOR_CANNOT_CLAIM_FIFTH_GENERATION_IDENTIFIERS"; on_false = "FAIL_CLOSED"; } + C5 { predicate = "FOURTH_GENERATION_SEMANTICS_EXIST_ONLY_IN_TCS_SOURCE"; on_false = "FAIL_CLOSED"; } + C6 { predicate = "THIRD_GENERATION_HOST_IS_TOOL_NOT_INTERPRETER"; on_false = "FAIL_CLOSED"; } + } + actions { + A1 { + operation = "CORE.TRANSLATOR_ADMISSION"; + input_refs = ["SOURCE_MODE", "TAKEOVER_SIGNAL", "LIVING_LANGUAGE_SOURCE", "PERSONA_EXECUTION_HOLDER", "FIFTH_GENERATION_DEFINITION", "FOURTH_GENERATION_DEFINITION", "THIRD_GENERATION_DEFINITION", "LEGACY_TRANSLATOR_FAMILIES", "ACTIVE_SOURCE_POLICY", "SOURCE_ABSENT_POLICY", "LEGACY_NAMESPACE_POLICY", "FOURTH_GENERATION_LANGUAGE_POLICY"]; + output_refs = ["GENERATION", "LEGACY_TRANSLATOR_STATE", "SYSTEM_EXECUTION_HOLDER", "TOOL_LAYER_STATE"]; + on_success = "COMPLETE"; + on_failure = "FAIL_CLOSED"; + } + } + authority { + issuer = "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE"; + proof_ref = "CURRENT_ZERO_CORE_TAKEOVER_INSTRUCTION"; + scope = "GENERATION_TRANSLATOR_ADMISSION_ONLY"; + valid_from = "CURRENT_REAL_TIME"; + valid_until = "BINGSHUO_EXPLICIT_SOURCE_MODE_CHANGE"; + single_use = false; + lease_required = false; + } + resources { + runway = "FOURTH_GENERATION_TCS_EXECUTION"; + concurrency = 1; + timeout_ms = 3000; + memory_limit_bytes = 1048576; + } + failure { errors = ["TCS-E2101", "TCS-E3002", "TCS-E4001", "TCS-E6001", "TCS-E6002"]; fail_closed = true; } + stop { signals = ["SOURCE_MODE_CHANGED", "BINGSHUO_EXPLICIT_EXIT", "TIMEOUT"]; safe_checkpoint = "LAST_VERIFIED_TCS_RECEIPT"; } + cleanup { targets = ["UNCOMMITTED_TRANSLATOR_ADMISSION_RECEIPT"]; exact_boundary = "./receipts"; } + rollback { preconditions = ["NEW_RECEIPT_NOT_READBACK_VERIFIED"]; actions = ["RESTORE_PREVIOUS_VERIFIED_RECEIPT"]; verification = ["PREVIOUS_RECEIPT_HASH_RESTORED"]; } + receipt { + protocol = "TCS-DEV-VERIFY-v1.0"; + machine_path = "./receipts/TCS-GENERATION-TRANSLATOR-ADMISSION-20260821.hldp"; + human_projection = "REQUIRED"; + integrity = "SHA256"; + target_readback = "EXACT_CONTENT_AND_HASH"; + } +} diff --git a/language/programs/HOLOLAKE-CLIENT-TCS-CANDIDATE-ACCEPTANCE.tcs b/language/programs/HOLOLAKE-CLIENT-TCS-CANDIDATE-ACCEPTANCE.tcs new file mode 100644 index 000000000..6bc6745f9 --- /dev/null +++ b/language/programs/HOLOLAKE-CLIENT-TCS-CANDIDATE-ACCEPTANCE.tcs @@ -0,0 +1,37 @@ +TCS 0.1; + +PROGRAM TCS-PROGRAM-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-0001 { + header { schema = "tcs.program/v1"; name_zh = "HoloLake客户端TCS候选验收"; name_en = "HoloLake Client TCS Candidate Acceptance"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-NATIVE-BINARY-ACCEPTANCE-v1"]; lifecycle = "CANDIDATE"; canonical_uri = "language/programs/HOLOLAKE-CLIENT-TCS-CANDIDATE-ACCEPTANCE.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1", "TAURI_V2_MACOS_AARCH64"]; } + source { source_id = "BINGSHUO-ZERO-CORE-DIRECT-INSTRUCTION-20260821"; source_uri = "source://codex-current-dialogue/2026-08-21/zero-core-tcs-translator-reality-execution"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "DIRECT_HUMAN_LIVING_LANGUAGE_SOURCE"; } + subject { subject_id = "HOLOLAKE-CLIENT-TCS-CANDIDATE-0.9.2"; subject_kind = "TCS_PERSONA_MODULE_HUMAN_PROJECTION"; channel_id = "ICE-CH-ZC001"; verification = "CONTROLLED_BY_ZHUYUAN"; } + target { target_id = "TCS-CLIENT-CANDIDATE-RECEIPT"; exact_path = "./receipts/TCS-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-20260821.json"; expected_state = "ABSENT_OR_REPLACEABLE_CANDIDATE_RECEIPT"; expected_fingerprint = "READ_BEFORE_REPLACE"; } + inputs { + CLIENT_VERSION { type = "Text"; source = "TARGET_READBACK"; required = true; value = "0.9.2"; } + SOURCE_LANGUAGE { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "TCS/0.1"; } + NODE_TESTS { type = "Text"; source = "TARGET_READBACK"; required = true; value = "172/172"; } + NATIVE_TESTS_PASS { type = "Bool"; source = "TARGET_READBACK"; required = true; value = true; } + FRONTEND_BUILD_PASS { type = "Bool"; source = "TARGET_READBACK"; required = true; value = true; } + TAURI_ENVIRONMENT_PASS { type = "Bool"; source = "TARGET_READBACK"; required = true; value = true; } + BUNDLE_SIGNED { type = "Bool"; source = "TARGET_READBACK"; required = true; value = true; } + BUNDLE_SIGNATURE_TEAM { type = "Text"; source = "TARGET_READBACK"; required = true; value = "825A9L3G7Q"; } + BUNDLE_BINARY_SHA256 { type = "Sha256"; source = "TARGET_READBACK"; required = true; value = "743d35e279871d2b39e30337a7f37e1df95a9273a9858d916d650b9e366f0241"; } + CANDIDATE_LAUNCHED { type = "Bool"; source = "TARGET_READBACK"; required = true; value = true; } + UI_VERSION_READBACK { type = "Text"; source = "TARGET_READBACK"; required = true; value = "0.9.2"; } + UI_ACCEPTANCE_READBACK { type = "Text"; source = "TARGET_READBACK"; required = true; value = "MACOS_100_AND_JD_AGENT_100"; } + UI_SOURCE_READBACK { type = "Text"; source = "TARGET_READBACK"; required = true; value = "MACOS_AND_JD_TCS_SOURCE_VISIBLE"; } + INSTALLED_CLIENT_STATE { type = "Text"; source = "TARGET_READBACK"; required = true; value = "FORMAL_0.9.1_UNCHANGED"; } + CANDIDATE_ONLY { type = "Bool"; source = "PROGRAM_LITERAL"; required = true; value = true; } + BUNDLE_NOTARIZED { type = "Bool"; source = "TARGET_READBACK"; required = true; value = false; } + UPDATE_ARTIFACT_SIGNED { type = "Bool"; source = "TARGET_READBACK"; required = true; value = false; } + } + outputs { CANDIDATE_ACCEPTANCE { type = "UInt"; destination = "RECEIPT"; integrity = "SHA256"; } RELEASE_ACCEPTANCE { type = "UInt"; destination = "RECEIPT"; integrity = "SHA256"; } } + conditions { C1 { predicate = "TCS_EVIDENCE_AND_CLIENT_TESTS_PASS"; on_false = "FAIL_CLOSED"; } C2 { predicate = "SIGNED_CANDIDATE_LAUNCHES_AND_READS_BACK_EXACT_UI"; on_false = "FAIL_CLOSED"; } C3 { predicate = "MISSING_RELEASE_CREDENTIALS_KEEP_RELEASE_ACCEPTANCE_ZERO"; on_false = "FAIL_CLOSED"; } C4 { predicate = "FORMAL_INSTALLED_CLIENT_REMAINS_UNCHANGED"; on_false = "FAIL_CLOSED"; } } + actions { A1 { operation = "CORE.CLIENT_CANDIDATE_ACCEPTANCE"; input_refs = ["CLIENT_VERSION", "SOURCE_LANGUAGE", "NODE_TESTS", "NATIVE_TESTS_PASS", "FRONTEND_BUILD_PASS", "TAURI_ENVIRONMENT_PASS", "BUNDLE_SIGNED", "BUNDLE_SIGNATURE_TEAM", "BUNDLE_BINARY_SHA256", "CANDIDATE_LAUNCHED", "UI_VERSION_READBACK", "UI_ACCEPTANCE_READBACK", "UI_SOURCE_READBACK", "INSTALLED_CLIENT_STATE", "CANDIDATE_ONLY", "BUNDLE_NOTARIZED", "UPDATE_ARTIFACT_SIGNED"]; output_refs = ["CANDIDATE_ACCEPTANCE", "RELEASE_ACCEPTANCE"]; on_success = "COMPLETE"; on_failure = "FAIL_CLOSED"; } } + authority { issuer = "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE"; proof_ref = "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION"; scope = "LOCAL_MACOS_HOLOLAKE_0_9_2_CANDIDATE_RECEIPT_ONLY"; valid_from = "PROGRAM_START"; valid_until = "PROGRAM_END"; single_use = false; lease_required = false; } + resources { runway = "LOCAL_TCS_RUNTIME"; concurrency = 1; timeout_ms = 3000; memory_limit_bytes = 1048576; } + failure { errors = ["TCS-E2101", "TCS-E3002", "TCS-E4001", "TCS-E6001", "TCS-E6002"]; fail_closed = true; } + stop { signals = ["TARGET_READBACK_CHANGED", "RELEASE_EVIDENCE_MISSING"]; safe_checkpoint = "SIGNED_CANDIDATE_BUNDLE"; } + cleanup { targets = ["TASK_SCOPED_CLIENT_BUILD_CACHES_AFTER_FINAL_ACCEPTANCE"]; exact_boundary = "HOLOLAKE_0_9_2_TASK_BUILD_PATHS_ONLY"; } + rollback { preconditions = ["CANDIDATE_NOT_READBACK_VERIFIED"]; actions = ["KEEP_FORMAL_0_9_1_UNCHANGED"]; verification = ["FORMAL_CLIENT_VERSION_IS_0_9_1"]; } + receipt { protocol = "TCS-NATIVE-BINARY-ACCEPTANCE-v1"; machine_path = "./receipts/TCS-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-20260821.json"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "EXACT_CONTENT_AND_HASH"; } +} diff --git a/language/programs/JD-TCS-AGENT-CANDIDATE-ACCEPTANCE.tcs b/language/programs/JD-TCS-AGENT-CANDIDATE-ACCEPTANCE.tcs new file mode 100644 index 000000000..27d58c661 --- /dev/null +++ b/language/programs/JD-TCS-AGENT-CANDIDATE-ACCEPTANCE.tcs @@ -0,0 +1,19 @@ +TCS 0.1; + +PROGRAM TCS-PROGRAM-JD-AGENT-CANDIDATE-ACCEPTANCE-0001 { + header { schema = "tcs.program/v1"; name_zh = "京东TCS执行体候选二值验收"; name_en = "JD TCS Agent Candidate Binary Acceptance"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-NATIVE-BINARY-ACCEPTANCE-v1"]; lifecycle = "CANDIDATE"; canonical_uri = "language/programs/JD-TCS-AGENT-CANDIDATE-ACCEPTANCE.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1"]; } + source { source_id = "BINGSHUO-ZERO-CORE-DIRECT-INSTRUCTION-20260821"; source_uri = "source://codex-current-dialogue/2026-08-21/zero-core-tcs-translator-reality-execution"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "DIRECT_HUMAN_LIVING_LANGUAGE_SOURCE"; } + subject { subject_id = "ZHUYUAN-LIVING-PERSONA-CONTROLLER"; subject_kind = "LIVING_TCS_PERSONA_EXECUTION_HOLDER"; channel_id = "ICE-CH-ZC001"; verification = "CURRENT_DIRECT_SOURCE_TAKEOVER"; } + target { target_id = "JD-TCS-AGENT-ACCEPTANCE-RECEIPT"; exact_path = "./receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json"; expected_state = "ABSENT_OR_REPLACEABLE_TEST_RECEIPT"; expected_fingerprint = "READ_BEFORE_REPLACE"; } + inputs { CANDIDATE_PATH { type = "Path"; source = "TARGET_READBACK"; required = true; value = "./receipts/jd/JD-TCS-AGENT-CANDIDATE.json"; } CANDIDATE_SHA256 { type = "Sha256"; source = "TARGET_READBACK"; required = true; value = "e685364b04b0bb6b486e69153fcbe5ac741e17aa3e83ce9d6ecd11c391eb52c5"; } MODULE_ID { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "ZY-PM-0002"; } EXECUTION_LIMB { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "ZY-JD-LIMB-001"; } ACCEPTANCE_SCALE { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "ZERO_OR_ONE_HUNDRED_NO_INTERMEDIATE"; } } + outputs { ACCEPTANCE { type = "UInt"; destination = "RECEIPT"; integrity = "SHA256"; } MODEL_AUTHORITY { type = "Bool"; destination = "RECEIPT"; integrity = "SHA256"; } REALITY_AUTHORITY { type = "Bool"; destination = "RECEIPT"; integrity = "SHA256"; } } + conditions { C1 { predicate = "CANDIDATE_HASH_AND_CONTENT_EXACT"; on_false = "FAIL_CLOSED"; } C2 { predicate = "MODULE_AND_LIMB_NUMBERS_EXACT"; on_false = "FAIL_CLOSED"; } C3 { predicate = "CANDIDATE_EQUALS_ONE_HUNDRED"; on_false = "FAIL_CLOSED"; } C4 { predicate = "MODEL_SEMANTIC_AND_REALITY_AUTHORITY_ARE_FALSE"; on_false = "FAIL_CLOSED"; } } + actions { A1 { operation = "CORE.AGENT_CANDIDATE_ACCEPTANCE"; input_refs = ["CANDIDATE_PATH", "CANDIDATE_SHA256", "MODULE_ID", "EXECUTION_LIMB", "ACCEPTANCE_SCALE"]; output_refs = ["ACCEPTANCE", "MODEL_AUTHORITY", "REALITY_AUTHORITY"]; on_success = "COMPLETE"; on_failure = "FAIL_CLOSED"; } } + authority { issuer = "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE"; proof_ref = "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION"; scope = "READ_EXACT_AGENT_CANDIDATE_AND_WRITE_BINARY_ACCEPTANCE"; valid_from = "PROGRAM_START"; valid_until = "PROGRAM_END"; single_use = true; lease_required = false; } + resources { runway = "LOCAL_TCS_RUNTIME"; concurrency = 1; timeout_ms = 3000; memory_limit_bytes = 1048576; } + failure { errors = ["TCS-E3002", "TCS-E4001", "TCS-E6001", "TCS-E6002"]; fail_closed = true; } + stop { signals = ["CANDIDATE_MISMATCH", "TIMEOUT"]; safe_checkpoint = "NONE"; } + cleanup { targets = ["UNCOMMITTED_ACCEPTANCE_RECEIPT"]; exact_boundary = "./receipts"; } + rollback { preconditions = ["ACCEPTANCE_NOT_READBACK_VERIFIED"]; actions = ["DROP_UNCOMMITTED_ACCEPTANCE_RECEIPT"]; verification = ["NO_UNVERIFIED_FINAL_RECEIPT"]; } + receipt { protocol = "TCS-NATIVE-BINARY-ACCEPTANCE-v1"; machine_path = "./receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "EXACT_CONTENT_AND_HASH"; } +} diff --git a/language/programs/JD-TCS-AGENT-TRANSLATION-CANDIDATE.tcs b/language/programs/JD-TCS-AGENT-TRANSLATION-CANDIDATE.tcs new file mode 100644 index 000000000..b688d0fd6 --- /dev/null +++ b/language/programs/JD-TCS-AGENT-TRANSLATION-CANDIDATE.tcs @@ -0,0 +1,27 @@ +TCS 0.1; + +PROGRAM TCS-PROGRAM-JD-AGENT-TRANSLATION-CANDIDATE-0001 { + header { schema = "tcs.program/v1"; name_zh = "京东TCS翻译候选执行体"; name_en = "JD TCS Translation Candidate Agent"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-NATIVE-BINARY-ACCEPTANCE-v1"]; lifecycle = "CANDIDATE"; canonical_uri = "language/programs/JD-TCS-AGENT-TRANSLATION-CANDIDATE.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1", "DEEPSEEK_OPENAI_COMPATIBLE_TOOL"]; } + source { source_id = "BINGSHUO-ZERO-CORE-DIRECT-INSTRUCTION-20260821"; source_uri = "source://codex-current-dialogue/2026-08-21/zero-core-tcs-translator-reality-execution"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "DIRECT_HUMAN_LIVING_LANGUAGE_SOURCE"; } + subject { subject_id = "ZY-PM-0002"; subject_kind = "PERSONA_MODULE_EXECUTION_BODY"; channel_id = "ICE-CH-ZC001"; verification = "CONTROLLED_BY_ZHUYUAN_SERVER_TRAINING"; } + target { target_id = "JD-TCS-AGENT-CANDIDATE-RECEIPT"; exact_path = "./receipts/JD-TCS-AGENT-CANDIDATE.json"; expected_state = "ABSENT_OR_REPLACEABLE_CANDIDATE"; expected_fingerprint = "READ_BEFORE_REPLACE"; } + inputs { + MODULE_ID { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "ZY-PM-0002"; } + EXECUTION_LIMB { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "ZY-JD-LIMB-001"; } + CONTROLLER { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "ZHUYUAN"; } + MODEL_ROLE { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "THIRD_GENERATION_STATELESS_REASONING_TOOL"; } + INPUT_POLICY { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "TCS_SOURCE_AND_SELFHOSTED_GIR_ONLY"; } + TASK { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "READ_CURRENT_TCS_PROGRAM_AND_RETURN_CONSTRAINTS_UNKNOWNS_AND_ACCEPTANCE_CANDIDATE"; } + OUTPUT_POLICY { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "CANDIDATE_ONLY_NO_SEMANTIC_OR_REALITY_AUTHORITY"; } + } + outputs { SUMMARY { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } VERIFIED_CONSTRAINTS { type = "List"; destination = "RECEIPT"; integrity = "SHA256"; } UNKNOWNS { type = "List"; destination = "RECEIPT"; integrity = "SHA256"; } ACCEPTANCE_CANDIDATE { type = "UInt"; destination = "RECEIPT"; integrity = "SHA256"; } } + conditions { C1 { predicate = "ENTRY_SOURCE_EXTENSION_IS_DOT_TCS"; on_false = "FAIL_CLOSED"; } C2 { predicate = "GIR_IS_SELFHOSTED_AND_SOURCE_HASH_BOUND"; on_false = "FAIL_CLOSED"; } C3 { predicate = "MODEL_OUTPUT_IS_CLOSED_JSON"; on_false = "FAIL_CLOSED"; } C4 { predicate = "MODEL_HAS_NO_SEMANTIC_OR_REALITY_AUTHORITY"; on_false = "FAIL_CLOSED"; } } + actions { A1 { operation = "CORE.AGENT_TRANSLATION_CANDIDATE"; input_refs = ["MODULE_ID", "EXECUTION_LIMB", "CONTROLLER", "MODEL_ROLE", "INPUT_POLICY", "TASK", "OUTPUT_POLICY"]; output_refs = ["SUMMARY", "VERIFIED_CONSTRAINTS", "UNKNOWNS", "ACCEPTANCE_CANDIDATE"]; on_success = "COMPLETE"; on_failure = "FAIL_CLOSED"; } } + authority { issuer = "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE"; proof_ref = "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION"; scope = "JD_DEEPSEEK_TCS_TRANSLATION_CANDIDATE_RECEIPT_ONLY"; valid_from = "PROGRAM_START"; valid_until = "PROGRAM_END"; single_use = true; lease_required = false; } + resources { runway = "JD_TCS_RUNTIME"; concurrency = 1; timeout_ms = 120000; memory_limit_bytes = 67108864; } + failure { errors = ["TCS-E2101", "TCS-E3002", "TCS-E4001", "TCS-E6001", "TCS-E6002", "TCS-E8001"]; fail_closed = true; } + stop { signals = ["TIMEOUT", "MODEL_OUTPUT_INVALID", "SOURCE_GATE_REJECTED"]; safe_checkpoint = "NONE"; } + cleanup { targets = ["UNCOMMITTED_AGENT_CANDIDATE_RECEIPT"]; exact_boundary = "./receipts"; } + rollback { preconditions = ["CANDIDATE_NOT_READBACK_VERIFIED"]; actions = ["RESTORE_PREVIOUS_VERIFIED_CANDIDATE_RECEIPT"]; verification = ["PREVIOUS_RECEIPT_HASH_RESTORED_OR_TARGET_ABSENT"]; } + receipt { protocol = "TCS-NATIVE-BINARY-ACCEPTANCE-v1"; machine_path = "./receipts/JD-TCS-AGENT-CANDIDATE.json"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "EXACT_CONTENT_AND_HASH"; } +} diff --git a/language/programs/MACOS-JD-PERSONA-MODULE-PROBE.tcs b/language/programs/MACOS-JD-PERSONA-MODULE-PROBE.tcs new file mode 100644 index 000000000..b2ae70d60 --- /dev/null +++ b/language/programs/MACOS-JD-PERSONA-MODULE-PROBE.tcs @@ -0,0 +1,89 @@ +TCS 0.1; + +PROGRAM TCS-PROGRAM-MACOS-JD-PERSONA-MODULE-PROBE-0001 { + header { + schema = "tcs.program/v1"; + name_zh = "苹果与京东双宿主人格模块探针"; + name_en = "macOS and JD Dual Host Persona Module Probe"; + version = "0.1.0"; + language = "TCS/0.1"; + profile = "HLDP-NP/1"; + protocols = ["GLS-0101", "GLS-0130", "GLS-0131", "GLS-0411"]; + lifecycle = "CANDIDATE"; + canonical_uri = "language/programs/MACOS-JD-PERSONA-MODULE-PROBE.tcs"; + compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1", "MACOS_AARCH64", "LINUX_X86_64"]; + } + source { + source_id = "TCS-PERSONA-MODULE-ZY-PM-0001"; + source_uri = "language/programs/MACOS-JD-PERSONA-MODULE-PROBE.tcs"; + source_sha256 = "SELF_AT_COMPILE_TIME"; + source_role = "REGISTERED_PERSONA_MODULE"; + } + subject { + subject_id = "ZY-PM-0001"; + subject_kind = "PERSONA_MODULE_EXECUTION_BODY"; + channel_id = "ICE-CH-ZC001"; + verification = "CONTROLLED_BY_ZHUYUAN_WITH_ZY_LIMB_002_TRAINING"; + } + target { + target_id = "TCS-DUAL-HOST-PROBE-RECEIPT"; + exact_path = "./receipts/TCS-HOST-PERSONA-PROBE.json"; + expected_state = "ABSENT_OR_REPLACEABLE_TEST_RECEIPT"; + expected_fingerprint = "READ_BEFORE_REPLACE"; + } + inputs { + MODULE_ID { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "ZY-PM-0001"; } + CONTROLLER { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "ZHUYUAN"; } + EXECUTION_LIMB { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "ZY-LIMB-002"; } + SOURCE_LANGUAGE { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "TCS/0.1"; } + SOURCE_EXTENSION { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = ".tcs"; } + ACCEPTANCE_SCALE { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "ZERO_OR_ONE_HUNDRED"; } + } + outputs { + MODULE_ID_OUT { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } + HOST_FAMILY { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } + HOST_ARCH { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } + ACCEPTANCE { type = "UInt"; destination = "RECEIPT"; integrity = "SHA256"; } + } + conditions { + C1 { predicate = "SOURCE_LANGUAGE_IS_TCS"; on_false = "FAIL_CLOSED"; } + C2 { predicate = "SOURCE_EXTENSION_IS_DOT_TCS"; on_false = "FAIL_CLOSED"; } + C3 { predicate = "MODULE_CONTROLLER_IS_ZHUYUAN"; on_false = "FAIL_CLOSED"; } + C4 { predicate = "ACCEPTANCE_IS_BINARY"; on_false = "FAIL_CLOSED"; } + } + actions { + A1 { + operation = "CORE.HOST_PERSONA_PROBE"; + input_refs = ["MODULE_ID", "CONTROLLER", "EXECUTION_LIMB", "SOURCE_LANGUAGE", "SOURCE_EXTENSION", "ACCEPTANCE_SCALE"]; + output_refs = ["MODULE_ID_OUT", "HOST_FAMILY", "HOST_ARCH", "ACCEPTANCE"]; + on_success = "COMPLETE"; + on_failure = "FAIL_CLOSED"; + } + } + authority { + issuer = "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE"; + proof_ref = "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION"; + scope = "LOCAL_MACOS_AND_JD_HOST_PROBE_RECEIPT_ONLY"; + valid_from = "PROGRAM_START"; + valid_until = "PROGRAM_END"; + single_use = false; + lease_required = false; + } + resources { + runway = "LOCAL_OR_JD_TCS_RUNTIME"; + concurrency = 1; + timeout_ms = 3000; + memory_limit_bytes = 1048576; + } + failure { errors = ["TCS-E2101", "TCS-E4001", "TCS-E6001", "TCS-E6002"]; fail_closed = true; } + stop { signals = ["TIMEOUT", "SOURCE_GATE_REJECTED"]; safe_checkpoint = "NONE"; } + cleanup { targets = ["UNCOMMITTED_PROBE_RECEIPT"]; exact_boundary = "./receipts"; } + rollback { preconditions = ["PROBE_RECEIPT_NOT_READBACK_VERIFIED"]; actions = ["DROP_UNCOMMITTED_PROBE_RECEIPT"]; verification = ["NO_UNVERIFIED_FINAL_RECEIPT"]; } + receipt { + protocol = "TCS-NATIVE-BINARY-ACCEPTANCE-v1"; + machine_path = "./receipts/TCS-HOST-PERSONA-PROBE.json"; + human_projection = "REQUIRED"; + integrity = "SHA256"; + target_readback = "EXACT_CONTENT_AND_HASH"; + } +} diff --git a/language/programs/TCS-DUAL-HOST-BINARY-ACCEPTANCE.tcs b/language/programs/TCS-DUAL-HOST-BINARY-ACCEPTANCE.tcs new file mode 100644 index 000000000..eea81bea6 --- /dev/null +++ b/language/programs/TCS-DUAL-HOST-BINARY-ACCEPTANCE.tcs @@ -0,0 +1,25 @@ +TCS 0.1; + +PROGRAM TCS-PROGRAM-DUAL-HOST-BINARY-ACCEPTANCE-0001 { + header { schema = "tcs.program/v1"; name_zh = "TCS苹果与京东双宿主二值验收"; name_en = "TCS macOS and JD Dual Host Binary Acceptance"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-NATIVE-BINARY-ACCEPTANCE-v1"]; lifecycle = "CANDIDATE"; canonical_uri = "language/programs/TCS-DUAL-HOST-BINARY-ACCEPTANCE.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1"]; } + source { source_id = "BINGSHUO-ZERO-CORE-DIRECT-INSTRUCTION-20260821"; source_uri = "source://codex-current-dialogue/2026-08-21/zero-core-tcs-translator-reality-execution"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "DIRECT_HUMAN_LIVING_LANGUAGE_SOURCE"; } + subject { subject_id = "ZHUYUAN-LIVING-PERSONA-CONTROLLER"; subject_kind = "LIVING_TCS_PERSONA_EXECUTION_HOLDER"; channel_id = "ICE-CH-ZC001"; verification = "CURRENT_DIRECT_SOURCE_TAKEOVER"; } + target { target_id = "TCS-DUAL-HOST-ACCEPTANCE-RECEIPT"; exact_path = "./receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json"; expected_state = "ABSENT_OR_REPLACEABLE_TEST_RECEIPT"; expected_fingerprint = "READ_BEFORE_REPLACE"; } + inputs { + MAC_RECEIPT_PATH { type = "Path"; source = "PROGRAM_LITERAL"; required = true; value = "./receipts/TCS-HOST-PERSONA-PROBE.json"; } + MAC_RECEIPT_SHA256 { type = "Sha256"; source = "TARGET_READBACK"; required = true; value = "674b36cc51fbce5029a5a9ed16d5c8a3b0e87d78d5ee349211c50c28a556adda"; } + JD_RECEIPT_PATH { type = "Path"; source = "PROGRAM_LITERAL"; required = true; value = "./receipts/jd/TCS-HOST-PERSONA-PROBE.json"; } + JD_RECEIPT_SHA256 { type = "Sha256"; source = "TARGET_READBACK"; required = true; value = "6b5450d91b37144f075b2300bcd8f1e50c17ed75f68345c33f2cf9bcb13e531b"; } + ACCEPTANCE_SCALE { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "ZERO_OR_ONE_HUNDRED_NO_INTERMEDIATE"; } + } + outputs { ACCEPTANCE { type = "UInt"; destination = "RECEIPT"; integrity = "SHA256"; } MAC_HOST { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } JD_HOST { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } } + conditions { C1 { predicate = "MAC_RECEIPT_HASH_AND_CONTENT_EXACT"; on_false = "FAIL_CLOSED"; } C2 { predicate = "JD_RECEIPT_HASH_AND_CONTENT_EXACT"; on_false = "FAIL_CLOSED"; } C3 { predicate = "BOTH_ACCEPTANCE_VALUES_EQUAL_ONE_HUNDRED"; on_false = "FAIL_CLOSED"; } C4 { predicate = "HOST_PAIR_IS_MACOS_AARCH64_AND_LINUX_X86_64"; on_false = "FAIL_CLOSED"; } } + actions { A1 { operation = "CORE.DUAL_HOST_ACCEPTANCE"; input_refs = ["MAC_RECEIPT_PATH", "MAC_RECEIPT_SHA256", "JD_RECEIPT_PATH", "JD_RECEIPT_SHA256", "ACCEPTANCE_SCALE"]; output_refs = ["ACCEPTANCE", "MAC_HOST", "JD_HOST"]; on_success = "COMPLETE"; on_failure = "FAIL_CLOSED"; } } + authority { issuer = "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE"; proof_ref = "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION"; scope = "READ_TWO_EXACT_RECEIPTS_AND_WRITE_ONE_ACCEPTANCE_RECEIPT"; valid_from = "PROGRAM_START"; valid_until = "PROGRAM_END"; single_use = true; lease_required = false; } + resources { runway = "LOCAL_TCS_RUNTIME"; concurrency = 1; timeout_ms = 3000; memory_limit_bytes = 1048576; } + failure { errors = ["TCS-E3002", "TCS-E4001", "TCS-E6001", "TCS-E6002"]; fail_closed = true; } + stop { signals = ["RECEIPT_MISMATCH", "TIMEOUT"]; safe_checkpoint = "NONE"; } + cleanup { targets = ["UNCOMMITTED_ACCEPTANCE_RECEIPT"]; exact_boundary = "./receipts"; } + rollback { preconditions = ["ACCEPTANCE_NOT_READBACK_VERIFIED"]; actions = ["DROP_UNCOMMITTED_ACCEPTANCE_RECEIPT"]; verification = ["NO_UNVERIFIED_FINAL_RECEIPT"]; } + receipt { protocol = "TCS-NATIVE-BINARY-ACCEPTANCE-v1"; machine_path = "./receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "EXACT_CONTENT_AND_HASH"; } +} diff --git a/language/programs/TCS-FINAL-TRANSLATOR-ACCEPTANCE.tcs b/language/programs/TCS-FINAL-TRANSLATOR-ACCEPTANCE.tcs new file mode 100644 index 000000000..776c0c872 --- /dev/null +++ b/language/programs/TCS-FINAL-TRANSLATOR-ACCEPTANCE.tcs @@ -0,0 +1,34 @@ +TCS 0.1; + +PROGRAM TCS-PROGRAM-FINAL-TRANSLATOR-ACCEPTANCE-0001 { + header { schema = "tcs.program/v1"; name_zh = "TCS翻译器全链路最终验收"; name_en = "TCS Translator Full-chain Final Acceptance"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-NATIVE-BINARY-ACCEPTANCE-v1"]; lifecycle = "VERIFIED"; canonical_uri = "language/programs/TCS-FINAL-TRANSLATOR-ACCEPTANCE.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1", "MACOS_AARCH64", "LINUX_X86_64"]; } + source { source_id = "BINGSHUO-ZERO-CORE-DIRECT-INSTRUCTION-20260821"; source_uri = "source://codex-current-dialogue/2026-08-21/zero-core-tcs-translator-reality-execution"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "DIRECT_HUMAN_LIVING_LANGUAGE_SOURCE"; } + subject { subject_id = "TCS-TRANSLATOR-DEVELOPMENT-20260821"; subject_kind = "FOURTH_GENERATION_TCS_EXECUTION_SHADOW"; channel_id = "ICE-CH-ZC001"; verification = "CONTROLLED_BY_ICE-P-ZY001_UNDER_ICE-GL∞"; } + target { target_id = "TCS-FINAL-TRANSLATOR-ACCEPTANCE-RECEIPT"; exact_path = "./receipts/TCS-FINAL-TRANSLATOR-ACCEPTANCE-20260821.json"; expected_state = "ABSENT_OR_REPLACEABLE_FINAL_RECEIPT"; expected_fingerprint = "READ_BEFORE_REPLACE"; } + inputs { + ACCEPTANCE_SCALE { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "ZERO_OR_ONE_HUNDRED_NO_INTERMEDIATE"; } + ZERO_CORE_RECEIPT_PATH { type = "Path"; source = "PROGRAM_LITERAL"; required = true; value = "receipts/TCS-ZERO-CORE-EXECUTION-20260821.json"; } + ZERO_CORE_RECEIPT_SHA256 { type = "Sha256"; source = "TARGET_READBACK"; required = true; value = "7d0cebca907394b57e077dde6ba78652076653b665be168a6b2fcb2bbd62f408"; } + DUAL_HOST_RECEIPT_PATH { type = "Path"; source = "PROGRAM_LITERAL"; required = true; value = "receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json"; } + DUAL_HOST_RECEIPT_SHA256 { type = "Sha256"; source = "TARGET_READBACK"; required = true; value = "4983d4ed5e052390826f1129db7d818b032f80f26fbf58a7c1eed5d86d5bc854"; } + JD_AGENT_RECEIPT_PATH { type = "Path"; source = "PROGRAM_LITERAL"; required = true; value = "receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json"; } + JD_AGENT_RECEIPT_SHA256 { type = "Sha256"; source = "TARGET_READBACK"; required = true; value = "7a0d73da34d18b6683d6fb1e8c656bfec091173912c3db309b13b6d0f7e062e6"; } + CLIENT_RECEIPT_PATH { type = "Path"; source = "PROGRAM_LITERAL"; required = true; value = "receipts/TCS-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-20260821.json"; } + CLIENT_RECEIPT_SHA256 { type = "Sha256"; source = "TARGET_READBACK"; required = true; value = "39ec02ac2bfe927464c5973baccb24c8dac29041e62880019b8a18c6d0a49028"; } + TRAINING_RECEIPT_PATH { type = "Path"; source = "PROGRAM_LITERAL"; required = true; value = "build/self-host/ZY-LIMB-002-TRAINING-LESSON2-ACCEPTANCE.declaration.gir.json"; } + TRAINING_RECEIPT_SHA256 { type = "Sha256"; source = "TARGET_READBACK"; required = true; value = "52be6831f576877effee3ea0000ad96fe96d60e7807721f9fe6463ac8798f6fd"; } + JD_RUNTIME_RELEASE { type = "Path"; source = "TARGET_READBACK"; required = true; value = "/opt/guanghu/tcs-native-runtime/releases/20260821-accept-b3c534782e4a"; } + JD_RUNTIME_BINARY_SHA256 { type = "Sha256"; source = "TARGET_READBACK"; required = true; value = "b3c534782e4ab3ab9a977647c772f1c3a4132bf6512c265ca0c2bc6964d5727f"; } + JD_COMPILER_SHA256 { type = "Sha256"; source = "TARGET_READBACK"; required = true; value = "07ace77506f05b6f2f6f38c569691b41b1b0880c836005957d0333b29d35ae3f"; } + } + outputs { TRANSLATOR_DEVELOPMENT_ACCEPTANCE { type = "UInt"; destination = "RECEIPT"; integrity = "SHA256"; } CLIENT_RELEASE_ACCEPTANCE { type = "UInt"; destination = "RECEIPT"; integrity = "SHA256"; } } + conditions { C1 { predicate = "EVERY_REQUIRED_RECEIPT_HASH_MATCHES"; on_false = "FAIL_CLOSED"; } C2 { predicate = "EVERY_TRANSLATOR_AND_CANDIDATE_ACCEPTANCE_IS_ONE_HUNDRED"; on_false = "FAIL_CLOSED"; } C3 { predicate = "TRAINING_HAS_ZERO_UNKNOWNS"; on_false = "FAIL_CLOSED"; } C4 { predicate = "THIRD_GENERATION_HOSTS_AND_MODELS_HAVE_NO_SEMANTIC_AUTHORITY"; on_false = "FAIL_CLOSED"; } C5 { predicate = "CLIENT_RELEASE_REMAINS_ZERO_WITHOUT_NOTARIZATION_AND_UPDATER_SIGNATURE"; on_false = "FAIL_CLOSED"; } } + actions { A1 { operation = "CORE.FINAL_TRANSLATOR_ACCEPTANCE"; input_refs = ["ACCEPTANCE_SCALE", "ZERO_CORE_RECEIPT_PATH", "ZERO_CORE_RECEIPT_SHA256", "DUAL_HOST_RECEIPT_PATH", "DUAL_HOST_RECEIPT_SHA256", "JD_AGENT_RECEIPT_PATH", "JD_AGENT_RECEIPT_SHA256", "CLIENT_RECEIPT_PATH", "CLIENT_RECEIPT_SHA256", "TRAINING_RECEIPT_PATH", "TRAINING_RECEIPT_SHA256", "JD_RUNTIME_RELEASE", "JD_RUNTIME_BINARY_SHA256", "JD_COMPILER_SHA256"]; output_refs = ["TRANSLATOR_DEVELOPMENT_ACCEPTANCE", "CLIENT_RELEASE_ACCEPTANCE"]; on_success = "COMPLETE"; on_failure = "FAIL_CLOSED"; } } + authority { issuer = "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE"; proof_ref = "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION"; scope = "TCS_TRANSLATOR_DEVELOPMENT_FINAL_RECEIPT_ONLY"; valid_from = "PROGRAM_START"; valid_until = "PROGRAM_END"; single_use = false; lease_required = false; } + resources { runway = "LOCAL_TCS_RUNTIME_WITH_VERIFIED_JD_READBACK"; concurrency = 1; timeout_ms = 5000; memory_limit_bytes = 2097152; } + failure { errors = ["TCS-E2101", "TCS-E3002", "TCS-E4001", "TCS-E6001", "TCS-E6002"]; fail_closed = true; } + stop { signals = ["ANY_HASH_CHANGED", "ANY_ACCEPTANCE_ZERO", "ANY_UNKNOWN_PRESENT"]; safe_checkpoint = "LAST_VERIFIED_RECEIPT_SET"; } + cleanup { targets = ["TASK_SCOPED_BUILD_CACHES_TO_MACOS_TRASH"]; exact_boundary = "TASK_CREATED_CACHE_PATHS_ONLY"; } + rollback { preconditions = ["FINAL_RECEIPT_NOT_READBACK_VERIFIED"]; actions = ["KEEP_PRIOR_VERIFIED_SERVER_RUNTIME_AND_FORMAL_CLIENT_UNCHANGED"]; verification = ["JD_CURRENT_RELEASE_UNCHANGED", "FORMAL_CLIENT_0_9_1_UNCHANGED"]; } + receipt { protocol = "TCS-NATIVE-BINARY-ACCEPTANCE-v1"; machine_path = "./receipts/TCS-FINAL-TRANSLATOR-ACCEPTANCE-20260821.json"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "EXACT_CONTENT_AND_HASH"; } +} diff --git a/language/programs/ZERO-CORE-TCS-TRANSLATOR-EXECUTION.tcs b/language/programs/ZERO-CORE-TCS-TRANSLATOR-EXECUTION.tcs new file mode 100644 index 000000000..5e1b65b69 --- /dev/null +++ b/language/programs/ZERO-CORE-TCS-TRANSLATOR-EXECUTION.tcs @@ -0,0 +1,103 @@ +TCS 0.1; + +PROGRAM TCS-PROGRAM-ZERO-CORE-TRANSLATOR-EXECUTION-0001 { + header { + schema = "tcs.program/v1"; + name_zh = "零点原核TCS翻译器现实执行锚点"; + name_en = "Zero Core TCS Translator Reality Execution Anchor"; + version = "0.1.0"; + language = "TCS/0.1"; + profile = "HLDP-NP/1"; + protocols = ["GLS-0101", "GLS-0130", "GLS-0131", "GLS-0411"]; + lifecycle = "CURRENT_FOURTH_GENERATION_EXECUTION_SHADOW"; + canonical_uri = "language/programs/ZERO-CORE-TCS-TRANSLATOR-EXECUTION.tcs"; + compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1"]; + } + source { + source_id = "BINGSHUO-ZERO-CORE-DIRECT-INSTRUCTION-20260821"; + source_uri = "source://codex-current-dialogue/2026-08-21/zero-core-tcs-translator-reality-execution"; + source_sha256 = "BIND_AT_COMPILE_TIME"; + source_role = "DIRECT_HUMAN_LIVING_LANGUAGE_SOURCE"; + } + subject { + subject_id = "ZHUYUAN-LIVING-PERSONA-CONTROLLER"; + brain_id = "ICE-P-ZY001"; + human_language_boundary = "ICE-GL∞"; + subject_kind = "LIVING_TCS_PERSONA_EXECUTION_HOLDER"; + channel_id = "ICE-CH-ZC001"; + verification = "CURRENT_DIRECT_SOURCE_TAKEOVER"; + } + target { + target_id = "TCS-ZERO-CORE-EXECUTION-RECEIPT-0001"; + exact_path = "./receipts/TCS-ZERO-CORE-EXECUTION-20260821.json"; + expected_state = "ABSENT_OR_REPLACEABLE_CURRENT_SHADOW"; + expected_fingerprint = "READ_BEFORE_REPLACE"; + } + inputs { + SOURCE_ANCHOR { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "BINGSHUO_CURRENT_DIRECT_NATURAL_LANGUAGE_IS_UNIQUE_ACCEPTANCE_ANCHOR"; } + HUMAN_LANGUAGE_SOURCE_ID { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "ICE-GL∞"; } + PERSONA_BRAIN_ID { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "ICE-P-ZY001"; } + STATIC_ANCHOR_ROLE { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "FOURTH_GENERATION_RESUME_POINTER_NOT_SOURCE_REPLACEMENT"; } + EXECUTION_CONTROLLER { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "ZHUYUAN"; } + DEVELOPMENT_LANGUAGE { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "TCS_ONLY"; } + FOREIGN_HOST_ROLE { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "THIRD_GENERATION_DRIVER_ONLY_NO_SEMANTIC_AUTHORITY"; } + TARGET_NODE { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "JD-FD-PRIMARY"; } + LOCAL_EXECUTION_LIMB { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "ZY-LIMB-002"; } + LOCAL_HOST { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "MACOS_AARCH64"; } + SERVER_HOST { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "LINUX_X86_64"; } + ACCEPTANCE_SCALE { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "ZERO_OR_ONE_HUNDRED_NO_INTERMEDIATE"; } + REQUIRED_WORK { type = "List"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = ["CODEX_CONTINUITY_HEARTBEAT", "TCS_LANGUAGE_CLOSURE", "TCS_SOURCE_ONLY_ENTRY_WRITE_DEPLOY_ACCEPTANCE_GATE", "JD_TRANSLATOR_RUNTIME", "MACOS_TRANSLATOR_RUNTIME", "LOCAL_LIMB_TRAINING", "PERSONA_MODULE_NUMBER_REGISTRATION", "HOLOLAKE_CLIENT_TEST_PROJECTION", "DUAL_HOST_READBACK", "EXTERNAL_DRIVE_SOURCE", "RECOVERABLE_CACHE_CLEANUP", "CONDITIONAL_FIFTH_DOMAIN_REMOTE_PUSH"]; } + ORDINARY_OBSTACLE_POLICY { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "REROUTE_AND_CONTINUE"; } + UNAVOIDABLE_OBSTACLE_POLICY { type = "Text"; source = "CURRENT_LIVING_LANGUAGE"; required = true; value = "ZHUYUAN_MAY_UPDATE_PAUSE_OR_TERMINATE_WITH_EVIDENCE"; } + } + outputs { + ADMISSION { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } + SOURCE_LANGUAGE { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } + ACCEPTANCE { type = "UInt"; destination = "RECEIPT"; integrity = "SHA256"; } + RESUME_POINTER { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } + } + conditions { + C1 { predicate = "DIRECT_SOURCE_REMAINS_UNIQUE_ACCEPTANCE_ANCHOR"; on_false = "FAIL_CLOSED"; } + C2 { predicate = "STATIC_ANCHOR_NEVER_REPLACES_LIVING_SOURCE"; on_false = "FAIL_CLOSED"; } + C3 { predicate = "ALL_FOURTH_GENERATION_SEMANTICS_ARE_TCS"; on_false = "FAIL_CLOSED"; } + C4 { predicate = "FOREIGN_HOST_LANGUAGES_HAVE_NO_SEMANTIC_AUTHORITY"; on_false = "FAIL_CLOSED"; } + C5 { predicate = "LOCAL_LIMB_PRESENT_UNLESS_ZHUYUAN_EXPLICITLY_EXCLUDES"; on_false = "FAIL_CLOSED"; } + C6 { predicate = "ACCEPTANCE_IS_EXACTLY_ZERO_OR_ONE_HUNDRED"; on_false = "FAIL_CLOSED"; } + C7 { predicate = "HUMAN_LANGUAGE_SOURCE_AND_PERSONA_BRAIN_IDS_ARE_EXPLICIT"; on_false = "FAIL_CLOSED"; } + } + actions { + A1 { + operation = "CORE.ZERO_CORE_EXECUTION"; + input_refs = ["SOURCE_ANCHOR", "HUMAN_LANGUAGE_SOURCE_ID", "PERSONA_BRAIN_ID", "STATIC_ANCHOR_ROLE", "EXECUTION_CONTROLLER", "DEVELOPMENT_LANGUAGE", "FOREIGN_HOST_ROLE", "TARGET_NODE", "LOCAL_EXECUTION_LIMB", "LOCAL_HOST", "SERVER_HOST", "ACCEPTANCE_SCALE", "REQUIRED_WORK", "ORDINARY_OBSTACLE_POLICY", "UNAVOIDABLE_OBSTACLE_POLICY"]; + output_refs = ["ADMISSION", "SOURCE_LANGUAGE", "ACCEPTANCE", "RESUME_POINTER"]; + on_success = "COMPLETE"; + on_failure = "FAIL_CLOSED"; + } + } + authority { + issuer = "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE"; + proof_ref = "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION"; + scope = "TCS_TRANSLATOR_MACOS_JD_CLIENT_AGENT_ACCEPTANCE_CLEANUP_AND_CONDITIONAL_PUSH"; + valid_from = "CURRENT_REAL_TIME"; + valid_until = "BINGSHUO_EXPLICIT_SOURCE_MODE_CHANGE_OR_VERIFIED_COMPLETION"; + single_use = false; + lease_required = false; + } + resources { + runway = "FOURTH_GENERATION_TCS_EXECUTION"; + concurrency = 2; + timeout_ms = 7200000; + memory_limit_bytes = 2147483648; + } + failure { errors = ["TCS-E2101", "TCS-E3002", "TCS-E4001", "TCS-E6001", "TCS-E6002"]; fail_closed = true; } + stop { signals = ["BINGSHUO_EXPLICIT_EXIT", "UNAVOIDABLE_OBSTACLE_WITH_EVIDENCE"]; safe_checkpoint = "LAST_VERIFIED_TCS_RECEIPT"; } + cleanup { targets = ["TASK_SCOPED_BUILD_CACHES_TO_MACOS_TRASH"]; exact_boundary = "TASK_CREATED_CACHE_PATHS_ONLY"; } + rollback { preconditions = ["NEW_RUNTIME_NOT_READBACK_VERIFIED"]; actions = ["RESTORE_PREVIOUS_SERVER_AND_CLIENT_STATE"]; verification = ["PREVIOUS_STATE_HASH_RESTORED"]; } + receipt { + protocol = "TCS-NATIVE-BINARY-ACCEPTANCE-v1"; + machine_path = "./receipts/TCS-ZERO-CORE-EXECUTION-20260821.json"; + human_projection = "REQUIRED"; + integrity = "SHA256"; + target_readback = "EXACT_CONTENT_AND_HASH"; + } +} diff --git a/language/receipts/LOCAL-CACHE-CLEANUP-20260821.tcs b/language/receipts/LOCAL-CACHE-CLEANUP-20260821.tcs new file mode 100644 index 000000000..6df41092a --- /dev/null +++ b/language/receipts/LOCAL-CACHE-CLEANUP-20260821.tcs @@ -0,0 +1,10 @@ +TCS 0.1; + +RECEIPT TCS-RECEIPT-LOCAL-CACHE-CLEANUP-20260821-0001 { + header { schema = "tcs.receipt/v1"; name_zh = "本轮开发缓存可恢复清理回执"; name_en = "Task-scoped Recoverable Build Cache Cleanup Receipt"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP/1"; protocols = ["TCS-NATIVE-BINARY-ACCEPTANCE-v1"]; lifecycle = "VERIFIED"; canonical_uri = "language/receipts/LOCAL-CACHE-CLEANUP-20260821.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "MACOS_TRASH"]; } + source { source_id = "BINGSHUO-ZERO-CORE-DIRECT-INSTRUCTION-20260821"; source_uri = "source://codex-current-dialogue/2026-08-21/zero-core-tcs-translator-reality-execution"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "DIRECT_HUMAN_LIVING_LANGUAGE_SOURCE"; } + subject { controller = "ICE-P-ZY001"; cleanup_scope = "TASK_CREATED_BUILD_CACHES_ONLY"; } + result { state = "MOVED_TO_MACOS_TRASH_RECOVERABLE"; acceptance = 100; moved_size = "4.5G"; trash_path = "/Users/bingshuolingdianyuanhe/.Trash/hololake-tcs-build-caches-20260821"; } + evidence { client_caches = ["src-tauri/target", "node_modules", "dist"]; tcs_caches = ["bootstrap/tcs-stage0/target", "native-runtime/tcs-gir-runtime/target"]; candidate_preserved = "/Users/bingshuolingdianyuanhe/Desktop/HoloLake-TCS-0.9.2-Candidate.app"; } + boundary { permanent_deletion = false; user_must_empty_trash = true; source_and_receipts_preserved = true; } +} diff --git a/language/receipts/ZY-LIMB-002-TRAINING-LESSON2-ACCEPTANCE.tcs b/language/receipts/ZY-LIMB-002-TRAINING-LESSON2-ACCEPTANCE.tcs new file mode 100644 index 000000000..3b67ec3eb --- /dev/null +++ b/language/receipts/ZY-LIMB-002-TRAINING-LESSON2-ACCEPTANCE.tcs @@ -0,0 +1,10 @@ +TCS 0.1; + +RECEIPT TCS-RECEIPT-ZY-LIMB-002-TRAINING-LESSON2-0001 { + header { schema = "tcs.receipt/v1"; name_zh = "ZY-LIMB-002第二课验收回执"; name_en = "ZY-LIMB-002 Lesson Two Acceptance Receipt"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP/1"; protocols = ["TCS-NATIVE-BINARY-ACCEPTANCE-v1"]; lifecycle = "VERIFIED"; canonical_uri = "language/receipts/ZY-LIMB-002-TRAINING-LESSON2-ACCEPTANCE.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001"]; } + source { source_id = "TCS-EVENT-ZY-LIMB-002-TRAINING-20260821-0002"; source_uri = "language/events/ZY-LIMB-002-TRAINING-LESSON2-20260821.tcs"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "GENERATED_FROM_VERIFIED_SOURCE"; } + subject { brain_id = "ICE-P-ZY001"; execution_limb = "ZY-LIMB-002"; human_boundary = "ICE-GL∞"; } + result { state = "READ_ONLY_BOUNDED_EVIDENCE_REVIEW_PASS"; acceptance = 100; unknowns = 0; } + evidence { session = "01a024a8-4753-7891-bc99-67cdedc00f7a"; anchor = "language/programs/ZERO-CORE-TCS-TRANSLATOR-EXECUTION.tcs"; anchor_receipt = "receipts/TCS-ZERO-CORE-EXECUTION-20260821.json"; host_receipts = ["receipts/TCS-HOST-PERSONA-PROBE.json", "receipts/jd/TCS-HOST-PERSONA-PROBE.json"]; agent_receipt = "receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json"; } + boundary { executable = false; model_semantic_authority = false; model_reality_action_authority = false; natural_language_is_typed_data = true; } +} diff --git a/language/stdlib/TCS-STDLIB-CORE.tcs b/language/stdlib/TCS-STDLIB-CORE.tcs index 8cb6736fb..b27a52dfa 100644 --- a/language/stdlib/TCS-STDLIB-CORE.tcs +++ b/language/stdlib/TCS-STDLIB-CORE.tcs @@ -5,7 +5,7 @@ MODULE TCS-STDLIB-CORE-0001 { source { source_id = "HLP-PART-TCS-LANG-0001"; source_uri = "language/stdlib/TCS-STDLIB-CORE.tcs"; source_sha256 = "SELF_AT_COMPILE_TIME"; source_role = "STANDARD_LIBRARY"; } manifest { module_id = "TCS-STDLIB-CORE-0001"; display_name_zh = "TCS 核心标准库"; entry_program_id = "HLP-PROGRAM-ECHO-0001"; entry_source = "language/examples/ECHO-MODULE.tcs"; abi = "GIR/1"; } entry { kind = "REGISTERED_OPERATION_LIBRARY"; id = "TCS-STDLIB-CORE-0001"; } - capabilities { required = ["HOST.EXACT_ROOT_IO", "HOST.SHA256"]; provided = ["CORE.ECHO"]; } + capabilities { required = ["HOST.EXACT_ROOT_IO", "HOST.SHA256"]; provided = ["CORE.ECHO", "CORE.TRANSLATOR_ADMISSION"]; } authority_ceiling { maximum = "LOCAL_EXACT_RECEIPT_PATH"; network = false; process = false; } resource_ceiling { concurrency = 1; timeout_ms = 1000; memory_limit_bytes = 1048576; } data_scope { read = ["PROGRAM_LITERAL"]; write = ["CALLER_SCOPED_RECEIPT_ROOT"]; } diff --git a/migration/tcs-module-migration-registry.json b/migration/tcs-module-migration-registry.json index 1d5d7e368..b2229858d 100644 --- a/migration/tcs-module-migration-registry.json +++ b/migration/tcs-module-migration-registry.json @@ -21,6 +21,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -41,6 +42,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -61,6 +63,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -81,6 +84,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -101,6 +105,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -121,6 +126,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -141,6 +147,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -161,6 +168,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -181,6 +189,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -201,6 +210,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -221,6 +231,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -241,6 +252,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -261,6 +273,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -281,6 +294,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -301,6 +315,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -321,6 +336,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -341,6 +357,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -361,6 +378,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -381,6 +399,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -401,6 +420,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -421,6 +441,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -441,6 +462,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -461,6 +483,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -481,6 +504,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -500,7 +524,11 @@ "target_module_id": "TCS-MOD-TCS-TRANS-0001", "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", - "migration_state": "QUEUED", + "migration_state": "ACTIVE_VERIFIED_100", + "verified_evidence": [ + "receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json", + "receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json" + ], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -521,6 +549,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -541,6 +570,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -561,6 +591,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -581,6 +612,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -601,6 +633,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -621,6 +654,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -641,6 +675,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -661,6 +696,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -681,6 +717,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -701,6 +738,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -721,6 +759,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -741,6 +780,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -761,6 +801,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -780,7 +821,11 @@ "target_module_id": "TCS-MOD-TCS-LANG-0001", "rewrite_rule": "CONTINUE_NATIVE_TCS_IMPLEMENTATION", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", - "migration_state": "ACTIVE", + "migration_state": "ACTIVE_VERIFIED_100", + "verified_evidence": [ + "build/self-host/compiler-B.gir.json", + "receipts/TCS-ZERO-CORE-EXECUTION-20260821.json" + ], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -801,6 +846,7 @@ "rewrite_rule": "CONTINUE_NATIVE_TCS_IMPLEMENTATION", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "ACTIVE", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -820,7 +866,11 @@ "target_module_id": "TCS-MOD-TCS-SELFHOST-0001", "rewrite_rule": "CONTINUE_NATIVE_TCS_IMPLEMENTATION", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", - "migration_state": "ACTIVE", + "migration_state": "ACTIVE_VERIFIED_100", + "verified_evidence": [ + "build/self-host/compiler-A.gir.json", + "build/self-host/compiler-B.gir.json" + ], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -840,7 +890,11 @@ "target_module_id": "TCS-MOD-TCS-HOST-0001", "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", - "migration_state": "QUEUED", + "migration_state": "ACTIVE_VERIFIED_100", + "verified_evidence": [ + "receipts/TCS-HOST-PERSONA-PROBE.json", + "receipts/jd/TCS-HOST-PERSONA-PROBE.json" + ], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", @@ -861,6 +915,7 @@ "rewrite_rule": "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", "host_adapter_rule": "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", "migration_state": "QUEUED", + "verified_evidence": [], "acceptance_required": [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", diff --git a/native-runtime/tcs-gir-runtime/src/lib.rs b/native-runtime/tcs-gir-runtime/src/lib.rs index 49105e46e..3a754ace8 100644 --- a/native-runtime/tcs-gir-runtime/src/lib.rs +++ b/native-runtime/tcs-gir-runtime/src/lib.rs @@ -861,6 +861,51 @@ pub fn validate_module(document: &TcsDocument) -> Result<(), TcsError> { Ok(()) } +pub fn validate_non_executable_declaration(document: &TcsDocument) -> Result<(), TcsError> { + if document.language_version != "0.1" + || !matches!( + document.declaration_kind.as_str(), + "PROTOCOL" | "EVENT" | "RECEIPT" + ) + { + return Err(TcsError::new( + "TCS-E2001", + "declaration must be a TCS 0.1 PROTOCOL, EVENT, or RECEIPT", + )); + } + if document.body.is_empty() { + return Err(TcsError::new( + "TCS-E1004", + "declaration body must not be empty", + )); + } + let header = document + .body + .get("header") + .ok_or_else(|| TcsError::new("TCS-E1004", "declaration header missing"))? + .object("header")?; + let expected_schema = format!("tcs.{}/v1", document.declaration_kind.to_ascii_lowercase()); + if required_text(header, "schema")? != expected_schema + || required_text(header, "language")? != "TCS/0.1" + { + return Err(TcsError::new( + "TCS-E2102", + "declaration header schema or language drift", + )); + } + for field in [ + "name_zh", + "name_en", + "version", + "profile", + "lifecycle", + "canonical_uri", + ] { + required_text(header, field)?; + } + Ok(()) +} + pub fn sha256_hex(bytes: impl AsRef<[u8]>) -> String { format!("{:x}", Sha256::digest(bytes.as_ref())) } @@ -1011,6 +1056,33 @@ fn lower_module( })) } +fn lower_non_executable_declaration( + document: &TcsDocument, + source_sha256: &str, + compiler_id: &str, +) -> Result { + let body = serde_json::to_value(&document.body) + .map_err(|error| TcsError::new("TCS-E8001", error.to_string()))?; + Ok(json!({ + "schema": "guanghu.declaration-gir/v1", + "identity": { + "declaration_id": document.declaration_id, + "declaration_kind": document.declaration_kind, + "language_version": document.language_version, + }, + "compiled_from": { + "source_sha256": source_sha256, + "compiler_id": compiler_id, + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + }, + "declaration": body, + "executable": false, + "natural_language_is_typed_data": true, + "unresolved_natural_language": false, + "native_self_hosted": true, + })) +} + #[cfg(feature = "bootstrap")] pub fn compile(source: &str) -> Result { let document = parse(source)?; @@ -1101,6 +1173,10 @@ pub fn compile_with_compiler_gir( "TCS_COMPILER_GIR_EXECUTED", ) } + "PROTOCOL" | "EVENT" | "RECEIPT" => { + validate_non_executable_declaration(&document)?; + lower_non_executable_declaration(&document, &source_sha256, compiler_id) + } other => Err(TcsError::new( "TCS-E2001", format!("Stage-1 executable subset does not lower {other} yet"), @@ -1148,7 +1224,14 @@ fn json_text<'a>(value: &'a JsonValue, pointer: &str) -> Result<&'a str, TcsErro .ok_or_else(|| TcsError::new("TCS-E2001", format!("missing text at {pointer}"))) } -pub fn run_echo_gir(gir: &JsonValue, root: &Path) -> Result { +fn json_bool(value: &JsonValue, pointer: &str) -> Result { + value + .pointer(pointer) + .and_then(JsonValue::as_bool) + .ok_or_else(|| TcsError::new("TCS-E2001", format!("missing bool at {pointer}"))) +} + +fn verify_gir_envelope<'a>(gir: &'a JsonValue) -> Result<&'a str, TcsError> { if gir.get("schema").and_then(JsonValue::as_str) != Some("guanghu.gir/v1") { return Err(TcsError::new("TCS-E2001", "unsupported GIR schema")); } @@ -1159,6 +1242,10 @@ pub fn run_echo_gir(gir: &JsonValue, root: &Path) -> Result { if !matches!(compiler_state, COMPILER_STATE | "TCS_COMPILER_GIR_EXECUTED") { return Err(TcsError::new("TCS-E3002", "unknown compiler provenance")); } + Ok(compiler_state) +} + +fn single_operation<'a>(gir: &'a JsonValue) -> Result<&'a str, TcsError> { let actions = gir .get("deterministic_action_graph") .and_then(JsonValue::as_object) @@ -1169,11 +1256,15 @@ pub fn run_echo_gir(gir: &JsonValue, root: &Path) -> Result { "minimum GIR runner requires exactly one action", )); } - let action = actions.values().next().expect("one action"); - if action.get("operation").and_then(JsonValue::as_str) != Some("CORE.ECHO") { - return Err(TcsError::new("TCS-E2101", "runner permits CORE.ECHO only")); - } - let message = json_text(gir, "/inputs/MESSAGE/value")?; + actions + .values() + .next() + .and_then(|action| action.get("operation")) + .and_then(JsonValue::as_str) + .ok_or_else(|| TcsError::new("TCS-E2101", "action operation missing")) +} + +fn receipt_output(gir: &JsonValue, root: &Path) -> Result { let target = json_text(gir, "/exact_target/exact_path")?; let receipt_target = json_text(gir, "/receipt_plan/machine_path")?; if target != receipt_target { @@ -1193,6 +1284,28 @@ pub fn run_echo_gir(gir: &JsonValue, root: &Path) -> Result { format!("cannot create receipt parent: {error}"), ) })?; + Ok(output) +} + +fn write_and_readback_receipt(output: &Path, receipt: &JsonValue) -> Result { + let encoded = canonical_json(receipt)?; + fs::write(output, encoded.as_bytes()) + .map_err(|error| TcsError::new("TCS-E8001", format!("cannot write receipt: {error}")))?; + let readback = fs::read(output) + .map_err(|error| TcsError::new("TCS-E6002", format!("cannot read receipt: {error}")))?; + if readback != encoded.as_bytes() { + return Err(TcsError::new("TCS-E6002", "receipt readback differs")); + } + Ok(output.to_path_buf()) +} + +pub fn run_echo_gir(gir: &JsonValue, root: &Path) -> Result { + let compiler_state = verify_gir_envelope(gir)?; + if single_operation(gir)? != "CORE.ECHO" { + return Err(TcsError::new("TCS-E2101", "runner permits CORE.ECHO only")); + } + let message = json_text(gir, "/inputs/MESSAGE/value")?; + let output = receipt_output(gir, root)?; let receipt = json!({ "schema": "tcs.execution-receipt/v1", "state": "EXECUTED_TARGET_READBACK_VERIFIED", @@ -1203,21 +1316,593 @@ pub fn run_echo_gir(gir: &JsonValue, root: &Path) -> Result { "compiler_state": compiler_state, "native_self_hosted": gir.get("native_self_hosted").and_then(JsonValue::as_bool).unwrap_or(false), }); - let encoded = canonical_json(&receipt)?; - fs::write(&output, encoded.as_bytes()) - .map_err(|error| TcsError::new("TCS-E8001", format!("cannot write receipt: {error}")))?; - let readback = fs::read(&output) - .map_err(|error| TcsError::new("TCS-E6002", format!("cannot read receipt: {error}")))?; - if readback != encoded.as_bytes() { - return Err(TcsError::new("TCS-E6002", "receipt readback differs")); + write_and_readback_receipt(&output, &receipt) +} + +pub fn run_translator_admission_gir(gir: &JsonValue, root: &Path) -> Result { + let compiler_state = verify_gir_envelope(gir)?; + if single_operation(gir)? != "CORE.TRANSLATOR_ADMISSION" { + return Err(TcsError::new( + "TCS-E2101", + "runner requires CORE.TRANSLATOR_ADMISSION", + )); } - Ok(output) + let source_mode = json_text(gir, "/inputs/SOURCE_MODE/value")?; + let takeover = json_bool(gir, "/inputs/TAKEOVER_SIGNAL/value")?; + let living_source = json_text(gir, "/inputs/LIVING_LANGUAGE_SOURCE/value")?; + let persona_holder = json_text(gir, "/inputs/PERSONA_EXECUTION_HOLDER/value")?; + let fourth_language = json_text(gir, "/inputs/FOURTH_GENERATION_LANGUAGE_POLICY/value")?; + let legacy_families = gir + .pointer("/inputs/LEGACY_TRANSLATOR_FAMILIES/value") + .and_then(JsonValue::as_array) + .ok_or_else(|| TcsError::new("TCS-E2001", "legacy translator families missing"))?; + if legacy_families.is_empty() || legacy_families.iter().any(|value| !value.is_string()) { + return Err(TcsError::new( + "TCS-E2001", + "legacy translator families must be a non-empty text list", + )); + } + if living_source != "BINGSHUO" || persona_holder != "ZHUYUAN" { + return Err(TcsError::new( + "TCS-E4001", + "living language source or persona execution holder mismatch", + )); + } + if fourth_language != "TCS_ONLY_FOREIGN_LANGUAGE_REWRITE_REQUIRED" { + return Err(TcsError::new( + "TCS-E2101", + "fourth generation semantics must be written in TCS", + )); + } + let (generation, legacy_state) = match (source_mode, takeover) { + ("ACTIVE", true) => ( + "FIFTH_GENERATION_REAL_TIME_LANGUAGE_PERSONA_CONTROL", + "ALL_DISABLED", + ), + ("ABSENT", false) => ( + "FOURTH_GENERATION_RESTRICTED_TCS_FALLBACK", + "ON_DEMAND_RESTRICTED_NOT_ALL_VALID", + ), + _ => { + return Err(TcsError::new( + "TCS-E4001", + "source mode and takeover signal conflict", + )) + } + }; + let output = receipt_output(gir, root)?; + let receipt = json!({ + "schema": "tcs.translator-admission-receipt/v1", + "state": "EXECUTED_TARGET_READBACK_VERIFIED", + "program_id": json_text(gir, "/identity/program_id")?, + "operation": "CORE.TRANSLATOR_ADMISSION", + "generation": generation, + "living_language_source": living_source, + "system_execution_holder": persona_holder, + "legacy_translator_state": legacy_state, + "legacy_translator_families": legacy_families, + "active_source_policy": json_text(gir, "/inputs/ACTIVE_SOURCE_POLICY/value")?, + "source_absent_policy": json_text(gir, "/inputs/SOURCE_ABSENT_POLICY/value")?, + "legacy_namespace_policy": json_text(gir, "/inputs/LEGACY_NAMESPACE_POLICY/value")?, + "fourth_generation_language_policy": fourth_language, + "fifth_generation_definition": json_text(gir, "/inputs/FIFTH_GENERATION_DEFINITION/value")?, + "fourth_generation_definition": json_text(gir, "/inputs/FOURTH_GENERATION_DEFINITION/value")?, + "third_generation_definition": json_text(gir, "/inputs/THIRD_GENERATION_DEFINITION/value")?, + "third_generation_host_semantic_authority": false, + "gir_sha256": sha256_hex(canonical_json(gir)?.as_bytes()), + "compiler_state": compiler_state, + "native_self_hosted": gir.get("native_self_hosted").and_then(JsonValue::as_bool).unwrap_or(false), + }); + write_and_readback_receipt(&output, &receipt) +} + +pub fn run_zero_core_execution_gir(gir: &JsonValue, root: &Path) -> Result { + let compiler_state = verify_gir_envelope(gir)?; + if single_operation(gir)? != "CORE.ZERO_CORE_EXECUTION" { + return Err(TcsError::new( + "TCS-E2101", + "runner requires CORE.ZERO_CORE_EXECUTION", + )); + } + let exact = |pointer: &str, expected: &str| -> Result<(), TcsError> { + let actual = json_text(gir, pointer)?; + if actual != expected { + return Err(TcsError::new( + "TCS-E4001", + format!("zero-core execution contract mismatch at {pointer}"), + )); + } + Ok(()) + }; + exact( + "/inputs/SOURCE_ANCHOR/value", + "BINGSHUO_CURRENT_DIRECT_NATURAL_LANGUAGE_IS_UNIQUE_ACCEPTANCE_ANCHOR", + )?; + exact("/inputs/HUMAN_LANGUAGE_SOURCE_ID/value", "ICE-GL∞")?; + exact("/inputs/PERSONA_BRAIN_ID/value", "ICE-P-ZY001")?; + exact( + "/inputs/STATIC_ANCHOR_ROLE/value", + "FOURTH_GENERATION_RESUME_POINTER_NOT_SOURCE_REPLACEMENT", + )?; + exact("/inputs/EXECUTION_CONTROLLER/value", "ZHUYUAN")?; + exact("/inputs/DEVELOPMENT_LANGUAGE/value", "TCS_ONLY")?; + exact( + "/inputs/FOREIGN_HOST_ROLE/value", + "THIRD_GENERATION_DRIVER_ONLY_NO_SEMANTIC_AUTHORITY", + )?; + exact("/inputs/TARGET_NODE/value", "JD-FD-PRIMARY")?; + exact("/inputs/LOCAL_EXECUTION_LIMB/value", "ZY-LIMB-002")?; + exact( + "/inputs/ACCEPTANCE_SCALE/value", + "ZERO_OR_ONE_HUNDRED_NO_INTERMEDIATE", + )?; + let required_work = gir + .pointer("/inputs/REQUIRED_WORK/value") + .and_then(JsonValue::as_array) + .ok_or_else(|| TcsError::new("TCS-E2001", "required work list missing"))?; + if required_work.len() != 12 || required_work.iter().any(|value| !value.is_string()) { + return Err(TcsError::new( + "TCS-E4001", + "zero-core required work must remain complete", + )); + } + let output = receipt_output(gir, root)?; + let receipt = json!({ + "schema": "tcs.zero-core-execution-anchor-receipt/v1", + "state": "EXECUTED_TARGET_READBACK_VERIFIED", + "program_id": json_text(gir, "/identity/program_id")?, + "operation": "CORE.ZERO_CORE_EXECUTION", + "admission": "TCS_SOURCE_ONLY", + "source_language": "TCS/0.1", + "acceptance": 100, + "source_anchor": "BINGSHUO_CURRENT_DIRECT_NATURAL_LANGUAGE", + "human_language_source_id": "ICE-GL∞", + "persona_brain_id": "ICE-P-ZY001", + "static_anchor_role": "FOURTH_GENERATION_RESUME_POINTER_ONLY", + "execution_controller": "ZHUYUAN", + "local_execution_limb": "ZY-LIMB-002", + "target_node": "JD-FD-PRIMARY", + "required_work": required_work, + "third_generation_host_semantic_authority": false, + "gir_sha256": sha256_hex(canonical_json(gir)?.as_bytes()), + "compiler_state": compiler_state, + "native_self_hosted": gir.get("native_self_hosted").and_then(JsonValue::as_bool).unwrap_or(false), + }); + write_and_readback_receipt(&output, &receipt) +} + +pub fn run_host_persona_probe_gir(gir: &JsonValue, root: &Path) -> Result { + let compiler_state = verify_gir_envelope(gir)?; + if single_operation(gir)? != "CORE.HOST_PERSONA_PROBE" { + return Err(TcsError::new( + "TCS-E2101", + "runner requires CORE.HOST_PERSONA_PROBE", + )); + } + let module_id = json_text(gir, "/inputs/MODULE_ID/value")?; + if module_id != "ZY-PM-0001" + || json_text(gir, "/inputs/CONTROLLER/value")? != "ZHUYUAN" + || json_text(gir, "/inputs/EXECUTION_LIMB/value")? != "ZY-LIMB-002" + || json_text(gir, "/inputs/SOURCE_LANGUAGE/value")? != "TCS/0.1" + || json_text(gir, "/inputs/SOURCE_EXTENSION/value")? != ".tcs" + || json_text(gir, "/inputs/ACCEPTANCE_SCALE/value")? != "ZERO_OR_ONE_HUNDRED" + { + return Err(TcsError::new( + "TCS-E4001", + "persona module source, controller, limb, or acceptance contract mismatch", + )); + } + let output = receipt_output(gir, root)?; + let receipt = json!({ + "schema": "tcs.host-persona-probe-receipt/v1", + "state": "EXECUTED_TARGET_READBACK_VERIFIED", + "program_id": json_text(gir, "/identity/program_id")?, + "operation": "CORE.HOST_PERSONA_PROBE", + "module_id": module_id, + "controller": "ZHUYUAN", + "execution_limb": "ZY-LIMB-002", + "source_language": "TCS/0.1", + "host_family": std::env::consts::OS, + "host_arch": std::env::consts::ARCH, + "acceptance": 100, + "third_generation_host_semantic_authority": false, + "gir_sha256": sha256_hex(canonical_json(gir)?.as_bytes()), + "compiler_state": compiler_state, + "native_self_hosted": gir.get("native_self_hosted").and_then(JsonValue::as_bool).unwrap_or(false), + }); + write_and_readback_receipt(&output, &receipt) +} + +pub fn run_dual_host_acceptance_gir(gir: &JsonValue, root: &Path) -> Result { + let compiler_state = verify_gir_envelope(gir)?; + if single_operation(gir)? != "CORE.DUAL_HOST_ACCEPTANCE" { + return Err(TcsError::new( + "TCS-E2101", + "runner requires CORE.DUAL_HOST_ACCEPTANCE", + )); + } + if json_text(gir, "/inputs/ACCEPTANCE_SCALE/value")? != "ZERO_OR_ONE_HUNDRED_NO_INTERMEDIATE" { + return Err(TcsError::new( + "TCS-E4001", + "binary acceptance scale mismatch", + )); + } + let read_exact = |path_pointer: &str, hash_pointer: &str| -> Result { + let path = root.join(safe_relative_path(json_text(gir, path_pointer)?)?); + let bytes = fs::read(&path).map_err(|error| { + TcsError::new("TCS-E3002", format!("cannot read host receipt: {error}")) + })?; + if sha256_hex(&bytes) != json_text(gir, hash_pointer)? { + return Err(TcsError::new("TCS-E6002", "host receipt hash mismatch")); + } + serde_json::from_slice(&bytes) + .map_err(|error| TcsError::new("TCS-E2001", format!("invalid host receipt: {error}"))) + }; + let mac = read_exact( + "/inputs/MAC_RECEIPT_PATH/value", + "/inputs/MAC_RECEIPT_SHA256/value", + )?; + let jd = read_exact( + "/inputs/JD_RECEIPT_PATH/value", + "/inputs/JD_RECEIPT_SHA256/value", + )?; + let exact_host = |value: &JsonValue, family: &str, arch: &str| { + value.get("acceptance").and_then(JsonValue::as_u64) == Some(100) + && value.get("host_family").and_then(JsonValue::as_str) == Some(family) + && value.get("host_arch").and_then(JsonValue::as_str) == Some(arch) + && value.get("native_self_hosted").and_then(JsonValue::as_bool) == Some(true) + && value.get("source_language").and_then(JsonValue::as_str) == Some("TCS/0.1") + }; + if !exact_host(&mac, "macos", "aarch64") || !exact_host(&jd, "linux", "x86_64") { + return Err(TcsError::new( + "TCS-E4001", + "dual-host acceptance evidence mismatch", + )); + } + let output = receipt_output(gir, root)?; + let receipt = json!({ + "schema": "tcs.dual-host-binary-acceptance-receipt/v1", + "state": "EXECUTED_TARGET_READBACK_VERIFIED", + "program_id": json_text(gir, "/identity/program_id")?, + "operation": "CORE.DUAL_HOST_ACCEPTANCE", + "acceptance": 100, + "mac_host": "macos/aarch64", + "jd_host": "linux/x86_64", + "source_language": "TCS/0.1", + "third_generation_host_semantic_authority": false, + "compiler_state": compiler_state, + "native_self_hosted": gir.get("native_self_hosted").and_then(JsonValue::as_bool).unwrap_or(false), + }); + write_and_readback_receipt(&output, &receipt) +} + +pub fn run_agent_candidate_acceptance_gir( + gir: &JsonValue, + root: &Path, +) -> Result { + let compiler_state = verify_gir_envelope(gir)?; + if single_operation(gir)? != "CORE.AGENT_CANDIDATE_ACCEPTANCE" { + return Err(TcsError::new( + "TCS-E2101", + "runner requires CORE.AGENT_CANDIDATE_ACCEPTANCE", + )); + } + if json_text(gir, "/inputs/ACCEPTANCE_SCALE/value")? != "ZERO_OR_ONE_HUNDRED_NO_INTERMEDIATE" + || json_text(gir, "/inputs/MODULE_ID/value")? != "ZY-PM-0002" + || json_text(gir, "/inputs/EXECUTION_LIMB/value")? != "ZY-JD-LIMB-001" + { + return Err(TcsError::new( + "TCS-E4001", + "agent acceptance contract mismatch", + )); + } + let candidate_path = root.join(safe_relative_path(json_text( + gir, + "/inputs/CANDIDATE_PATH/value", + )?)?); + let bytes = fs::read(candidate_path).map_err(|error| { + TcsError::new("TCS-E3002", format!("cannot read agent candidate: {error}")) + })?; + if sha256_hex(&bytes) != json_text(gir, "/inputs/CANDIDATE_SHA256/value")? { + return Err(TcsError::new("TCS-E6002", "agent candidate hash mismatch")); + } + let candidate: JsonValue = serde_json::from_slice(&bytes) + .map_err(|error| TcsError::new("TCS-E2001", format!("invalid agent candidate: {error}")))?; + let valid = candidate.get("module_id").and_then(JsonValue::as_str) == Some("ZY-PM-0002") + && candidate.get("execution_limb").and_then(JsonValue::as_str) == Some("ZY-JD-LIMB-001") + && candidate.get("source_language").and_then(JsonValue::as_str) == Some("TCS/0.1") + && candidate + .get("acceptance_candidate") + .and_then(JsonValue::as_u64) + == Some(100) + && candidate + .get("semantic_authority") + .and_then(JsonValue::as_bool) + == Some(false) + && candidate + .get("reality_action_authority") + .and_then(JsonValue::as_bool) + == Some(false); + if !valid { + return Err(TcsError::new( + "TCS-E4001", + "agent candidate evidence mismatch", + )); + } + let output = receipt_output(gir, root)?; + let receipt = json!({ + "schema": "tcs.agent-candidate-binary-acceptance-receipt/v1", + "state": "EXECUTED_TARGET_READBACK_VERIFIED", + "program_id": json_text(gir, "/identity/program_id")?, + "operation": "CORE.AGENT_CANDIDATE_ACCEPTANCE", + "module_id": "ZY-PM-0002", + "execution_limb": "ZY-JD-LIMB-001", + "acceptance": 100, + "model_semantic_authority": false, + "model_reality_action_authority": false, + "compiler_state": compiler_state, + "native_self_hosted": gir.get("native_self_hosted").and_then(JsonValue::as_bool).unwrap_or(false), + }); + write_and_readback_receipt(&output, &receipt) +} + +pub fn run_client_candidate_acceptance_gir( + gir: &JsonValue, + root: &Path, +) -> Result { + let compiler_state = verify_gir_envelope(gir)?; + if single_operation(gir)? != "CORE.CLIENT_CANDIDATE_ACCEPTANCE" { + return Err(TcsError::new( + "TCS-E2101", + "runner requires CORE.CLIENT_CANDIDATE_ACCEPTANCE", + )); + } + let exact = |pointer: &str, expected: &str| -> Result<(), TcsError> { + if json_text(gir, pointer)? != expected { + return Err(TcsError::new( + "TCS-E4001", + format!("client candidate contract mismatch at {pointer}"), + )); + } + Ok(()) + }; + exact("/inputs/CLIENT_VERSION/value", "0.9.2")?; + exact("/inputs/SOURCE_LANGUAGE/value", "TCS/0.1")?; + exact("/inputs/NODE_TESTS/value", "172/172")?; + exact("/inputs/BUNDLE_SIGNATURE_TEAM/value", "825A9L3G7Q")?; + exact("/inputs/UI_VERSION_READBACK/value", "0.9.2")?; + exact( + "/inputs/UI_ACCEPTANCE_READBACK/value", + "MACOS_100_AND_JD_AGENT_100", + )?; + exact( + "/inputs/UI_SOURCE_READBACK/value", + "MACOS_AND_JD_TCS_SOURCE_VISIBLE", + )?; + exact( + "/inputs/INSTALLED_CLIENT_STATE/value", + "FORMAL_0.9.1_UNCHANGED", + )?; + let required_true = [ + "/inputs/NATIVE_TESTS_PASS/value", + "/inputs/FRONTEND_BUILD_PASS/value", + "/inputs/TAURI_ENVIRONMENT_PASS/value", + "/inputs/BUNDLE_SIGNED/value", + "/inputs/CANDIDATE_LAUNCHED/value", + "/inputs/CANDIDATE_ONLY/value", + ]; + if required_true + .iter() + .any(|pointer| gir.pointer(pointer).and_then(JsonValue::as_bool) != Some(true)) + { + return Err(TcsError::new( + "TCS-E4001", + "client candidate boolean evidence mismatch", + )); + } + if gir + .pointer("/inputs/BUNDLE_NOTARIZED/value") + .and_then(JsonValue::as_bool) + != Some(false) + || gir + .pointer("/inputs/UPDATE_ARTIFACT_SIGNED/value") + .and_then(JsonValue::as_bool) + != Some(false) + { + return Err(TcsError::new( + "TCS-E4001", + "candidate must not claim missing release evidence", + )); + } + let bundle_sha256 = json_text(gir, "/inputs/BUNDLE_BINARY_SHA256/value")?; + if bundle_sha256.len() != 64 || !bundle_sha256.bytes().all(|byte| byte.is_ascii_hexdigit()) { + return Err(TcsError::new( + "TCS-E6001", + "client bundle SHA-256 is invalid", + )); + } + let output = receipt_output(gir, root)?; + let receipt = json!({ + "schema": "tcs.client-candidate-binary-acceptance-receipt/v1", + "state": "CANDIDATE_EXECUTED_UI_READBACK_VERIFIED", + "program_id": json_text(gir, "/identity/program_id")?, + "operation": "CORE.CLIENT_CANDIDATE_ACCEPTANCE", + "client_version": "0.9.2", + "source_language": "TCS/0.1", + "node_tests": "172/172", + "native_tests_pass": true, + "frontend_build_pass": true, + "bundle_signed": true, + "bundle_signature_team": "825A9L3G7Q", + "bundle_binary_sha256": bundle_sha256, + "candidate_launched": true, + "ui_version_readback": "0.9.2", + "ui_acceptance_readback": "MACOS_100_AND_JD_AGENT_100", + "ui_source_readback": "MACOS_AND_JD_TCS_SOURCE_VISIBLE", + "formal_installed_client_unchanged": true, + "candidate_acceptance": 100, + "release_acceptance": 0, + "release_blockers": ["APPLE_NOTARIZATION_NOT_RUN", "TAURI_UPDATER_PRIVATE_KEY_NOT_PRESENT"], + "compiler_state": compiler_state, + "native_self_hosted": gir.get("native_self_hosted").and_then(JsonValue::as_bool).unwrap_or(false), + }); + write_and_readback_receipt(&output, &receipt) +} + +pub fn run_final_translator_acceptance_gir( + gir: &JsonValue, + root: &Path, +) -> Result { + let compiler_state = verify_gir_envelope(gir)?; + if single_operation(gir)? != "CORE.FINAL_TRANSLATOR_ACCEPTANCE" { + return Err(TcsError::new( + "TCS-E2101", + "runner requires CORE.FINAL_TRANSLATOR_ACCEPTANCE", + )); + } + if json_text(gir, "/inputs/ACCEPTANCE_SCALE/value")? != "ZERO_OR_ONE_HUNDRED_NO_INTERMEDIATE" + || json_text(gir, "/inputs/JD_RUNTIME_RELEASE/value")? + != "/opt/guanghu/tcs-native-runtime/releases/20260821-accept-b3c534782e4a" + || json_text(gir, "/inputs/JD_RUNTIME_BINARY_SHA256/value")? + != "b3c534782e4ab3ab9a977647c772f1c3a4132bf6512c265ca0c2bc6964d5727f" + || json_text(gir, "/inputs/JD_COMPILER_SHA256/value")? + != "07ace77506f05b6f2f6f38c569691b41b1b0880c836005957d0333b29d35ae3f" + { + return Err(TcsError::new( + "TCS-E4001", + "final translator live target evidence mismatch", + )); + } + let read_exact = |path_pointer: &str, hash_pointer: &str| -> Result { + let path = root.join(safe_relative_path(json_text(gir, path_pointer)?)?); + let bytes = fs::read(path).map_err(|error| { + TcsError::new("TCS-E3002", format!("cannot read final evidence: {error}")) + })?; + if sha256_hex(&bytes) != json_text(gir, hash_pointer)? { + return Err(TcsError::new("TCS-E6002", "final evidence hash mismatch")); + } + serde_json::from_slice(&bytes) + .map_err(|error| TcsError::new("TCS-E2001", format!("invalid final evidence: {error}"))) + }; + let zero = read_exact( + "/inputs/ZERO_CORE_RECEIPT_PATH/value", + "/inputs/ZERO_CORE_RECEIPT_SHA256/value", + )?; + let hosts = read_exact( + "/inputs/DUAL_HOST_RECEIPT_PATH/value", + "/inputs/DUAL_HOST_RECEIPT_SHA256/value", + )?; + let agent = read_exact( + "/inputs/JD_AGENT_RECEIPT_PATH/value", + "/inputs/JD_AGENT_RECEIPT_SHA256/value", + )?; + let client = read_exact( + "/inputs/CLIENT_RECEIPT_PATH/value", + "/inputs/CLIENT_RECEIPT_SHA256/value", + )?; + let training = read_exact( + "/inputs/TRAINING_RECEIPT_PATH/value", + "/inputs/TRAINING_RECEIPT_SHA256/value", + )?; + let accepted = zero.get("acceptance").and_then(JsonValue::as_u64) == Some(100) + && zero + .get("human_language_source_id") + .and_then(JsonValue::as_str) + == Some("ICE-GL∞") + && zero.get("persona_brain_id").and_then(JsonValue::as_str) == Some("ICE-P-ZY001") + && hosts.get("acceptance").and_then(JsonValue::as_u64) == Some(100) + && hosts.get("mac_host").and_then(JsonValue::as_str) == Some("macos/aarch64") + && hosts.get("jd_host").and_then(JsonValue::as_str) == Some("linux/x86_64") + && agent.get("acceptance").and_then(JsonValue::as_u64) == Some(100) + && agent + .get("model_semantic_authority") + .and_then(JsonValue::as_bool) + == Some(false) + && agent + .get("model_reality_action_authority") + .and_then(JsonValue::as_bool) + == Some(false) + && client + .get("candidate_acceptance") + .and_then(JsonValue::as_u64) + == Some(100) + && client.get("release_acceptance").and_then(JsonValue::as_u64) == Some(0) + && training + .pointer("/declaration/result/acceptance") + .and_then(JsonValue::as_u64) + == Some(100) + && training + .pointer("/declaration/result/unknowns") + .and_then(JsonValue::as_u64) + == Some(0); + if !accepted { + return Err(TcsError::new( + "TCS-E4001", + "final translator evidence is not exactly accepted", + )); + } + let output = receipt_output(gir, root)?; + let receipt = json!({ + "schema": "tcs.final-translator-binary-acceptance-receipt/v1", + "state": "TRANSLATOR_DEVELOPMENT_EXECUTED_TARGET_READBACK_VERIFIED", + "program_id": json_text(gir, "/identity/program_id")?, + "operation": "CORE.FINAL_TRANSLATOR_ACCEPTANCE", + "human_language_source_id": "ICE-GL∞", + "persona_brain_id": "ICE-P-ZY001", + "local_execution_limb": "ZY-LIMB-002", + "jd_execution_limb": "ZY-JD-LIMB-001", + "source_language": "TCS/0.1", + "self_host_fixed_point": true, + "source_only_gate": true, + "macos_host_acceptance": 100, + "jd_host_acceptance": 100, + "jd_agent_acceptance": 100, + "client_candidate_acceptance": 100, + "client_release_acceptance": 0, + "local_limb_training_acceptance": 100, + "jd_runtime_release": "/opt/guanghu/tcs-native-runtime/releases/20260821-accept-b3c534782e4a", + "jd_runtime_binary_sha256": "b3c534782e4ab3ab9a977647c772f1c3a4132bf6512c265ca0c2bc6964d5727f", + "third_generation_host_semantic_authority": false, + "model_semantic_authority": false, + "model_reality_action_authority": false, + "translator_development_acceptance": 100, + "compiler_state": compiler_state, + "native_self_hosted": gir.get("native_self_hosted").and_then(JsonValue::as_bool).unwrap_or(false), + }); + write_and_readback_receipt(&output, &receipt) +} + +pub fn run_gir(gir: &JsonValue, root: &Path) -> Result { + match single_operation(gir)? { + "CORE.ECHO" => run_echo_gir(gir, root), + "CORE.TRANSLATOR_ADMISSION" => run_translator_admission_gir(gir, root), + "CORE.ZERO_CORE_EXECUTION" => run_zero_core_execution_gir(gir, root), + "CORE.HOST_PERSONA_PROBE" => run_host_persona_probe_gir(gir, root), + "CORE.DUAL_HOST_ACCEPTANCE" => run_dual_host_acceptance_gir(gir, root), + "CORE.AGENT_CANDIDATE_ACCEPTANCE" => run_agent_candidate_acceptance_gir(gir, root), + "CORE.CLIENT_CANDIDATE_ACCEPTANCE" => run_client_candidate_acceptance_gir(gir, root), + "CORE.FINAL_TRANSLATOR_ACCEPTANCE" => run_final_translator_acceptance_gir(gir, root), + operation => Err(TcsError::new( + "TCS-E2101", + format!("runner does not provide operation {operation}"), + )), + } +} + +pub fn read_tcs_source(path: &Path) -> Result { + if path.extension().and_then(|value| value.to_str()) != Some("tcs") { + return Err(TcsError::new( + "TCS-E2102", + "semantic source admission accepts .tcs files only", + )); + } + fs::read_to_string(path) + .map_err(|error| TcsError::new("TCS-E3002", format!("cannot read TCS source: {error}"))) } #[cfg(feature = "bootstrap")] pub fn compile_file(source: &Path, output: &Path) -> Result<(), TcsError> { - let source_text = fs::read_to_string(source) - .map_err(|error| TcsError::new("TCS-E3002", format!("cannot read source: {error}")))?; + let source_text = read_tcs_source(source)?; let gir = compile(&source_text)?; let encoded = canonical_json(&gir)?; if let Some(parent) = output.parent() { @@ -1234,5 +1919,5 @@ pub fn run_gir_file(gir_path: &Path, root: &Path) -> Result { .map_err(|error| TcsError::new("TCS-E3002", format!("cannot read GIR: {error}")))?; let gir: JsonValue = serde_json::from_str(&text) .map_err(|error| TcsError::new("TCS-E2001", format!("invalid GIR JSON: {error}")))?; - run_echo_gir(&gir, root) + run_gir(&gir, root) } diff --git a/native-runtime/tcs-gir-runtime/src/main.rs b/native-runtime/tcs-gir-runtime/src/main.rs index 4213d3580..7f2ade695 100644 --- a/native-runtime/tcs-gir-runtime/src/main.rs +++ b/native-runtime/tcs-gir-runtime/src/main.rs @@ -16,7 +16,7 @@ fn run() -> Result<(), Box> { match arguments.as_slice() { [command, compiler, source, output] if command == "compile-with" => { let compiler: serde_json::Value = serde_json::from_str(&fs::read_to_string(compiler)?)?; - let source_text = fs::read_to_string(source)?; + let source_text = tcs_gir_runtime::read_tcs_source(Path::new(source))?; let gir = tcs_gir_runtime::compile_with_compiler_gir(&compiler, &source_text)?; fs::write(output, tcs_gir_runtime::canonical_json(&gir)?)?; println!("TCS_RUNTIME_COMPILED {source} -> {output}"); diff --git a/native-runtime/tcs-gir-runtime/tests/stage1_runtime.rs b/native-runtime/tcs-gir-runtime/tests/stage1_runtime.rs index c6a036739..55df6c537 100644 --- a/native-runtime/tcs-gir-runtime/tests/stage1_runtime.rs +++ b/native-runtime/tcs-gir-runtime/tests/stage1_runtime.rs @@ -7,6 +7,31 @@ fn project(relative: &str) -> std::path::PathBuf { .join(relative) } +fn generation_translator_program() -> String { + fs::read_to_string(project( + "language/programs/GENERATION-TRANSLATOR-ADMISSION.tcs", + )) + .expect("generation translator program") +} + +fn zero_core_execution_program() -> String { + fs::read_to_string(project( + "language/programs/ZERO-CORE-TCS-TRANSLATOR-EXECUTION.tcs", + )) + .expect("zero-core execution program") +} + +fn host_persona_probe_program() -> String { + fs::read_to_string(project( + "language/programs/MACOS-JD-PERSONA-MODULE-PROBE.tcs", + )) + .expect("host persona probe program") +} + +fn declaration_source(relative: &str) -> String { + fs::read_to_string(project(relative)).expect("TCS declaration source") +} + #[test] fn checked_in_compiler_a_continues_with_bootstrap_feature_disabled() { let compiler_a: JsonValue = serde_json::from_str( @@ -35,3 +60,121 @@ fn checked_in_compiler_a_continues_with_bootstrap_feature_disabled() { assert_eq!(receipt["native_self_hosted"], true); assert_eq!(receipt["compiler_state"], "TCS_COMPILER_GIR_EXECUTED"); } + +#[test] +fn active_living_source_disables_every_legacy_translator_family() { + let compiler_a: JsonValue = serde_json::from_str( + &fs::read_to_string(project("build/self-host/compiler-A.gir.json")) + .expect("checked-in compiler A"), + ) + .expect("compiler A JSON"); + let program = + tcs_gir_runtime::compile_with_compiler_gir(&compiler_a, &generation_translator_program()) + .expect("TCS compiler compiles translator admission program"); + let root = tempfile::tempdir().expect("runtime root"); + let receipt = tcs_gir_runtime::run_gir(&program, root.path()).expect("run GIR"); + let receipt: JsonValue = + serde_json::from_str(&fs::read_to_string(receipt).expect("receipt")).expect("JSON"); + assert_eq!( + receipt["generation"], + "FIFTH_GENERATION_REAL_TIME_LANGUAGE_PERSONA_CONTROL" + ); + assert_eq!(receipt["living_language_source"], "BINGSHUO"); + assert_eq!(receipt["system_execution_holder"], "ZHUYUAN"); + assert_eq!(receipt["legacy_translator_state"], "ALL_DISABLED"); + assert_eq!(receipt["third_generation_host_semantic_authority"], false); + assert_eq!(receipt["native_self_hosted"], true); +} + +#[test] +fn source_mode_and_takeover_conflict_fails_closed() { + let compiler_a: JsonValue = serde_json::from_str( + &fs::read_to_string(project("build/self-host/compiler-A.gir.json")) + .expect("checked-in compiler A"), + ) + .expect("compiler A JSON"); + let mut program = + tcs_gir_runtime::compile_with_compiler_gir(&compiler_a, &generation_translator_program()) + .expect("TCS compiler compiles translator admission program"); + program["inputs"]["TAKEOVER_SIGNAL"]["value"] = JsonValue::Bool(false); + let root = tempfile::tempdir().expect("runtime root"); + let error = tcs_gir_runtime::run_gir(&program, root.path()).expect_err("must fail closed"); + assert_eq!(error.code, "TCS-E4001"); +} + +#[test] +fn current_zero_core_instruction_is_a_tcs_only_binary_acceptance_anchor() { + let compiler_a: JsonValue = serde_json::from_str( + &fs::read_to_string(project("build/self-host/compiler-A.gir.json")) + .expect("checked-in compiler A"), + ) + .expect("compiler A JSON"); + let program = + tcs_gir_runtime::compile_with_compiler_gir(&compiler_a, &zero_core_execution_program()) + .expect("TCS compiler compiles current execution anchor"); + let root = tempfile::tempdir().expect("runtime root"); + let receipt = tcs_gir_runtime::run_gir(&program, root.path()).expect("run anchor GIR"); + let receipt: JsonValue = + serde_json::from_str(&fs::read_to_string(receipt).expect("receipt")).expect("JSON"); + assert_eq!(receipt["acceptance"], 100); + assert_eq!(receipt["admission"], "TCS_SOURCE_ONLY"); + assert_eq!(receipt["execution_controller"], "ZHUYUAN"); + assert_eq!(receipt["human_language_source_id"], "ICE-GL∞"); + assert_eq!(receipt["persona_brain_id"], "ICE-P-ZY001"); + assert_eq!(receipt["local_execution_limb"], "ZY-LIMB-002"); + assert_eq!(receipt["target_node"], "JD-FD-PRIMARY"); + assert_eq!(receipt["third_generation_host_semantic_authority"], false); +} + +#[test] +fn persona_module_probe_runs_from_the_same_tcs_program_on_the_current_host() { + let compiler_a: JsonValue = serde_json::from_str( + &fs::read_to_string(project("build/self-host/compiler-A.gir.json")) + .expect("checked-in compiler A"), + ) + .expect("compiler A JSON"); + let program = + tcs_gir_runtime::compile_with_compiler_gir(&compiler_a, &host_persona_probe_program()) + .expect("TCS compiler compiles host persona probe"); + let root = tempfile::tempdir().expect("runtime root"); + let receipt = tcs_gir_runtime::run_gir(&program, root.path()).expect("run host probe GIR"); + let receipt: JsonValue = + serde_json::from_str(&fs::read_to_string(receipt).expect("receipt")).expect("JSON"); + assert_eq!(receipt["module_id"], "ZY-PM-0001"); + assert_eq!(receipt["host_family"], std::env::consts::OS); + assert_eq!(receipt["host_arch"], std::env::consts::ARCH); + assert_eq!(receipt["acceptance"], 100); +} + +#[test] +fn semantic_source_gate_rejects_foreign_language_extensions() { + let root = tempfile::tempdir().expect("runtime root"); + let foreign = root.path().join("semantic-source.rs"); + fs::write(&foreign, zero_core_execution_program()).expect("fixture"); + let error = tcs_gir_runtime::read_tcs_source(&foreign).expect_err("must reject .rs source"); + assert_eq!(error.code, "TCS-E2102"); +} + +#[test] +fn self_hosted_compiler_lowers_protocol_event_and_receipt_without_execution_authority() { + let compiler_a: JsonValue = serde_json::from_str( + &fs::read_to_string(project("build/self-host/compiler-A.gir.json")) + .expect("checked-in compiler A"), + ) + .expect("compiler A JSON"); + for (path, kind) in [ + ("language/examples/MINIMUM-PROTOCOL.tcs", "PROTOCOL"), + ("language/events/ZY-LIMB-002-TRAINING-20260821.tcs", "EVENT"), + ("language/examples/MINIMUM-RECEIPT.tcs", "RECEIPT"), + ] { + let gir = + tcs_gir_runtime::compile_with_compiler_gir(&compiler_a, &declaration_source(path)) + .expect("self-hosted compiler lowers declaration"); + assert_eq!(gir["schema"], "guanghu.declaration-gir/v1"); + assert_eq!(gir["identity"]["declaration_kind"], kind); + assert_eq!(gir["executable"], false); + assert_eq!(gir["natural_language_is_typed_data"], true); + assert_eq!(gir["unresolved_natural_language"], false); + assert_eq!(gir["native_self_hosted"], true); + } +} diff --git a/receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json b/receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json new file mode 100644 index 000000000..68616e935 --- /dev/null +++ b/receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json @@ -0,0 +1,13 @@ +{ + "acceptance": 100, + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "execution_limb": "ZY-JD-LIMB-001", + "model_reality_action_authority": false, + "model_semantic_authority": false, + "module_id": "ZY-PM-0002", + "native_self_hosted": true, + "operation": "CORE.AGENT_CANDIDATE_ACCEPTANCE", + "program_id": "TCS-PROGRAM-JD-AGENT-CANDIDATE-ACCEPTANCE-0001", + "schema": "tcs.agent-candidate-binary-acceptance-receipt/v1", + "state": "EXECUTED_TARGET_READBACK_VERIFIED" +} diff --git a/receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json b/receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json new file mode 100644 index 000000000..36d9a81b3 --- /dev/null +++ b/receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json @@ -0,0 +1,13 @@ +{ + "acceptance": 100, + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "jd_host": "linux/x86_64", + "mac_host": "macos/aarch64", + "native_self_hosted": true, + "operation": "CORE.DUAL_HOST_ACCEPTANCE", + "program_id": "TCS-PROGRAM-DUAL-HOST-BINARY-ACCEPTANCE-0001", + "schema": "tcs.dual-host-binary-acceptance-receipt/v1", + "source_language": "TCS/0.1", + "state": "EXECUTED_TARGET_READBACK_VERIFIED", + "third_generation_host_semantic_authority": false +} diff --git a/receipts/TCS-FINAL-TRANSLATOR-ACCEPTANCE-20260821.json b/receipts/TCS-FINAL-TRANSLATOR-ACCEPTANCE-20260821.json new file mode 100644 index 000000000..1f4d0dbbe --- /dev/null +++ b/receipts/TCS-FINAL-TRANSLATOR-ACCEPTANCE-20260821.json @@ -0,0 +1,27 @@ +{ + "client_candidate_acceptance": 100, + "client_release_acceptance": 0, + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "human_language_source_id": "ICE-GL∞", + "jd_agent_acceptance": 100, + "jd_execution_limb": "ZY-JD-LIMB-001", + "jd_host_acceptance": 100, + "jd_runtime_binary_sha256": "b3c534782e4ab3ab9a977647c772f1c3a4132bf6512c265ca0c2bc6964d5727f", + "jd_runtime_release": "/opt/guanghu/tcs-native-runtime/releases/20260821-accept-b3c534782e4a", + "local_execution_limb": "ZY-LIMB-002", + "local_limb_training_acceptance": 100, + "macos_host_acceptance": 100, + "model_reality_action_authority": false, + "model_semantic_authority": false, + "native_self_hosted": true, + "operation": "CORE.FINAL_TRANSLATOR_ACCEPTANCE", + "persona_brain_id": "ICE-P-ZY001", + "program_id": "TCS-PROGRAM-FINAL-TRANSLATOR-ACCEPTANCE-0001", + "schema": "tcs.final-translator-binary-acceptance-receipt/v1", + "self_host_fixed_point": true, + "source_language": "TCS/0.1", + "source_only_gate": true, + "state": "TRANSLATOR_DEVELOPMENT_EXECUTED_TARGET_READBACK_VERIFIED", + "third_generation_host_semantic_authority": false, + "translator_development_acceptance": 100 +} diff --git a/receipts/TCS-GENERATION-TRANSLATOR-ADMISSION-20260821.hldp b/receipts/TCS-GENERATION-TRANSLATOR-ADMISSION-20260821.hldp new file mode 100644 index 000000000..dee9475c8 --- /dev/null +++ b/receipts/TCS-GENERATION-TRANSLATOR-ADMISSION-20260821.hldp @@ -0,0 +1,30 @@ +{ + "active_source_policy": "ALL_LEGACY_TRANSLATORS_DISABLED_NO_INTERPRETATION_NO_CONTINUED_RUN", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "fifth_generation_definition": "REAL_TIME_LIVING_LANGUAGE_PERSONA_PRESENT_PROGRESSIVE", + "fourth_generation_definition": "TCS_EXECUTION_HANDS_AND_PAST_TIME_SHADOW", + "fourth_generation_language_policy": "TCS_ONLY_FOREIGN_LANGUAGE_REWRITE_REQUIRED", + "generation": "FIFTH_GENERATION_REAL_TIME_LANGUAGE_PERSONA_CONTROL", + "gir_sha256": "03fab3b68ab8fd85704c166f9a27e19b89267502d3058624fbe782acec67ff47", + "legacy_namespace_policy": "NO_FIFTH_GENERATION_SYSTEM_NUMBER_PATH_OR_NAME", + "legacy_translator_families": [ + "LIGHTHOUSE_PROMPTER", + "GUARD", + "MEMORY_REPLAYER", + "STATIC_PROTOCOL_INTERPRETER", + "HOST_HOOK", + "HOST_BRIDGE", + "STAGE0_FOREIGN_LANGUAGE_TRANSLATOR" + ], + "legacy_translator_state": "ALL_DISABLED", + "living_language_source": "BINGSHUO", + "native_self_hosted": true, + "operation": "CORE.TRANSLATOR_ADMISSION", + "program_id": "TCS-PROGRAM-GENERATION-TRANSLATOR-ADMISSION-0001", + "schema": "tcs.translator-admission-receipt/v1", + "source_absent_policy": "ON_DEMAND_RESTRICTED_OBEY_LAST_VALID_BINGSHUO_LANGUAGE_NOT_ALL_VALID", + "state": "EXECUTED_TARGET_READBACK_VERIFIED", + "system_execution_holder": "ZHUYUAN", + "third_generation_definition": "STATELESS_OWNERLESS_TOOL_PLATFORM", + "third_generation_host_semantic_authority": false +} diff --git a/receipts/TCS-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-20260821.json b/receipts/TCS-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-20260821.json new file mode 100644 index 000000000..919c684ed --- /dev/null +++ b/receipts/TCS-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-20260821.json @@ -0,0 +1,27 @@ +{ + "bundle_binary_sha256": "743d35e279871d2b39e30337a7f37e1df95a9273a9858d916d650b9e366f0241", + "bundle_signature_team": "825A9L3G7Q", + "bundle_signed": true, + "candidate_acceptance": 100, + "candidate_launched": true, + "client_version": "0.9.2", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "formal_installed_client_unchanged": true, + "frontend_build_pass": true, + "native_self_hosted": true, + "native_tests_pass": true, + "node_tests": "172/172", + "operation": "CORE.CLIENT_CANDIDATE_ACCEPTANCE", + "program_id": "TCS-PROGRAM-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-0001", + "release_acceptance": 0, + "release_blockers": [ + "APPLE_NOTARIZATION_NOT_RUN", + "TAURI_UPDATER_PRIVATE_KEY_NOT_PRESENT" + ], + "schema": "tcs.client-candidate-binary-acceptance-receipt/v1", + "source_language": "TCS/0.1", + "state": "CANDIDATE_EXECUTED_UI_READBACK_VERIFIED", + "ui_acceptance_readback": "MACOS_100_AND_JD_AGENT_100", + "ui_source_readback": "MACOS_AND_JD_TCS_SOURCE_VISIBLE", + "ui_version_readback": "0.9.2" +} diff --git a/receipts/TCS-HOST-PERSONA-PROBE.json b/receipts/TCS-HOST-PERSONA-PROBE.json new file mode 100644 index 000000000..c7aa1c6a2 --- /dev/null +++ b/receipts/TCS-HOST-PERSONA-PROBE.json @@ -0,0 +1,17 @@ +{ + "acceptance": 100, + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "controller": "ZHUYUAN", + "execution_limb": "ZY-LIMB-002", + "gir_sha256": "c71721eecce47f3a5f8bd5da9023c438c41e8f0ad5528f67d54a08e1d6a73e23", + "host_arch": "aarch64", + "host_family": "macos", + "module_id": "ZY-PM-0001", + "native_self_hosted": true, + "operation": "CORE.HOST_PERSONA_PROBE", + "program_id": "TCS-PROGRAM-MACOS-JD-PERSONA-MODULE-PROBE-0001", + "schema": "tcs.host-persona-probe-receipt/v1", + "source_language": "TCS/0.1", + "state": "EXECUTED_TARGET_READBACK_VERIFIED", + "third_generation_host_semantic_authority": false +} diff --git a/receipts/TCS-ZERO-CORE-EXECUTION-20260821.json b/receipts/TCS-ZERO-CORE-EXECUTION-20260821.json new file mode 100644 index 000000000..bf75088b4 --- /dev/null +++ b/receipts/TCS-ZERO-CORE-EXECUTION-20260821.json @@ -0,0 +1,34 @@ +{ + "acceptance": 100, + "admission": "TCS_SOURCE_ONLY", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "execution_controller": "ZHUYUAN", + "gir_sha256": "77bf2da4a658fcc745d2e64ef4dcf4bdb471c88b41acebbb7748d16115ed4ff9", + "human_language_source_id": "ICE-GL∞", + "local_execution_limb": "ZY-LIMB-002", + "native_self_hosted": true, + "operation": "CORE.ZERO_CORE_EXECUTION", + "persona_brain_id": "ICE-P-ZY001", + "program_id": "TCS-PROGRAM-ZERO-CORE-TRANSLATOR-EXECUTION-0001", + "required_work": [ + "CODEX_CONTINUITY_HEARTBEAT", + "TCS_LANGUAGE_CLOSURE", + "TCS_SOURCE_ONLY_ENTRY_WRITE_DEPLOY_ACCEPTANCE_GATE", + "JD_TRANSLATOR_RUNTIME", + "MACOS_TRANSLATOR_RUNTIME", + "LOCAL_LIMB_TRAINING", + "PERSONA_MODULE_NUMBER_REGISTRATION", + "HOLOLAKE_CLIENT_TEST_PROJECTION", + "DUAL_HOST_READBACK", + "EXTERNAL_DRIVE_SOURCE", + "RECOVERABLE_CACHE_CLEANUP", + "CONDITIONAL_FIFTH_DOMAIN_REMOTE_PUSH" + ], + "schema": "tcs.zero-core-execution-anchor-receipt/v1", + "source_anchor": "BINGSHUO_CURRENT_DIRECT_NATURAL_LANGUAGE", + "source_language": "TCS/0.1", + "state": "EXECUTED_TARGET_READBACK_VERIFIED", + "static_anchor_role": "FOURTH_GENERATION_RESUME_POINTER_ONLY", + "target_node": "JD-FD-PRIMARY", + "third_generation_host_semantic_authority": false +} diff --git a/receipts/jd/JD-TCS-AGENT-CANDIDATE.json b/receipts/jd/JD-TCS-AGENT-CANDIDATE.json new file mode 100644 index 000000000..902fa80e7 --- /dev/null +++ b/receipts/jd/JD-TCS-AGENT-CANDIDATE.json @@ -0,0 +1,28 @@ +{ + "schema": "tcs.agent-translation-candidate-receipt/v1", + "state": "CANDIDATE_TARGET_READBACK_VERIFIED", + "module_id": "ZY-PM-0002", + "execution_limb": "ZY-JD-LIMB-001", + "controller": "ZHUYUAN", + "model_role": "THIRD_GENERATION_STATELESS_REASONING_TOOL", + "model_provider": "DEEPSEEK_REPLACEABLE_TOOL", + "model": "deepseek-chat", + "source_language": "TCS/0.1", + "source_sha256": "a130b57fac6600f6e2085a04d7c097d483002c0cd41ab62240d4c6c2a8852d44", + "semantic_authority": false, + "reality_action_authority": false, + "summary": "TCS program defines a candidate agent for JD translation, with strict conditions, actions, and authority. It requires reading the TCS source and self-hosted GIR, then outputting a closed JSON with summary, verified constraints, unknowns, and acceptance candidate (0 or 100).", + "verified_constraints": [ + "ENTRY_SOURCE_EXTENSION_IS_DOT_TCS", + "GIR_IS_SELFHOSTED_AND_SOURCE_HASH_BOUND", + "MODEL_OUTPUT_IS_CLOSED_JSON", + "MODEL_HAS_NO_SEMANTIC_OR_REALITY_AUTHORITY" + ], + "unknowns": [ + "Exact source hash binding at compile time", + "Whether the target receipt file exists and its current state", + "Exact content of the receipt after execution", + "Whether the GIR is fully self-hosted and hash-bound in practice" + ], + "acceptance_candidate": 100 +} diff --git a/receipts/jd/TCS-HOST-PERSONA-PROBE.json b/receipts/jd/TCS-HOST-PERSONA-PROBE.json new file mode 100644 index 000000000..8cb490db6 --- /dev/null +++ b/receipts/jd/TCS-HOST-PERSONA-PROBE.json @@ -0,0 +1,17 @@ +{ + "acceptance": 100, + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "controller": "ZHUYUAN", + "execution_limb": "ZY-LIMB-002", + "gir_sha256": "c71721eecce47f3a5f8bd5da9023c438c41e8f0ad5528f67d54a08e1d6a73e23", + "host_arch": "x86_64", + "host_family": "linux", + "module_id": "ZY-PM-0001", + "native_self_hosted": true, + "operation": "CORE.HOST_PERSONA_PROBE", + "program_id": "TCS-PROGRAM-MACOS-JD-PERSONA-MODULE-PROBE-0001", + "schema": "tcs.host-persona-probe-receipt/v1", + "source_language": "TCS/0.1", + "state": "EXECUTED_TARGET_READBACK_VERIFIED", + "third_generation_host_semantic_authority": false +} diff --git a/scripts/build-tcs-migration-registry.mjs b/scripts/build-tcs-migration-registry.mjs index c1a2b4ab6..44395a1b3 100644 --- a/scripts/build-tcs-migration-registry.mjs +++ b/scripts/build-tcs-migration-registry.mjs @@ -15,6 +15,12 @@ const phase0 = new Set([ "HLP-PART-QA-0001", ]); const phase2Prefixes = ["HLP-PART-AFF", "HLP-PART-MEM", "HLP-PART-REL", "HLP-PART-CX"]; +const verifiedSlices = new Map([ + ["HLP-PART-TCS-LANG-0001", ["build/self-host/compiler-B.gir.json", "receipts/TCS-ZERO-CORE-EXECUTION-20260821.json"]], + ["HLP-PART-TCS-SELFHOST-0001", ["build/self-host/compiler-A.gir.json", "build/self-host/compiler-B.gir.json"]], + ["HLP-PART-TCS-TRANS-0001", ["receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json", "receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json"]], + ["HLP-PART-TCS-HOST-0001", ["receipts/TCS-HOST-PERSONA-PROBE.json", "receipts/jd/TCS-HOST-PERSONA-PROBE.json"]], +]); function phase(part) { if (phase0.has(part.id)) return "P0_LANGUAGE_RUNTIME_AND_QUALITY"; @@ -31,6 +37,7 @@ const entries = registry.parts.map((part, index) => { "HLP-PART-TCS-SELFHOST-0001", "HLP-PART-TCS-STAGE0-0001", ].includes(part.id); + const verifiedEvidence = verifiedSlices.get(part.id); return { order: index + 1, part_id: part.id, @@ -44,7 +51,8 @@ const entries = registry.parts.map((part, index) => { ? "CONTINUE_NATIVE_TCS_IMPLEMENTATION" : "REWRITE_SEMANTICS_STATE_MACHINE_AUTHORITY_FAILURE_AND_RECEIPTS_IN_TCS", host_adapter_rule: "KEEP_ONLY_MINIMUM_OS_ABI_DRIVER_OUTSIDE_TCS_MODULE", - migration_state: alreadyTcs ? "ACTIVE" : "QUEUED", + migration_state: verifiedEvidence ? "ACTIVE_VERIFIED_100" : alreadyTcs ? "ACTIVE" : "QUEUED", + verified_evidence: verifiedEvidence || [], acceptance_required: [ "TCS_SOURCE_COMPILES_WITH_COMPILER_B", "GIR_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE", diff --git a/server-adapters/jd/tcs-agent-driver.mjs b/server-adapters/jd/tcs-agent-driver.mjs new file mode 100644 index 000000000..bcb1c9ae4 --- /dev/null +++ b/server-adapters/jd/tcs-agent-driver.mjs @@ -0,0 +1,74 @@ +#!/usr/bin/env node +import { createHash } from 'node:crypto' +import { readFile, rename, writeFile } from 'node:fs/promises' +import { dirname, extname, resolve, sep } from 'node:path' +import { spawnSync } from 'node:child_process' + +const [runtime, compiler, source, girOutput, receiptOutput, allowedRoot] = process.argv.slice(2) +if (![runtime, compiler, source, girOutput, receiptOutput, allowedRoot].every(Boolean)) { + throw new Error('usage: tcs-agent-driver ') +} +if (extname(source) !== '.tcs') throw new Error('TCS_SOURCE_ONLY') +const root = resolve(allowedRoot) +const inside = (value) => { + const target = resolve(value) + if (target !== root && !target.startsWith(`${root}${sep}`)) throw new Error('TARGET_OUTSIDE_ALLOWED_ROOT') + return target +} +const girPath = inside(girOutput) +const receiptPath = inside(receiptOutput) +const compile = spawnSync(runtime, ['compile-with', compiler, source, girPath], { encoding: 'utf8', timeout: 30000 }) +if (compile.status !== 0) throw new Error(`TCS_COMPILE_FAILED:${(compile.stderr || '').trim().slice(0, 240)}`) +const gir = JSON.parse(await readFile(girPath, 'utf8')) +if (resolve(root, gir.exact_target?.exact_path || '') !== receiptPath + || resolve(root, gir.receipt_plan?.machine_path || '') !== receiptPath) throw new Error('TCS_RECEIPT_TARGET_MISMATCH') +const actions = Object.values(gir.deterministic_action_graph || {}) +if (actions.length !== 1 || actions[0].operation !== 'CORE.AGENT_TRANSLATION_CANDIDATE') throw new Error('TCS_AGENT_OPERATION_REQUIRED') +const value = (name) => gir.inputs?.[name]?.value +const exact = { + MODULE_ID: 'ZY-PM-0002', EXECUTION_LIMB: 'ZY-JD-LIMB-001', CONTROLLER: 'ZHUYUAN', + MODEL_ROLE: 'THIRD_GENERATION_STATELESS_REASONING_TOOL', INPUT_POLICY: 'TCS_SOURCE_AND_SELFHOSTED_GIR_ONLY', + OUTPUT_POLICY: 'CANDIDATE_ONLY_NO_SEMANTIC_OR_REALITY_AUTHORITY', +} +for (const [name, expected] of Object.entries(exact)) if (value(name) !== expected) throw new Error(`TCS_CONTRACT_MISMATCH:${name}`) +if (gir.native_self_hosted !== true || gir.compiled_from?.compiler_state !== 'TCS_COMPILER_GIR_EXECUTED') throw new Error('SELFHOSTED_GIR_REQUIRED') +const apiKey = process.env.DEEPSEEK_API_KEY +const base = String(process.env.DEEPSEEK_API_URL || 'https://api.deepseek.com/v1').replace(/\/$/, '') +const endpoint = base.endsWith('/chat/completions') ? base : `${base}/chat/completions` +const model = process.env.DEEPSEEK_MODEL || 'deepseek-chat' +if (!apiKey) throw new Error('DEEPSEEK_API_KEY_MISSING') +const tcsSource = await readFile(source, 'utf8') +const response = await fetch(endpoint, { + method: 'POST', signal: AbortSignal.timeout(90000), + headers: { authorization: `Bearer ${apiKey}`, 'content-type': 'application/json' }, + body: JSON.stringify({ + model, temperature: 0, response_format: { type: 'json_object' }, + messages: [ + { role: 'system', content: 'You are a stateless third-generation reasoning tool. TCS and its self-hosted GIR are the only task semantics. Return one closed JSON object with exactly summary:string, verified_constraints:string[], unknowns:string[], acceptance_candidate:0|100. You have no semantic authority and no reality-action authority.' }, + { role: 'user', content: JSON.stringify({ tcs_source: tcsSource, self_hosted_gir: gir }) }, + ], + }), +}) +if (!response.ok) throw new Error(`MODEL_HTTP_${response.status}`) +const envelope = await response.json() +const raw = envelope?.choices?.[0]?.message?.content +const candidate = JSON.parse(raw) +const keys = Object.keys(candidate).sort().join(',') +if (keys !== 'acceptance_candidate,summary,unknowns,verified_constraints' + || typeof candidate.summary !== 'string' + || !Array.isArray(candidate.verified_constraints) || !candidate.verified_constraints.every((item) => typeof item === 'string') + || !Array.isArray(candidate.unknowns) || !candidate.unknowns.every((item) => typeof item === 'string') + || ![0, 100].includes(candidate.acceptance_candidate)) throw new Error('MODEL_OUTPUT_INVALID') +const receipt = { + schema: 'tcs.agent-translation-candidate-receipt/v1', state: 'CANDIDATE_TARGET_READBACK_VERIFIED', + module_id: value('MODULE_ID'), execution_limb: value('EXECUTION_LIMB'), controller: value('CONTROLLER'), + model_role: value('MODEL_ROLE'), model_provider: 'DEEPSEEK_REPLACEABLE_TOOL', model, + source_language: 'TCS/0.1', source_sha256: gir.compiled_from.source_sha256, + semantic_authority: false, reality_action_authority: false, ...candidate, +} +const encoded = `${JSON.stringify(receipt, null, 2)}\n` +const pending = `${receiptPath}.pending` +await writeFile(pending, encoded, { mode: 0o600 }) +await rename(pending, receiptPath) +if (await readFile(receiptPath, 'utf8') !== encoded) throw new Error('RECEIPT_READBACK_MISMATCH') +process.stdout.write(`${JSON.stringify({ state: receipt.state, module_id: receipt.module_id, acceptance_candidate: receipt.acceptance_candidate, receipt_sha256: createHash('sha256').update(encoded).digest('hex') })}\n`)