37 lines
5.3 KiB
Text
37 lines
5.3 KiB
Text
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"; }
|
|
}
|