feat(hololake): bind direct-language V1 baseline
This commit is contained in:
parent
e88805cf91
commit
3df6b1d3ca
14 changed files with 809 additions and 23 deletions
|
|
@ -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"
|
||||
}
|
||||
|
||||
|
|
@ -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"]
|
||||
}
|
||||
|
||||
|
|
@ -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"; }
|
||||
}
|
||||
|
||||
|
|
@ -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
|
||||
}
|
||||
|
|
@ -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.
|
||||
|
|
@ -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 语义。
|
||||
|
|
@ -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
|
||||
}
|
||||
]
|
||||
}
|
||||
|
|
|
|||
|
|
@ -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))
|
||||
|
|
|
|||
|
|
@ -1330,6 +1330,7 @@ checksum = "7f24254aa9a54b5c858eaee2f5bccdb46aaf0e486a595ed5fd8f86ba55232a70"
|
|||
name = "hololake-clean-desktop"
|
||||
version = "1.1.0"
|
||||
dependencies = [
|
||||
"chrono",
|
||||
"regex",
|
||||
"serde",
|
||||
"serde_json",
|
||||
|
|
|
|||
|
|
@ -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"
|
||||
|
|
|
|||
|
|
@ -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<KnowledgeSummary>) -> 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::<Utc>::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<Vec<ExternalAiBridge>, 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());
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -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 }) {
|
|||
<strong>{e.title}</strong>
|
||||
<p>{e.content}</p>
|
||||
<time>
|
||||
{new Date(e.occurredAt).toLocaleTimeString("zh-CN", {
|
||||
hour: "2-digit",
|
||||
minute: "2-digit",
|
||||
second: "2-digit",
|
||||
})}
|
||||
{formatHoloLakeTime(e.occurredAt)}
|
||||
</time>
|
||||
</div>
|
||||
))
|
||||
|
|
@ -885,7 +882,7 @@ function History({ data }: { data: SystemSnapshot }) {
|
|||
<section className="timeline-list">
|
||||
{data.timeline.map((e) => (
|
||||
<article key={e.eventId}>
|
||||
<time>{new Date(e.occurredAt).toLocaleString("zh-CN")}</time>
|
||||
<time>{formatHoloLakeTime(e.occurredAt, true)}</time>
|
||||
<div>
|
||||
<strong>
|
||||
{labels[e.sourceKind]} · {e.title}
|
||||
|
|
|
|||
18
product-source/hololake-clean-desktop/src/time.ts
Normal file
18
product-source/hololake-clean-desktop/src/time.ts
Normal file
|
|
@ -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" });
|
||||
}
|
||||
|
||||
Loading…
Reference in a new issue