89 lines
3.9 KiB
Text
89 lines
3.9 KiB
Text
|
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";
|
||
|
|
}
|
||
|
|
}
|