27 lines
4.1 KiB
Text
27 lines
4.1 KiB
Text
|
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<Text>"; destination = "RECEIPT"; integrity = "SHA256"; } UNKNOWNS { type = "List<Text>"; 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"; }
|
||
|
|
}
|