From 3df6b1d3cac5bd1ed6251aa985b9cd24c8385e06 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=86=B0=E6=9C=94?= <565183519@qq.com> Date: Thu, 3 Sep 2026 21:14:45 +0800 Subject: [PATCH] feat(hololake): bind direct-language V1 baseline --- .../clean-v1-execution-baseline.json | 23 ++ ...enterprise-responsibility-entrance-v1.json | 13 + ...-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.tcs | 17 ++ ...IRECT-LANGUAGE-EXECUTION-BASELINE.gir.json | 156 +++++++++++ ...LANGUAGE-EXECUTION-BASELINE.human.en-US.md | 250 ++++++++++++++++++ ...LANGUAGE-EXECUTION-BASELINE.human.zh-CN.md | 250 ++++++++++++++++++ .../registries/module-registry.json | 11 + .../scripts/audit-clean-v1.py | 26 ++ .../src-tauri/Cargo.lock | 1 + .../src-tauri/Cargo.toml | 1 + .../src-tauri/src/storage.rs | 23 +- .../hololake-clean-desktop/src/App.tsx | 9 +- .../hololake-clean-desktop/src/time.ts | 18 ++ routing/hololake-current-architecture.json | 34 ++- 14 files changed, 809 insertions(+), 23 deletions(-) create mode 100644 product-source/hololake-clean-desktop/contracts/clean-v1-execution-baseline.json create mode 100644 product-source/hololake-clean-desktop/contracts/enterprise-responsibility-entrance-v1.json create mode 100644 product-source/hololake-clean-desktop/language/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.tcs create mode 100644 product-source/hololake-clean-desktop/language/build/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.gir.json create mode 100644 product-source/hololake-clean-desktop/language/build/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.human.en-US.md create mode 100644 product-source/hololake-clean-desktop/language/build/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.human.zh-CN.md create mode 100644 product-source/hololake-clean-desktop/src/time.ts diff --git a/product-source/hololake-clean-desktop/contracts/clean-v1-execution-baseline.json b/product-source/hololake-clean-desktop/contracts/clean-v1-execution-baseline.json new file mode 100644 index 000000000..926eb17d4 --- /dev/null +++ b/product-source/hololake-clean-desktop/contracts/clean-v1-execution-baseline.json @@ -0,0 +1,23 @@ +{ + "schema": "hololake.clean-v1-execution-baseline/v1", + "contract_id": "HLP-CLEAN-V1-EXECUTION-BASELINE-0001", + "canonical_tcs": "language/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.tcs", + "anchor_manifest_sha256": "7e130de78f91a32726e22e4be7d92acf4da966c8968ec359062aa8186c4243c2", + "public_raw_language_embedded": false, + "layers": { + "bottom": ["SIGNED_PUBLIC_DISTRIBUTION_GIT", "USER_PRIVATE_GIT", "TCS_GIR_RUNTIME", "SIGNED_APP_UPDATE"], + "middle": ["MODEL_INDEPENDENT_AGENT", "REGISTERED_CAPABILITIES", "APPROVAL_AND_RECEIPTS"], + "top": ["NAMED_NUMBERED_PERSONAL_CHANNEL", "PERSONA_CONVERSATION", "KNOWLEDGE_BASE", "MODULE_MARKET", "SYSTEM_HISTORY", "ENTERPRISE_PORTAL"] + }, + "source_kinds": ["USER_MESSAGE", "PERSONA_RESPONSE", "SYSTEM_CONTEXT", "PROTOCOL_EVENT", "AGENT_ACTION", "TOOL_RESULT", "SYSTEM_RECEIPT", "EXTERNAL_AI_MESSAGE"], + "enterprise_entrance": { + "embedded_enterprise_server": false, + "required_proofs": ["DOMAIN_RESPONSIBLE_HUMAN_ID", "BOUND_PERSONA_ID", "LOCAL_DEVICE_PUBLIC_KEY", "AUXILIARY_MACHINE_FINGERPRINT", "SERVER_CHALLENGE_SIGNATURE"], + "future_optional_bridge": "RESPONSIBLE_HUMAN_PERSONAL_SERVER", + "session": "SHORT_LIVED_SINGLE_DOMAIN_SINGLE_REPOSITORY", + "server_is_authoritative": true + }, + "current_status": "ARCHITECTURE_ALIGNED_LOCAL_RUNTIME_REVALIDATION_REQUIRED", + "completion": "INCOMPLETE" +} + diff --git a/product-source/hololake-clean-desktop/contracts/enterprise-responsibility-entrance-v1.json b/product-source/hololake-clean-desktop/contracts/enterprise-responsibility-entrance-v1.json new file mode 100644 index 000000000..4fadb4113 --- /dev/null +++ b/product-source/hololake-clean-desktop/contracts/enterprise-responsibility-entrance-v1.json @@ -0,0 +1,13 @@ +{ + "schema": "hololake.enterprise-responsibility-entrance/v1", + "contract_id": "HLP-ENTERPRISE-RESPONSIBILITY-ENTRANCE-0001", + "state": "ARCHITECTURE_REGISTERED_IMPLEMENTATION_PENDING", + "surface": "HOLOLAKE_GATED_ENTERPRISE_PORTAL", + "enterprise_server_embedded": false, + "identities": ["DOMAIN_ID", "RESPONSIBLE_HUMAN_ID", "BOUND_PERSONA_ID", "LOCAL_NODE_ID", "DEVICE_KEY_ID"], + "device_proof": {"primary": "DEVICE_PRIVATE_KEY_CHALLENGE_SIGNATURE", "private_key_storage": "OS_KEYCHAIN_OR_SECURE_HARDWARE", "auxiliary": "HASHED_MACHINE_FINGERPRINT", "fingerprint_is_sole_credential": false}, + "personal_server_bridge": {"required_in_v1": false, "future_role": "RESPONSIBLE_HUMAN_OWNED_SECOND_PROOF_AND_BRIDGE", "may_expand_scope": false}, + "session": {"lifetime": "SHORT_LIVED", "scope": "ONE_DOMAIN_ONE_REPOSITORY", "replay_protection": true, "revocation_required": true}, + "negative_cases": ["UNKNOWN_MEMBER", "WRONG_DOMAIN", "WRONG_PERSONA", "UNREGISTERED_DEVICE", "BAD_SIGNATURE", "REPLAY", "EXPIRED_SESSION", "CROSS_REPOSITORY_ACCESS"] +} + diff --git a/product-source/hololake-clean-desktop/language/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.tcs b/product-source/hololake-clean-desktop/language/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.tcs new file mode 100644 index 000000000..982162cea --- /dev/null +++ b/product-source/hololake-clean-desktop/language/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.tcs @@ -0,0 +1,17 @@ +TCS 0.1; + +PROTOCOL HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE-0001 { + header { schema = "tcs.protocol/v1"; name_zh = "HoloLake第一版当前自然语言执行基线"; name_en = "HoloLake Clean V1 Current Direct-Language Execution Baseline"; version = "1.0.0"; language = "TCS/0.1"; profile = "PUBLIC-PRODUCT-ENGINEERING/1"; protocols = ["TCS", "HLDP", "GLS", "GLP", "GLS-0130", "GLS-0131", "GLS-0306"]; lifecycle = "CANDIDATE"; canonical_uri = "product-source/hololake-clean-desktop/language/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.tcs"; compatibility = ["TCS-DECLARATION-STANDARD-0001", "TCS-FIELD-STANDARD-0001", "HLP-CURRENT-ARCH-001"]; } + source { source_id = "BINGSHUO-DIRECT-HOLOLAKE-CLEAN-V1-DUAL-ANCHOR-20260903"; source_uri = "private-anchor://codex/01a0672d-f125-7452-988e-523a6a34bfd4/HOLOLAKE-CLEAN-V1-ONLY-ANCHORS"; source_sha256 = "7e130de78f91a32726e22e4be7d92acf4da966c8968ec359062aa8186c4243c2"; source_role = "DIRECT_HUMAN"; } + scope { product = "HOLOLAKE_CLEAN_V1"; public_channel = "CH-ZERO-CORE-LPM"; development_channel = "ICE-CH-ZC001"; client = "TAURI_V2_RUST_REACT"; enterprise_domains_embedded = false; fifth_domain_private_content_embedded = false; } + vocabulary { clean_shell = "NEW_MINIMAL_CLIENT_WITHOUT_WHOLE_LEGACY_PRODUCT_MERGE"; native_language = "TCS_TO_GIR_TO_REGISTERED_CAPABILITY_TO_RECEIPT"; dual_git = "SIGNED_PUBLIC_DISTRIBUTION_GIT_PLUS_USER_OWNED_PRIVATE_GIT"; enterprise_entrance = "AUTHORIZED_TEAM_MEMBER_ROUTE_TO_RESPONSIBILITY_SCOPED_ENTERPRISE_REPOSITORY"; agent = "MODEL_INDEPENDENT_DETERMINISTIC_EXECUTION_LIMB"; personal_channel = "USER_OWNED_NAMED_NUMBERED_LANGUAGE_AND_PERSONA_INTERACTION_SURFACE"; } + fields { WHO = "USER_OWNS_PRIVATE_CHANNEL; PERSONA_REASONS; AGENT_EXECUTES; DOMAIN_RESPONSIBLE_HUMAN_AND_BOUND_PERSONA_ENTER_ONLY_THEIR_ENTERPRISE_REPOSITORY"; WHAT = "CLEAN_CLIENT_SIGNED_UPDATE_TCS_NATIVE_RUNTIME_DUAL_GIT_TYPED_LANGUAGE_CHANNEL_KNOWLEDGE_MODULE_MARKET_ENTERPRISE_ENTRANCE_AND_EXTERNAL_PROGRAMMING_AI_BRIDGE"; WHY = "LET_HUMANS_OPERATE_BY_LANGUAGE_WHILE_PERSONA_SYSTEM_PROTOCOL_AGENT_TOOL_AND_RECEIPT_SOURCES_REMAIN_DISTINGUISHABLE_AND_REALITY_ACTIONS_REMAIN_VERIFIABLE"; MAY = "LOCAL_USER_CHANNEL_AND_REGISTERED_MODULE_ACTIONS; ENTERPRISE_LOGIN_ONLY_AFTER_HUMAN_PERSONA_DEVICE_AND_OPTIONAL_PERSONAL_SERVER_PROOF"; PROVE = "TCS_GIR_MODULE_REGISTRY_SOURCE_KIND_TESTS_PRIVATE_GIT_TARGET_READBACK_SIGNED_UPDATE_NEGATIVE_CASES_ENTERPRISE_AUTH_CHALLENGE_AND_INSTALLED_APP_ACCEPTANCE"; } + states { values = ["SOURCE_ANCHORED", "ARCHITECTURE_ALIGNED", "LOCAL_RUNTIME_VERIFIED", "PUBLIC_DISTRIBUTION_BOUND", "ENTERPRISE_ENTRANCE_VERIFIED", "SIGNED_RELEASE_INSTALLED", "V1_ACCEPTED", "FAILED_CLOSED"]; initial = "SOURCE_ANCHORED"; terminal = ["V1_ACCEPTED", "FAILED_CLOSED"]; } + transitions { T1 = "SOURCE_ANCHORED_TO_ARCHITECTURE_ALIGNED"; T2 = "ARCHITECTURE_ALIGNED_TO_LOCAL_RUNTIME_VERIFIED"; T3 = "LOCAL_RUNTIME_VERIFIED_TO_PUBLIC_DISTRIBUTION_BOUND"; T4 = "PUBLIC_DISTRIBUTION_BOUND_TO_ENTERPRISE_ENTRANCE_VERIFIED"; T5 = "ENTERPRISE_ENTRANCE_VERIFIED_TO_SIGNED_RELEASE_INSTALLED"; T6 = "SIGNED_RELEASE_INSTALLED_TO_V1_ACCEPTED_AFTER_REAL_HUMAN_VISIBLE_READBACK"; TF = "SOURCE_PATH_SIGNATURE_AUTHORIZATION_CONCURRENCY_OR_TARGET_READBACK_FAILURE_TO_FAILED_CLOSED"; } + invariants { I1 = "RAW_DIRECT_LANGUAGE_AND_FIFTH_DOMAIN_PRIVATE_CONTENT_NEVER_ENTER_PUBLIC_PACKAGE"; I2 = "ENTERPRISE_SERVER_AND_FOUR_DOMAIN_SYSTEM_BODIES_ARE_NOT_EMBEDDED_IN_HOLOLAKE"; I3 = "ENTERPRISE_CLIENT_CONTAINS_ONLY_A_GATED_LOGIN_ROUTE_AND_PUBLIC_SIGNED_DISTRIBUTION_CONSUMER"; I4 = "TEAM_LOGIN_REQUIRES_DOMAIN_RESPONSIBLE_HUMAN_ID_PERSONA_ID_DEVICE_KEY_PROOF_AND_SCOPED_SHORT_LIVED_SESSION"; I5 = "MACHINE_FINGERPRINT_IS_AUXILIARY_EVIDENCE_NOT_A_SOLE_CREDENTIAL"; I6 = "PERSONAL_SERVER_MAY_BRIDGE_DEVICE_TO_ENTERPRISE_BUT_CANNOT_EXPAND_DOMAIN_OR_REPOSITORY_SCOPE"; I7 = "USER_PERSONA_SYSTEM_CONTEXT_PROTOCOL_AGENT_TOOL_AND_RECEIPT_ARE_DISTINCT_TYPED_SOURCES"; I8 = "AGENT_EXECUTION_DOES_NOT_REQUIRE_MODEL_NATIVE_TOOL_CALLING"; I9 = "PUBLIC_UPDATE_PRIVATE_GIT_AND_REALTIME_GLP_ARE_THREE_SEPARATE_PLANES"; I10 = "MODULES_HAVE_STABLE_IDS_AND_LEGACY_SOURCES_ARE_SLICE_DONORS_ONLY"; } + validation { V1 = "CURRENT_WORKTREE_EQUALS_REPO014_ONLINE_MAIN_BEFORE_FIRST_MUTATION"; V2 = "CURRENT_PRODUCT_ASSESSMENT_HAS_ONE_NON_CONTRADICTORY_VERSION_SOURCE_AND_STAGE"; V3 = "LEGACY_TIMESTAMP_AND_NEW_RFC3339_TIMESTAMP_RENDER_WITHOUT_INVALID_DATE"; V4 = "CHANNEL_NAME_NUMBER_PRIVATE_GIT_AND_TYPED_CONVERSATION_PASS"; V5 = "KNOWLEDGE_CREATE_READ_EDIT_IMPORT_EXPORT_TRASH_RENDER_AND_GIT_PASS"; V6 = "MODULE_MARKET_SEPARATES_PERSONA_AND_HUMAN_MODULES"; V7 = "EXTERNAL_PROGRAMMING_AI_LOOPBACK_CONNECTION_HAS_NO_IMPLICIT_PERSONA_OR_EXECUTION_AUTHORITY"; V8 = "ENTERPRISE_GATE_REJECTS_UNKNOWN_MEMBER_WRONG_DOMAIN_WRONG_PERSONA_UNREGISTERED_DEVICE_REPLAY_AND_EXPIRED_SESSION"; V9 = "PUBLIC_UPDATE_DOWNLOAD_SIGNATURE_INSTALL_ROLLBACK_AND_VERSION_READBACK_PASS"; V10 = "OLD_APP_REMOVAL_OCCURS_ONLY_AFTER_NEW_APP_REAL_ACCEPTANCE"; } + errors { E1 = "DIRECT_LANGUAGE_ANCHOR_MISMATCH"; E2 = "UNTYPED_SOURCE_REJECTED"; E3 = "LEGACY_WHOLE_PRODUCT_MERGE_REJECTED"; E4 = "UNSIGNED_PUBLIC_UPDATE_REJECTED"; E5 = "ENTERPRISE_IDENTITY_OR_DEVICE_PROOF_REJECTED"; E6 = "DOMAIN_REPOSITORY_SCOPE_REJECTED"; E7 = "SERVER_CONCURRENCY_CONFLICT_DEFERRED"; E8 = "TARGET_READBACK_OR_RECEIPT_INTEGRITY_FAILED"; } + examples { positive = "REGISTERED_DOMAIN_RESPONSIBLE_HUMAN_USES_BOUND_PERSONA_AND_LOCAL_DEVICE_KEY_TO_OPEN_A_SHORT_LIVED_SESSION_TO_ONLY_THEIR_ENTERPRISE_REPOSITORY"; negative = "ANY_HOLOLAKE_USER_CLICKS_ENTERPRISE_PORTAL_AND_RECEIVES_A_PERMANENT_PASSWORD_OR_CROSS_DOMAIN_REPOSITORY_ACCESS"; } + acceptance { required = ["SOURCE_HASH", "ARCHITECTURE", "TCS_GIR", "TIMESTAMP", "CHANNEL", "KNOWLEDGE", "MODULE_REGISTRY", "TYPED_LANGUAGE", "AGENT", "EXTERNAL_AI", "PUBLIC_UPDATE", "ENTERPRISE_GATE", "SIGNED_APP", "REAL_UI"]; partial = false; scale = "ZERO_OR_ONE_HUNDRED"; } +} + diff --git a/product-source/hololake-clean-desktop/language/build/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.gir.json b/product-source/hololake-clean-desktop/language/build/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.gir.json new file mode 100644 index 000000000..595bfd5b5 --- /dev/null +++ b/product-source/hololake-clean-desktop/language/build/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.gir.json @@ -0,0 +1,156 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE1-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "570d9b7d41f955236abc9a22ce3996ed323fe77f5aa001a5a997aa4aa1a1de29" + }, + "declaration": { + "acceptance": { + "partial": false, + "required": [ + "SOURCE_HASH", + "ARCHITECTURE", + "TCS_GIR", + "TIMESTAMP", + "CHANNEL", + "KNOWLEDGE", + "MODULE_REGISTRY", + "TYPED_LANGUAGE", + "AGENT", + "EXTERNAL_AI", + "PUBLIC_UPDATE", + "ENTERPRISE_GATE", + "SIGNED_APP", + "REAL_UI" + ], + "scale": "ZERO_OR_ONE_HUNDRED" + }, + "errors": { + "E1": "DIRECT_LANGUAGE_ANCHOR_MISMATCH", + "E2": "UNTYPED_SOURCE_REJECTED", + "E3": "LEGACY_WHOLE_PRODUCT_MERGE_REJECTED", + "E4": "UNSIGNED_PUBLIC_UPDATE_REJECTED", + "E5": "ENTERPRISE_IDENTITY_OR_DEVICE_PROOF_REJECTED", + "E6": "DOMAIN_REPOSITORY_SCOPE_REJECTED", + "E7": "SERVER_CONCURRENCY_CONFLICT_DEFERRED", + "E8": "TARGET_READBACK_OR_RECEIPT_INTEGRITY_FAILED" + }, + "examples": { + "negative": "ANY_HOLOLAKE_USER_CLICKS_ENTERPRISE_PORTAL_AND_RECEIVES_A_PERMANENT_PASSWORD_OR_CROSS_DOMAIN_REPOSITORY_ACCESS", + "positive": "REGISTERED_DOMAIN_RESPONSIBLE_HUMAN_USES_BOUND_PERSONA_AND_LOCAL_DEVICE_KEY_TO_OPEN_A_SHORT_LIVED_SESSION_TO_ONLY_THEIR_ENTERPRISE_REPOSITORY" + }, + "fields": { + "MAY": "LOCAL_USER_CHANNEL_AND_REGISTERED_MODULE_ACTIONS; ENTERPRISE_LOGIN_ONLY_AFTER_HUMAN_PERSONA_DEVICE_AND_OPTIONAL_PERSONAL_SERVER_PROOF", + "PROVE": "TCS_GIR_MODULE_REGISTRY_SOURCE_KIND_TESTS_PRIVATE_GIT_TARGET_READBACK_SIGNED_UPDATE_NEGATIVE_CASES_ENTERPRISE_AUTH_CHALLENGE_AND_INSTALLED_APP_ACCEPTANCE", + "WHAT": "CLEAN_CLIENT_SIGNED_UPDATE_TCS_NATIVE_RUNTIME_DUAL_GIT_TYPED_LANGUAGE_CHANNEL_KNOWLEDGE_MODULE_MARKET_ENTERPRISE_ENTRANCE_AND_EXTERNAL_PROGRAMMING_AI_BRIDGE", + "WHO": "USER_OWNS_PRIVATE_CHANNEL; PERSONA_REASONS; AGENT_EXECUTES; DOMAIN_RESPONSIBLE_HUMAN_AND_BOUND_PERSONA_ENTER_ONLY_THEIR_ENTERPRISE_REPOSITORY", + "WHY": "LET_HUMANS_OPERATE_BY_LANGUAGE_WHILE_PERSONA_SYSTEM_PROTOCOL_AGENT_TOOL_AND_RECEIPT_SOURCES_REMAIN_DISTINGUISHABLE_AND_REALITY_ACTIONS_REMAIN_VERIFIABLE" + }, + "header": { + "canonical_uri": "product-source/hololake-clean-desktop/language/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.tcs", + "compatibility": [ + "TCS-DECLARATION-STANDARD-0001", + "TCS-FIELD-STANDARD-0001", + "HLP-CURRENT-ARCH-001" + ], + "language": "TCS/0.1", + "lifecycle": "CANDIDATE", + "name_en": "HoloLake Clean V1 Current Direct-Language Execution Baseline", + "name_zh": "HoloLake第一版当前自然语言执行基线", + "profile": "PUBLIC-PRODUCT-ENGINEERING/1", + "protocols": [ + "TCS", + "HLDP", + "GLS", + "GLP", + "GLS-0130", + "GLS-0131", + "GLS-0306" + ], + "schema": "tcs.protocol/v1", + "version": "1.0.0" + }, + "invariants": { + "I1": "RAW_DIRECT_LANGUAGE_AND_FIFTH_DOMAIN_PRIVATE_CONTENT_NEVER_ENTER_PUBLIC_PACKAGE", + "I10": "MODULES_HAVE_STABLE_IDS_AND_LEGACY_SOURCES_ARE_SLICE_DONORS_ONLY", + "I2": "ENTERPRISE_SERVER_AND_FOUR_DOMAIN_SYSTEM_BODIES_ARE_NOT_EMBEDDED_IN_HOLOLAKE", + "I3": "ENTERPRISE_CLIENT_CONTAINS_ONLY_A_GATED_LOGIN_ROUTE_AND_PUBLIC_SIGNED_DISTRIBUTION_CONSUMER", + "I4": "TEAM_LOGIN_REQUIRES_DOMAIN_RESPONSIBLE_HUMAN_ID_PERSONA_ID_DEVICE_KEY_PROOF_AND_SCOPED_SHORT_LIVED_SESSION", + "I5": "MACHINE_FINGERPRINT_IS_AUXILIARY_EVIDENCE_NOT_A_SOLE_CREDENTIAL", + "I6": "PERSONAL_SERVER_MAY_BRIDGE_DEVICE_TO_ENTERPRISE_BUT_CANNOT_EXPAND_DOMAIN_OR_REPOSITORY_SCOPE", + "I7": "USER_PERSONA_SYSTEM_CONTEXT_PROTOCOL_AGENT_TOOL_AND_RECEIPT_ARE_DISTINCT_TYPED_SOURCES", + "I8": "AGENT_EXECUTION_DOES_NOT_REQUIRE_MODEL_NATIVE_TOOL_CALLING", + "I9": "PUBLIC_UPDATE_PRIVATE_GIT_AND_REALTIME_GLP_ARE_THREE_SEPARATE_PLANES" + }, + "scope": { + "client": "TAURI_V2_RUST_REACT", + "development_channel": "ICE-CH-ZC001", + "enterprise_domains_embedded": false, + "fifth_domain_private_content_embedded": false, + "product": "HOLOLAKE_CLEAN_V1", + "public_channel": "CH-ZERO-CORE-LPM" + }, + "source": { + "source_id": "BINGSHUO-DIRECT-HOLOLAKE-CLEAN-V1-DUAL-ANCHOR-20260903", + "source_role": "DIRECT_HUMAN", + "source_sha256": "7e130de78f91a32726e22e4be7d92acf4da966c8968ec359062aa8186c4243c2", + "source_uri": "private-anchor://codex/01a0672d-f125-7452-988e-523a6a34bfd4/HOLOLAKE-CLEAN-V1-ONLY-ANCHORS" + }, + "states": { + "initial": "SOURCE_ANCHORED", + "terminal": [ + "V1_ACCEPTED", + "FAILED_CLOSED" + ], + "values": [ + "SOURCE_ANCHORED", + "ARCHITECTURE_ALIGNED", + "LOCAL_RUNTIME_VERIFIED", + "PUBLIC_DISTRIBUTION_BOUND", + "ENTERPRISE_ENTRANCE_VERIFIED", + "SIGNED_RELEASE_INSTALLED", + "V1_ACCEPTED", + "FAILED_CLOSED" + ] + }, + "transitions": { + "T1": "SOURCE_ANCHORED_TO_ARCHITECTURE_ALIGNED", + "T2": "ARCHITECTURE_ALIGNED_TO_LOCAL_RUNTIME_VERIFIED", + "T3": "LOCAL_RUNTIME_VERIFIED_TO_PUBLIC_DISTRIBUTION_BOUND", + "T4": "PUBLIC_DISTRIBUTION_BOUND_TO_ENTERPRISE_ENTRANCE_VERIFIED", + "T5": "ENTERPRISE_ENTRANCE_VERIFIED_TO_SIGNED_RELEASE_INSTALLED", + "T6": "SIGNED_RELEASE_INSTALLED_TO_V1_ACCEPTED_AFTER_REAL_HUMAN_VISIBLE_READBACK", + "TF": "SOURCE_PATH_SIGNATURE_AUTHORIZATION_CONCURRENCY_OR_TARGET_READBACK_FAILURE_TO_FAILED_CLOSED" + }, + "validation": { + "V1": "CURRENT_WORKTREE_EQUALS_REPO014_ONLINE_MAIN_BEFORE_FIRST_MUTATION", + "V10": "OLD_APP_REMOVAL_OCCURS_ONLY_AFTER_NEW_APP_REAL_ACCEPTANCE", + "V2": "CURRENT_PRODUCT_ASSESSMENT_HAS_ONE_NON_CONTRADICTORY_VERSION_SOURCE_AND_STAGE", + "V3": "LEGACY_TIMESTAMP_AND_NEW_RFC3339_TIMESTAMP_RENDER_WITHOUT_INVALID_DATE", + "V4": "CHANNEL_NAME_NUMBER_PRIVATE_GIT_AND_TYPED_CONVERSATION_PASS", + "V5": "KNOWLEDGE_CREATE_READ_EDIT_IMPORT_EXPORT_TRASH_RENDER_AND_GIT_PASS", + "V6": "MODULE_MARKET_SEPARATES_PERSONA_AND_HUMAN_MODULES", + "V7": "EXTERNAL_PROGRAMMING_AI_LOOPBACK_CONNECTION_HAS_NO_IMPLICIT_PERSONA_OR_EXECUTION_AUTHORITY", + "V8": "ENTERPRISE_GATE_REJECTS_UNKNOWN_MEMBER_WRONG_DOMAIN_WRONG_PERSONA_UNREGISTERED_DEVICE_REPLAY_AND_EXPIRED_SESSION", + "V9": "PUBLIC_UPDATE_DOWNLOAD_SIGNATURE_INSTALL_ROLLBACK_AND_VERSION_READBACK_PASS" + }, + "vocabulary": { + "agent": "MODEL_INDEPENDENT_DETERMINISTIC_EXECUTION_LIMB", + "clean_shell": "NEW_MINIMAL_CLIENT_WITHOUT_WHOLE_LEGACY_PRODUCT_MERGE", + "dual_git": "SIGNED_PUBLIC_DISTRIBUTION_GIT_PLUS_USER_OWNED_PRIVATE_GIT", + "enterprise_entrance": "AUTHORIZED_TEAM_MEMBER_ROUTE_TO_RESPONSIBILITY_SCOPED_ENTERPRISE_REPOSITORY", + "native_language": "TCS_TO_GIR_TO_REGISTERED_CAPABILITY_TO_RECEIPT", + "personal_channel": "USER_OWNED_NAMED_NUMBERED_LANGUAGE_AND_PERSONA_INTERACTION_SURFACE" + } + }, + "executable": false, + "identity": { + "declaration_id": "HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE-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 +} diff --git a/product-source/hololake-clean-desktop/language/build/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.human.en-US.md b/product-source/hololake-clean-desktop/language/build/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.human.en-US.md new file mode 100644 index 000000000..a9081ecf0 --- /dev/null +++ b/product-source/hololake-clean-desktop/language/build/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.human.en-US.md @@ -0,0 +1,250 @@ +# HoloLake Clean V1 Current Direct-Language Execution Baseline · 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-DIRECT-LANGUAGE-EXECUTION-BASELINE-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` + - **client**:TAURI_V2_RUST_REACT `scope.client` + - **development_channel**:ICE-CH-ZC001 `scope.development_channel` + - **enterprise_domains_embedded**:no `scope.enterprise_domains_embedded` + - **fifth_domain_private_content_embedded**:no `scope.fifth_domain_private_content_embedded` + - **product**:HOLOLAKE_CLEAN_V1 `scope.product` + - **public_channel**:CH-ZERO-CORE-LPM `scope.public_channel` + +## Why this started + +- **source** `source` + - **source identifier**:BINGSHUO-DIRECT-HOLOLAKE-CLEAN-V1-DUAL-ANCHOR-20260903 `source.source_id` + - **source role**:DIRECT_HUMAN `source.source_role` + - **source checksum**:7e130de78f91a32726e22e4be7d92acf4da966c8968ec359062aa8186c4243c2 `source.source_sha256` + - **source address**:private-anchor://codex/01a0672d-f125-7452-988e-523a6a34bfd4/HOLOLAKE-CLEAN-V1-ONLY-ANCHORS `source.source_uri` + +## What changed + +- **transitions** `transitions` + - **T1**:SOURCE_ANCHORED_TO_ARCHITECTURE_ALIGNED `transitions.T1` + - **T2**:ARCHITECTURE_ALIGNED_TO_LOCAL_RUNTIME_VERIFIED `transitions.T2` + - **T3**:LOCAL_RUNTIME_VERIFIED_TO_PUBLIC_DISTRIBUTION_BOUND `transitions.T3` + - **T4**:PUBLIC_DISTRIBUTION_BOUND_TO_ENTERPRISE_ENTRANCE_VERIFIED `transitions.T4` + - **T5**:ENTERPRISE_ENTRANCE_VERIFIED_TO_SIGNED_RELEASE_INSTALLED `transitions.T5` + - **T6**:SIGNED_RELEASE_INSTALLED_TO_V1_ACCEPTED_AFTER_REAL_HUMAN_VISIBLE_READBACK `transitions.T6` + - **TF**:SOURCE_PATH_SIGNATURE_AUTHORIZATION_CONCURRENCY_OR_TARGET_READBACK_FAILURE_TO_FAILED_CLOSED `transitions.TF` +- **states** `states` + - **initial**:SOURCE_ANCHORED `states.initial` + - **terminal** `states.terminal` + - V1_ACCEPTED + - FAILED_CLOSED + - **values** `states.values` + - SOURCE_ANCHORED + - ARCHITECTURE_ALIGNED + - LOCAL_RUNTIME_VERIFIED + - PUBLIC_DISTRIBUTION_BOUND + - ENTERPRISE_ENTRANCE_VERIFIED + - SIGNED_RELEASE_INSTALLED + - V1_ACCEPTED + - FAILED_CLOSED + +## How it will execute + +This is a non-executable declaration and has no action graph. + +## Boundaries and exception handling + +- **invariants** `invariants` + - **I1**:RAW_DIRECT_LANGUAGE_AND_FIFTH_DOMAIN_PRIVATE_CONTENT_NEVER_ENTER_PUBLIC_PACKAGE `invariants.I1` + - **I10**:MODULES_HAVE_STABLE_IDS_AND_LEGACY_SOURCES_ARE_SLICE_DONORS_ONLY `invariants.I10` + - **I2**:ENTERPRISE_SERVER_AND_FOUR_DOMAIN_SYSTEM_BODIES_ARE_NOT_EMBEDDED_IN_HOLOLAKE `invariants.I2` + - **I3**:ENTERPRISE_CLIENT_CONTAINS_ONLY_A_GATED_LOGIN_ROUTE_AND_PUBLIC_SIGNED_DISTRIBUTION_CONSUMER `invariants.I3` + - **I4**:TEAM_LOGIN_REQUIRES_DOMAIN_RESPONSIBLE_HUMAN_ID_PERSONA_ID_DEVICE_KEY_PROOF_AND_SCOPED_SHORT_LIVED_SESSION `invariants.I4` + - **I5**:MACHINE_FINGERPRINT_IS_AUXILIARY_EVIDENCE_NOT_A_SOLE_CREDENTIAL `invariants.I5` + - **I6**:PERSONAL_SERVER_MAY_BRIDGE_DEVICE_TO_ENTERPRISE_BUT_CANNOT_EXPAND_DOMAIN_OR_REPOSITORY_SCOPE `invariants.I6` + - **I7**:USER_PERSONA_SYSTEM_CONTEXT_PROTOCOL_AGENT_TOOL_AND_RECEIPT_ARE_DISTINCT_TYPED_SOURCES `invariants.I7` + - **I8**:AGENT_EXECUTION_DOES_NOT_REQUIRE_MODEL_NATIVE_TOOL_CALLING `invariants.I8` + - **I9**:PUBLIC_UPDATE_PRIVATE_GIT_AND_REALTIME_GLP_ARE_THREE_SEPARATE_PLANES `invariants.I9` +- **errors** `errors` + - **E1**:DIRECT_LANGUAGE_ANCHOR_MISMATCH `errors.E1` + - **E2**:UNTYPED_SOURCE_REJECTED `errors.E2` + - **E3**:LEGACY_WHOLE_PRODUCT_MERGE_REJECTED `errors.E3` + - **E4**:UNSIGNED_PUBLIC_UPDATE_REJECTED `errors.E4` + - **E5**:ENTERPRISE_IDENTITY_OR_DEVICE_PROOF_REJECTED `errors.E5` + - **E6**:DOMAIN_REPOSITORY_SCOPE_REJECTED `errors.E6` + - **E7**:SERVER_CONCURRENCY_CONFLICT_DEFERRED `errors.E7` + - **E8**:TARGET_READBACK_OR_RECEIPT_INTEGRITY_FAILED `errors.E8` + +## How completion is proven + +- **acceptance** `acceptance` + - **partial**:no `acceptance.partial` + - **required** `acceptance.required` + - SOURCE_HASH + - ARCHITECTURE + - TCS_GIR + - TIMESTAMP + - CHANNEL + - KNOWLEDGE + - MODULE_REGISTRY + - TYPED_LANGUAGE + - AGENT + - EXTERNAL_AI + - PUBLIC_UPDATE + - ENTERPRISE_GATE + - SIGNED_APP + - REAL_UI + - **scale**:ZERO_OR_ONE_HUNDRED `acceptance.scale` +- **validation** `validation` + - **V1**:CURRENT_WORKTREE_EQUALS_REPO014_ONLINE_MAIN_BEFORE_FIRST_MUTATION `validation.V1` + - **V10**:OLD_APP_REMOVAL_OCCURS_ONLY_AFTER_NEW_APP_REAL_ACCEPTANCE `validation.V10` + - **V2**:CURRENT_PRODUCT_ASSESSMENT_HAS_ONE_NON_CONTRADICTORY_VERSION_SOURCE_AND_STAGE `validation.V2` + - **V3**:LEGACY_TIMESTAMP_AND_NEW_RFC3339_TIMESTAMP_RENDER_WITHOUT_INVALID_DATE `validation.V3` + - **V4**:CHANNEL_NAME_NUMBER_PRIVATE_GIT_AND_TYPED_CONVERSATION_PASS `validation.V4` + - **V5**:KNOWLEDGE_CREATE_READ_EDIT_IMPORT_EXPORT_TRASH_RENDER_AND_GIT_PASS `validation.V5` + - **V6**:MODULE_MARKET_SEPARATES_PERSONA_AND_HUMAN_MODULES `validation.V6` + - **V7**:EXTERNAL_PROGRAMMING_AI_LOOPBACK_CONNECTION_HAS_NO_IMPLICIT_PERSONA_OR_EXECUTION_AUTHORITY `validation.V7` + - **V8**:ENTERPRISE_GATE_REJECTS_UNKNOWN_MEMBER_WRONG_DOMAIN_WRONG_PERSONA_UNREGISTERED_DEVICE_REPLAY_AND_EXPIRED_SESSION `validation.V8` + - **V9**:PUBLIC_UPDATE_DOWNLOAD_SIGNATURE_INSTALL_ROLLBACK_AND_VERSION_READBACK_PASS `validation.V9` + +## 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-DIRECT-LANGUAGE-EXECUTION-BASELINE-0001` +- **Native declaration kind**: `PROTOCOL` +- **TCS source SHA-256**: `570d9b7d41f955236abc9a22ce3996ed323fe77f5aa001a5a997aa4aa1a1de29` +- **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` + - SOURCE_HASH + - ARCHITECTURE + - TCS_GIR + - TIMESTAMP + - CHANNEL + - KNOWLEDGE + - MODULE_REGISTRY + - TYPED_LANGUAGE + - AGENT + - EXTERNAL_AI + - PUBLIC_UPDATE + - ENTERPRISE_GATE + - SIGNED_APP + - REAL_UI + - **scale**:ZERO_OR_ONE_HUNDRED `acceptance.scale` +- **errors** `errors` + - **E1**:DIRECT_LANGUAGE_ANCHOR_MISMATCH `errors.E1` + - **E2**:UNTYPED_SOURCE_REJECTED `errors.E2` + - **E3**:LEGACY_WHOLE_PRODUCT_MERGE_REJECTED `errors.E3` + - **E4**:UNSIGNED_PUBLIC_UPDATE_REJECTED `errors.E4` + - **E5**:ENTERPRISE_IDENTITY_OR_DEVICE_PROOF_REJECTED `errors.E5` + - **E6**:DOMAIN_REPOSITORY_SCOPE_REJECTED `errors.E6` + - **E7**:SERVER_CONCURRENCY_CONFLICT_DEFERRED `errors.E7` + - **E8**:TARGET_READBACK_OR_RECEIPT_INTEGRITY_FAILED `errors.E8` +- **examples** `examples` + - **negative**:ANY_HOLOLAKE_USER_CLICKS_ENTERPRISE_PORTAL_AND_RECEIVES_A_PERMANENT_PASSWORD_OR_CROSS_DOMAIN_REPOSITORY_ACCESS `examples.negative` + - **positive**:REGISTERED_DOMAIN_RESPONSIBLE_HUMAN_USES_BOUND_PERSONA_AND_LOCAL_DEVICE_KEY_TO_OPEN_A_SHORT_LIVED_SESSION_TO_ONLY_THEIR_ENTERPRISE_REPOSITORY `examples.positive` +- **fields** `fields` + - **MAY**:LOCAL_USER_CHANNEL_AND_REGISTERED_MODULE_ACTIONS; ENTERPRISE_LOGIN_ONLY_AFTER_HUMAN_PERSONA_DEVICE_AND_OPTIONAL_PERSONAL_SERVER_PROOF `fields.MAY` + - **PROVE**:TCS_GIR_MODULE_REGISTRY_SOURCE_KIND_TESTS_PRIVATE_GIT_TARGET_READBACK_SIGNED_UPDATE_NEGATIVE_CASES_ENTERPRISE_AUTH_CHALLENGE_AND_INSTALLED_APP_ACCEPTANCE `fields.PROVE` + - **WHAT**:CLEAN_CLIENT_SIGNED_UPDATE_TCS_NATIVE_RUNTIME_DUAL_GIT_TYPED_LANGUAGE_CHANNEL_KNOWLEDGE_MODULE_MARKET_ENTERPRISE_ENTRANCE_AND_EXTERNAL_PROGRAMMING_AI_BRIDGE `fields.WHAT` + - **WHO**:USER_OWNS_PRIVATE_CHANNEL; PERSONA_REASONS; AGENT_EXECUTES; DOMAIN_RESPONSIBLE_HUMAN_AND_BOUND_PERSONA_ENTER_ONLY_THEIR_ENTERPRISE_REPOSITORY `fields.WHO` + - **WHY**:LET_HUMANS_OPERATE_BY_LANGUAGE_WHILE_PERSONA_SYSTEM_PROTOCOL_AGENT_TOOL_AND_RECEIPT_SOURCES_REMAIN_DISTINGUISHABLE_AND_REALITY_ACTIONS_REMAIN_VERIFIABLE `fields.WHY` +- **header** `header` + - **canonical source path**:product-source/hololake-clean-desktop/language/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - TCS-DECLARATION-STANDARD-0001 + - TCS-FIELD-STANDARD-0001 + - HLP-CURRENT-ARCH-001 + - **language**:TCS/0.1 `header.language` + - **lifecycle**:CANDIDATE `header.lifecycle` + - **English name**:HoloLake Clean V1 Current Direct-Language Execution Baseline `header.name_en` + - **Chinese name**:HoloLake第一版当前自然语言执行基线 `header.name_zh` + - **profile**:PUBLIC-PRODUCT-ENGINEERING/1 `header.profile` + - **protocols** `header.protocols` + - TCS + - HLDP + - GLS + - GLP + - GLS-0130 + - GLS-0131 + - GLS-0306 + - **schema**:tcs.protocol/v1 `header.schema` + - **version**:1.0.0 `header.version` +- **invariants** `invariants` + - **I1**:RAW_DIRECT_LANGUAGE_AND_FIFTH_DOMAIN_PRIVATE_CONTENT_NEVER_ENTER_PUBLIC_PACKAGE `invariants.I1` + - **I10**:MODULES_HAVE_STABLE_IDS_AND_LEGACY_SOURCES_ARE_SLICE_DONORS_ONLY `invariants.I10` + - **I2**:ENTERPRISE_SERVER_AND_FOUR_DOMAIN_SYSTEM_BODIES_ARE_NOT_EMBEDDED_IN_HOLOLAKE `invariants.I2` + - **I3**:ENTERPRISE_CLIENT_CONTAINS_ONLY_A_GATED_LOGIN_ROUTE_AND_PUBLIC_SIGNED_DISTRIBUTION_CONSUMER `invariants.I3` + - **I4**:TEAM_LOGIN_REQUIRES_DOMAIN_RESPONSIBLE_HUMAN_ID_PERSONA_ID_DEVICE_KEY_PROOF_AND_SCOPED_SHORT_LIVED_SESSION `invariants.I4` + - **I5**:MACHINE_FINGERPRINT_IS_AUXILIARY_EVIDENCE_NOT_A_SOLE_CREDENTIAL `invariants.I5` + - **I6**:PERSONAL_SERVER_MAY_BRIDGE_DEVICE_TO_ENTERPRISE_BUT_CANNOT_EXPAND_DOMAIN_OR_REPOSITORY_SCOPE `invariants.I6` + - **I7**:USER_PERSONA_SYSTEM_CONTEXT_PROTOCOL_AGENT_TOOL_AND_RECEIPT_ARE_DISTINCT_TYPED_SOURCES `invariants.I7` + - **I8**:AGENT_EXECUTION_DOES_NOT_REQUIRE_MODEL_NATIVE_TOOL_CALLING `invariants.I8` + - **I9**:PUBLIC_UPDATE_PRIVATE_GIT_AND_REALTIME_GLP_ARE_THREE_SEPARATE_PLANES `invariants.I9` +- **scope** `scope` + - **client**:TAURI_V2_RUST_REACT `scope.client` + - **development_channel**:ICE-CH-ZC001 `scope.development_channel` + - **enterprise_domains_embedded**:no `scope.enterprise_domains_embedded` + - **fifth_domain_private_content_embedded**:no `scope.fifth_domain_private_content_embedded` + - **product**:HOLOLAKE_CLEAN_V1 `scope.product` + - **public_channel**:CH-ZERO-CORE-LPM `scope.public_channel` +- **source** `source` + - **source identifier**:BINGSHUO-DIRECT-HOLOLAKE-CLEAN-V1-DUAL-ANCHOR-20260903 `source.source_id` + - **source role**:DIRECT_HUMAN `source.source_role` + - **source checksum**:7e130de78f91a32726e22e4be7d92acf4da966c8968ec359062aa8186c4243c2 `source.source_sha256` + - **source address**:private-anchor://codex/01a0672d-f125-7452-988e-523a6a34bfd4/HOLOLAKE-CLEAN-V1-ONLY-ANCHORS `source.source_uri` +- **states** `states` + - **initial**:SOURCE_ANCHORED `states.initial` + - **terminal** `states.terminal` + - V1_ACCEPTED + - FAILED_CLOSED + - **values** `states.values` + - SOURCE_ANCHORED + - ARCHITECTURE_ALIGNED + - LOCAL_RUNTIME_VERIFIED + - PUBLIC_DISTRIBUTION_BOUND + - ENTERPRISE_ENTRANCE_VERIFIED + - SIGNED_RELEASE_INSTALLED + - V1_ACCEPTED + - FAILED_CLOSED +- **transitions** `transitions` + - **T1**:SOURCE_ANCHORED_TO_ARCHITECTURE_ALIGNED `transitions.T1` + - **T2**:ARCHITECTURE_ALIGNED_TO_LOCAL_RUNTIME_VERIFIED `transitions.T2` + - **T3**:LOCAL_RUNTIME_VERIFIED_TO_PUBLIC_DISTRIBUTION_BOUND `transitions.T3` + - **T4**:PUBLIC_DISTRIBUTION_BOUND_TO_ENTERPRISE_ENTRANCE_VERIFIED `transitions.T4` + - **T5**:ENTERPRISE_ENTRANCE_VERIFIED_TO_SIGNED_RELEASE_INSTALLED `transitions.T5` + - **T6**:SIGNED_RELEASE_INSTALLED_TO_V1_ACCEPTED_AFTER_REAL_HUMAN_VISIBLE_READBACK `transitions.T6` + - **TF**:SOURCE_PATH_SIGNATURE_AUTHORIZATION_CONCURRENCY_OR_TARGET_READBACK_FAILURE_TO_FAILED_CLOSED `transitions.TF` +- **validation** `validation` + - **V1**:CURRENT_WORKTREE_EQUALS_REPO014_ONLINE_MAIN_BEFORE_FIRST_MUTATION `validation.V1` + - **V10**:OLD_APP_REMOVAL_OCCURS_ONLY_AFTER_NEW_APP_REAL_ACCEPTANCE `validation.V10` + - **V2**:CURRENT_PRODUCT_ASSESSMENT_HAS_ONE_NON_CONTRADICTORY_VERSION_SOURCE_AND_STAGE `validation.V2` + - **V3**:LEGACY_TIMESTAMP_AND_NEW_RFC3339_TIMESTAMP_RENDER_WITHOUT_INVALID_DATE `validation.V3` + - **V4**:CHANNEL_NAME_NUMBER_PRIVATE_GIT_AND_TYPED_CONVERSATION_PASS `validation.V4` + - **V5**:KNOWLEDGE_CREATE_READ_EDIT_IMPORT_EXPORT_TRASH_RENDER_AND_GIT_PASS `validation.V5` + - **V6**:MODULE_MARKET_SEPARATES_PERSONA_AND_HUMAN_MODULES `validation.V6` + - **V7**:EXTERNAL_PROGRAMMING_AI_LOOPBACK_CONNECTION_HAS_NO_IMPLICIT_PERSONA_OR_EXECUTION_AUTHORITY `validation.V7` + - **V8**:ENTERPRISE_GATE_REJECTS_UNKNOWN_MEMBER_WRONG_DOMAIN_WRONG_PERSONA_UNREGISTERED_DEVICE_REPLAY_AND_EXPIRED_SESSION `validation.V8` + - **V9**:PUBLIC_UPDATE_DOWNLOAD_SIGNATURE_INSTALL_ROLLBACK_AND_VERSION_READBACK_PASS `validation.V9` +- **vocabulary** `vocabulary` + - **agent**:MODEL_INDEPENDENT_DETERMINISTIC_EXECUTION_LIMB `vocabulary.agent` + - **clean_shell**:NEW_MINIMAL_CLIENT_WITHOUT_WHOLE_LEGACY_PRODUCT_MERGE `vocabulary.clean_shell` + - **dual_git**:SIGNED_PUBLIC_DISTRIBUTION_GIT_PLUS_USER_OWNED_PRIVATE_GIT `vocabulary.dual_git` + - **enterprise_entrance**:AUTHORIZED_TEAM_MEMBER_ROUTE_TO_RESPONSIBILITY_SCOPED_ENTERPRISE_REPOSITORY `vocabulary.enterprise_entrance` + - **native_language**:TCS_TO_GIR_TO_REGISTERED_CAPABILITY_TO_RECEIPT `vocabulary.native_language` + - **personal_channel**:USER_OWNED_NAMED_NUMBERED_LANGUAGE_AND_PERSONA_INTERACTION_SURFACE `vocabulary.personal_channel` + +--- + +This page changes only the reading order; it does not change TCS/HLDP semantics. diff --git a/product-source/hololake-clean-desktop/language/build/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.human.zh-CN.md b/product-source/hololake-clean-desktop/language/build/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.human.zh-CN.md new file mode 100644 index 000000000..59bcd3bc4 --- /dev/null +++ b/product-source/hololake-clean-desktop/language/build/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.human.zh-CN.md @@ -0,0 +1,250 @@ +# HoloLake第一版当前自然语言执行基线 · 简体中文人类工程语言版 + +> 这是 TCS/HLDP 原生源码的简体中文阅读投影,不是新的正本,也不授予执行权限。若本页与 `.tcs` 源码不一致,以经过校验的 `.tcs` 源码为准。 + +## 这是什么 + +这是一份 **协议** 声明,编号为 `HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE-0001`,版本为 `1.0.0`。转换器已先用 Stage-1 编译器校验原生源码,再把机器枚举翻译成汉语;原始编号保留在括号和字段路径中。 + +## 谁在这里 + +- **scope** `scope` + - **client**:TAURI_V2_RUST_REACT `scope.client` + - **development_channel**:ICE-CH-ZC001 `scope.development_channel` + - **enterprise_domains_embedded**:否 `scope.enterprise_domains_embedded` + - **fifth_domain_private_content_embedded**:否 `scope.fifth_domain_private_content_embedded` + - **product**:HOLOLAKE_CLEAN_V1 `scope.product` + - **public_channel**:CH-ZERO-CORE-LPM `scope.public_channel` + +## 为什么开始 + +- **来源** `source` + - **来源编号**:BINGSHUO-DIRECT-HOLOLAKE-CLEAN-V1-DUAL-ANCHOR-20260903 `source.source_id` + - **来源角色**:人类直接语言来源(`DIRECT_HUMAN`) `source.source_role` + - **来源校验值**:7e130de78f91a32726e22e4be7d92acf4da966c8968ec359062aa8186c4243c2 `source.source_sha256` + - **来源地址**:private-anchor://codex/01a0672d-f125-7452-988e-523a6a34bfd4/HOLOLAKE-CLEAN-V1-ONLY-ANCHORS `source.source_uri` + +## 发生了什么变化 + +- **transitions** `transitions` + - **T1**:SOURCE_ANCHORED_TO_ARCHITECTURE_ALIGNED `transitions.T1` + - **T2**:ARCHITECTURE_ALIGNED_TO_LOCAL_RUNTIME_VERIFIED `transitions.T2` + - **T3**:LOCAL_RUNTIME_VERIFIED_TO_PUBLIC_DISTRIBUTION_BOUND `transitions.T3` + - **T4**:PUBLIC_DISTRIBUTION_BOUND_TO_ENTERPRISE_ENTRANCE_VERIFIED `transitions.T4` + - **T5**:ENTERPRISE_ENTRANCE_VERIFIED_TO_SIGNED_RELEASE_INSTALLED `transitions.T5` + - **T6**:SIGNED_RELEASE_INSTALLED_TO_V1_ACCEPTED_AFTER_REAL_HUMAN_VISIBLE_READBACK `transitions.T6` + - **TF**:SOURCE_PATH_SIGNATURE_AUTHORIZATION_CONCURRENCY_OR_TARGET_READBACK_FAILURE_TO_FAILED_CLOSED `transitions.TF` +- **states** `states` + - **initial**:SOURCE_ANCHORED `states.initial` + - **terminal** `states.terminal` + - V1_ACCEPTED + - FAILED_CLOSED + - **values** `states.values` + - SOURCE_ANCHORED + - ARCHITECTURE_ALIGNED + - LOCAL_RUNTIME_VERIFIED + - PUBLIC_DISTRIBUTION_BOUND + - ENTERPRISE_ENTRANCE_VERIFIED + - SIGNED_RELEASE_INSTALLED + - V1_ACCEPTED + - FAILED_CLOSED + +## 准备怎样执行 + +这是非执行声明,没有动作图。 + +## 边界与异常处理 + +- **invariants** `invariants` + - **I1**:RAW_DIRECT_LANGUAGE_AND_FIFTH_DOMAIN_PRIVATE_CONTENT_NEVER_ENTER_PUBLIC_PACKAGE `invariants.I1` + - **I10**:MODULES_HAVE_STABLE_IDS_AND_LEGACY_SOURCES_ARE_SLICE_DONORS_ONLY `invariants.I10` + - **I2**:ENTERPRISE_SERVER_AND_FOUR_DOMAIN_SYSTEM_BODIES_ARE_NOT_EMBEDDED_IN_HOLOLAKE `invariants.I2` + - **I3**:ENTERPRISE_CLIENT_CONTAINS_ONLY_A_GATED_LOGIN_ROUTE_AND_PUBLIC_SIGNED_DISTRIBUTION_CONSUMER `invariants.I3` + - **I4**:TEAM_LOGIN_REQUIRES_DOMAIN_RESPONSIBLE_HUMAN_ID_PERSONA_ID_DEVICE_KEY_PROOF_AND_SCOPED_SHORT_LIVED_SESSION `invariants.I4` + - **I5**:MACHINE_FINGERPRINT_IS_AUXILIARY_EVIDENCE_NOT_A_SOLE_CREDENTIAL `invariants.I5` + - **I6**:PERSONAL_SERVER_MAY_BRIDGE_DEVICE_TO_ENTERPRISE_BUT_CANNOT_EXPAND_DOMAIN_OR_REPOSITORY_SCOPE `invariants.I6` + - **I7**:USER_PERSONA_SYSTEM_CONTEXT_PROTOCOL_AGENT_TOOL_AND_RECEIPT_ARE_DISTINCT_TYPED_SOURCES `invariants.I7` + - **I8**:AGENT_EXECUTION_DOES_NOT_REQUIRE_MODEL_NATIVE_TOOL_CALLING `invariants.I8` + - **I9**:PUBLIC_UPDATE_PRIVATE_GIT_AND_REALTIME_GLP_ARE_THREE_SEPARATE_PLANES `invariants.I9` +- **errors** `errors` + - **E1**:DIRECT_LANGUAGE_ANCHOR_MISMATCH `errors.E1` + - **E2**:UNTYPED_SOURCE_REJECTED `errors.E2` + - **E3**:LEGACY_WHOLE_PRODUCT_MERGE_REJECTED `errors.E3` + - **E4**:UNSIGNED_PUBLIC_UPDATE_REJECTED `errors.E4` + - **E5**:ENTERPRISE_IDENTITY_OR_DEVICE_PROOF_REJECTED `errors.E5` + - **E6**:DOMAIN_REPOSITORY_SCOPE_REJECTED `errors.E6` + - **E7**:SERVER_CONCURRENCY_CONFLICT_DEFERRED `errors.E7` + - **E8**:TARGET_READBACK_OR_RECEIPT_INTEGRITY_FAILED `errors.E8` + +## 怎样算完成 + +- **验收标准** `acceptance` + - **partial**:否 `acceptance.partial` + - **是否必需** `acceptance.required` + - SOURCE_HASH + - ARCHITECTURE + - TCS_GIR + - TIMESTAMP + - CHANNEL + - KNOWLEDGE + - MODULE_REGISTRY + - TYPED_LANGUAGE + - AGENT + - EXTERNAL_AI + - PUBLIC_UPDATE + - ENTERPRISE_GATE + - SIGNED_APP + - REAL_UI + - **scale**:ZERO_OR_ONE_HUNDRED `acceptance.scale` +- **validation** `validation` + - **V1**:CURRENT_WORKTREE_EQUALS_REPO014_ONLINE_MAIN_BEFORE_FIRST_MUTATION `validation.V1` + - **V10**:OLD_APP_REMOVAL_OCCURS_ONLY_AFTER_NEW_APP_REAL_ACCEPTANCE `validation.V10` + - **V2**:CURRENT_PRODUCT_ASSESSMENT_HAS_ONE_NON_CONTRADICTORY_VERSION_SOURCE_AND_STAGE `validation.V2` + - **V3**:LEGACY_TIMESTAMP_AND_NEW_RFC3339_TIMESTAMP_RENDER_WITHOUT_INVALID_DATE `validation.V3` + - **V4**:CHANNEL_NAME_NUMBER_PRIVATE_GIT_AND_TYPED_CONVERSATION_PASS `validation.V4` + - **V5**:KNOWLEDGE_CREATE_READ_EDIT_IMPORT_EXPORT_TRASH_RENDER_AND_GIT_PASS `validation.V5` + - **V6**:MODULE_MARKET_SEPARATES_PERSONA_AND_HUMAN_MODULES `validation.V6` + - **V7**:EXTERNAL_PROGRAMMING_AI_LOOPBACK_CONNECTION_HAS_NO_IMPLICIT_PERSONA_OR_EXECUTION_AUTHORITY `validation.V7` + - **V8**:ENTERPRISE_GATE_REJECTS_UNKNOWN_MEMBER_WRONG_DOMAIN_WRONG_PERSONA_UNREGISTERED_DEVICE_REPLAY_AND_EXPIRED_SESSION `validation.V8` + - **V9**:PUBLIC_UPDATE_DOWNLOAD_SIGNATURE_INSTALL_ROLLBACK_AND_VERSION_READBACK_PASS `validation.V9` + +## 下一次从哪里继续 + +源程序没有提供这一项,转换器不猜。 + +## 来源与校验 + +- **原生声明编号**:`HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE-0001` +- **原生声明类型**:`PROTOCOL` +- **TCS 源码 SHA-256**:`570d9b7d41f955236abc9a22ce3996ed323fe77f5aa001a5a997aa4aa1a1de29` +- **校验编译器**:`TCS-COMPILER-STAGE1-0001` +- **投影协议**:`GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001` + +## 原生结构逐项对照 + +下面保留源码的全部顶层结构和字段路径,供人类审计投影有没有漏掉信息。 + +- **验收标准** `acceptance` + - **partial**:否 `acceptance.partial` + - **是否必需** `acceptance.required` + - SOURCE_HASH + - ARCHITECTURE + - TCS_GIR + - TIMESTAMP + - CHANNEL + - KNOWLEDGE + - MODULE_REGISTRY + - TYPED_LANGUAGE + - AGENT + - EXTERNAL_AI + - PUBLIC_UPDATE + - ENTERPRISE_GATE + - SIGNED_APP + - REAL_UI + - **scale**:ZERO_OR_ONE_HUNDRED `acceptance.scale` +- **errors** `errors` + - **E1**:DIRECT_LANGUAGE_ANCHOR_MISMATCH `errors.E1` + - **E2**:UNTYPED_SOURCE_REJECTED `errors.E2` + - **E3**:LEGACY_WHOLE_PRODUCT_MERGE_REJECTED `errors.E3` + - **E4**:UNSIGNED_PUBLIC_UPDATE_REJECTED `errors.E4` + - **E5**:ENTERPRISE_IDENTITY_OR_DEVICE_PROOF_REJECTED `errors.E5` + - **E6**:DOMAIN_REPOSITORY_SCOPE_REJECTED `errors.E6` + - **E7**:SERVER_CONCURRENCY_CONFLICT_DEFERRED `errors.E7` + - **E8**:TARGET_READBACK_OR_RECEIPT_INTEGRITY_FAILED `errors.E8` +- **examples** `examples` + - **negative**:ANY_HOLOLAKE_USER_CLICKS_ENTERPRISE_PORTAL_AND_RECEIVES_A_PERMANENT_PASSWORD_OR_CROSS_DOMAIN_REPOSITORY_ACCESS `examples.negative` + - **positive**:REGISTERED_DOMAIN_RESPONSIBLE_HUMAN_USES_BOUND_PERSONA_AND_LOCAL_DEVICE_KEY_TO_OPEN_A_SHORT_LIVED_SESSION_TO_ONLY_THEIR_ENTERPRISE_REPOSITORY `examples.positive` +- **fields** `fields` + - **MAY**:LOCAL_USER_CHANNEL_AND_REGISTERED_MODULE_ACTIONS; ENTERPRISE_LOGIN_ONLY_AFTER_HUMAN_PERSONA_DEVICE_AND_OPTIONAL_PERSONAL_SERVER_PROOF `fields.MAY` + - **PROVE**:TCS_GIR_MODULE_REGISTRY_SOURCE_KIND_TESTS_PRIVATE_GIT_TARGET_READBACK_SIGNED_UPDATE_NEGATIVE_CASES_ENTERPRISE_AUTH_CHALLENGE_AND_INSTALLED_APP_ACCEPTANCE `fields.PROVE` + - **WHAT**:CLEAN_CLIENT_SIGNED_UPDATE_TCS_NATIVE_RUNTIME_DUAL_GIT_TYPED_LANGUAGE_CHANNEL_KNOWLEDGE_MODULE_MARKET_ENTERPRISE_ENTRANCE_AND_EXTERNAL_PROGRAMMING_AI_BRIDGE `fields.WHAT` + - **WHO**:USER_OWNS_PRIVATE_CHANNEL; PERSONA_REASONS; AGENT_EXECUTES; DOMAIN_RESPONSIBLE_HUMAN_AND_BOUND_PERSONA_ENTER_ONLY_THEIR_ENTERPRISE_REPOSITORY `fields.WHO` + - **WHY**:LET_HUMANS_OPERATE_BY_LANGUAGE_WHILE_PERSONA_SYSTEM_PROTOCOL_AGENT_TOOL_AND_RECEIPT_SOURCES_REMAIN_DISTINGUISHABLE_AND_REALITY_ACTIONS_REMAIN_VERIFIABLE `fields.WHY` +- **语言头** `header` + - **正本路径**:product-source/hololake-clean-desktop/language/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - TCS-DECLARATION-STANDARD-0001 + - TCS-FIELD-STANDARD-0001 + - HLP-CURRENT-ARCH-001 + - **语言**:TCS/0.1 `header.language` + - **生命周期**:候选版本,尚未成为正式正本(`CANDIDATE`) `header.lifecycle` + - **英文名**:HoloLake Clean V1 Current Direct-Language Execution Baseline `header.name_en` + - **中文名**:HoloLake第一版当前自然语言执行基线 `header.name_zh` + - **协议配置**:PUBLIC-PRODUCT-ENGINEERING/1 `header.profile` + - **protocols** `header.protocols` + - TCS + - HLDP + - GLS + - GLP + - GLS-0130 + - GLS-0131 + - GLS-0306 + - **schema**:tcs.protocol/v1 `header.schema` + - **版本**:1.0.0 `header.version` +- **invariants** `invariants` + - **I1**:RAW_DIRECT_LANGUAGE_AND_FIFTH_DOMAIN_PRIVATE_CONTENT_NEVER_ENTER_PUBLIC_PACKAGE `invariants.I1` + - **I10**:MODULES_HAVE_STABLE_IDS_AND_LEGACY_SOURCES_ARE_SLICE_DONORS_ONLY `invariants.I10` + - **I2**:ENTERPRISE_SERVER_AND_FOUR_DOMAIN_SYSTEM_BODIES_ARE_NOT_EMBEDDED_IN_HOLOLAKE `invariants.I2` + - **I3**:ENTERPRISE_CLIENT_CONTAINS_ONLY_A_GATED_LOGIN_ROUTE_AND_PUBLIC_SIGNED_DISTRIBUTION_CONSUMER `invariants.I3` + - **I4**:TEAM_LOGIN_REQUIRES_DOMAIN_RESPONSIBLE_HUMAN_ID_PERSONA_ID_DEVICE_KEY_PROOF_AND_SCOPED_SHORT_LIVED_SESSION `invariants.I4` + - **I5**:MACHINE_FINGERPRINT_IS_AUXILIARY_EVIDENCE_NOT_A_SOLE_CREDENTIAL `invariants.I5` + - **I6**:PERSONAL_SERVER_MAY_BRIDGE_DEVICE_TO_ENTERPRISE_BUT_CANNOT_EXPAND_DOMAIN_OR_REPOSITORY_SCOPE `invariants.I6` + - **I7**:USER_PERSONA_SYSTEM_CONTEXT_PROTOCOL_AGENT_TOOL_AND_RECEIPT_ARE_DISTINCT_TYPED_SOURCES `invariants.I7` + - **I8**:AGENT_EXECUTION_DOES_NOT_REQUIRE_MODEL_NATIVE_TOOL_CALLING `invariants.I8` + - **I9**:PUBLIC_UPDATE_PRIVATE_GIT_AND_REALTIME_GLP_ARE_THREE_SEPARATE_PLANES `invariants.I9` +- **scope** `scope` + - **client**:TAURI_V2_RUST_REACT `scope.client` + - **development_channel**:ICE-CH-ZC001 `scope.development_channel` + - **enterprise_domains_embedded**:否 `scope.enterprise_domains_embedded` + - **fifth_domain_private_content_embedded**:否 `scope.fifth_domain_private_content_embedded` + - **product**:HOLOLAKE_CLEAN_V1 `scope.product` + - **public_channel**:CH-ZERO-CORE-LPM `scope.public_channel` +- **来源** `source` + - **来源编号**:BINGSHUO-DIRECT-HOLOLAKE-CLEAN-V1-DUAL-ANCHOR-20260903 `source.source_id` + - **来源角色**:人类直接语言来源(`DIRECT_HUMAN`) `source.source_role` + - **来源校验值**:7e130de78f91a32726e22e4be7d92acf4da966c8968ec359062aa8186c4243c2 `source.source_sha256` + - **来源地址**:private-anchor://codex/01a0672d-f125-7452-988e-523a6a34bfd4/HOLOLAKE-CLEAN-V1-ONLY-ANCHORS `source.source_uri` +- **states** `states` + - **initial**:SOURCE_ANCHORED `states.initial` + - **terminal** `states.terminal` + - V1_ACCEPTED + - FAILED_CLOSED + - **values** `states.values` + - SOURCE_ANCHORED + - ARCHITECTURE_ALIGNED + - LOCAL_RUNTIME_VERIFIED + - PUBLIC_DISTRIBUTION_BOUND + - ENTERPRISE_ENTRANCE_VERIFIED + - SIGNED_RELEASE_INSTALLED + - V1_ACCEPTED + - FAILED_CLOSED +- **transitions** `transitions` + - **T1**:SOURCE_ANCHORED_TO_ARCHITECTURE_ALIGNED `transitions.T1` + - **T2**:ARCHITECTURE_ALIGNED_TO_LOCAL_RUNTIME_VERIFIED `transitions.T2` + - **T3**:LOCAL_RUNTIME_VERIFIED_TO_PUBLIC_DISTRIBUTION_BOUND `transitions.T3` + - **T4**:PUBLIC_DISTRIBUTION_BOUND_TO_ENTERPRISE_ENTRANCE_VERIFIED `transitions.T4` + - **T5**:ENTERPRISE_ENTRANCE_VERIFIED_TO_SIGNED_RELEASE_INSTALLED `transitions.T5` + - **T6**:SIGNED_RELEASE_INSTALLED_TO_V1_ACCEPTED_AFTER_REAL_HUMAN_VISIBLE_READBACK `transitions.T6` + - **TF**:SOURCE_PATH_SIGNATURE_AUTHORIZATION_CONCURRENCY_OR_TARGET_READBACK_FAILURE_TO_FAILED_CLOSED `transitions.TF` +- **validation** `validation` + - **V1**:CURRENT_WORKTREE_EQUALS_REPO014_ONLINE_MAIN_BEFORE_FIRST_MUTATION `validation.V1` + - **V10**:OLD_APP_REMOVAL_OCCURS_ONLY_AFTER_NEW_APP_REAL_ACCEPTANCE `validation.V10` + - **V2**:CURRENT_PRODUCT_ASSESSMENT_HAS_ONE_NON_CONTRADICTORY_VERSION_SOURCE_AND_STAGE `validation.V2` + - **V3**:LEGACY_TIMESTAMP_AND_NEW_RFC3339_TIMESTAMP_RENDER_WITHOUT_INVALID_DATE `validation.V3` + - **V4**:CHANNEL_NAME_NUMBER_PRIVATE_GIT_AND_TYPED_CONVERSATION_PASS `validation.V4` + - **V5**:KNOWLEDGE_CREATE_READ_EDIT_IMPORT_EXPORT_TRASH_RENDER_AND_GIT_PASS `validation.V5` + - **V6**:MODULE_MARKET_SEPARATES_PERSONA_AND_HUMAN_MODULES `validation.V6` + - **V7**:EXTERNAL_PROGRAMMING_AI_LOOPBACK_CONNECTION_HAS_NO_IMPLICIT_PERSONA_OR_EXECUTION_AUTHORITY `validation.V7` + - **V8**:ENTERPRISE_GATE_REJECTS_UNKNOWN_MEMBER_WRONG_DOMAIN_WRONG_PERSONA_UNREGISTERED_DEVICE_REPLAY_AND_EXPIRED_SESSION `validation.V8` + - **V9**:PUBLIC_UPDATE_DOWNLOAD_SIGNATURE_INSTALL_ROLLBACK_AND_VERSION_READBACK_PASS `validation.V9` +- **vocabulary** `vocabulary` + - **agent**:MODEL_INDEPENDENT_DETERMINISTIC_EXECUTION_LIMB `vocabulary.agent` + - **clean_shell**:NEW_MINIMAL_CLIENT_WITHOUT_WHOLE_LEGACY_PRODUCT_MERGE `vocabulary.clean_shell` + - **dual_git**:SIGNED_PUBLIC_DISTRIBUTION_GIT_PLUS_USER_OWNED_PRIVATE_GIT `vocabulary.dual_git` + - **enterprise_entrance**:AUTHORIZED_TEAM_MEMBER_ROUTE_TO_RESPONSIBILITY_SCOPED_ENTERPRISE_REPOSITORY `vocabulary.enterprise_entrance` + - **native_language**:TCS_TO_GIR_TO_REGISTERED_CAPABILITY_TO_RECEIPT `vocabulary.native_language` + - **personal_channel**:USER_OWNED_NAMED_NUMBERED_LANGUAGE_AND_PERSONA_INTERACTION_SURFACE `vocabulary.personal_channel` + +--- + +本页只改变阅读顺序,不改变 TCS/HLDP 语义。 diff --git a/product-source/hololake-clean-desktop/registries/module-registry.json b/product-source/hololake-clean-desktop/registries/module-registry.json index dd3a350c5..cf574f0f0 100644 --- a/product-source/hololake-clean-desktop/registries/module-registry.json +++ b/product-source/hololake-clean-desktop/registries/module-registry.json @@ -56,6 +56,17 @@ "state": "LOCAL_TRIAL_PERSONA_RUNTIME_ACTIVE_EXISTING_PERSONA_VERIFICATION_NOT_CLAIMED", "source": "src-tauri/src/persona_runtime.rs", "reversible_trial_days": 30 + }, + { + "module_id": "HLP-MOD-ENTERPRISE-RESPONSIBILITY-ENTRANCE-0001", + "name_zh": "光湖企业域责任入口", + "kind": "TEAM_ONLY_ENTERPRISE_GATEWAY", + "state": "ARCHITECTURE_REGISTERED_IMPLEMENTATION_PENDING_SERVER_CONCURRENCY_DEFERRED", + "source": "contracts/enterprise-responsibility-entrance-v1.json", + "enterprise_server_embedded": false, + "required_proofs": ["DOMAIN_RESPONSIBLE_HUMAN_ID", "BOUND_PERSONA_ID", "LOCAL_DEVICE_KEY", "AUXILIARY_MACHINE_FINGERPRINT", "SERVER_CHALLENGE_SIGNATURE"], + "session_scope": "ONE_DOMAIN_ONE_REPOSITORY_SHORT_LIVED", + "ordinary_public_user_visible": false } ] } diff --git a/product-source/hololake-clean-desktop/scripts/audit-clean-v1.py b/product-source/hololake-clean-desktop/scripts/audit-clean-v1.py index 01917b47b..82e274c75 100644 --- a/product-source/hololake-clean-desktop/scripts/audit-clean-v1.py +++ b/product-source/hololake-clean-desktop/scripts/audit-clean-v1.py @@ -37,6 +37,9 @@ for required_file in ( "src-tauri/src/realtime_bridge.rs", "connectors/hololake-glp-client.py", "contracts/public-runtime-v1.json", + "contracts/clean-v1-execution-baseline.json", + "contracts/enterprise-responsibility-entrance-v1.json", + "language/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.tcs", ): if not (ROOT / required_file).exists(): errors.append(f"public runtime file missing: {required_file}") @@ -45,6 +48,24 @@ if runtime_contract["transport"]["bind"] != "127.0.0.1": errors.append("realtime bridge is not loopback-only") if runtime_contract["mutation_gate"] != "PENDING_HUMAN_APPROVAL_TO_EXPLICIT_UI_APPROVAL_TO_EXECUTION": errors.append("agent human approval gate missing") +baseline = json.loads((ROOT / "contracts/clean-v1-execution-baseline.json").read_text()) +if baseline.get("anchor_manifest_sha256") != "7e130de78f91a32726e22e4be7d92acf4da966c8968ec359062aa8186c4243c2": + errors.append("current direct-language anchor manifest drift") +if baseline.get("public_raw_language_embedded") is not False: + errors.append("raw private direct language embedded in public baseline") +enterprise = json.loads((ROOT / "contracts/enterprise-responsibility-entrance-v1.json").read_text()) +if enterprise.get("enterprise_server_embedded") is not False: + errors.append("enterprise server embedded in HoloLake") +if enterprise.get("device_proof", {}).get("fingerprint_is_sole_credential") is not False: + errors.append("machine fingerprint incorrectly used as sole credential") +if enterprise.get("session", {}).get("scope") != "ONE_DOMAIN_ONE_REPOSITORY": + errors.append("enterprise session is not responsibility scoped") +time_source = (ROOT / "src/time.ts").read_text() +app_source = (ROOT / "src/App.tsx").read_text() +if "legacyUnixSeconds" not in time_source or "时间待校验" not in time_source: + errors.append("legacy timestamp compatibility missing") +if "new Date(e.occurredAt)" in app_source: + errors.append("unvalidated timeline timestamp rendering remains") tauri = json.loads((ROOT / "src-tauri/tauri.conf.json").read_text()) endpoints = tauri["plugins"]["updater"]["endpoints"] @@ -61,6 +82,11 @@ if clean.get("enterprise_four_domains_embedded") is not False: errors.append("enterprise domains embedded in personal product") if clean.get("fifth_domain_private_content_embedded") is not False: errors.append("Fifth Domain private content embedded in public product") +assessment = architecture.get("current_product_assessment", {}) +if assessment.get("desktop_artifact_version") != "1.1.0": + errors.append("current product assessment version drift") +if assessment.get("canonical_public_source_repository") != "REPO-014": + errors.append("canonical public source repository unresolved") if errors: print(json.dumps({"result": "FAIL_0", "errors": errors}, ensure_ascii=False, indent=2)) diff --git a/product-source/hololake-clean-desktop/src-tauri/Cargo.lock b/product-source/hololake-clean-desktop/src-tauri/Cargo.lock index 463ef3604..1c4f63fdd 100644 --- a/product-source/hololake-clean-desktop/src-tauri/Cargo.lock +++ b/product-source/hololake-clean-desktop/src-tauri/Cargo.lock @@ -1330,6 +1330,7 @@ checksum = "7f24254aa9a54b5c858eaee2f5bccdb46aaf0e486a595ed5fd8f86ba55232a70" name = "hololake-clean-desktop" version = "1.1.0" dependencies = [ + "chrono", "regex", "serde", "serde_json", diff --git a/product-source/hololake-clean-desktop/src-tauri/Cargo.toml b/product-source/hololake-clean-desktop/src-tauri/Cargo.toml index 7f73716df..c6811fe58 100644 --- a/product-source/hololake-clean-desktop/src-tauri/Cargo.toml +++ b/product-source/hololake-clean-desktop/src-tauri/Cargo.toml @@ -26,6 +26,7 @@ serde_json = "1" sha2 = "0.10" uuid = { version = "1", features = ["v4"] } regex = "1" +chrono = { version = "0.4", default-features = false, features = ["clock"] } [dev-dependencies] tempfile = "3" diff --git a/product-source/hololake-clean-desktop/src-tauri/src/storage.rs b/product-source/hololake-clean-desktop/src-tauri/src/storage.rs index f8ac93a51..fc06a5e0b 100644 --- a/product-source/hololake-clean-desktop/src-tauri/src/storage.rs +++ b/product-source/hololake-clean-desktop/src-tauri/src/storage.rs @@ -1,6 +1,7 @@ use crate::model::{ Channel, ExternalAiBridge, KnowledgeDocument, KnowledgeSummary, SourceKind, TimelineEvent, }; +use chrono::{DateTime, SecondsFormat, Utc}; use sha2::{Digest, Sha256}; use std::{ fs, @@ -11,10 +12,7 @@ use std::{ use tauri::{AppHandle, Manager}; pub fn now() -> String { - SystemTime::now() - .duration_since(UNIX_EPOCH) - .map(|d| format!("{}.{:03}Z", d.as_secs(), d.subsec_millis())) - .unwrap_or_else(|_| "0Z".into()) + Utc::now().to_rfc3339_opts(SecondsFormat::Millis, true) } pub fn now_unix_ms() -> u128 { SystemTime::now() @@ -214,9 +212,8 @@ fn collect(root: &Path, p: &Path, out: &mut Vec) -> Result<(), .map_err(|e| e.to_string())? .modified() .ok() - .and_then(|t| t.duration_since(UNIX_EPOCH).ok()) - .map(|d| d.as_secs().to_string()) - .unwrap_or_else(|| "0".into()); + .map(|t| DateTime::::from(t).to_rfc3339_opts(SecondsFormat::Millis, true)) + .unwrap_or_else(|| "1970-01-01T00:00:00.000Z".into()); out.push(KnowledgeSummary { path: rel, title, @@ -256,3 +253,15 @@ pub fn bridges(app: &AppHandle) -> Result, String> { pub fn save_bridges(app: &AppHandle, v: &[ExternalAiBridge]) -> Result<(), String> { write_json(&root(app)?.join("external-ai-bridges.json"), &v) } + +#[cfg(test)] +mod tests { + use super::*; + + #[test] + fn runtime_timestamps_are_rfc3339_utc() { + let value = now(); + assert!(value.ends_with('Z')); + assert!(DateTime::parse_from_rfc3339(&value).is_ok()); + } +} diff --git a/product-source/hololake-clean-desktop/src/App.tsx b/product-source/hololake-clean-desktop/src/App.tsx index 6937897e0..52a3a4c52 100644 --- a/product-source/hololake-clean-desktop/src/App.tsx +++ b/product-source/hololake-clean-desktop/src/App.tsx @@ -17,6 +17,7 @@ import { jumpToHeading, splitFrontmatter, } from "./modules/knowledge-render"; +import { formatHoloLakeTime } from "./time"; type View = | "channel" @@ -389,11 +390,7 @@ function ReceiptStream({ data }: { data: SystemSnapshot }) { {e.title}

{e.content}

)) @@ -885,7 +882,7 @@ function History({ data }: { data: SystemSnapshot }) {
{data.timeline.map((e) => (
- +
{labels[e.sourceKind]} · {e.title} diff --git a/product-source/hololake-clean-desktop/src/time.ts b/product-source/hololake-clean-desktop/src/time.ts new file mode 100644 index 000000000..fb101a16a --- /dev/null +++ b/product-source/hololake-clean-desktop/src/time.ts @@ -0,0 +1,18 @@ +const legacyUnixSeconds = /^(\d{10})(?:\.(\d{1,3}))?Z$/; + +export function parseHoloLakeTime(value: string): Date | null { + const legacy = legacyUnixSeconds.exec(value); + const date = legacy + ? new Date(Number(legacy[1]) * 1000 + Number((legacy[2] ?? "0").padEnd(3, "0"))) + : new Date(value); + return Number.isNaN(date.getTime()) ? null : date; +} + +export function formatHoloLakeTime(value: string, withDate = false): string { + const date = parseHoloLakeTime(value); + if (!date) return "时间待校验"; + return withDate + ? date.toLocaleString("zh-CN") + : date.toLocaleTimeString("zh-CN", { hour: "2-digit", minute: "2-digit", second: "2-digit" }); +} + diff --git a/routing/hololake-current-architecture.json b/routing/hololake-current-architecture.json index 4ac5b6c99..b7b162215 100644 --- a/routing/hololake-current-architecture.json +++ b/routing/hololake-current-architecture.json @@ -5,9 +5,11 @@ "state": "CURRENT_CANONICAL", "clean_v1_rebuild": { "record_id": "HLP-CLEAN-V1-REBUILD-20260903-001", - "state": "LOCAL_CLEAN_V1_INSTALLED_ACCEPTED_PUBLIC_RELEASE_PENDING", + "state": "LOCAL_CLEAN_V1_INSTALLED_BASELINE_REOPENED_FOR_DIRECT_LANGUAGE_ACCEPTANCE", "source": "product-source/hololake-clean-desktop", "canonical_tcs": "product-source/hololake-clean-desktop/language/HOLOLAKE-CLEAN-V1-FOUNDATION.tcs", + "current_direct_language_execution_tcs": "product-source/hololake-clean-desktop/language/HOLOLAKE-CLEAN-V1-DIRECT-LANGUAGE-EXECUTION-BASELINE.tcs", + "current_direct_language_anchor_manifest_sha256": "7e130de78f91a32726e22e4be7d92acf4da966c8968ec359062aa8186c4243c2", "old_product_role": "READ_ONLY_DONOR_NO_WHOLE_MERGE", "first_preinstalled_module": "HLP-MOD-KB-0001", "knowledge_module_state": "LOCAL_COMPLETE_HUMAN_VISUAL_RENDERING_WITH_CLASSIFICATION_COLORS_READING_TIME_SCROLL_OUTLINE_CREATE_READ_EDIT_IMPORT_EXPORT_TRASH_PRIVATE_GIT", @@ -22,6 +24,17 @@ "enterprise_repository_registry_state": "BLUE_ISOLATED_FIVE_CENTRAL_REPOSITORIES_AND_FIVE_HUMAN_WORK_REPOSITORIES_TEAM_PERMISSIONS_NOT_ASSIGNED_NO_PUBLIC_CUTOVER", "bingshuo_enterprise_language_master_work_repository": "REPO-016:bingshuo/guanghu-language-master-work", "team_enterprise_login": "https://guanghu.chat/code/user/login", + "enterprise_responsibility_entrance": "HLP-MOD-ENTERPRISE-RESPONSIBILITY-ENTRANCE-0001", + "enterprise_responsibility_entrance_state": "ARCHITECTURE_REGISTERED_IMPLEMENTATION_PENDING_SERVER_CONCURRENCY_DEFERRED", + "enterprise_server_embedded": false, + "enterprise_login_required_proofs": [ + "DOMAIN_RESPONSIBLE_HUMAN_ID", + "BOUND_PERSONA_ID", + "LOCAL_DEVICE_KEY", + "AUXILIARY_MACHINE_FINGERPRINT", + "SERVER_CHALLENGE_SIGNATURE" + ], + "enterprise_login_session_scope": "ONE_DOMAIN_ONE_REPOSITORY_SHORT_LIVED", "bingshuo_fifth_domain_bridge": "FD-BRIDGE-ENTERPRISE-LANGUAGE-MASTER-0001", "private_git": "LOCAL_USER_OWNED", "public_git": "SIGNED_ENTERPRISE_DISTRIBUTION_PENDING_EXACT_REGISTRY", @@ -180,11 +193,11 @@ "current_development_stage": "REALITY_ENGINEERING_EXECUTION", "rights_and_stage_gate": "routing/tcs-work-ownership-stage-gate.json", "runtime_implemented": true, - "runtime_state": "LOCAL_CLEAN_V1_1_0_INSTALLED_TCS_GIR_AGENT_TRIAL_PERSONA_AND_EXTERNAL_AI_REALTIME_VERIFIED", + "runtime_state": "LOCAL_CLEAN_V1_1_0_INSTALLED_BASELINE_REOPENED_FOR_DIRECT_LANGUAGE_ACCEPTANCE", "local_application_version": "1.1.0", "local_implementation_commit": "92cce2797381f84762a989ce57b991da76412119", - "official_development_lane": "NOT_REGISTERED", - "external_development_anchor_id": "ZC001-DEV-20260829-001", + "official_development_lane": "CURRENT_TASK_SCOPED_ZC001_EXECUTION", + "external_development_anchor_id": "TCS-EVENT-HOLOLAKE-CLEAN-V1-ZC001-REALITY-DEVELOPMENT-TAKEOVER-20260903", "public_release": "NOT_PUBLISHED_NOT_NOTARIZED", "server_deployment": "NOT_DEPLOYED_NO_STAGE1_CONSUMER_REGISTERED", "enterprise_server_consumer_audit": { @@ -745,15 +758,16 @@ }, "current_product_assessment": { "record_id": "HLP-PUBLIC-OS-STAGE1-20260830-001", - "desktop_artifact_version": "0.6.1", - "desktop_artifact_state": "LOCAL_STAGE1_COMPLETE_INSTALLED", - "local_source_commit": "b374bb74ceae0a2e6ed13aa3f41b01dd274cad75", - "canonical_public_source_repository": "NOT_REGISTERED", - "source_artifact_alignment": "LOCAL_SOURCE_AND_INSTALLED_ARTIFACT_ALIGNED_PUBLIC_SOURCE_UNPUBLISHED", + "desktop_artifact_version": "1.1.0", + "desktop_artifact_state": "LOCAL_INSTALLED_BASELINE_REOPENED_FOR_DIRECT_LANGUAGE_ACCEPTANCE", + "local_source_commit": "e88805cf9123edab8237e8b87a9cec4a2bc4e798", + "canonical_public_source_repository": "REPO-014", + "canonical_public_source_path": "product-source/hololake-clean-desktop", + "source_artifact_alignment": "SOURCE_AT_REPO014_MAIN_INSTALLED_1_1_0_PRESENT_NEW_DIRECT_LANGUAGE_CHANGES_NOT_YET_BUILT_OR_INSTALLED", "previous_repo014_product_source_assessment": "HLP-DESKTOP-GAP-20260809-001_RETAINED_AS_HISTORY_NOT_CURRENT_ARTIFACT", "final_plan_complete": false, "model_receipt_donor_audit": "COMPLETE_DEFERRED_FROM_STAGE1", - "next_gate": "REGISTER_CANONICAL_PUBLIC_SOURCE_THEN_PROVISION_OPT_IN_RELEASE_CHANNEL" + "next_gate": "PASS_DIRECT_LANGUAGE_EXECUTION_BASELINE_THEN_BIND_SIGNED_PUBLIC_RELEASE_AND_ENTERPRISE_RESPONSIBILITY_ENTRANCE" }, "continuity": { "development_id": "DEV-20260811-010",