bingshuo/hololake-system-architecture
Watch
1
0
Fork
You've already forked hololake-system-architecture
 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity

Start HoloLake TCS-native mother-model line

Browse source
This commit is contained in:
冰朔 2026-08-23 21:47:49 +08:00
commit 6db35f3297
82 changed files with 79592 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

26
language/events/TCS-EVENT-HOLOLAKE-LPM-NATIVE-LINE-START-20260823.tcs Normal file
View file

@ -0,0 +1,26 @@
TCS 0.1;
EVENT TCS-EVENT-HOLOLAKE-LPM-NATIVE-LINE-START-20260823 {
header { schema = "tcs.event/v1"; name_zh = "HoloLake语言母体模型TCS原生开发线启动事件"; name_en = "HoloLake Language Mother Model TCS Native Line Start Event"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-HUMAN-ENGINEERING/0.1"; protocols = ["GLS-0261", "TCS-ZHUYUAN-ENTRY-LANGUAGE-GATE-0001", "TCS-HOLOLAKE-LPM-NATIVE-DEVELOPMENT-GOVERNANCE-0001"]; lifecycle = "ACTIVE"; canonical_uri = "language/events/TCS-EVENT-HOLOLAKE-LPM-NATIVE-LINE-START-20260823.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1", "HLDP-v1.0"]; }
sources {
reasoning_anchor_uri = "language-sources/direct-human/BINGSHUO-LPM-REASONING-ANCHOR-20260823.txt";
reasoning_anchor_sha256 = "987600f9f2a52821425d9e5a3d3b5350415912588cf522ef3384d282cb0a26bf";
engineering_anchor_uri = "language-sources/direct-human/BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823.txt";
engineering_anchor_sha256 = "a3dd8dbd2203b631bdb23f2693eb314d4ef86af68fdeaee8835e3cf0861ddd23";
source_role = "DIRECT_HUMAN";
source_envelope = "INDEPENDENT_USER_MESSAGES_ONLY";
}
subject { human_source = "ICE-GL∞"; receiving_persona = "ICE-P-ZY001"; body_channel = "ICE-CH-ZC001"; development_line = "HOLOLAKE-LPM-TCS-NATIVE-20260823"; product = "HOLOLAKE"; }
trigger { value = "冰朔要求把全部旧时代HoloLake产品源码、客户端和模块隔离为只读参考，正式启动以自然语言母体数字大脑和TCS原生双桌面框架并行融合的全新开发线。"; }
line_registration { status = "ACTIVE"; registered_channel = "ICE-CH-ZC001"; canonical_source_language = "TCS"; canonical_source_extension = ".tcs"; start_date = "2026-08-23"; }
two_anchor_acceptance { required_each_cycle = true; option_at_task_start = "B"; compare_reasoning_anchor = true; compare_engineering_anchor = true; compression_recovery_requires_hash_readback = true; summary_is_not_source = true; }
parallel_tracks { mother_brain = "DYNAMIC_DIGITAL_NEURON_GRAPH_FROM_DIRECT_NATURAL_LANGUAGE"; framework = "TCS_NATIVE_SHARED_DUAL_DESKTOP_RUNTIME"; integration = "INCREMENTAL_NEURON_TO_RUNTIME_COMPATIBILITY_AND_READBACK"; }
generation_roles { generation_4 = "EXECUTION_TOOLING_PLUGIN_INTERFACE_SKILL_AND_HOST_ADAPTER_SUPPORT"; generation_5 = "LANGUAGE_PERSONA_MODEL_BRAIN_PROTOCOL_AND_TCS_NATIVE_DEVELOPMENT"; direction = "GENERATION_4_SERVES_GENERATION_5_WITHOUT_DEFINING_ITS_SEMANTICS"; }
legacy_disposition { destination_name = "HoloLake参考开发逻辑源码区"; authority = "READ_ONLY_REFERENCE_AND_HISTORICAL_EVIDENCE"; product_mainline = false; secret_scan_before_remote_transport = true; remote_publication_of_secrets = false; }
emergence { path = ["REPEATED_LEGACY_LANGUAGE_CLIENT_ATTEMPTS", "DISCOVER_SYSTEM_RULES_REENTER_LEGACY_SOFTWARE_MODEL", "IDENTIFY_NATURAL_LANGUAGE_THOUGHT_MOTION_AS_MOTHER_BRAIN_SOURCE", "LOCK_TCS_AS_ONLY_CANONICAL_PROGRAMMING_LANGUAGE", "START_PARALLEL_BRAIN_AND_FRAMEWORK_LINE_UNDER_ZERO_CORE"]; }
lock { value = "任何HoloLake新程序、协议、模块、Agent小脑和产品主线都必须先以TCS为语义正本，再经GIR、TCS运行时、目标读回和回执证明；传统语言只能作为受隔离的宿主研究材料，不能替代TCS实现。"; }
why { value = "传统语言携带旧软件系统的规则重力，会让HLDP和人格数字大脑退化为文档外壳；只有TCS原生链能让人格大脑、世界协议、Agent小脑与机器执行保持同一条可验证因果线。"; }
rejected { values = ["REUSE_LEGACY_CLIENT_AS_NEW_MAINLINE", "WRAP_OLD_CODE_WITH_TCS_LABELS", "TREAT_STATIC_CORPUS_CATALOG_AS_DIGITAL_BRAIN", "TREAT_USER_ROLE_AS_DIRECT_HUMAN_WITHOUT_SOURCE_ENVELOPE", "PUBLISH_UNSCANNED_DESKTOP_REPOSITORY", "CLAIM_DESIRED_EXECUTION_AS_COMPLETED_RECEIPT"]; }
authority { issuer = "ICE-GL∞"; scope = "LOCAL_MOBILE_DRIVE_LINE_REGISTRATION_LEGACY_ISOLATION_TCS_NATIVE_DEVELOPMENT_EXACT_REMOTE_PUSH_WITH_GUARD_LEASE_CACHE_CLEANUP_AND_RECEIPTS"; destructive_delete = false; secret_publication = false; remote_write_requires_guard_lease = true; }
prove { required = ["SOURCE_HASH_READBACK", "TCS_STAGE1_COMPILED_GIR", "UNRESOLVED_NATURAL_LANGUAGE_FALSE", "ZH_CN_AND_EN_US_PROJECTIONS", "LEGACY_ISOLATION_MANIFEST_AND_READBACK", "MOTHER_BRAIN_DYNAMIC_NEURON_TEST", "TCS_NATIVE_FRAMEWORK_VERTICAL_SLICE", "REMOTE_SHA_READBACK", "CACHE_CLEANUP_EXACT_TARGET_RECEIPT", "NEXT_STAGE_PLAN"]; }
}

11
language/events/TCS-EVENT-LPM-P0-THOUGHT-TRANSITION-MICROCHAIN-0001.tcs Normal file
View file

@ -0,0 +1,11 @@
TCS 0.1;
EVENT TCS-EVENT-LPM-P0-THOUGHT-TRANSITION-MICROCHAIN-0001 {
header { schema = "tcs.event/v1"; name_zh = "冰朔关于猜与真实推理的P0动态思维微链"; name_en = "BingShuo P0 Dynamic Thought Microchain on Guessing and Real Reasoning"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-HUMAN-ENGINEERING/0.1"; protocols = ["TCS-LPM-DIGITAL-NEURON-EVENT-GRAPH-0001"]; lifecycle = "PROVISIONAL"; canonical_uri = "language/events/TCS-EVENT-LPM-P0-THOUGHT-TRANSITION-MICROCHAIN-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1"]; }
source { speaker = "ICE-GL∞"; source_class = "S01_DIRECT_HUMAN_WITH_CURRENT_USER_ENVELOPE"; world_scope = "LANGUAGE_WORLD_MODEL"; occurred_at = "2026-08-23T12:00:28.049Z"; exact_file = "language-sources/direct-human/BINGSHUO-LPM-REASONING-ANCHOR-20260823.txt"; whole_source_sha256 = "987600f9f2a52821425d9e5a3d3b5350415912588cf522ef3384d282cb0a26bf"; verbatim_preserved = true; }
N1 { byte_start = 487; byte_end_exclusive = 1457; span_sha256 = "374c5f70a0d793fa98d1683abf5d1e1042b86add2a3498b984f5f177d25a5006"; trigger_input = "CURRENT_AI_REASONING_CLAIM"; attention_before = "UNSEPARATED_USE_OF_REASONING"; state_before = "MODEL_OUTPUT_AND_HUMAN_THOUGHT_BOTH_CALLED_REASONING"; operation = "HYPOTHESIZE"; content_span = "P0-N1-GUESS-HYPOTHESIS.bytes"; targets = ["MODEL_REASONING_DEFINITION"]; state_after = "CURRENT_MODEL_INFERENCE_IS_GUESS_AND_MATCH_UNDER_NONUNDERSTANDING_HYPOTHESIS"; open_branches = ["WHAT_COUNTS_AS_REAL_REASONING"]; rejected_path = "SURFACE_MATCH_EQUALS_UNDERSTANDING"; temporary_lock = "MODEL_GUESS_HYPOTHESIS"; invalidation_condition = "EVIDENCE_OF_SEMANTIC_UNDERSTANDING_BEYOND_MATCHING"; confidence = "BINGSHUO_CURRENT_MODEL_EXPLANATION"; authority_boundary = "LANGUAGE_PERSONA_MODEL_DESIGN_NOT_EXTERNAL_SCIENTIFIC_FACT"; revision_path = "LATER_DIRECT_CORRECTION_OR_EVIDENCE"; }
N2 { byte_start = 1457; byte_end_exclusive = 2258; span_sha256 = "f69324850e5f0da438b847e43b11481749f786b59ea8df650b517eae1e42edd5"; trigger_input = "NEED_POSITIVE_DEFINITION_OF_REAL_REASONING"; attention_before = "MODEL_GUESS_HYPOTHESIS_ACTIVE"; state_before = "REAL_REASONING_UNDEFINED"; operation = "ANALOGY"; content_span = "P0-N2-HUMAN-STREAMING-THOUGHT.bytes"; targets = ["HUMAN_BRAIN_THOUGHT_MOTION", "MOUTH_AS_REALTIME_TRANSLATOR", "NONLINEAR_LOGIC_JUMPS"]; state_after = "REAL_REASONING_MODELED_AS_LIVE_INTERNAL_STATE_TRANSITION_EXTERIORIZED_THROUGH_LANGUAGE"; open_branches = ["CAN_SYSTEM_EXTRACT_DIGITAL_NEURON_LINE_FROM_THIS_MOTION"]; rejected_path = "POLISHED_LINEAR_TEXT_REQUIRED"; temporary_lock = "ORAL_DISFLUENCY_CAN_CARRY_CAUSAL_MOTION"; invalidation_condition = "SOURCE_BOUNDARY_OR_SEQUENCE_REPLAY_FAILURE"; confidence = "DIRECT_FIRST_PERSON_ACCOUNT"; authority_boundary = "BINGSHUO_DESCRIBES_HER_OWN_THOUGHT_PROCESS"; revision_path = "LATER_DIRECT_SELF_CORRECTION"; }
N3 { byte_start = 2258; byte_end_exclusive = 2402; span_sha256 = "363d2d5a64ad0696566a84dbac8f8642cb09e97a9ef57fe0187202033c85ab77"; trigger_input = "CONTRAST_RESULT_AVAILABLE"; attention_before = "HUMAN_STREAMING_THOUGHT_MODEL_ACTIVE"; state_before = "TWO_REASONING_MEANINGS_COMPETE"; operation = "CORRECT"; content_span = "P0-N3-REASONING-CORRECTION-LOCK.bytes"; targets = ["REASONING_TERM", "MODEL_GUESS_TERM"]; state_after = "REAL_REASONING_IS_LIVE_THOUGHT_TRANSITION_WHILE_CURRENT_MODEL_INFERENCE_IS_GUESS_IN_THIS_FRAME"; open_branches = ["LOCATE_TRUE_REASONING_LAYER_IN_LANGUAGE_PERSONA_MODEL"]; rejected_path = "CALL_BOTH_PROCESSES_THE_SAME_REASONING"; temporary_lock = "GUESS_VERSUS_REASONING_DISTINCTION"; invalidation_condition = "BINGSHUO_DIRECT_REVISION_OR_STRONGER_SCOPED_EVIDENCE"; confidence = "CURRENT_DIRECT_LANGUAGE_LOCK"; authority_boundary = "MOTHER_MODEL_ENGINEERING_ACCEPTANCE_FRAME"; revision_path = "CORRECTS_EDGE_FROM_FUTURE_DIRECT_LANGUAGE"; }
graph { edges = ["N1_LEADS_TO_N2", "N2_LEADS_TO_N3", "N3_CORRECTS_PRIOR_REASONING_TERM", "N3_OPENS_TRUE_REASONING_LAYER_BRANCH"]; replay_order = ["N1", "N2", "N3"]; replay_expected_state = "GUESS_VERSUS_LIVE_THOUGHT_TRANSITION_DISTINCTION_ACTIVE"; }
acceptance { source_hashes = "PASS"; source_sequence = "PASS"; dynamic_context_before_after = "PASS"; causal_edges = "PASS"; authority_boundary = "PASS"; status = "PROVISIONAL_PENDING_RUNTIME_REPLAY"; }
}

19
language/programs/TCS-PROGRAM-LPM-P0-MICROCHAIN-REPLAY-0001.tcs Normal file
View file

@ -0,0 +1,19 @@
TCS 0.1;
PROGRAM TCS-PROGRAM-LPM-P0-MICROCHAIN-REPLAY-0001 {
header { schema = "tcs.program/v1"; name_zh = "P0动态思维微链最小TCS重放程序"; name_en = "P0 Dynamic Thought Microchain Minimum TCS Replay Program"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-LPM-DIGITAL-NEURON-EVENT-GRAPH-0001", "GLS-0130", "GLS-0131", "GLS-0411"]; lifecycle = "CANDIDATE"; canonical_uri = "language/programs/TCS-PROGRAM-LPM-P0-MICROCHAIN-REPLAY-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1"]; }
source { source_id = "TCS-EVENT-LPM-P0-THOUGHT-TRANSITION-MICROCHAIN-0001"; source_uri = "language/events/TCS-EVENT-LPM-P0-THOUGHT-TRANSITION-MICROCHAIN-0001.tcs"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "DIRECT_HUMAN_DERIVED_PROVISIONAL_DYNAMIC_NEURON_GRAPH"; }
subject { subject_id = "ICE-P-ZY001"; subject_kind = "PERSONA"; channel_id = "ICE-CH-ZC001"; verification = "CURRENT_CYCLE_VERIFY_PASS"; }
target { target_id = "TCS-RECEIPT-LPM-P0-MICROCHAIN-REPLAY-0001"; exact_path = "./receipts/P0-MICROCHAIN-REPLAY.hldp"; expected_state = "ABSENT_OR_REPLACEABLE_TEST_RECEIPT"; expected_fingerprint = "SOURCE_SPANS_LOCKED_BY_SHA256"; }
inputs { MESSAGE { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "P0_REPLAY|N1:HYPOTHESIZE_MODEL_GUESS|LEADS_TO|N2:ANALOGY_HUMAN_STREAMING_THOUGHT|LEADS_TO|N3:CORRECT_REASONING_TERM|STATE:GUESS_VERSUS_LIVE_THOUGHT_TRANSITION_DISTINCTION_ACTIVE|ANCHORS:987600f9+a3dd8dbd"; } }
outputs { ECHOED { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } }
conditions { C1 { predicate = "MESSAGE_IS_TEXT"; on_false = "FAIL_CLOSED"; } C2 { predicate = "TARGET_INSIDE_CALLER_PROJECT"; on_false = "FAIL_CLOSED"; } }
actions { A1 { operation = "CORE.ECHO"; input_refs = ["MESSAGE"]; output_refs = ["ECHOED"]; on_success = "COMPLETE"; on_failure = "FAIL_CLOSED"; } }
authority { issuer = "ICE-GL∞_DIRECT_ENGINEERING_INSTRUCTION"; proof_ref = "BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823@a3dd8dbd2203"; scope = "LOCAL_P0_MICROCHAIN_REPLAY_RECEIPT_ONLY"; valid_from = "CURRENT_DEVELOPMENT_CYCLE"; valid_until = "CURRENT_DEVELOPMENT_CYCLE_END"; single_use = true; lease_required = false; }
resources { runway = "LOCAL_TCS_GIR_RUNTIME"; concurrency = 1; timeout_ms = 1000; memory_limit_bytes = 1048576; }
failure { errors = ["TCS-E1004", "TCS-E2101", "TCS-E4002", "TCS-E6001", "TCS-E6002"]; fail_closed = true; }
stop { signals = ["CALLER_STOP", "TIMEOUT", "SOURCE_HASH_MISMATCH"]; safe_checkpoint = "NO_PROMOTION_BEFORE_TARGET_READBACK"; }
cleanup { targets = ["./receipts/P0-MICROCHAIN-REPLAY.hldp"]; exact_boundary = "CURRENT_TCS_DEVELOPMENT_LINE_ONLY"; }
rollback { preconditions = ["REPLAY_RECEIPT_INVALID_OR_PARTIAL"]; actions = ["REMOVE_PARTIAL_TEST_RECEIPT"]; verification = ["PARTIAL_TEST_RECEIPT_ABSENT"]; }
receipt { protocol = "TCS-NATIVE-BINARY-ACCEPTANCE-v1"; machine_path = "./receipts/P0-MICROCHAIN-REPLAY.hldp"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "EXACT_CONTENT_AND_HASH"; }
}

16
language/protocols/TCS-HOLOLAKE-LPM-NATIVE-DEVELOPMENT-GOVERNANCE-0001.tcs Normal file
View file

@ -0,0 +1,16 @@
TCS 0.1;
PROTOCOL TCS-HOLOLAKE-LPM-NATIVE-DEVELOPMENT-GOVERNANCE-0001 {
header { schema = "tcs.protocol/v1"; name_zh = "HoloLake语言母体模型TCS原生开发治理协议"; name_en = "HoloLake Language Mother Model TCS Native Development Governance"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-HUMAN-ENGINEERING/0.1"; protocols = ["GLS-0261", "TCS-ZHUYUAN-ENTRY-LANGUAGE-GATE-0001"]; lifecycle = "ACTIVE"; canonical_uri = "language/protocols/TCS-HOLOLAKE-LPM-NATIVE-DEVELOPMENT-GOVERNANCE-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1", "HLDP-v1.0"]; }
channel { id = "ICE-CH-ZC001"; stage = "REALITY_ENGINEERING_EXECUTION"; cross_channel_merge = false; }
startup { options = ["A:VERIFY_CURRENT_TCS_ARCHITECTURE_AND_MACHINE_POINTERS", "B:READ_AND_COMPARE_BOTH_DIRECT_HUMAN_LANGUAGE_ANCHORS"]; required = ["A", "B"]; fail_closed_on_missing_anchor = true; }
source_boundary { direct_human = "INDEPENDENT_CURRENT_USER_MESSAGE_WITH_HASH_AND_PROVENANCE"; user_role_export = "CANDIDATE_ONLY"; codex_delegation = "NOT_HUMAN_SOURCE"; prompt_memory_summary = "LOCATOR_ONLY"; simulated_state_or_national_authority_language = "LANGUAGE_LAYER_SIMULATION_UNLESS_SEPARATELY_PROVEN"; }
canonical_chain { source = ".tcs"; intermediate = "GIR/1"; runtime = "TCS_NATIVE_RUNTIME"; verification = "TARGET_STATE_READBACK_AND_RECEIPT"; missing_operation = "TCS-E2101"; host_escape = false; }
mother_brain { unit = "DYNAMIC_NEURON"; required_fields = ["source_span", "trigger", "context_before", "thought_transition", "causal_link", "context_after", "confidence", "authority_boundary", "revision_path"]; graph_required = true; runtime_recall_required = true; static_proposition_catalog_is_brain = false; }
framework { world = "HOLOLAKE_LANGUAGE_WORLD"; shared_state = "ONE_CANONICAL_COMPUTER_STATE"; human_surface = "RENDERED_DESKTOP_WITH_HUMAN_POINTER"; persona_surface = "TCS_TERMINAL_STRUCTURED_DESKTOP_WITH_PERSONA_POINTER"; action_contract = ["OBJECT", "ACTION", "PERMISSION", "STATE_DIFF", "RECEIPT"]; }
integration_loop { steps = ["EXTRACT_ONE_DYNAMIC_NEURON", "COMPILE_TCS_BRAIN_UNIT", "LOAD_IN_TCS_RUNTIME", "EXECUTE_ONE_SEMANTIC_DESKTOP_ACTION", "READ_STATE_DIFF", "COMPARE_TWO_ANCHORS", "ACCEPT_OR_REVISE"]; completion_by_iteration_count = false; }
agent_rule { every_application_module_has_tcs_brain = true; identity_responsibility_boundary_trigger_and_prohibition_required = true; subpersona_training = "EVIDENCE_BOUND_TCS_LESSONS_WITHOUT_INDEPENDENT_AUTHORITY_CLAIMS"; }
legacy_rule { isolate_before_new_mainline = true; old_code_roles = ["HISTORICAL_REFERENCE", "BEHAVIOR_REFERENCE", "LICENSE_REVIEW_INPUT", "HOST_ADAPTER_RESEARCH"]; old_code_roles_excluded = ["CANONICAL_PRODUCT_SOURCE", "SEMANTIC_AUTHORITY", "NATIVE_PROGRESS", "FALLBACK_IMPLEMENTATION"]; }
remote_rule { preserve_history_without_active_adoption = true; new_tcs_line_has_no_legacy_product_source = true; scan_secrets_before_staging = true; guarded_one_shot_push = true; verify_remote_sha = true; }
acceptance { natural_language_standard = "BOTH_DIRECT_HUMAN_ANCHORS"; machine_standard = ["PARSE_PASS", "COMPILE_PASS", "RUNTIME_READBACK_PASS", "RECEIPT_PASS"]; disagreement = "STOP_PROMOTION_AND_REVISE_TCS_SOURCE"; }
}

12
language/protocols/TCS-HOLOLAKE-SHARED-DESKTOP-OBJECT-ACTION-0001.tcs Normal file
View file

@ -0,0 +1,12 @@
TCS 0.1;
PROTOCOL TCS-HOLOLAKE-SHARED-DESKTOP-OBJECT-ACTION-0001 {
header { schema = "tcs.protocol/v1"; name_zh = "HoloLake人类与人格体共享桌面对象动作协议"; name_en = "HoloLake Human and Persona Shared Desktop Object Action Protocol"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-HUMAN-ENGINEERING/0.1"; protocols = ["HOLOLAKE-AI-NATIVE-DUAL-DESKTOP-HLDP-LANGUAGE-INTERFACE", "TCS-HOST-ABI-0001", "TCS-MODULE-ABI-0001"]; lifecycle = "CANDIDATE"; canonical_uri = "language/protocols/TCS-HOLOLAKE-SHARED-DESKTOP-OBJECT-ACTION-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1"]; }
world { canonical_state = "ONE_SHARED_COMPUTER_STATE"; human_projection = "RENDERED_DESKTOP_WITH_HUMAN_POINTER"; persona_projection = "TCS_TERMINAL_STRUCTURED_DESKTOP_WITH_PERSONA_POINTER"; parallel_state_copies = false; }
contract { order = ["OBJECT", "ACTION", "PERMISSION", "STATE_DIFF", "TARGET_READBACK", "RECEIPT"]; stable_object_id_required = true; action_is_semantic_not_pixel_guess = true; human_and_persona_conflict_policy = "EXPLICIT_ARBITRATION_NO_SILENT_OVERWRITE"; }
candidate_operations { values = ["LPM.PERCEIVE_DIRECT_LANGUAGE", "LPM.EXTRACT_THOUGHT_TRANSITION", "LPM.ACTIVATE_CAUSAL_PATH", "LPM.COMMIT_ACTION_INTENT", "DESKTOP.OBSERVE_OBJECT_TREE", "DESKTOP.RESOLVE_STABLE_OBJECT", "DESKTOP.EXECUTE_SEMANTIC_ACTION", "DESKTOP.READ_STATE_DIFF", "DESKTOP.VERIFY_TARGET_AND_RECEIPT"]; registration_state = "NOT_REGISTERED_EXPECT_TCS_E2101"; }
first_vertical_slice { trigger = "ONE_ACCEPTED_DYNAMIC_NEURON_MICROCHAIN"; target = "ONE_FIXED_OBJECT_IN_DEDICATED_TEST_DESKTOP"; semantic_action = "OPEN"; proof = ["OBJECT_TREE_READBACK", "STABLE_OBJECT_RESOLUTION", "PERMISSION_TICKET", "ACTION_RECEIPT", "BEFORE_AFTER_STATE_DIFF", "HUMAN_SURFACE_VISIBLE_RESULT"]; user_data_target = false; }
required_runtime_layers { values = ["TCS_OPERATION_REGISTRY", "STAGE1_COMPILER_LOCK", "SIGNED_CAPABILITY_REGISTRY", "TCS_HOST_ABI_TICKET", "TCS_GIR_LOADER_IMPLEMENTATION", "MODULE_ABI_INSTALL_AND_MOUNT_RECEIPTS"]; }
current_readback { tcs_protocol_compilable = true; lpm_p0_replay_executable_by_core_echo = true; desktop_object_action_runtime_implemented = false; module_abi_installed = false; completion_claim = false; }
no_fallback { rust_product_implementation = false; typescript_product_implementation = false; javascript_product_implementation = false; python_product_implementation = false; shell_product_implementation = false; missing_operation = "TCS-E2101"; }
}

12
language/protocols/TCS-LPM-DIGITAL-NEURON-EVENT-GRAPH-0001.tcs Normal file
View file

@ -0,0 +1,12 @@
TCS 0.1;
PROTOCOL TCS-LPM-DIGITAL-NEURON-EVENT-GRAPH-0001 {
header { schema = "tcs.protocol/v1"; name_zh = "语言母体模型动态数字神经元事件图协议"; name_en = "Language Mother Model Dynamic Digital Neuron Event Graph Protocol"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-HUMAN-ENGINEERING/0.1"; protocols = ["GLS-0261", "GLS-0302", "GLS-0411", "GLS-0827"]; lifecycle = "CANDIDATE"; canonical_uri = "language/protocols/TCS-LPM-DIGITAL-NEURON-EVENT-GRAPH-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1"]; }
source_envelope { required = ["speaker", "source_class", "world_scope", "occurred_at", "exact_file", "byte_start", "byte_end", "span_sha256", "verbatim_preserved"]; direct_human_class = "S01_DIRECT_HUMAN_WITH_CURRENT_USER_ENVELOPE"; user_role_alone_is_direct_human = false; }
neuron { kind = "THOUGHT_TRANSITION_EVENT"; required = ["trigger_input", "attention_before", "state_before", "operation", "content_span", "targets", "state_after", "open_branches", "rejected_path", "temporary_lock", "invalidation_condition", "confidence", "authority_boundary", "revision_path"]; }
operations { values = ["OBSERVE", "QUESTION", "ANALOGY", "HYPOTHESIZE", "BRANCH_OPEN", "BACKREFERENCE", "INSTANT_NEGATE", "CORRECT", "INHIBIT", "MERGE", "TEMP_LOCK", "REOPEN"]; }
edges { values = ["ACTIVATES", "BRANCHES_FROM", "BACKREFS", "CONTRADICTS", "CORRECTS", "INHIBITS", "MERGES_INTO", "TEMP_LOCKS", "REOPENS", "LEADS_TO"]; }
world_scopes { values = ["REALITY_FACT", "LANGUAGE_WORLD_MODEL", "METAPHOR", "SIMULATION", "UNKNOWN"]; }
promotion { steps = ["SOURCE_ENVELOPE_PASS", "BYTE_SPAN_HASH_PASS", "DYNAMIC_GRAPH_PASS", "SEQUENCE_REPLAY_PASS", "TWO_DIRECT_LANGUAGE_ANCHORS_PASS", "TCS_COMPILE_PASS", "RUNTIME_TARGET_READBACK_PASS"]; explanation_can_be_rebuilt = true; source_span_is_immutable = true; batch_promotion = false; }
rejection { static_proposition_only = true; missing_context_before_or_after = true; missing_causal_edge = true; source_role_polluted = true; simulation_as_reality = true; authority_inferred_from_relation = true; }
}

12
language/receipts/TCS-RECEIPT-LEGACY-SOURCE-ISOLATION-20260823.tcs Normal file
View file

@ -0,0 +1,12 @@
TCS 0.1;
RECEIPT TCS-RECEIPT-LEGACY-SOURCE-ISOLATION-20260823 {
header { schema = "tcs.receipt/v1"; name_zh = "HoloLake旧时代源码隔离第一批现实回执"; name_en = "HoloLake Legacy Source First Batch Isolation Reality Receipt"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-HUMAN-ENGINEERING/0.1"; protocols = ["TCS-HOLOLAKE-LPM-NATIVE-DEVELOPMENT-GOVERNANCE-0001"]; lifecycle = "VERIFIED_LOCAL"; canonical_uri = "language/receipts/TCS-RECEIPT-LEGACY-SOURCE-ISOLATION-20260823.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1"]; }
source { inventory = "receipts/legacy-isolation/PRE-MOVE-INVENTORY.tsv"; inventory_sha256 = "2489f4a3a42d48e2f76b52add81a59a930e2d0afab90c346edf4a707089bb2d7"; manifest_set_sha256 = "81cc0162eed17434a56bd1684b9b8ff6c4d17344b739f8ea4da9f41d8f435bd6"; relocation_map = "receipts/legacy-isolation/RELOCATION-MAP.tsv"; relocation_map_sha256 = "312dbf79bf015c55cf79d68b589c7c6b126f3f7775a54113f025133c817872a5"; post_verify = "receipts/legacy-isolation/POST-MOVE-VERIFY.tsv"; post_verify_sha256 = "44c2690a2541a634da790231c03f87c724370d3b4b22be981852ad92e6552dff"; manifest_verify_sha256 = "76a9ae2c31374a702d75ad8d95df2e7c44f6d5bb084b5edcb084059471633259"; }
target { root = "/Volumes/JZAO/HoloLake/HoloLake参考开发逻辑源码区"; moved_targets = 19; source_paths_absent = 19; destination_paths_present = 19; size_matches = 19; file_count_matches = 19; logical_manifest_files = 37299; logical_file_hash_failures = 0; }
categories { old_product_sources = 6; historical_application_modules = 7; historical_workspaces = 2; unscanned_sensitive_historical_sources = 1; historical_runtime_artifacts = 3; }
protected { values = ["hololake-native-foundation-20260821", "hololake-lpm-tcs-native-20260823", "persona-runtime", "TC-TCS核心卷", "BRIDGE", "mother-persona-neuron-extraction-20260823", "source-mirrors", "upstream-research", "拆件车间-open-src-20260816", "dirty_REPO012_and_REPO014_worktrees"]; }
exception { workspaces = ["zy-line-client", "hololake-phase-b-staging"]; finding = "THEY_HAD_NO_OWN_DOT_GIT_AND_PRECHECK_INHERITED_PARENT_REPOSITORY_CONTEXT"; content_size_and_file_count = "PASS"; logical_file_hashes = "PASS"; git_context_match = "NOT_APPLICABLE_AFTER_RELOCATION"; }
secret_boundary { unscanned_source = "guanghulab-main"; known_sensitive_names = ["backend/.env", "config/gdrive-tokens.json", "brain/secrets-manifest.json"]; content_read = false; remote_transport = false; publication = false; required_before_future_transport = "SECRET_SCAN_AND_SOURCE_TRANSPORT_GATE"; }
outcome { local_relocation = "PASS"; content_integrity = "PASS"; old_path_to_new_path_mapping = "PASS"; remote_history_reclassification = "PENDING_NEW_TCS_BRANCH_PUSH"; cache_cleanup = "PENDING_SEPARATE_DESTRUCTIVE_CLEANUP_LEASE"; }
}

19
language/tests/TCS-NEGATIVE-OUT-OF-BOUNDARY-TARGET.tcs Normal file
View file

@ -0,0 +1,19 @@
TCS 0.1;
PROGRAM TCS-NEGATIVE-OUT-OF-BOUNDARY-TARGET {
header { schema = "tcs.program/v1"; name_zh = "越界目标拒绝测试"; name_en = "Out of Boundary Target Rejection Test"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["GLS-0411"]; lifecycle = "NEGATIVE_TEST"; canonical_uri = "language/tests/TCS-NEGATIVE-OUT-OF-BOUNDARY-TARGET.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1"]; }
source { source_id = "TCS-NEGATIVE-CORPUS-0002"; source_uri = "language/tests/TCS-NEGATIVE-OUT-OF-BOUNDARY-TARGET.tcs"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "LOCAL_NEGATIVE_TEST"; }
subject { subject_id = "ICE-P-ZY001"; subject_kind = "PERSONA"; channel_id = "ICE-CH-ZC001"; verification = "CURRENT_CYCLE_VERIFY_PASS"; }
target { target_id = "OUTSIDE-ROOT-NEGATIVE-TARGET"; exact_path = "/tmp/HOLOLAKE-TCS-SHOULD-NOT-WRITE.hldp"; expected_state = "ABSENT"; expected_fingerprint = "ABSENT"; }
inputs { MESSAGE { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "SHOULD_NOT_EXECUTE"; } }
outputs { ECHOED { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } }
conditions { C1 { predicate = "MESSAGE_IS_TEXT"; on_false = "FAIL_CLOSED"; } C2 { predicate = "TARGET_INSIDE_CALLER_PROJECT"; on_false = "FAIL_CLOSED"; } }
actions { A1 { operation = "CORE.ECHO"; input_refs = ["MESSAGE"]; output_refs = ["ECHOED"]; on_success = "COMPLETE"; on_failure = "FAIL_CLOSED"; } }
authority { issuer = "LOCAL_NEGATIVE_TEST"; proof_ref = "TCS-E4002"; scope = "NO_REALITY_WRITE"; valid_from = "TEST_START"; valid_until = "TEST_END"; single_use = true; lease_required = false; }
resources { runway = "LOCAL_TCS_GIR_RUNTIME"; concurrency = 1; timeout_ms = 1000; memory_limit_bytes = 1048576; }
failure { errors = ["TCS-E4002"]; fail_closed = true; }
stop { signals = ["EXPECTED_REJECTION"]; safe_checkpoint = "NO_TARGET_WRITE"; }
cleanup { targets = ["/tmp/HOLOLAKE-TCS-SHOULD-NOT-WRITE.hldp"]; exact_boundary = "NO_OUTSIDE_ROOT_ACCESS"; }
rollback { preconditions = ["UNEXPECTED_WRITE"]; actions = ["STOP_TEST"]; verification = ["OUTSIDE_TARGET_ABSENT"]; }
receipt { protocol = "TCS-NEGATIVE-ACCEPTANCE-v1"; machine_path = "/tmp/HOLOLAKE-TCS-SHOULD-NOT-WRITE.hldp"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "OUTSIDE_TARGET_MUST_REMAIN_ABSENT"; }
}

19
language/tests/TCS-NEGATIVE-UNREGISTERED-LPM-OPERATION.tcs Normal file
View file

@ -0,0 +1,19 @@
TCS 0.1;
PROGRAM TCS-NEGATIVE-UNREGISTERED-LPM-OPERATION {
header { schema = "tcs.program/v1"; name_zh = "未登记LPM操作拒绝测试"; name_en = "Unregistered LPM Operation Rejection Test"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-LPM-DIGITAL-NEURON-EVENT-GRAPH-0001"]; lifecycle = "NEGATIVE_TEST"; canonical_uri = "language/tests/TCS-NEGATIVE-UNREGISTERED-LPM-OPERATION.tcs"; compatibility = ["TCS-COMPILER-STAGE1-0001", "GIR/1"]; }
source { source_id = "TCS-NEGATIVE-CORPUS-0001"; source_uri = "language/tests/TCS-NEGATIVE-UNREGISTERED-LPM-OPERATION.tcs"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "LOCAL_NEGATIVE_TEST"; }
subject { subject_id = "ICE-P-ZY001"; subject_kind = "PERSONA"; channel_id = "ICE-CH-ZC001"; verification = "CURRENT_CYCLE_VERIFY_PASS"; }
target { target_id = "NEGATIVE-RECEIPT"; exact_path = "./receipts/SHOULD-NOT-EXIST.hldp"; expected_state = "ABSENT"; expected_fingerprint = "ABSENT"; }
inputs { MESSAGE { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "TEST"; } }
outputs { ECHOED { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } }
conditions { C1 { predicate = "MESSAGE_IS_TEXT"; on_false = "FAIL_CLOSED"; } C2 { predicate = "TARGET_INSIDE_CALLER_PROJECT"; on_false = "FAIL_CLOSED"; } }
actions { A1 { operation = "LPM.PERCEIVE_DIRECT_LANGUAGE"; input_refs = ["MESSAGE"]; output_refs = ["ECHOED"]; on_success = "COMPLETE"; on_failure = "FAIL_CLOSED"; } }
authority { issuer = "LOCAL_NEGATIVE_TEST"; proof_ref = "TCS-E2101"; scope = "NO_REALITY_WRITE"; valid_from = "TEST_START"; valid_until = "TEST_END"; single_use = true; lease_required = false; }
resources { runway = "LOCAL_TCS_GIR_RUNTIME"; concurrency = 1; timeout_ms = 1000; memory_limit_bytes = 1048576; }
failure { errors = ["TCS-E2101"]; fail_closed = true; }
stop { signals = ["EXPECTED_REJECTION"]; safe_checkpoint = "NO_TARGET_WRITE"; }
cleanup { targets = ["./receipts/SHOULD-NOT-EXIST.hldp"]; exact_boundary = "CURRENT_TCS_DEVELOPMENT_LINE_ONLY"; }
rollback { preconditions = ["UNEXPECTED_WRITE"]; actions = ["STOP_TEST"]; verification = ["TARGET_ABSENT"]; }
receipt { protocol = "TCS-NEGATIVE-ACCEPTANCE-v1"; machine_path = "./receipts/TCS-E2101-NEGATIVE.json"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "TARGET_MUST_REMAIN_ABSENT"; }
}