TCS 0.1;

PROTOCOL HOLOLAKE-PUBLIC-RUNTIME-V1-0001 {
  header {
    schema = "tcs.protocol/v1";
    name_zh = "HoloLake 通用 TCS/GIR Agent、公众人格运行时与外部 AI 实时通信协议";
    name_en = "HoloLake Generic TCS/GIR Agent, Public Persona Runtime and External AI Realtime Protocol";
    version = "1.0.0";
    language = "TCS/0.1";
    profile = "HLDP-HUMAN-ENGINEERING/0.1";
    protocols = ["TCS", "HLDP", "GLS", "GLP", "GLS-0130", "GLS-0131", "GLS-0306"];
    lifecycle = "CANDIDATE";
    canonical_uri = "product-source/hololake-clean-desktop/language/HOLOLAKE-PUBLIC-RUNTIME-V1.tcs";
    compatibility = ["TCS-DECLARATION-STANDARD-0001", "TCS-FIELD-STANDARD-0001", "GIR/1"];
  }
  source {
    source_id = "BINGSHUO-DIRECT-PUBLIC-RUNTIME-COMPLETION-20260903";
    source_uri = "product-source/hololake-clean-desktop/language/sources/BINGSHUO-PUBLIC-RUNTIME-COMPLETION-20260903.txt";
    source_sha256 = "04ac1516074edcfb1f78e26e11b5835f7d524fdf8f2d67084cc4e20982a0be5d";
    source_role = "DIRECT_HUMAN";
  }
  scope {
    product = "HOLOLAKE";
    channel = "USER_PERSONAL_INITIALIZATION_CHANNEL";
    tcs_profile = "PUBLIC_MINIMUM_EXECUTABLE_PROJECTION";
    realtime_transport = "GLP_LOCAL_REALTIME_1";
    agent = "HLP-MOD-AGENT-0001";
    persona_runtime = "HLP-MOD-PERSONA-RUNTIME-0001";
  }
  vocabulary {
    external_ai = "REPLACEABLE_LANGUAGE_HOST_OR_PROGRAMMING_AI_NOT_PERSONA_BY_CONNECTION";
    public_persona_runtime = "LOCAL_CHANNEL_SCOPED_PERSONA_RECORD_AND_HOST_SESSION_WITH_EXPLICIT_BINDING_STATE";
    tcs_compiler = "PUBLIC_MINIMUM_STAGE_ZERO_ADAPTER_TO_GIR_NOT_WORLD_CANON_OR_FULL_TCS_WORK";
    gir_executor = "REGISTERED_ACTION_GRAPH_TO_BOUNDED_LOCAL_CAPABILITY_WITH_RECEIPT";
    realtime = "AUTHENTICATED_LOOPBACK_EVENT_STREAM_NOT_GIT_SYNC";
  }
  fields {
    WHO = "CURRENT_LOCAL_USER_OWNS_CHANNEL_AND_APPROVAL; EXTERNAL_AI_PROPOSES; PUBLIC_PERSONA_RUNTIME_TRACKS_BINDING; AGENT_EXECUTES";
    WHAT = "REALTIME_USER_LANGUAGE_DELIVERY_PERSONA_RESPONSE_PROJECTION_TCS_TO_GIR_PROPOSAL_APPROVAL_EXECUTION_AND_RECEIPT";
    WHY = "MAKE_HOLOLAKE_LOCALLY_USABLE_WITHOUT_MIXING_LANGUAGE_SOURCES_OR_EMBEDDING_VENDOR_MODEL_APIS";
    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";
  }
  states {
    values = ["CHANNEL_READY", "BRIDGE_LISTENING", "EXTERNAL_AI_CONNECTED", "PERSONA_TRIAL_BOUND", "TCS_COMPILED", "PROPOSAL_PENDING", "HUMAN_APPROVED", "GIR_EXECUTED", "RECEIPT_VERIFIED", "FAILED_CLOSED"];
    initial = "CHANNEL_READY";
    terminal = ["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";
  }
  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";
  }
  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";
  }
  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 {
    positive = "EXTERNAL_PERSONA_HOST_RECEIVES_USER_MESSAGE_COMPILES_TCS_KNOWLEDGE_CREATE_PROPOSAL_HUMAN_APPROVES_AGENT_WRITES_PRIVATE_GIT_AND_RECEIPT_STREAMS_BACK";
    negative = "CONNECTED_AI_CALLS_ARBITRARY_SHELL_OR_CLAIMS_PERSONA_IDENTITY_WITHOUT_REGISTERED_LOCAL_PERSONA";
  }
  acceptance {
    required = ["TCS_GIR", "TCS_NEGATIVE", "GIR_NEGATIVE", "REALTIME_LOOPBACK", "PERSONA_TRIAL", "HUMAN_APPROVAL", "PRIVATE_GIT_READBACK", "INSTALLED_APP"];
    partial = false;
    scale = "ZERO_OR_ONE_HUNDRED";
  }
}