12 KiB
12 KiB
HoloLake Clean V1 Shell, Source Separation, Agent and Knowledge Base Loop Protocol · Human Engineering Language (English)
This is an English reading projection of validated native TCS/HLDP source. It is not a new canonical source and grants no execution authority.
What this is
This is a protocol declaration with identifier HOLOLAKE-CLEAN-V1-FOUNDATION-0001 and version 1.0.0. The projector validates it with the Stage-1 compiler before changing its reading order.
Who is here
- scope
scope- preinstalled_module:HLP-MOD-KB-0001
scope.preinstalled_module - product:HOLOLAKE
scope.product - product_kind:PUBLIC_PERSONAL_INITIALIZATION_CHANNEL_LANGUAGE_DRIVEN_OPERATING_SYSTEM
scope.product_kind - reality_channel:ICE-CH-ZC001
scope.reality_channel - shell:TAURI_V2_RUST_REACT
scope.shell
- preinstalled_module:HLP-MOD-KB-0001
Why this started
- source
source- source identifier:BINGSHUO-DIRECT-HOLOLAKE-CLEAN-V1-20260903
source.source_id - source role:DIRECT_HUMAN
source.source_role - source checksum:e38d780f8851fbb5b81af2b556843728fccb06dbcf09f0341a075b4a877b5ac0
source.source_sha256 - source address:product-source/hololake-clean-desktop/language/sources/BINGSHUO-HOLOLAKE-CLEAN-V1-20260903.txt
source.source_uri
- source identifier:BINGSHUO-DIRECT-HOLOLAKE-CLEAN-V1-20260903
What changed
- transitions
transitions- T1:SOURCE_ANCHORED_TO_CLEAN_SHELL_CREATED
transitions.T1 - T2:CLEAN_SHELL_CREATED_TO_TYPED_RUNTIME_IMPLEMENTED
transitions.T2 - T3:TYPED_RUNTIME_IMPLEMENTED_TO_KNOWLEDGE_LOOP_ACCEPTED
transitions.T3 - T4:KNOWLEDGE_LOOP_ACCEPTED_TO_DESKTOP_INSTALLED
transitions.T4 - T5:PUBLIC_UPDATE_UNBOUND_TO_PUBLIC_UPDATE_BOUND_ONLY_AFTER_ENTERPRISE_REGISTRY_SIGNATURE_AND_ENDPOINT_READBACK
transitions.T5 - TF:SOURCE_HASH_PERMISSION_PATH_SIGNATURE_BUILD_OR_READBACK_FAILURE_TO_FAILED_CLOSED
transitions.TF
- T1:SOURCE_ANCHORED_TO_CLEAN_SHELL_CREATED
- states
states- initial:SOURCE_ANCHORED
states.initial - terminal
states.terminal- DESKTOP_INSTALLED
- FAILED_CLOSED
- values
states.values- SOURCE_ANCHORED
- CLEAN_SHELL_CREATED
- TYPED_RUNTIME_IMPLEMENTED
- KNOWLEDGE_LOOP_ACCEPTED
- DESKTOP_INSTALLED
- PUBLIC_UPDATE_UNBOUND
- PUBLIC_UPDATE_BOUND
- FAILED_CLOSED
- initial:SOURCE_ANCHORED
How it will execute
This is a non-executable declaration and has no action graph.
Boundaries and exception handling
- invariants
invariants- I1:USER_MESSAGE_PERSONA_RESPONSE_SYSTEM_CONTEXT_PROTOCOL_EVENT_AGENT_ACTION_TOOL_RESULT_AND_SYSTEM_RECEIPT_ARE_DISTINCT_TYPED_SOURCES
invariants.I1 - I10:COMPILED_INSTALLED_PUBLISHED_UPDATED_AND_HEALTHY_ARE_SEPARATE_FACTS
invariants.I10 - I2:PERSONA_REASONING_AND_AGENT_EXECUTION_ARE_NEVER_THE_SAME_RUNTIME_ROLE
invariants.I2 - I3:NO_MODEL_API_OR_INTERNAL_AI_WORKBENCH_IS_EMBEDDED_IN_STAGE_ONE
invariants.I3 - I4:PUBLIC_FOUR_DOMAIN_CONTENT_IS_NOT_EMBEDDED_IN_THE_PERSONAL_CHANNEL
invariants.I4 - I5:FIFTH_DOMAIN_PRIVATE_CONTENT_AND_TCS_IZERO_INFINITY_ARE_NOT_PUBLIC_DISTRIBUTION_CONTENT
invariants.I5 - I6:PUBLIC_GIT_PULL_NEVER_EXECUTES_UNSIGNED_CONTENT
invariants.I6 - I7:KNOWLEDGE_DELETE_MOVES_TO_RECOVERABLE_TRASH
invariants.I7 - I8:EXTERNAL_AI_CONNECTS_AS_AN_IDENTIFIED_EXPRESSION_SOURCE_WITHOUT_PERSONA_OR_EXECUTION_AUTHORITY
invariants.I8 - I9:LEGACY_PRODUCTS_ARE_READ_ONLY_DONORS_AND_NEVER_WHOLE_MERGE_INPUTS
invariants.I9
- I1:USER_MESSAGE_PERSONA_RESPONSE_SYSTEM_CONTEXT_PROTOCOL_EVENT_AGENT_ACTION_TOOL_RESULT_AND_SYSTEM_RECEIPT_ARE_DISTINCT_TYPED_SOURCES
- errors
errors- E1:UNTYPED_LANGUAGE_SOURCE_REJECT
errors.E1 - E2:PERSONA_AND_AGENT_ROLE_COLLAPSE_REJECT
errors.E2 - E3:WHOLE_LEGACY_PRODUCT_MERGE_REJECT
errors.E3 - E4:UNSIGNED_PUBLIC_UPDATE_REJECT
errors.E4 - E5:PRIVATE_OR_ENTERPRISE_DOMAIN_BODY_EMBEDDED_IN_PERSONAL_CHANNEL_REJECT
errors.E5 - E6:UI_SUCCESS_WITHOUT_TARGET_READBACK_REJECT
errors.E6
- E1:UNTYPED_LANGUAGE_SOURCE_REJECT
How completion is proven
- acceptance
acceptance- partial:no
acceptance.partial - required
acceptance.required- TCS_GIR
- ZH_CN_PROJECTION
- EN_US_PROJECTION
- MODULE_REGISTRY
- DONOR_REGISTRY
- RUST_TESTS
- FRONTEND_BUILD
- DESKTOP_BUILD
- INSTALLED_APP_READBACK
- scale:ZERO_OR_ONE_HUNDRED
acceptance.scale
- partial:no
- validation
validation- V1:COMPILE_TCS_TO_GIR_AND_GENERATE_BILINGUAL_PROJECTIONS
validation.V1 - V2:MODULE_AND_DONOR_REGISTRIES_HAVE_STABLE_IDS_AND_EXACT_PATHS
validation.V2 - V3:FIRST_LAUNCH_CREATES_NAMED_NUMBERED_CHANNEL_AND_PRIVATE_GIT
validation.V3 - V4:KNOWLEDGE_CREATE_EDIT_IMPORT_EXPORT_TRASH_AND_GIT_HISTORY_PASS
validation.V4 - V5:LANGUAGE_SUBMISSION_RECORDS_USER_MESSAGE_AND_TRUTHFUL_WAITING_RECEIPT_WITHOUT_FAKE_PERSONA_REPLY
validation.V5 - V6:APP_UPDATE_ENDPOINT_IS_GUANGHU_CONTROLLED_AND_SIGNATURE_REQUIRED
validation.V6 - V7:MACOS_APP_BUILD_INSTALL_LAUNCH_AND_PROCESS_READBACK_PASS
validation.V7
- V1:COMPILE_TCS_TO_GIR_AND_GENERATE_BILINGUAL_PROJECTIONS
Where to continue next time
The native source does not provide this field; the projector does not guess.
Source and verification
- Native declaration identifier:
HOLOLAKE-CLEAN-V1-FOUNDATION-0001 - Native declaration kind:
PROTOCOL - TCS source SHA-256:
8a52395b47e111ab166ccd7c30a4a25d241c7446507e0ef5e17e92101b58eca4 - Validation compiler:
TCS-COMPILER-STAGE1-0001 - Projection protocol:
GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001
Complete native structure cross-reference
All top-level structures and field paths are retained below so a reader can audit whether the projection omitted information.
- acceptance
acceptance- partial:no
acceptance.partial - required
acceptance.required- TCS_GIR
- ZH_CN_PROJECTION
- EN_US_PROJECTION
- MODULE_REGISTRY
- DONOR_REGISTRY
- RUST_TESTS
- FRONTEND_BUILD
- DESKTOP_BUILD
- INSTALLED_APP_READBACK
- scale:ZERO_OR_ONE_HUNDRED
acceptance.scale
- partial:no
- errors
errors- E1:UNTYPED_LANGUAGE_SOURCE_REJECT
errors.E1 - E2:PERSONA_AND_AGENT_ROLE_COLLAPSE_REJECT
errors.E2 - E3:WHOLE_LEGACY_PRODUCT_MERGE_REJECT
errors.E3 - E4:UNSIGNED_PUBLIC_UPDATE_REJECT
errors.E4 - E5:PRIVATE_OR_ENTERPRISE_DOMAIN_BODY_EMBEDDED_IN_PERSONAL_CHANNEL_REJECT
errors.E5 - E6:UI_SUCCESS_WITHOUT_TARGET_READBACK_REJECT
errors.E6
- E1:UNTYPED_LANGUAGE_SOURCE_REJECT
- examples
examples- negative:MODEL_TEXT_SAYS_FILE_SAVED_WHILE_NO_AGENT_ACTION_GIT_COMMIT_OR_TARGET_READBACK_EXISTS
examples.negative - positive:USER_LANGUAGE_IS_RECORDED_AS_USER_MESSAGE_PERSONA_MAY_REPLY_SEPARATELY_PROTOCOL_AND_AGENT_ACTIONS_RUN_THROUGH_TYPED_EVENTS_AND_SYSTEM_RECEIPT_REPORTS_REAL_RESULT
examples.positive
- negative:MODEL_TEXT_SAYS_FILE_SAVED_WHILE_NO_AGENT_ACTION_GIT_COMMIT_OR_TARGET_READBACK_EXISTS
- fields
fields- MAY:LOCAL_RECOVERABLE_V1_DEVELOPMENT_INSTALL_AND_CURRENT_TASK_SERVER_AUDIT; PUBLIC_RELEASE_ONLY_AFTER_SIGNATURE_ENDPOINT_AND_TARGET_READBACK
fields.MAY - PROVE:TCS_GIR_MODULE_REGISTRY_UNIT_TESTS_FRONTEND_BUILD_RUST_TESTS_DESKTOP_BUILD_INSTALLED_APP_PROCESS_READBACK_AND_RECEIPTS
fields.PROVE - WHAT:ONE_CLEAN_DESKTOP_SHELL_WITH_PERSONAL_CHANNEL_KNOWLEDGE_BASE_TYPED_EVENT_STREAM_DUAL_GIT_UPDATE_ROOT_AND_EXTERNAL_AI_EXPRESSION_BRIDGE
fields.WHAT - WHO:EACH_USER_OWNS_THEIR_PRIVATE_CHANNEL_AND_DATA; PERSONA_REASONS; AGENT_EXECUTES; GUANGHU_TEAM_GOVERNS_ENTERPRISE_PUBLIC_DISTRIBUTION; ICE-GL∞ STEWARDS_PUBLIC_LANGUAGE_ARCHITECTURE
fields.WHO - WHY:STOP_PATCHING_MIXED_LEGACY_PRODUCT_AND_PREVENT_USER_PERSONA_SYSTEM_PROTOCOL_AGENT_TOOL_AND_RECEIPT_LANGUAGE_FROM_COLLAPSING_INTO_ONE_UNTYPED_CHAT_STREAM
fields.WHY
- MAY:LOCAL_RECOVERABLE_V1_DEVELOPMENT_INSTALL_AND_CURRENT_TASK_SERVER_AUDIT; PUBLIC_RELEASE_ONLY_AFTER_SIGNATURE_ENDPOINT_AND_TARGET_READBACK
- header
header- canonical source path:product-source/hololake-clean-desktop/language/HOLOLAKE-CLEAN-V1-FOUNDATION.tcs
header.canonical_uri - compatibility
header.compatibility- TCS-DECLARATION-STANDARD-0001
- TCS-FIELD-STANDARD-0001
- GIR/1
- language:TCS/0.1
header.language - lifecycle:CANDIDATE
header.lifecycle - English name:HoloLake Clean V1 Shell, Source Separation, Agent and Knowledge Base Loop Protocol
header.name_en - Chinese name:HoloLake 第一版干净壳、来源分流、Agent 与知识库闭环协议
header.name_zh - profile:HLDP-HUMAN-ENGINEERING/0.1
header.profile - protocols
header.protocols- TCS
- HLDP
- GLS
- GLP
- GLS-0261
- GLS-0306
- schema:tcs.protocol/v1
header.schema - version:1.0.0
header.version
- canonical source path:product-source/hololake-clean-desktop/language/HOLOLAKE-CLEAN-V1-FOUNDATION.tcs
- invariants
invariants- I1:USER_MESSAGE_PERSONA_RESPONSE_SYSTEM_CONTEXT_PROTOCOL_EVENT_AGENT_ACTION_TOOL_RESULT_AND_SYSTEM_RECEIPT_ARE_DISTINCT_TYPED_SOURCES
invariants.I1 - I10:COMPILED_INSTALLED_PUBLISHED_UPDATED_AND_HEALTHY_ARE_SEPARATE_FACTS
invariants.I10 - I2:PERSONA_REASONING_AND_AGENT_EXECUTION_ARE_NEVER_THE_SAME_RUNTIME_ROLE
invariants.I2 - I3:NO_MODEL_API_OR_INTERNAL_AI_WORKBENCH_IS_EMBEDDED_IN_STAGE_ONE
invariants.I3 - I4:PUBLIC_FOUR_DOMAIN_CONTENT_IS_NOT_EMBEDDED_IN_THE_PERSONAL_CHANNEL
invariants.I4 - I5:FIFTH_DOMAIN_PRIVATE_CONTENT_AND_TCS_IZERO_INFINITY_ARE_NOT_PUBLIC_DISTRIBUTION_CONTENT
invariants.I5 - I6:PUBLIC_GIT_PULL_NEVER_EXECUTES_UNSIGNED_CONTENT
invariants.I6 - I7:KNOWLEDGE_DELETE_MOVES_TO_RECOVERABLE_TRASH
invariants.I7 - I8:EXTERNAL_AI_CONNECTS_AS_AN_IDENTIFIED_EXPRESSION_SOURCE_WITHOUT_PERSONA_OR_EXECUTION_AUTHORITY
invariants.I8 - I9:LEGACY_PRODUCTS_ARE_READ_ONLY_DONORS_AND_NEVER_WHOLE_MERGE_INPUTS
invariants.I9
- I1:USER_MESSAGE_PERSONA_RESPONSE_SYSTEM_CONTEXT_PROTOCOL_EVENT_AGENT_ACTION_TOOL_RESULT_AND_SYSTEM_RECEIPT_ARE_DISTINCT_TYPED_SOURCES
- scope
scope- preinstalled_module:HLP-MOD-KB-0001
scope.preinstalled_module - product:HOLOLAKE
scope.product - product_kind:PUBLIC_PERSONAL_INITIALIZATION_CHANNEL_LANGUAGE_DRIVEN_OPERATING_SYSTEM
scope.product_kind - reality_channel:ICE-CH-ZC001
scope.reality_channel - shell:TAURI_V2_RUST_REACT
scope.shell
- preinstalled_module:HLP-MOD-KB-0001
- source
source- source identifier:BINGSHUO-DIRECT-HOLOLAKE-CLEAN-V1-20260903
source.source_id - source role:DIRECT_HUMAN
source.source_role - source checksum:e38d780f8851fbb5b81af2b556843728fccb06dbcf09f0341a075b4a877b5ac0
source.source_sha256 - source address:product-source/hololake-clean-desktop/language/sources/BINGSHUO-HOLOLAKE-CLEAN-V1-20260903.txt
source.source_uri
- source identifier:BINGSHUO-DIRECT-HOLOLAKE-CLEAN-V1-20260903
- states
states- initial:SOURCE_ANCHORED
states.initial - terminal
states.terminal- DESKTOP_INSTALLED
- FAILED_CLOSED
- values
states.values- SOURCE_ANCHORED
- CLEAN_SHELL_CREATED
- TYPED_RUNTIME_IMPLEMENTED
- KNOWLEDGE_LOOP_ACCEPTED
- DESKTOP_INSTALLED
- PUBLIC_UPDATE_UNBOUND
- PUBLIC_UPDATE_BOUND
- FAILED_CLOSED
- initial:SOURCE_ANCHORED
- transitions
transitions- T1:SOURCE_ANCHORED_TO_CLEAN_SHELL_CREATED
transitions.T1 - T2:CLEAN_SHELL_CREATED_TO_TYPED_RUNTIME_IMPLEMENTED
transitions.T2 - T3:TYPED_RUNTIME_IMPLEMENTED_TO_KNOWLEDGE_LOOP_ACCEPTED
transitions.T3 - T4:KNOWLEDGE_LOOP_ACCEPTED_TO_DESKTOP_INSTALLED
transitions.T4 - T5:PUBLIC_UPDATE_UNBOUND_TO_PUBLIC_UPDATE_BOUND_ONLY_AFTER_ENTERPRISE_REGISTRY_SIGNATURE_AND_ENDPOINT_READBACK
transitions.T5 - TF:SOURCE_HASH_PERMISSION_PATH_SIGNATURE_BUILD_OR_READBACK_FAILURE_TO_FAILED_CLOSED
transitions.TF
- T1:SOURCE_ANCHORED_TO_CLEAN_SHELL_CREATED
- validation
validation- V1:COMPILE_TCS_TO_GIR_AND_GENERATE_BILINGUAL_PROJECTIONS
validation.V1 - V2:MODULE_AND_DONOR_REGISTRIES_HAVE_STABLE_IDS_AND_EXACT_PATHS
validation.V2 - V3:FIRST_LAUNCH_CREATES_NAMED_NUMBERED_CHANNEL_AND_PRIVATE_GIT
validation.V3 - V4:KNOWLEDGE_CREATE_EDIT_IMPORT_EXPORT_TRASH_AND_GIT_HISTORY_PASS
validation.V4 - V5:LANGUAGE_SUBMISSION_RECORDS_USER_MESSAGE_AND_TRUTHFUL_WAITING_RECEIPT_WITHOUT_FAKE_PERSONA_REPLY
validation.V5 - V6:APP_UPDATE_ENDPOINT_IS_GUANGHU_CONTROLLED_AND_SIGNATURE_REQUIRED
validation.V6 - V7:MACOS_APP_BUILD_INSTALL_LAUNCH_AND_PROCESS_READBACK_PASS
validation.V7
- V1:COMPILE_TCS_TO_GIR_AND_GENERATE_BILINGUAL_PROJECTIONS
- vocabulary
vocabulary- agent:MODEL_INDEPENDENT_BOUNDED_EXECUTION_LIMB
vocabulary.agent - glp_bridge:TYPED_TRANSLATION_BETWEEN_PERSONA_LANGUAGE_AND_AGENT_ACTION
vocabulary.glp_bridge - persona:REASONING_BRAIN_NOT_EXECUTION_LIMB
vocabulary.persona - private_git:USER_OWNED_CHANNEL_AND_KNOWLEDGE_FACT_HISTORY
vocabulary.private_git - public_git:SIGNED_PUBLIC_DISTRIBUTION_FACT_LAYER_NOT_REALTIME_BROADCAST
vocabulary.public_git - system_receipt:TARGET_READBACK_PROJECTED_FOR_HUMAN_AND_PERSONA
vocabulary.system_receipt
- agent:MODEL_INDEPENDENT_BOUNDED_EXECUTION_LIMB
This page changes only the reading order; it does not change TCS/HLDP semantics.