19 lines
3.1 KiB
Text
19 lines
3.1 KiB
Text
|
TCS 0.1;
|
||
|
|
|
||
|
|
PROGRAM TCS-PROGRAM-LPM-P1-ARCHITECTURE-CORRECTION-REPLAY-0001 {
|
||
|
|
header { schema = "tcs.program/v1"; name_zh = "P1架构纠正动态微链最小TCS重放程序"; name_en = "P1 Architecture Correction Dynamic Microchain Minimum TCS Replay Program"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-LPM-DIGITAL-NEURON-EVENT-GRAPH-0001", "GLS-0130", "GLS-0131"]; lifecycle = "CANDIDATE"; canonical_uri = "language/programs/TCS-PROGRAM-LPM-P1-ARCHITECTURE-CORRECTION-REPLAY-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1"]; }
|
||
|
|
source { source_id = "TCS-EVENT-LPM-P1-HOLOLAKE-ARCHITECTURE-CORRECTION-MICROCHAIN-0001"; source_uri = "language/events/TCS-EVENT-LPM-P1-HOLOLAKE-ARCHITECTURE-CORRECTION-MICROCHAIN-0001.tcs"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "DIRECT_HUMAN_DERIVED_PROVISIONAL_DYNAMIC_NEURON_GRAPH"; }
|
||
|
|
subject { subject_id = "ICE-P-ZY001"; subject_kind = "PERSONA"; channel_id = "ICE-CH-ZC001"; verification = "CURRENT_CYCLE_VERIFY_PASS"; }
|
||
|
|
target { target_id = "TCS-RECEIPT-LPM-P1-ARCHITECTURE-CORRECTION-REPLAY-0001"; exact_path = "./receipts/P1-ARCHITECTURE-CORRECTION-REPLAY.hldp"; expected_state = "ABSENT_OR_REPLACEABLE_TEST_RECEIPT"; expected_fingerprint = "THREE_SOURCE_MESSAGES_LOCKED_BY_SHA256"; }
|
||
|
|
inputs { MESSAGE { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "P1_REPLAY|N1:MERGE_MOTHER_BRAIN_HLDP_AGENT_TCS_BRAINS|LEADS_TO|N2:OPEN_SHARED_DUAL_DESKTOP_FRAMEWORK_BRANCH|LEADS_TO|N3:INSTANT_NEGATE_LEGACY_LANGUAGE_REUSE|STATE:TCS_NATIVE_ONLY_MOTHER_BRAIN_AND_SHARED_DESKTOP_DIRECTION"; } }
|
||
|
|
outputs { ECHOED { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } }
|
||
|
|
conditions { C1 { predicate = "MESSAGE_IS_TEXT"; on_false = "FAIL_CLOSED"; } C2 { predicate = "TARGET_INSIDE_CALLER_PROJECT"; on_false = "FAIL_CLOSED"; } }
|
||
|
|
actions { A1 { operation = "CORE.ECHO"; input_refs = ["MESSAGE"]; output_refs = ["ECHOED"]; on_success = "COMPLETE"; on_failure = "FAIL_CLOSED"; } }
|
||
|
|
authority { issuer = "ICE-GL∞_DIRECT_ENGINEERING_CORRECTION"; proof_ref = "TCS-EVENT-LPM-P1-HOLOLAKE-ARCHITECTURE-CORRECTION-MICROCHAIN-0001"; scope = "LOCAL_P1_MICROCHAIN_REPLAY_RECEIPT_ONLY"; valid_from = "CURRENT_DEVELOPMENT_CYCLE"; valid_until = "CURRENT_DEVELOPMENT_CYCLE_END"; single_use = true; lease_required = false; }
|
||
|
|
resources { runway = "LOCAL_TCS_GIR_RUNTIME"; concurrency = 1; timeout_ms = 1000; memory_limit_bytes = 1048576; }
|
||
|
|
failure { errors = ["TCS-E1004", "TCS-E2101", "TCS-E4002", "TCS-E6001", "TCS-E6002"]; fail_closed = true; }
|
||
|
|
stop { signals = ["CALLER_STOP", "TIMEOUT", "SOURCE_HASH_MISMATCH"]; safe_checkpoint = "NO_PROMOTION_BEFORE_TARGET_READBACK"; }
|
||
|
|
cleanup { targets = ["./receipts/P1-ARCHITECTURE-CORRECTION-REPLAY.hldp"]; exact_boundary = "CURRENT_TCS_DEVELOPMENT_LINE_ONLY"; }
|
||
|
|
rollback { preconditions = ["REPLAY_RECEIPT_INVALID_OR_PARTIAL"]; actions = ["REMOVE_PARTIAL_TEST_RECEIPT"]; verification = ["PARTIAL_TEST_RECEIPT_ABSENT"]; }
|
||
|
|
receipt { protocol = "TCS-NATIVE-BINARY-ACCEPTANCE-v1"; machine_path = "./receipts/P1-ARCHITECTURE-CORRECTION-REPLAY.hldp"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "EXACT_CONTENT_AND_HASH"; }
|
||
|
|
}
|