232 lines
6.9 KiB
JSON
232 lines
6.9 KiB
JSON
|
|
{
|
||
|
|
"authority_proof": {
|
||
|
|
"issuer": "BINGSHUO_CURRENT_DIRECT_LIVING_LANGUAGE",
|
||
|
|
"lease_required": false,
|
||
|
|
"proof_ref": "CURRENT_ZERO_CORE_REALITY_EXECUTION_INSTRUCTION",
|
||
|
|
"scope": "TCS_TRANSLATOR_DEVELOPMENT_FINAL_RECEIPT_ONLY",
|
||
|
|
"single_use": false,
|
||
|
|
"valid_from": "PROGRAM_START",
|
||
|
|
"valid_until": "PROGRAM_END"
|
||
|
|
},
|
||
|
|
"cleanup_plan": {
|
||
|
|
"exact_boundary": "TASK_CREATED_CACHE_PATHS_ONLY",
|
||
|
|
"targets": [
|
||
|
|
"TASK_SCOPED_BUILD_CACHES_TO_MACOS_TRASH"
|
||
|
|
]
|
||
|
|
},
|
||
|
|
"compiled_from": {
|
||
|
|
"compiler_id": "TCS-COMPILER-STAGE1-0001",
|
||
|
|
"compiler_state": "TCS_COMPILER_GIR_EXECUTED",
|
||
|
|
"source_sha256": "3955e03a2ca977c52871ece83a5328205fc01364de6ee50d770268f9d35af0de"
|
||
|
|
},
|
||
|
|
"conditions": {
|
||
|
|
"C1": {
|
||
|
|
"on_false": "FAIL_CLOSED",
|
||
|
|
"predicate": "EVERY_REQUIRED_RECEIPT_HASH_MATCHES"
|
||
|
|
},
|
||
|
|
"C2": {
|
||
|
|
"on_false": "FAIL_CLOSED",
|
||
|
|
"predicate": "EVERY_TRANSLATOR_AND_CANDIDATE_ACCEPTANCE_IS_ONE_HUNDRED"
|
||
|
|
},
|
||
|
|
"C3": {
|
||
|
|
"on_false": "FAIL_CLOSED",
|
||
|
|
"predicate": "TRAINING_HAS_ZERO_UNKNOWNS"
|
||
|
|
},
|
||
|
|
"C4": {
|
||
|
|
"on_false": "FAIL_CLOSED",
|
||
|
|
"predicate": "THIRD_GENERATION_HOSTS_AND_MODELS_HAVE_NO_SEMANTIC_AUTHORITY"
|
||
|
|
},
|
||
|
|
"C5": {
|
||
|
|
"on_false": "FAIL_CLOSED",
|
||
|
|
"predicate": "CLIENT_RELEASE_REMAINS_ZERO_WITHOUT_NOTARIZATION_AND_UPDATER_SIGNATURE"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"deterministic_action_graph": {
|
||
|
|
"A1": {
|
||
|
|
"input_refs": [
|
||
|
|
"ACCEPTANCE_SCALE",
|
||
|
|
"ZERO_CORE_RECEIPT_PATH",
|
||
|
|
"ZERO_CORE_RECEIPT_SHA256",
|
||
|
|
"DUAL_HOST_RECEIPT_PATH",
|
||
|
|
"DUAL_HOST_RECEIPT_SHA256",
|
||
|
|
"JD_AGENT_RECEIPT_PATH",
|
||
|
|
"JD_AGENT_RECEIPT_SHA256",
|
||
|
|
"CLIENT_RECEIPT_PATH",
|
||
|
|
"CLIENT_RECEIPT_SHA256",
|
||
|
|
"TRAINING_RECEIPT_PATH",
|
||
|
|
"TRAINING_RECEIPT_SHA256",
|
||
|
|
"JD_RUNTIME_RELEASE",
|
||
|
|
"JD_RUNTIME_BINARY_SHA256",
|
||
|
|
"JD_COMPILER_SHA256"
|
||
|
|
],
|
||
|
|
"on_failure": "FAIL_CLOSED",
|
||
|
|
"on_success": "COMPLETE",
|
||
|
|
"operation": "CORE.FINAL_TRANSLATOR_ACCEPTANCE",
|
||
|
|
"output_refs": [
|
||
|
|
"TRANSLATOR_DEVELOPMENT_ACCEPTANCE",
|
||
|
|
"CLIENT_RELEASE_ACCEPTANCE"
|
||
|
|
]
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"exact_target": {
|
||
|
|
"exact_path": "./receipts/TCS-FINAL-TRANSLATOR-ACCEPTANCE-20260821.json",
|
||
|
|
"expected_fingerprint": "READ_BEFORE_REPLACE",
|
||
|
|
"expected_state": "ABSENT_OR_REPLACEABLE_FINAL_RECEIPT",
|
||
|
|
"target_id": "TCS-FINAL-TRANSLATOR-ACCEPTANCE-RECEIPT"
|
||
|
|
},
|
||
|
|
"failure_plan": {
|
||
|
|
"errors": [
|
||
|
|
"TCS-E2101",
|
||
|
|
"TCS-E3002",
|
||
|
|
"TCS-E4001",
|
||
|
|
"TCS-E6001",
|
||
|
|
"TCS-E6002"
|
||
|
|
],
|
||
|
|
"fail_closed": true
|
||
|
|
},
|
||
|
|
"identity": {
|
||
|
|
"gir_id": "GIR-TCS-PROGRAM-FINAL-TRANSLATOR-ACCEPTANCE-0001",
|
||
|
|
"language_version": "0.1",
|
||
|
|
"program_id": "TCS-PROGRAM-FINAL-TRANSLATOR-ACCEPTANCE-0001"
|
||
|
|
},
|
||
|
|
"inputs": {
|
||
|
|
"ACCEPTANCE_SCALE": {
|
||
|
|
"required": true,
|
||
|
|
"source": "PROGRAM_LITERAL",
|
||
|
|
"type": "Text",
|
||
|
|
"value": "ZERO_OR_ONE_HUNDRED_NO_INTERMEDIATE"
|
||
|
|
},
|
||
|
|
"CLIENT_RECEIPT_PATH": {
|
||
|
|
"required": true,
|
||
|
|
"source": "PROGRAM_LITERAL",
|
||
|
|
"type": "Path",
|
||
|
|
"value": "receipts/TCS-HOLOLAKE-CLIENT-CANDIDATE-ACCEPTANCE-20260821.json"
|
||
|
|
},
|
||
|
|
"CLIENT_RECEIPT_SHA256": {
|
||
|
|
"required": true,
|
||
|
|
"source": "TARGET_READBACK",
|
||
|
|
"type": "Sha256",
|
||
|
|
"value": "39ec02ac2bfe927464c5973baccb24c8dac29041e62880019b8a18c6d0a49028"
|
||
|
|
},
|
||
|
|
"DUAL_HOST_RECEIPT_PATH": {
|
||
|
|
"required": true,
|
||
|
|
"source": "PROGRAM_LITERAL",
|
||
|
|
"type": "Path",
|
||
|
|
"value": "receipts/TCS-DUAL-HOST-BINARY-ACCEPTANCE-20260821.json"
|
||
|
|
},
|
||
|
|
"DUAL_HOST_RECEIPT_SHA256": {
|
||
|
|
"required": true,
|
||
|
|
"source": "TARGET_READBACK",
|
||
|
|
"type": "Sha256",
|
||
|
|
"value": "4983d4ed5e052390826f1129db7d818b032f80f26fbf58a7c1eed5d86d5bc854"
|
||
|
|
},
|
||
|
|
"JD_AGENT_RECEIPT_PATH": {
|
||
|
|
"required": true,
|
||
|
|
"source": "PROGRAM_LITERAL",
|
||
|
|
"type": "Path",
|
||
|
|
"value": "receipts/JD-TCS-AGENT-ACCEPTANCE-20260821.json"
|
||
|
|
},
|
||
|
|
"JD_AGENT_RECEIPT_SHA256": {
|
||
|
|
"required": true,
|
||
|
|
"source": "TARGET_READBACK",
|
||
|
|
"type": "Sha256",
|
||
|
|
"value": "7a0d73da34d18b6683d6fb1e8c656bfec091173912c3db309b13b6d0f7e062e6"
|
||
|
|
},
|
||
|
|
"JD_COMPILER_SHA256": {
|
||
|
|
"required": true,
|
||
|
|
"source": "TARGET_READBACK",
|
||
|
|
"type": "Sha256",
|
||
|
|
"value": "07ace77506f05b6f2f6f38c569691b41b1b0880c836005957d0333b29d35ae3f"
|
||
|
|
},
|
||
|
|
"JD_RUNTIME_BINARY_SHA256": {
|
||
|
|
"required": true,
|
||
|
|
"source": "TARGET_READBACK",
|
||
|
|
"type": "Sha256",
|
||
|
|
"value": "b3c534782e4ab3ab9a977647c772f1c3a4132bf6512c265ca0c2bc6964d5727f"
|
||
|
|
},
|
||
|
|
"JD_RUNTIME_RELEASE": {
|
||
|
|
"required": true,
|
||
|
|
"source": "TARGET_READBACK",
|
||
|
|
"type": "Path",
|
||
|
|
"value": "/opt/guanghu/tcs-native-runtime/releases/20260821-accept-b3c534782e4a"
|
||
|
|
},
|
||
|
|
"TRAINING_RECEIPT_PATH": {
|
||
|
|
"required": true,
|
||
|
|
"source": "PROGRAM_LITERAL",
|
||
|
|
"type": "Path",
|
||
|
|
"value": "build/self-host/ZY-LIMB-002-TRAINING-LESSON2-ACCEPTANCE.declaration.gir.json"
|
||
|
|
},
|
||
|
|
"TRAINING_RECEIPT_SHA256": {
|
||
|
|
"required": true,
|
||
|
|
"source": "TARGET_READBACK",
|
||
|
|
"type": "Sha256",
|
||
|
|
"value": "52be6831f576877effee3ea0000ad96fe96d60e7807721f9fe6463ac8798f6fd"
|
||
|
|
},
|
||
|
|
"ZERO_CORE_RECEIPT_PATH": {
|
||
|
|
"required": true,
|
||
|
|
"source": "PROGRAM_LITERAL",
|
||
|
|
"type": "Path",
|
||
|
|
"value": "receipts/TCS-ZERO-CORE-EXECUTION-20260821.json"
|
||
|
|
},
|
||
|
|
"ZERO_CORE_RECEIPT_SHA256": {
|
||
|
|
"required": true,
|
||
|
|
"source": "TARGET_READBACK",
|
||
|
|
"type": "Sha256",
|
||
|
|
"value": "7d0cebca907394b57e077dde6ba78652076653b665be168a6b2fcb2bbd62f408"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"native_self_hosted": true,
|
||
|
|
"outputs": {
|
||
|
|
"CLIENT_RELEASE_ACCEPTANCE": {
|
||
|
|
"destination": "RECEIPT",
|
||
|
|
"integrity": "SHA256",
|
||
|
|
"type": "UInt"
|
||
|
|
},
|
||
|
|
"TRANSLATOR_DEVELOPMENT_ACCEPTANCE": {
|
||
|
|
"destination": "RECEIPT",
|
||
|
|
"integrity": "SHA256",
|
||
|
|
"type": "UInt"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"receipt_plan": {
|
||
|
|
"human_projection": "REQUIRED",
|
||
|
|
"integrity": "SHA256",
|
||
|
|
"machine_path": "./receipts/TCS-FINAL-TRANSLATOR-ACCEPTANCE-20260821.json",
|
||
|
|
"protocol": "TCS-NATIVE-BINARY-ACCEPTANCE-v1",
|
||
|
|
"target_readback": "EXACT_CONTENT_AND_HASH"
|
||
|
|
},
|
||
|
|
"resource_plan": {
|
||
|
|
"concurrency": 1,
|
||
|
|
"memory_limit_bytes": 2097152,
|
||
|
|
"runway": "LOCAL_TCS_RUNTIME_WITH_VERIFIED_JD_READBACK",
|
||
|
|
"timeout_ms": 5000
|
||
|
|
},
|
||
|
|
"rollback_plan": {
|
||
|
|
"actions": [
|
||
|
|
"KEEP_PRIOR_VERIFIED_SERVER_RUNTIME_AND_FORMAL_CLIENT_UNCHANGED"
|
||
|
|
],
|
||
|
|
"preconditions": [
|
||
|
|
"FINAL_RECEIPT_NOT_READBACK_VERIFIED"
|
||
|
|
],
|
||
|
|
"verification": [
|
||
|
|
"JD_CURRENT_RELEASE_UNCHANGED",
|
||
|
|
"FORMAL_CLIENT_0_9_1_UNCHANGED"
|
||
|
|
]
|
||
|
|
},
|
||
|
|
"schema": "guanghu.gir/v1",
|
||
|
|
"subject": {
|
||
|
|
"channel_id": "ICE-CH-ZC001",
|
||
|
|
"subject_id": "TCS-TRANSLATOR-DEVELOPMENT-20260821",
|
||
|
|
"subject_kind": "FOURTH_GENERATION_TCS_EXECUTION_SHADOW",
|
||
|
|
"verification": "CONTROLLED_BY_ICE-P-ZY001_UNDER_ICE-GL∞"
|
||
|
|
},
|
||
|
|
"timeout_and_stop": {
|
||
|
|
"safe_checkpoint": "LAST_VERIFIED_RECEIPT_SET",
|
||
|
|
"signals": [
|
||
|
|
"ANY_HASH_CHANGED",
|
||
|
|
"ANY_ACCEPTANCE_ZERO",
|
||
|
|
"ANY_UNKNOWN_PRESENT"
|
||
|
|
]
|
||
|
|
},
|
||
|
|
"unresolved_natural_language": false
|
||
|
|
}
|