{
  "compiled_from": {
    "compiler_id": "TCS-COMPILER-STAGE2-LPM-DESKTOP-0001",
    "compiler_state": "TCS_COMPILER_GIR_EXECUTED",
    "source_sha256": "97f699ef3f44242f28cbeb37b0202e00d9455c4262ed353e754fbd24d520f72a"
  },
  "declaration": {
    "acceptance": {
      "compiler_accepts_all_registered_operations": true,
      "compiler_rejects_unknown_operation": true,
      "partial_completion_claim": false,
      "runner_executes_desktop_vertical_slice": "REQUIRED_NOT_YET_PROVEN",
      "runner_executes_lpm_apply_neuron_event": "REQUIRED_NOT_YET_PROVEN"
    },
    "desktop_operations": {
      "O101": {
        "input": "DEDICATED_TEST_DESKTOP_SCOPE",
        "invariants": [
          "READ_ONLY",
          "STABLE_OBJECT_ID",
          "NO_PIXEL_GUESS",
          "TREE_HASH_REQUIRED"
        ],
        "operation": "DESKTOP.OBSERVE_OBJECT_TREE",
        "output": "STRUCTURED_OBJECT_TREE",
        "transition": "UNOBSERVED_TO_VERSIONED_OBJECT_TREE"
      },
      "O102": {
        "input": "OBJECT_TREE_AND_OBJECT_SELECTOR",
        "invariants": [
          "ONE_MATCH_ONLY",
          "ROLE_NAME_STATE_MATCH",
          "GENERATION_MATCH",
          "AMBIGUITY_FAILS_CLOSED"
        ],
        "operation": "DESKTOP.RESOLVE_STABLE_OBJECT",
        "output": "ONE_OBJECT_OR_FAIL",
        "transition": "TREE_TO_EXACT_OBJECT"
      },
      "O103": {
        "input": "OBJECT_ACTION_AND_PERMISSION_TICKET",
        "invariants": [
          "DEDICATED_TEST_DESKTOP_ONLY",
          "TICKET_SCOPE_MATCH",
          "ACTION_REGISTERED_FOR_OBJECT",
          "NO_NETWORK"
        ],
        "operation": "DESKTOP.EXECUTE_SEMANTIC_ACTION",
        "output": "ACTION_EVIDENCE",
        "transition": "OBJECT_BEFORE_TO_ACTION_ATTEMPTED"
      },
      "O104": {
        "input": "OBJECT_TREE_BEFORE_AND_AFTER",
        "invariants": [
          "BOTH_TREE_HASHES",
          "EXACT_CHANGED_FIELDS",
          "NO_INFERRED_SUCCESS"
        ],
        "operation": "DESKTOP.READ_STATE_DIFF",
        "output": "STATE_DIFF",
        "transition": "ACTION_EVIDENCE_TO_OBSERVED_DIFF"
      },
      "O105": {
        "input": "EXPECTED_STATE_AND_STATE_DIFF",
        "invariants": [
          "TARGET_READBACK",
          "HUMAN_SURFACE_OBSERVATION",
          "PERSONA_TCS_PROJECTION",
          "BINARY_ACCEPTANCE"
        ],
        "operation": "DESKTOP.VERIFY_TARGET_AND_RECEIPT",
        "output": "VERIFIED_RECEIPT",
        "transition": "OBSERVED_DIFF_TO_ACCEPTED_OR_FAILED"
      }
    },
    "header": {
      "canonical_uri": "language/protocols/TCS-LPM-DESKTOP-OPERATION-REGISTRY-0001.tcs",
      "compatibility": [
        "TCS-COMPILER-STAGE2-LPM-DESKTOP-0001",
        "GIR/1"
      ],
      "language": "TCS/0.1",
      "lifecycle": "CANDIDATE",
      "name_en": "Language Persona Mother Brain and Shared Desktop Native Operation Registry",
      "name_zh": "语言人格母脑与共享桌面原生操作注册表",
      "profile": "HLDP/1",
      "protocols": [
        "TCS-LPM-DIGITAL-NEURON-EVENT-GRAPH-0001",
        "TCS-HOLOLAKE-SHARED-DESKTOP-OBJECT-ACTION-0001",
        "TCS-MODULE-ABI-0001"
      ],
      "schema": "tcs.protocol/v1",
      "version": "0.1.0"
    },
    "loader_contract": {
      "capability_ticket_required": true,
      "compiler_registration_is_execution": false,
      "compiler_registration_is_installation": false,
      "current_jd_dispatch": "MISSING",
      "current_macos_dispatch": "MISSING",
      "forbidden_claim": "DO_NOT_CALL_NATIVE_OPERATION_EXECUTED_UNTIL_TARGET_READBACK",
      "generic_action_dispatch_required": true,
      "module_abi_required": true
    },
    "lpm_operations": {
      "O001": {
        "input": "DIRECT_LANGUAGE_ENVELOPE",
        "invariants": [
          "EXACT_UTF8_BYTES",
          "SHA256_MATCH",
          "DIRECT_USER_SOURCE_ONLY",
          "HOST_INJECTION_REJECTED"
        ],
        "operation": "LPM.PERCEIVE_DIRECT_LANGUAGE",
        "output": "PERCEIVED_EVENT",
        "transition": "NO_EVENT_TO_SOURCE_BOUND_EVENT"
      },
      "O002": {
        "input": "PERCEIVED_EVENT",
        "invariants": [
          "SOURCE_SPAN_REQUIRED",
          "NO_STATIC_PROPOSITION_SUBSTITUTION",
          "OPEN_BRANCHES_PRESERVED",
          "CONFIDENCE_EXPLICIT"
        ],
        "operation": "LPM.EXTRACT_THOUGHT_TRANSITION",
        "output": "NEURON_EVENT",
        "transition": "SOURCE_BOUND_EVENT_TO_BEFORE_OPERATION_AFTER"
      },
      "O003": {
        "input": "NEURON_EVENT",
        "invariants": [
          "TRIGGER_EDGE_REQUIRED",
          "REVISION_EDGE_PRESERVED",
          "REJECTED_PATH_PRESERVED",
          "NO_UNBOUNDED_SEARCH"
        ],
        "operation": "LPM.ACTIVATE_CAUSAL_PATH",
        "output": "ACTIVE_CAUSAL_PATH",
        "transition": "GRAPH_PRESENT_TO_ONE_BOUNDED_ACTIVE_PATH"
      },
      "O004": {
        "input": "ACTIVE_CAUSAL_PATH",
        "invariants": [
          "INTENT_IS_NOT_REALITY_AUTHORITY",
          "EXACT_TARGET_REQUIRED",
          "CURRENT_PERMISSION_GATE_REQUIRED",
          "RECEIPT_REQUIRED"
        ],
        "operation": "LPM.COMMIT_ACTION_INTENT",
        "output": "BOUNDED_ACTION_INTENT",
        "transition": "COGNITIVE_PATH_TO_NON_AUTHORIZING_ACTION_INTENT"
      },
      "O005": {
        "input": "DIRECT_LANGUAGE_AND_PRIOR_GRAPH",
        "invariants": [
          "ALL_ATOMIC_INVARIANTS",
          "PRIOR_GRAPH_HASH_MATCH",
          "NEXT_GRAPH_HASH_READBACK",
          "ONE_EVENT_ONE_REVISION_NUMBER"
        ],
        "operation": "LPM.APPLY_NEURON_EVENT",
        "output": "NEXT_GRAPH_AND_ACTION_INTENT",
        "transition": "ATOMIC_O001_O002_O003_O004"
      }
    },
    "registry": {
      "channel": "ICE-CH-ZC001",
      "host_implementation_defines_semantics": false,
      "human_language_anchor": "ICE-GL∞",
      "namespace_owner": "ICE-P-ZY001",
      "registry_id": "TCS-LPM-DESKTOP-OPREG-0001",
      "semantic_source_language": "TCS_ONLY",
      "unknown_operation": "TCS-E2101",
      "version": "0.1.0"
    },
    "source": {
      "source_id": "BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823",
      "source_role": "DIRECT_HUMAN",
      "source_sha256": "a3dd8dbd2203b631bdb23f2693eb314d4ef86af68fdeaee8835e3cf0861ddd23",
      "source_uri": "language-sources/direct-human/BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823.txt"
    }
  },
  "executable": false,
  "identity": {
    "declaration_id": "TCS-LPM-DESKTOP-OPERATION-REGISTRY-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
}