77 lines
2.5 KiB
JSON
77 lines
2.5 KiB
JSON
|
{
|
||
|
|
"compiled_from": {
|
||
|
|
"compiler_id": "TCS-COMPILER-STAGE4-CORE-STATE-PRIMITIVES-0001",
|
||
|
|
"compiler_state": "TCS_COMPILER_GIR_EXECUTED",
|
||
|
|
"source_sha256": "db1c38ff79c423b8db42b1a7e81b4baecf583f7d0e78d44c43bfa37d4b2fce7f"
|
||
|
|
},
|
||
|
|
"declaration": {
|
||
|
|
"acceptance": {
|
||
|
|
"host_product_semantic_authority": false,
|
||
|
|
"one_absent_to_present_transition": "REQUIRED",
|
||
|
|
"one_outside_root_rejection": "REQUIRED",
|
||
|
|
"one_prior_hash_mismatch_rejection": "REQUIRED"
|
||
|
|
},
|
||
|
|
"errors": {
|
||
|
|
"invalid_hash": "TCS-E3001",
|
||
|
|
"outside_root": "TCS-E4002",
|
||
|
|
"prior_mismatch": "TCS-E6001",
|
||
|
|
"unregistered_operation": "TCS-E2101",
|
||
|
|
"write_or_readback_failure": "TCS-E8001"
|
||
|
|
},
|
||
|
|
"forbidden_host_semantics": {
|
||
|
|
"choose_next_state": false,
|
||
|
|
"expand_target": false,
|
||
|
|
"infer_authority": false,
|
||
|
|
"interpret_natural_language": false,
|
||
|
|
"know_desktop": false,
|
||
|
|
"know_lpm": false,
|
||
|
|
"synthesize_product_receipt": false
|
||
|
|
},
|
||
|
|
"header": {
|
||
|
|
"canonical_uri": "language/protocols/TCS-GENERIC-EXACT-STATE-PRIMITIVE-0001.tcs",
|
||
|
|
"language": "TCS/0.1",
|
||
|
|
"lifecycle": "CANDIDATE",
|
||
|
|
"name_en": "TCS Generic Exact State Transition Mechanical Primitive",
|
||
|
|
"name_zh": "TCS通用精确状态转换机械原语",
|
||
|
|
"profile": "HLDP-NP/1",
|
||
|
|
"schema": "tcs.protocol/v1",
|
||
|
|
"version": "0.1.0"
|
||
|
|
},
|
||
|
|
"inputs": {
|
||
|
|
"exact_target": true,
|
||
|
|
"expected_prior_modes": [
|
||
|
|
"ABSENT",
|
||
|
|
"SHA256"
|
||
|
|
],
|
||
|
|
"next_state": "OPAQUE_TYPED_TCS_GIR_VALUE"
|
||
|
|
},
|
||
|
|
"machine_rules": {
|
||
|
|
"atomic_same_directory_replace": true,
|
||
|
|
"canonical_json": true,
|
||
|
|
"compare_prior_before_write": true,
|
||
|
|
"readback_exact_bytes": true,
|
||
|
|
"reject_outside_root": true,
|
||
|
|
"verify_gir": true,
|
||
|
|
"verify_operation": true,
|
||
|
|
"verify_target_equals_receipt_path": true
|
||
|
|
},
|
||
|
|
"operation": {
|
||
|
|
"host_role": "MECHANICAL_COMPARE_ATOMIC_WRITE_HASH_AND_READBACK_ONLY",
|
||
|
|
"id": "TCS-OP-CORE-EXACT-STATE-0001",
|
||
|
|
"input": "EXPECTED_PRIOR_PLUS_OPAQUE_NEXT_STATE",
|
||
|
|
"name": "CORE.APPLY_EXACT_STATE_TRANSITION",
|
||
|
|
"output": "CANONICAL_STATE_TARGET_AND_READBACK_RECEIPT",
|
||
|
|
"semantic_owner": "CALLING_TCS_PROVIDER_GIR"
|
||
|
|
}
|
||
|
|
},
|
||
|
|
"executable": false,
|
||
|
|
"identity": {
|
||
|
|
"declaration_id": "TCS-GENERIC-EXACT-STATE-PRIMITIVE-0001",
|
||
|
|
"declaration_kind": "PROTOCOL",
|
||
|
|
"language_version": "0.1"
|
||
|
|
},
|
||
|
|
"native_self_hosted": true,
|
||
|
|
"natural_language_is_typed_data": true,
|
||
|
|
"schema": "guanghu.declaration-gir/v1",
|
||
|
|
"unresolved_natural_language": false
|
||
|
|
}
|