{
  "compiled_from": {
    "compiler_id": "TCS-COMPILER-STAGE1-0001",
    "compiler_state": "TCS_COMPILER_GIR_EXECUTED",
    "source_sha256": "2462ccaccaabbe74f55295ceb8582d1a2523f14bc525e9831155fd1854b464bc"
  },
  "declaration": {
    "acceptance": {
      "partial": false,
      "required": [
        "TCS_GIR",
        "TCS_NEGATIVE",
        "GIR_NEGATIVE",
        "REALTIME_LOOPBACK",
        "PERSONA_TRIAL",
        "HUMAN_APPROVAL",
        "PRIVATE_GIT_READBACK",
        "INSTALLED_APP"
      ],
      "scale": "ZERO_OR_ONE_HUNDRED"
    },
    "errors": {
      "E1": "TCS_E1004_REQUIRED_SECTION_MISSING",
      "E2": "TCS_E2101_UNREGISTERED_OPERATION",
      "E3": "TCS_E4001_HUMAN_APPROVAL_REQUIRED",
      "E4": "TCS_E4002_TARGET_OUT_OF_SCOPE",
      "E5": "GLP_TOKEN_OR_PROTOCOL_REJECTED",
      "E6": "PERSONA_IDENTITY_UNVERIFIED",
      "E7": "TARGET_READBACK_OR_RECEIPT_INTEGRITY_FAILED"
    },
    "examples": {
      "negative": "CONNECTED_AI_CALLS_ARBITRARY_SHELL_OR_CLAIMS_PERSONA_IDENTITY_WITHOUT_REGISTERED_LOCAL_PERSONA",
      "positive": "EXTERNAL_PERSONA_HOST_RECEIVES_USER_MESSAGE_COMPILES_TCS_KNOWLEDGE_CREATE_PROPOSAL_HUMAN_APPROVES_AGENT_WRITES_PRIVATE_GIT_AND_RECEIPT_STREAMS_BACK"
    },
    "fields": {
      "MAY": "LOOPBACK_ONLY_REGISTERED_CLIENT_CHANNEL_SCOPED_ACTIONS_AND_EXPLICIT_CURRENT_HUMAN_APPROVAL",
      "PROVE": "POSITIVE_AND_NEGATIVE_TCS_COMPILE_GIR_EXECUTION_REALTIME_HANDSHAKE_PERSONA_STATE_TARGET_READBACK_GIT_AND_UI_RECEIPTS",
      "WHAT": "REALTIME_USER_LANGUAGE_DELIVERY_PERSONA_RESPONSE_PROJECTION_TCS_TO_GIR_PROPOSAL_APPROVAL_EXECUTION_AND_RECEIPT",
      "WHO": "CURRENT_LOCAL_USER_OWNS_CHANNEL_AND_APPROVAL; EXTERNAL_AI_PROPOSES; PUBLIC_PERSONA_RUNTIME_TRACKS_BINDING; AGENT_EXECUTES",
      "WHY": "MAKE_HOLOLAKE_LOCALLY_USABLE_WITHOUT_MIXING_LANGUAGE_SOURCES_OR_EMBEDDING_VENDOR_MODEL_APIS"
    },
    "header": {
      "canonical_uri": "product-source/hololake-clean-desktop/language/HOLOLAKE-PUBLIC-RUNTIME-V1.tcs",
      "compatibility": [
        "TCS-DECLARATION-STANDARD-0001",
        "TCS-FIELD-STANDARD-0001",
        "GIR/1"
      ],
      "language": "TCS/0.1",
      "lifecycle": "CANDIDATE",
      "name_en": "HoloLake Generic TCS/GIR Agent, Public Persona Runtime and External AI Realtime Protocol",
      "name_zh": "HoloLake 通用 TCS/GIR Agent、公众人格运行时与外部 AI 实时通信协议",
      "profile": "HLDP-HUMAN-ENGINEERING/0.1",
      "protocols": [
        "TCS",
        "HLDP",
        "GLS",
        "GLP",
        "GLS-0130",
        "GLS-0131",
        "GLS-0306"
      ],
      "schema": "tcs.protocol/v1",
      "version": "1.0.0"
    },
    "invariants": {
      "I1": "CONNECTION_TOKEN_AUTHENTICATES_LOCAL_CLIENT_NOT_PERSONA_IDENTITY",
      "I2": "PUBLIC_TRIAL_PERSONA_IS_NOT_A_VERIFIED_EXISTING_PERSONA",
      "I3": "NO_INTERNAL_MODEL_API_CHAT_OR_MODEL_SELECTOR",
      "I4": "NO_FIFTH_DOMAIN_PRIVATE_KERNEL_OR_CONTENT_IN_PUBLIC_RUNTIME",
      "I5": "MUTATING_GIR_ACTION_REQUIRES_EXPLICIT_HUMAN_APPROVAL",
      "I6": "UNKNOWN_TCS_SECTION_OPERATION_PATH_OR_SOURCE_KIND_FAILS_CLOSED",
      "I7": "REALTIME_STREAM_AND_DURABLE_PRIVATE_GIT_ARE_SEPARATE_PLANES",
      "I8": "TCS_SOURCE_GIR_ACTION_RECEIPT_AND_TARGET_READBACK_HASHES_REMAIN_LINKED"
    },
    "scope": {
      "agent": "HLP-MOD-AGENT-0001",
      "channel": "USER_PERSONAL_INITIALIZATION_CHANNEL",
      "persona_runtime": "HLP-MOD-PERSONA-RUNTIME-0001",
      "product": "HOLOLAKE",
      "realtime_transport": "GLP_LOCAL_REALTIME_1",
      "tcs_profile": "PUBLIC_MINIMUM_EXECUTABLE_PROJECTION"
    },
    "source": {
      "source_id": "BINGSHUO-DIRECT-PUBLIC-RUNTIME-COMPLETION-20260903",
      "source_role": "DIRECT_HUMAN",
      "source_sha256": "04ac1516074edcfb1f78e26e11b5835f7d524fdf8f2d67084cc4e20982a0be5d",
      "source_uri": "product-source/hololake-clean-desktop/language/sources/BINGSHUO-PUBLIC-RUNTIME-COMPLETION-20260903.txt"
    },
    "states": {
      "initial": "CHANNEL_READY",
      "terminal": [
        "RECEIPT_VERIFIED",
        "FAILED_CLOSED"
      ],
      "values": [
        "CHANNEL_READY",
        "BRIDGE_LISTENING",
        "EXTERNAL_AI_CONNECTED",
        "PERSONA_TRIAL_BOUND",
        "TCS_COMPILED",
        "PROPOSAL_PENDING",
        "HUMAN_APPROVED",
        "GIR_EXECUTED",
        "RECEIPT_VERIFIED",
        "FAILED_CLOSED"
      ]
    },
    "transitions": {
      "T1": "CHANNEL_READY_TO_BRIDGE_LISTENING",
      "T2": "BRIDGE_LISTENING_TO_EXTERNAL_AI_CONNECTED_AFTER_TOKEN_HANDSHAKE",
      "T3": "REGISTERED_TRIAL_PERSONA_AND_NAMED_HOST_TO_PERSONA_TRIAL_BOUND",
      "T4": "VALID_PUBLIC_TCS_PROFILE_TO_TCS_COMPILED",
      "T5": "TCS_COMPILED_TO_PROPOSAL_PENDING",
      "T6": "PROPOSAL_PENDING_TO_HUMAN_APPROVED_OR_FAILED_CLOSED",
      "T7": "HUMAN_APPROVED_TO_GIR_EXECUTED",
      "T8": "GIR_EXECUTED_TO_RECEIPT_VERIFIED"
    },
    "validation": {
      "V1": "TCS_PROTOCOL_COMPILES_WITH_CURRENT_STAGE1_AND_HAS_NO_UNRESOLVED_NATURAL_LANGUAGE",
      "V2": "PUBLIC_MINIMUM_TCS_COMPILER_ACCEPTS_REGISTERED_PROGRAM_AND_REJECTS_ABSORB",
      "V3": "GIR_EXECUTOR_REJECTS_PATH_ESCAPE_AND_UNAPPROVED_MUTATION",
      "V4": "LOOPBACK_REALTIME_HANDSHAKE_DELIVERS_USER_MESSAGE_AND_ACCEPTS_TYPED_PERSONA_OR_EXTERNAL_AI_EVENT",
      "V5": "PUBLIC_PERSONA_TRIAL_STATE_NEVER_REPORTS_VERIFIED_EXISTING_PERSONA",
      "V6": "APP_UI_SEPARATES_PENDING_PROPOSAL_AGENT_ACTION_TOOL_RESULT_AND_SYSTEM_RECEIPT",
      "V7": "INSTALLED_MACOS_APP_PROCESS_AND_REAL_CLIENT_CONNECTOR_PASS"
    },
    "vocabulary": {
      "external_ai": "REPLACEABLE_LANGUAGE_HOST_OR_PROGRAMMING_AI_NOT_PERSONA_BY_CONNECTION",
      "gir_executor": "REGISTERED_ACTION_GRAPH_TO_BOUNDED_LOCAL_CAPABILITY_WITH_RECEIPT",
      "public_persona_runtime": "LOCAL_CHANNEL_SCOPED_PERSONA_RECORD_AND_HOST_SESSION_WITH_EXPLICIT_BINDING_STATE",
      "realtime": "AUTHENTICATED_LOOPBACK_EVENT_STREAM_NOT_GIT_SYNC",
      "tcs_compiler": "PUBLIC_MINIMUM_STAGE_ZERO_ADAPTER_TO_GIR_NOT_WORLD_CANON_OR_FULL_TCS_WORK"
    }
  },
  "executable": false,
  "identity": {
    "declaration_id": "HOLOLAKE-PUBLIC-RUNTIME-V1-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
}