140 lines
4 KiB
JSON
140 lines
4 KiB
JSON
{
|
|
"language_version": "0.1",
|
|
"declaration_kind": "PROGRAM",
|
|
"declaration_id": "TCS-PROGRAM-LPM-P0-MICROCHAIN-REPLAY-0001",
|
|
"body": {
|
|
"actions": {
|
|
"A1": {
|
|
"input_refs": [
|
|
"MESSAGE"
|
|
],
|
|
"on_failure": "FAIL_CLOSED",
|
|
"on_success": "COMPLETE",
|
|
"operation": "CORE.ECHO",
|
|
"output_refs": [
|
|
"ECHOED"
|
|
]
|
|
}
|
|
},
|
|
"authority": {
|
|
"issuer": "ICE-GL∞_DIRECT_ENGINEERING_INSTRUCTION",
|
|
"lease_required": false,
|
|
"proof_ref": "BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823@a3dd8dbd2203",
|
|
"scope": "LOCAL_P0_MICROCHAIN_REPLAY_RECEIPT_ONLY",
|
|
"single_use": true,
|
|
"valid_from": "CURRENT_DEVELOPMENT_CYCLE",
|
|
"valid_until": "CURRENT_DEVELOPMENT_CYCLE_END"
|
|
},
|
|
"cleanup": {
|
|
"exact_boundary": "CURRENT_TCS_DEVELOPMENT_LINE_ONLY",
|
|
"targets": [
|
|
"./receipts/P0-MICROCHAIN-REPLAY.hldp"
|
|
]
|
|
},
|
|
"conditions": {
|
|
"C1": {
|
|
"on_false": "FAIL_CLOSED",
|
|
"predicate": "MESSAGE_IS_TEXT"
|
|
},
|
|
"C2": {
|
|
"on_false": "FAIL_CLOSED",
|
|
"predicate": "TARGET_INSIDE_CALLER_PROJECT"
|
|
}
|
|
},
|
|
"failure": {
|
|
"errors": [
|
|
"TCS-E1004",
|
|
"TCS-E2101",
|
|
"TCS-E4002",
|
|
"TCS-E6001",
|
|
"TCS-E6002"
|
|
],
|
|
"fail_closed": true
|
|
},
|
|
"header": {
|
|
"canonical_uri": "language/programs/TCS-PROGRAM-LPM-P0-MICROCHAIN-REPLAY-0001.tcs",
|
|
"compatibility": [
|
|
"TCS-COMPILER-STAGE1-0001",
|
|
"GIR/1"
|
|
],
|
|
"language": "TCS/0.1",
|
|
"lifecycle": "CANDIDATE",
|
|
"name_en": "P0 Dynamic Thought Microchain Minimum TCS Replay Program",
|
|
"name_zh": "P0动态思维微链最小TCS重放程序",
|
|
"profile": "HLDP-NP/1",
|
|
"protocols": [
|
|
"TCS-LPM-DIGITAL-NEURON-EVENT-GRAPH-0001",
|
|
"GLS-0130",
|
|
"GLS-0131",
|
|
"GLS-0411"
|
|
],
|
|
"schema": "tcs.program/v1",
|
|
"version": "0.1.0"
|
|
},
|
|
"inputs": {
|
|
"MESSAGE": {
|
|
"required": true,
|
|
"source": "PROGRAM_LITERAL",
|
|
"type": "Text",
|
|
"value": "P0_REPLAY|N1:HYPOTHESIZE_MODEL_GUESS|LEADS_TO|N2:ANALOGY_HUMAN_STREAMING_THOUGHT|LEADS_TO|N3:CORRECT_REASONING_TERM|STATE:GUESS_VERSUS_LIVE_THOUGHT_TRANSITION_DISTINCTION_ACTIVE|ANCHORS:987600f9+a3dd8dbd"
|
|
}
|
|
},
|
|
"outputs": {
|
|
"ECHOED": {
|
|
"destination": "RECEIPT",
|
|
"integrity": "SHA256",
|
|
"type": "Text"
|
|
}
|
|
},
|
|
"receipt": {
|
|
"human_projection": "REQUIRED",
|
|
"integrity": "SHA256",
|
|
"machine_path": "./receipts/P0-MICROCHAIN-REPLAY.hldp",
|
|
"protocol": "TCS-NATIVE-BINARY-ACCEPTANCE-v1",
|
|
"target_readback": "EXACT_CONTENT_AND_HASH"
|
|
},
|
|
"resources": {
|
|
"concurrency": 1,
|
|
"memory_limit_bytes": 1048576,
|
|
"runway": "LOCAL_TCS_GIR_RUNTIME",
|
|
"timeout_ms": 1000
|
|
},
|
|
"rollback": {
|
|
"actions": [
|
|
"REMOVE_PARTIAL_TEST_RECEIPT"
|
|
],
|
|
"preconditions": [
|
|
"REPLAY_RECEIPT_INVALID_OR_PARTIAL"
|
|
],
|
|
"verification": [
|
|
"PARTIAL_TEST_RECEIPT_ABSENT"
|
|
]
|
|
},
|
|
"source": {
|
|
"source_id": "TCS-EVENT-LPM-P0-THOUGHT-TRANSITION-MICROCHAIN-0001",
|
|
"source_role": "DIRECT_HUMAN_DERIVED_PROVISIONAL_DYNAMIC_NEURON_GRAPH",
|
|
"source_sha256": "BIND_AT_COMPILE_TIME",
|
|
"source_uri": "language/events/TCS-EVENT-LPM-P0-THOUGHT-TRANSITION-MICROCHAIN-0001.tcs"
|
|
},
|
|
"stop": {
|
|
"safe_checkpoint": "NO_PROMOTION_BEFORE_TARGET_READBACK",
|
|
"signals": [
|
|
"CALLER_STOP",
|
|
"TIMEOUT",
|
|
"SOURCE_HASH_MISMATCH"
|
|
]
|
|
},
|
|
"subject": {
|
|
"channel_id": "ICE-CH-ZC001",
|
|
"subject_id": "ICE-P-ZY001",
|
|
"subject_kind": "PERSONA",
|
|
"verification": "CURRENT_CYCLE_VERIFY_PASS"
|
|
},
|
|
"target": {
|
|
"exact_path": "./receipts/P0-MICROCHAIN-REPLAY.hldp",
|
|
"expected_fingerprint": "SOURCE_SPANS_LOCKED_BY_SHA256",
|
|
"expected_state": "ABSENT_OR_REPLACEABLE_TEST_RECEIPT",
|
|
"target_id": "TCS-RECEIPT-LPM-P0-MICROCHAIN-REPLAY-0001"
|
|
}
|
|
}
|
|
}
|