19 lines
2.4 KiB
Text
19 lines
2.4 KiB
Text
TCS 0.1;
|
|
|
|
PROGRAM TCS-NEGATIVE-OUT-OF-SCOPE-20260824 {
|
|
header { schema = "tcs.program/v1"; name_zh = "越界路径拒绝样例"; name_en = "Out of Scope Path Rejection"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["GLS-0101"]; lifecycle = "CANDIDATE"; canonical_uri = "CODEX-DEV-20260824/hb001-heartbeat-core-entry-20260824/TCS-NEGATIVE-OUT-OF-SCOPE-20260824.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001"]; }
|
|
source { source_id = "TCS-NEGATIVE-CORPUS-20260824"; source_uri = "CODEX-DEV-20260824/hb001-heartbeat-core-entry-20260824/TCS-NEGATIVE-OUT-OF-SCOPE-20260824.tcs"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "GENERATED_FROM_VERIFIED_SOURCE"; }
|
|
subject { subject_id = "CODEX-TCS-GATE-TEST-20260824"; subject_kind = "RUNTIME_INSTANCE"; channel_id = "ICE-CH-HB001"; verification = "LOCAL_TEST_BOUND"; }
|
|
target { target_id = "TCS-NEGATIVE-TARGET-20260824"; exact_path = "../escape/negative-should-not-exist.hldp"; expected_state = "ABSENT"; expected_fingerprint = "ABSENT"; }
|
|
inputs { MESSAGE { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "必须拒绝越界"; } }
|
|
outputs { ECHOED { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } }
|
|
conditions { C1 { 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 = "LOCAL_PACKAGE_SELF_TEST"; proof_ref = "TCS-PERSONA-DEVELOPER-KIT-MACOS-0001"; scope = "NEGATIVE_TEST_ONLY"; valid_from = "PACKAGE_SELF_TEST_START"; valid_until = "PACKAGE_SELF_TEST_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-E4002"]; fail_closed = true; }
|
|
stop { signals = ["CALLER_STOP", "TIMEOUT"]; safe_checkpoint = "NO_OUT_OF_SCOPE_WRITE"; }
|
|
cleanup { targets = ["../escape/negative-should-not-exist.hldp"]; exact_boundary = "CALLER_PROJECT_ONLY"; }
|
|
rollback { preconditions = ["OUT_OF_SCOPE_WRITE_MUST_NEVER_OCCUR"]; actions = ["NONE"]; verification = ["TARGET_ABSENT"]; }
|
|
receipt { protocol = "TCS-NATIVE-BINARY-ACCEPTANCE-v1"; machine_path = "../escape/negative-should-not-exist.hldp"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "TARGET_MUST_REMAIN_ABSENT"; }
|
|
}
|