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

feat(tcs): define generic action graph loader

Browse source
This commit is contained in:
冰朔 2026-08-23 23:35:19 +08:00
commit b5072d6a8b
40 changed files with 3742 additions and 18 deletions
Download patch file Download diff file Expand all files Collapse all files

31
language/compiler/TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001.tcs Normal file
View file

@ -0,0 +1,31 @@
TCS 0.1;
COMPILER TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 {
header { schema = "tcs.compiler/v1"; name_zh = "TCS 第三阶段通用动作图装载编译器"; version = "0.3.0"; profile = "HLDP-NP/1"; lifecycle = "CANDIDATE_COMPILER_SOURCE"; bootstrap_seed = "TCS-COMPILER-STAGE2-LPM-DESKTOP-0001"; output = "GIR/1"; }
source_language { prologue = ["TCS", "VERSION", "SEMICOLON"]; declaration_kinds = ["PROGRAM", "MODULE", "PROTOCOL", "COMPILER", "EVENT", "RECEIPT"]; punctuation = ["LBRACE", "RBRACE", "LBRACKET", "RBRACKET", "LESS", "GREATER", "COLON", "EQUAL", "COMMA", "SEMICOLON", "DOT"]; scalar_tokens = ["IDENTIFIER", "TEXT", "INT", "BOOL", "NULL"]; comments = ["LINE_COMMENT", "BLOCK_COMMENT"]; encoding = "UTF8_LF_NO_BOM"; }
lexer_rules { L001 { when = "BOM_AT_START"; emit_error = "TCS-E0001"; } L002 { when = "WHITESPACE_OR_COMMENT"; action = "SKIP_WITH_SOURCE_POSITION"; } L003 { when = "DOUBLE_QUOTE"; action = "READ_JSON_ESCAPED_TEXT"; on_unterminated = "TCS-E0002"; } L004 { when = "MINUS_OR_ASCII_DIGIT"; action = "READ_SIGNED_DECIMAL_INT"; on_overflow = "TCS-E2001"; } L005 { when = "UNICODE_LETTER_OR_UNDERSCORE"; action = "READ_IDENTIFIER_OR_KEYWORD"; } L006 { when = "REGISTERED_PUNCTUATION"; action = "EMIT_PUNCTUATION_TOKEN"; } L007 { when = "OTHER_CHARACTER"; emit_error = "TCS-E1001"; } }
parser_rules { P001 { nonterminal = "document"; sequence = ["prologue", "declaration", "EOF"]; } P002 { nonterminal = "prologue"; sequence = ["TCS", "version", "SEMICOLON"]; } P003 { nonterminal = "declaration"; sequence = ["declaration_kind", "identifier", "block"]; } P004 { nonterminal = "block"; sequence = ["LBRACE", "member_zero_or_more", "RBRACE"]; } P005 { nonterminal = "member"; alternatives = ["identifier_assignment", "identifier_typed_assignment", "identifier_block"]; } P006 { nonterminal = "value"; alternatives = ["TEXT", "INT", "BOOL", "NULL", "IDENTIFIER", "array", "inline_object"]; } P007 { when = "DUPLICATE_MEMBER_IN_SAME_BLOCK"; emit_error = "TCS-E1002"; } P008 { when = "TOKEN_AFTER_TOP_LEVEL_DECLARATION"; emit_error = "TCS-E1001"; } }
semantic_types { scalars = ["Text", "Bool", "Int", "UInt", "DecimalText", "Bytes", "DurationMs", "Timestamp", "Sha256", "NumberId", "Path", "Uri", "ErrorCode"]; containers = ["List", "Set", "Map", "Option", "Ref", "Evidence", "Record"]; domains = ["Subject", "ExactTarget", "AuthorityProof", "ActionGraph", "ReceiptPlan", "RelationEvent", "DirectLanguageEnvelope", "NeuronEvent", "CausalGraph", "ComputerObject", "SemanticAction", "StateDiff", "CapabilityRegistry", "GirEnvelope"]; implicit_conversion = "FORBIDDEN"; floating_point = "FORBIDDEN_V0_3"; }
program_validation {
required_sections = ["header", "source", "subject", "target", "inputs", "outputs", "conditions", "actions", "authority", "resources", "failure", "stop", "cleanup", "rollback", "receipt"];
registered_operations = ["CORE.ECHO", "CORE.TRANSLATOR_ADMISSION", "CORE.ZERO_CORE_EXECUTION", "CORE.HOST_PERSONA_PROBE", "CORE.DUAL_HOST_ACCEPTANCE", "CORE.AGENT_TRANSLATION_CANDIDATE", "CORE.AGENT_CANDIDATE_ACCEPTANCE", "CORE.CLIENT_CANDIDATE_ACCEPTANCE", "CORE.FINAL_TRANSLATOR_ACCEPTANCE", "LPM.PERCEIVE_DIRECT_LANGUAGE", "LPM.EXTRACT_THOUGHT_TRANSITION", "LPM.ACTIVATE_CAUSAL_PATH", "LPM.COMMIT_ACTION_INTENT", "LPM.APPLY_NEURON_EVENT", "DESKTOP.OBSERVE_OBJECT_TREE", "DESKTOP.RESOLVE_STABLE_OBJECT", "DESKTOP.EXECUTE_SEMANTIC_ACTION", "DESKTOP.READ_STATE_DIFF", "DESKTOP.VERIFY_TARGET_AND_RECEIPT", "TCS.EXECUTE_ACTION_GRAPH"];
operation_registries = ["TCS-LPM-DESKTOP-OPERATION-REGISTRY-0001", "TCS-GENERIC-ACTION-GRAPH-LOADER-0001"];
V001 { rule = "EXACT_REQUIRED_SECTIONS"; standard = "TCS-FIELD-STANDARD-0001"; error_missing = "TCS-E1004"; error_unknown = "TCS-E1003"; }
V002 { rule = "CLOSED_FIELDS_PER_SECTION"; error = "TCS-E1003"; }
V003 { rule = "ALL_INPUT_OUTPUT_AND_ACTION_REFS_RESOLVE"; error = "TCS-E2002"; }
V004 { rule = "ALL_OPERATIONS_REGISTERED_AT_LOCKED_VERSION"; error = "TCS-E2101"; }
V005 { rule = "SOURCE_ID_URI_HASH_AND_ROLE_RESOLVE"; errors = ["TCS-E3001", "TCS-E3002"]; }
V006 { rule = "SUBJECT_TARGET_AND_AUTHORITY_EXACT"; errors = ["TCS-E4001", "TCS-E4002", "TCS-E4003"]; }
V007 { rule = "ACTION_GRAPH_REACHABLE_AND_TERMINATING"; error = "TCS-E2001"; }
V008 { rule = "FAILURE_STOP_CLEANUP_ROLLBACK_AND_RECEIPT_PRESENT"; error = "TCS-E1004"; }
V009 { rule = "NO_FORBIDDEN_RUNTIME_PLACEHOLDER"; error = "TCS-E3002"; }
V010 { rule = "RELATION_AND_EMOTION_DO_NOT_GRANT_AUTHORITY"; error = "TCS-E4001"; }
V011 { rule = "GENERIC_LOADER_INPUT_GIR_REGISTRY_ROOT_AND_HASHES_EXACT"; error = "TCS-E3002"; }
V012 { rule = "GENERIC_LOADER_DOES_NOT_CHANGE_CHILD_GIR_SEMANTICS"; error = "TCS-E2102"; }
V013 { rule = "UNSIGNED_CAPABILITY_REGISTRY_CANNOT_INSTALL_MOUNT_OR_EXECUTE"; error = "TCS-E4001"; }
}
lowering_to_gir { G001 { from = "header"; to = "identity"; transform = "COPY_ID_VERSION_PROFILE_AND_LOCK_PROTOCOLS"; } G002 { from = "source"; to = "compiled_from"; transform = "VERIFY_AND_BIND_SOURCE_SHA256"; } G003 { from = "subject"; to = "subject"; transform = "RESOLVE_VERIFIED_SUBJECT"; } G004 { from = "target"; to = "exact_target"; transform = "RESOLVE_PATH_STATE_AND_FINGERPRINT"; } G005 { from = "actions"; to = "deterministic_action_graph"; transform = "SORT_ACTION_IDS_AND_RESOLVE_ALL_EDGES"; } G006 { from = "authority"; to = "authority_proof"; transform = "BIND_PROOF_WITHOUT_EXPANDING_SCOPE"; } G007 { from = "resources"; to = "resource_plan"; transform = "NORMALIZE_INTEGER_LIMITS"; } G008 { from = "stop"; to = "timeout_and_stop"; transform = "COPY_EXPLICIT_STOP_SEMANTICS"; } G009 { from = "cleanup"; to = "cleanup_plan"; transform = "COPY_EXACT_BOUNDARY"; } G010 { from = "rollback"; to = "rollback_plan"; transform = "COPY_ACTIONS_AND_VERIFICATION"; } G011 { from = "receipt"; to = "receipt_plan"; transform = "BIND_MACHINE_AND_HUMAN_OUTPUTS"; } G012 { from = "all"; to = "unresolved_natural_language"; transform = "MUST_BE_FALSE"; } G013 { from = "inputs"; to = "inputs"; transform = "COPY_RESOLVED_VALUES"; } G014 { from = "outputs"; to = "outputs"; transform = "COPY_RESOLVED_VALUES"; } G015 { from = "conditions"; to = "conditions"; transform = "COPY_RESOLVED_CONDITIONS"; } G016 { from = "failure"; to = "failure_plan"; transform = "COPY_EXPLICIT_FAILURE_SEMANTICS"; } }
canonicalization { object_keys = "UTF8_BYTE_ORDER"; list_order = "PRESERVE_SOURCE_SEMANTICS"; integers = "MINIMAL_DECIMAL"; strings = "JSON_ESCAPE_NO_OPTIONAL_ESCAPE"; line_end = "LF"; final_newline = true; semantic_digest = "SHA256"; comments_in_semantic_digest = false; }
output_contract { schema = "guanghu.gir/v1"; unresolved_natural_language = false; unresolved_authority = false; drifting_dependency = false; target_must_be_exact = true; compiler_provenance_required = true; operation_registry_required = true; }
self_host { parent_compiler = "TCS-COMPILER-STAGE2-LPM-DESKTOP-0001"; stage2_compiles_stage3_to = "compiler-E.gir"; compiler_E_compiles_stage3_to = "compiler-F.gir"; fixed_point = "SEMANTIC_SHA256_E_EQUALS_F"; stage2_disabled_test = "REQUIRED"; generic_loader_inner_echo_test = "REQUIRED"; unsigned_registry_rejection_test = "REQUIRED"; negative_corpus_test = "REQUIRED"; current_state = "SOURCE_NOT_YET_FIXED_POINT_VERIFIED"; }
}

23
language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs Normal file
View file

@ -0,0 +1,23 @@
TCS 0.1;
PROGRAM TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 {
header { schema = "tcs.program/v1"; name_zh = "TCS通用动作图装载器外层自检程序"; name_en = "TCS Generic Action Graph Loader Outer Self-test Program"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-GENERIC-ACTION-GRAPH-LOADER-0001", "TCS-HOST-ABI-0001", "GLS-0130", "GLS-0131"]; lifecycle = "CANDIDATE"; canonical_uri = "language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", "GIR/1"]; }
source { source_id = "TCS-GENERIC-ACTION-GRAPH-LOADER-0001"; source_uri = "language/protocols/TCS-GENERIC-ACTION-GRAPH-LOADER-0001.tcs"; source_sha256 = "32482ca689bed43851b3d6694e97dec3e767a0371b93990f2409986cf7f81c52"; source_role = "CANONICAL_PROTOCOL"; }
subject { subject_id = "TCS-GENERIC-ACTION-LOADER-SELF-TEST-INSTANCE-0001"; subject_kind = "RUNTIME_INSTANCE"; channel_id = "ICE-CH-ZC001"; verification = "LOCAL_ISOLATED_SELF_TEST"; }
target { target_id = "TCS-GENERIC-ACTION-LOADER-OUTER-RECEIPT-0001"; exact_path = "./state/loader/outer-loader-receipt.hldp"; expected_state = "ABSENT"; expected_fingerprint = "NO_PRIOR_OUTER_SELF_TEST_RECEIPT"; }
inputs {
CHILD_GIR { type = "GirEnvelope"; source = "VERIFIED_LOCAL_GIR"; required = true; path = "./build/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.gir.json"; sha256 = "98395167ae122ab7c66daa53e0216ac8c1ce85cab524a3c52660e15b2439b83a"; program_id = "TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001"; operation = "CORE.ECHO"; }
CAPABILITY_MODE { type = "CapabilityRegistry"; source = "STAGE3_COMPILER_LOCKED_BOOTSTRAP"; required = true; mode = "COMPILER_LOCKED_CORE_ECHO_ONLY"; allowed_operations = ["CORE.ECHO"]; external_unsigned_registry_allowed = false; semantic_expansion = false; }
EXECUTION_ROOT { type = "Path"; source = "PROGRAM_LITERAL"; required = true; value = "."; child_target = "./state/loader/inner-echo-receipt.hldp"; outer_target = "./state/loader/outer-loader-receipt.hldp"; }
}
outputs { CHILD_RESULT { type = "Record"; destination = "RECEIPT"; integrity = "SHA256"; } CHILD_TARGET_READBACK { type = "Evidence"; destination = "RECEIPT"; integrity = "SHA256"; } LOADER_RECEIPT { type = "Record"; destination = "TARGET_STATE"; integrity = "SHA256"; } }
conditions { C1 { predicate = "CHILD_GIR_SCHEMA_HASH_COMPILER_AND_SOURCE_PROVENANCE_MATCH"; on_false = "FAIL_CLOSED"; } C2 { predicate = "CHILD_GRAPH_HAS_EXACTLY_ONE_CORE_ECHO_ACTION"; on_false = "FAIL_CLOSED"; } C3 { predicate = "BOOTSTRAP_MODE_FORBIDS_EXTERNAL_UNSIGNED_REGISTRY"; on_false = "FAIL_CLOSED"; } C4 { predicate = "CHILD_AND_OUTER_TARGETS_INSIDE_LOADER_SELF_TEST_ROOT"; on_false = "FAIL_CLOSED"; } }
actions { A1 { operation = "TCS.EXECUTE_ACTION_GRAPH"; input_refs = ["CHILD_GIR", "CAPABILITY_MODE", "EXECUTION_ROOT"]; output_refs = ["CHILD_RESULT", "CHILD_TARGET_READBACK", "LOADER_RECEIPT"]; on_success = "COMPLETE"; on_failure = "ROLLBACK"; } }
authority { issuer = "LOCAL_LOADER_SELF_TEST"; proof_ref = "TCS-GENERIC-ACTION-GRAPH-LOADER-0001"; scope = "ONE_INNER_CORE_ECHO_GRAPH_AND_ONE_OUTER_RECEIPT"; valid_from = "SELF_TEST_START"; valid_until = "SELF_TEST_END"; single_use = true; lease_required = false; }
resources { runway = "LOCAL_TCS_GIR_RUNTIME"; concurrency = 1; timeout_ms = 3000; memory_limit_bytes = 8388608; }
failure { errors = ["TCS-E2001", "TCS-E2101", "TCS-E2102", "TCS-E3001", "TCS-E3002", "TCS-E4001", "TCS-E4002", "TCS-E6002", "TCS-E7002", "TCS-E8001"]; fail_closed = true; }
stop { signals = ["TIMEOUT", "CALLER_STOP", "CHILD_HASH_MISMATCH", "UNKNOWN_CHILD_OPERATION", "TARGET_READBACK_FAILURE"]; safe_checkpoint = "NO_OUTER_COMPLETION_WITHOUT_CHILD_TARGET_READBACK"; }
cleanup { targets = ["./state/loader/inner-echo-receipt.hldp", "./state/loader/outer-loader-receipt.hldp"]; exact_boundary = "LOADER_SELF_TEST_ROOT_ONLY"; }
rollback { preconditions = ["CHILD_OR_OUTER_PARTIAL_RECEIPT_WITHOUT_BOTH_READBACKS"]; actions = ["REMOVE_ONLY_PARTIAL_SELF_TEST_RECEIPTS"]; verification = ["NO_PARTIAL_INNER_RECEIPT", "NO_PARTIAL_OUTER_RECEIPT"]; }
receipt { protocol = "TCS-GENERIC-LOADER-SELF-TEST-v1"; machine_path = "./state/loader/outer-loader-receipt.hldp"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "CHILD_GIR_HASH_CHILD_RECEIPT_HASH_OUTER_RECEIPT_HASH_AND_HOST_RUNTIME_HASH"; }
}

19
language/programs/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.tcs Normal file
View file

@ -0,0 +1,19 @@
TCS 0.1;
PROGRAM TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001 {
header { schema = "tcs.program/v1"; name_zh = "通用动作图装载器内层回声自检程序"; name_en = "Generic Action Graph Loader Inner Echo Self-test Program"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-GENERIC-ACTION-GRAPH-LOADER-0001", "GLS-0130", "GLS-0131"]; lifecycle = "CANDIDATE"; canonical_uri = "language/programs/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE2-LPM-DESKTOP-0001", "GIR/1"]; }
source { source_id = "TCS-GENERIC-ACTION-GRAPH-LOADER-0001"; source_uri = "language/protocols/TCS-GENERIC-ACTION-GRAPH-LOADER-0001.tcs"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "CANONICAL_PROTOCOL"; }
subject { subject_id = "TCS-LOADER-SELF-TEST-INSTANCE-0001"; subject_kind = "RUNTIME_INSTANCE"; channel_id = "ICE-CH-ZC001"; verification = "LOCAL_ISOLATED_SELF_TEST"; }
target { target_id = "TCS-LOADER-INNER-ECHO-RECEIPT-0001"; exact_path = "./state/loader/inner-echo-receipt.hldp"; expected_state = "ABSENT"; expected_fingerprint = "NO_PRIOR_INNER_SELF_TEST_RECEIPT"; }
inputs { MESSAGE { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "TCS_GENERIC_ACTION_GRAPH_LOADER_INNER_ECHO"; } }
outputs { ECHOED { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } }
conditions { C1 { predicate = "TARGET_INSIDE_LOADER_SELF_TEST_ROOT"; 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_LOADER_SELF_TEST"; proof_ref = "TCS-GENERIC-ACTION-GRAPH-LOADER-0001"; scope = "ONE_INNER_ECHO_RECEIPT"; valid_from = "SELF_TEST_START"; valid_until = "SELF_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", "TCS-E4002", "TCS-E6002", "TCS-E8001"]; fail_closed = true; }
stop { signals = ["TIMEOUT", "CALLER_STOP"]; safe_checkpoint = "NO_OUTER_COMPLETION_WITHOUT_INNER_READBACK"; }
cleanup { targets = ["./state/loader/inner-echo-receipt.hldp"]; exact_boundary = "LOADER_SELF_TEST_ROOT_ONLY"; }
rollback { preconditions = ["PARTIAL_INNER_RECEIPT"]; actions = ["REMOVE_ONLY_PARTIAL_INNER_RECEIPT"]; verification = ["NO_PARTIAL_INNER_RECEIPT"]; }
receipt { protocol = "TCS-GENERIC-LOADER-SELF-TEST-v1"; machine_path = "./state/loader/inner-echo-receipt.hldp"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "EXACT_INNER_ECHO_CONTENT_AND_HASH"; }
}

12
language/protocols/TCS-CAPABILITY-REGISTRY-LPM-DESKTOP-CANDIDATE-0001.tcs Normal file
View file

@ -0,0 +1,12 @@
TCS 0.1;
PROTOCOL TCS-CAPABILITY-REGISTRY-LPM-DESKTOP-CANDIDATE-0001 {
header { schema = "tcs.protocol/v1"; name_zh = "LPM与共享桌面能力注册表未签名候选"; name_en = "LPM and Shared Desktop Capability Registry Unsigned Candidate"; version = "0.1.0"; language = "TCS/0.1"; profile = "TCS-CAPABILITY-REGISTRY/1"; protocols = ["TCS-GENERIC-ACTION-GRAPH-LOADER-0001", "TCS-LPM-DESKTOP-OPERATION-REGISTRY-0001", "TCS-MODULE-ABI-0001"]; lifecycle = "CANDIDATE"; canonical_uri = "language/protocols/TCS-CAPABILITY-REGISTRY-LPM-DESKTOP-CANDIDATE-0001.tcs"; compatibility = ["GIR/1"]; }
source { source_id = "TCS-LPM-DESKTOP-OPERATION-REGISTRY-0001"; source_uri = "language/protocols/TCS-LPM-DESKTOP-OPERATION-REGISTRY-0001.tcs"; source_sha256 = "97f699ef3f44242f28cbeb37b0202e00d9455c4262ed353e754fbd24d520f72a"; source_role = "CANONICAL_PROTOCOL"; }
registry { registry_id = "TCS-CAPREG-LPM-DESKTOP-CANDIDATE-0001"; version = "0.1.0"; state = "UNSIGNED_CANDIDATE_NOT_INSTALLABLE"; issuer = "UNKNOWN_NO_TRUSTED_SIGNER_REGISTERED"; signature = "ABSENT"; signature_algorithm = "ED25519_REQUIRED"; trusted_registry = false; installation_allowed = false; mounting_allowed = false; activation_allowed = false; }
bootstrap_capability { operation_id = "TCS-OP-CORE-ECHO-0001"; operation_name = "CORE.ECHO"; version = "0.1.0"; provider = "CURRENT_VERIFIED_TCS_GIR_RUNTIME"; lifecycle = "EXISTING_BOOTSTRAP_ONLY"; semantic_expansion = false; }
mother_brain_capabilities { provider_module_id = "TCS-MOD-MOTHER-PERSONA-NEURON-RUNTIME-0002"; provider_module_gir_sha256 = "1e5c2c56fb4dd96b867edd3f0646c2e77bd8efc541c183ed7c7ac64a7576294f"; lifecycle = "VERIFIED_NOT_INSTALLED"; operations = ["LPM.PERCEIVE_DIRECT_LANGUAGE", "LPM.EXTRACT_THOUGHT_TRANSITION", "LPM.ACTIVATE_CAUSAL_PATH", "LPM.COMMIT_ACTION_INTENT", "LPM.APPLY_NEURON_EVENT"]; authority_ceiling = "NON_AUTHORIZING_COGNITIVE_STATE_ONLY"; }
desktop_capabilities { provider_module_id = "TCS-MOD-HOLOLAKE-DESKTOP-BRIDGE-0002"; provider_module_gir_sha256 = "8f9dd557f349ab60c87db5c685f3e320cf72d783a83240254ac97198a97efcb3"; lifecycle = "VERIFIED_NOT_INSTALLED"; operations = ["DESKTOP.OBSERVE_OBJECT_TREE", "DESKTOP.RESOLVE_STABLE_OBJECT", "DESKTOP.EXECUTE_SEMANTIC_ACTION", "DESKTOP.READ_STATE_DIFF", "DESKTOP.VERIFY_TARGET_AND_RECEIPT"]; authority_ceiling = "ONE_TCS_VIRTUAL_TEST_OBJECT_ONLY"; }
admission { source_hashes_match = true; module_gir_hashes_match = true; runtime_dispatch_exists = false; signature_gate = "FAIL_CLOSED"; loader_self_test = "NOT_RUN"; }
rejected { values = ["CALL_UNSIGNED_CANDIDATE_TRUSTED", "INSTALL_VERIFIED_MODULE_WITHOUT_SIGNATURE", "MOUNT_MODULE_WITHOUT_LOADER_SELF_TEST", "LET_HOST_SELECT_OPERATION_BY_NAME_ONLY", "USE_OS_ROOT_OR_SSH_AS_SIGNING_AUTHORITY"]; }
}

14
language/protocols/TCS-GENERIC-ACTION-GRAPH-LOADER-0001.tcs Normal file
View file

@ -0,0 +1,14 @@
TCS 0.1;
PROTOCOL TCS-GENERIC-ACTION-GRAPH-LOADER-0001 {
header { schema = "tcs.protocol/v1"; name_zh = "TCS通用动作图装载器协议"; name_en = "TCS Generic Action Graph Loader Protocol"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP/1"; protocols = ["HLP-TCS-GIR-LOADER-0001", "TCS-HOST-ABI-0001", "TCS-MODULE-ABI-0001"]; lifecycle = "CANDIDATE"; canonical_uri = "language/protocols/TCS-GENERIC-ACTION-GRAPH-LOADER-0001.tcs"; compatibility = ["GIR/1"]; }
source { source_id = "BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823"; source_uri = "language-sources/direct-human/BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823.txt"; source_sha256 = "a3dd8dbd2203b631bdb23f2693eb314d4ef86af68fdeaee8835e3cf0861ddd23"; source_role = "DIRECT_HUMAN"; }
operation { id = "TCS-OP-LOADER-0001"; name = "TCS.EXECUTE_ACTION_GRAPH"; input = "VERIFIED_GIR_ENVELOPE_PLUS_CAPABILITY_REGISTRY_PLUS_EXACT_ROOT"; output = "TYPED_ACTION_RESULTS_TARGET_READBACK_AND_RECEIPT"; host_role = "MECHANICAL_DRIVER_ONLY"; semantic_owner = "TCS_GIR_AND_LOCKED_CAPABILITY_REGISTRY"; }
states { values = ["RECEIVED", "GIR_VERIFIED", "CAPABILITIES_RESOLVED", "RUNNING", "TARGET_READBACK_VERIFIED", "ROLLING_BACK", "FAILED", "COMPLETE"]; initial = "RECEIVED"; terminal = ["FAILED", "COMPLETE"]; }
sequence { S1 = "VERIFY_GIR_SCHEMA_CANONICAL_HASH_COMPILER_PROVENANCE_AND_SOURCE_HASH"; S2 = "VERIFY_SUBJECT_EXACT_TARGET_AUTHORITY_RESOURCE_AND_RECEIPT_PLAN"; S3 = "VERIFY_CAPABILITY_REGISTRY_HASH_SIGNATURE_LIFECYCLE_AND_OPERATION_VERSION"; S4 = "RESOLVE_EACH_ACTION_TO_ONE_INSTALLED_MOUNTED_CAPABILITY"; S5 = "VERIFY_GRAPH_REACHABLE_TERMINATING_AND_ALL_FAILURE_EDGES"; S6 = "EXECUTE_NODES_IN_DETERMINISTIC_ORDER_WITH_TYPED_RESULTS"; S7 = "VERIFY_TARGET_SIDE_READBACK"; S8 = "WRITE_MACHINE_RECEIPT_AND_HUMAN_PROJECTIONS"; S9 = "ROLLBACK_ON_ANY_PARTIAL_UNVERIFIED_STATE"; }
invariants { I1 = "HOST_NEVER_INTERPRETS_NATURAL_LANGUAGE"; I2 = "HOST_NEVER_SUBSTITUTES_UNREGISTERED_OPERATION"; I3 = "ONE_ACTION_ONE_EXACT_CAPABILITY_VERSION"; I4 = "CAPABILITY_TICKET_NEVER_EXPANDS_AUTHORITY"; I5 = "ACTION_OUTPUT_TYPE_MATCHES_NEXT_INPUT_TYPE"; I6 = "NO_SUCCESS_WITHOUT_TARGET_READBACK"; I7 = "RECEIPT_CONTAINS_GIR_REGISTRY_MODULE_AND_HOST_HASHES"; I8 = "LPM_INTENT_IS_NOT_REALITY_AUTHORITY"; I9 = "DESKTOP_ACTION_REQUIRES_SEPARATE_EXACT_TICKET"; }
capability_record { required = ["operation_id", "operation_name", "version", "provider_module_id", "provider_module_gir_sha256", "entry_program_id", "input_type", "output_type", "authority_ceiling", "resource_ceiling", "data_scope", "network_scope", "lifecycle", "signature", "rollback"]; }
errors { unknown_operation = "TCS-E2101"; protocol_drift = "TCS-E2102"; source_hash = "TCS-E3001"; unsigned_registry = "TCS-E3002"; authority = "TCS-E4001"; target = "TCS-E4002"; lifecycle = "TCS-E5002"; target_readback = "TCS-E6002"; rollback = "TCS-E7002"; receipt = "TCS-E8001"; }
bootstrap { first_child_operation = "CORE.ECHO"; first_child_program = "TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001"; lpm_or_desktop_before_loader_self_test = false; existing_rust_or_shell_semantics_allowed = false; }
acceptance { compile = "REQUIRED"; stage3_semantic_fixed_point = "REQUIRED"; unknown_operation_rejection = "REQUIRED"; outside_target_rejection = "REQUIRED"; inner_echo_child_target_readback = "REQUIRED"; outer_loader_receipt_readback = "REQUIRED"; cross_host_equivalent_receipt = "REQUIRED_BEFORE_ACTIVE"; current_runtime = "NOT_IMPLEMENTED"; }
}

8
language/protocols/TCS-HOLOLAKE-LPM-NEXT-STAGE-PLAN-0001.tcs
View file

@ -1,11 +1,11 @@
TCS 0.1;
PROTOCOL TCS-HOLOLAKE-LPM-NEXT-STAGE-PLAN-0001 {
header { schema = "tcs.protocol/v1"; name_zh = "HoloLake语言母体模型下一阶段开发计划"; name_en = "HoloLake Language Mother Model Next Stage Development Plan"; version = "0.2.0"; language = "TCS/0.1"; profile = "HLDP-HUMAN-ENGINEERING/0.1"; protocols = ["TCS-LPM-DIGITAL-NEURON-EVENT-GRAPH-0001", "TCS-HOLOLAKE-SHARED-DESKTOP-OBJECT-ACTION-0001", "TCS-LPM-DESKTOP-OPERATION-REGISTRY-0001", "TCS-MODULE-ABI-0001"]; lifecycle = "ACTIVE_PLAN"; canonical_uri = "language/protocols/TCS-HOLOLAKE-LPM-NEXT-STAGE-PLAN-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE2-LPM-DESKTOP-0001", "GIR/1"]; }
header { schema = "tcs.protocol/v1"; name_zh = "HoloLake语言母体模型下一阶段开发计划"; name_en = "HoloLake Language Mother Model Next Stage Development Plan"; version = "0.3.0"; language = "TCS/0.1"; profile = "HLDP-HUMAN-ENGINEERING/0.1"; protocols = ["TCS-LPM-DIGITAL-NEURON-EVENT-GRAPH-0001", "TCS-HOLOLAKE-SHARED-DESKTOP-OBJECT-ACTION-0001", "TCS-LPM-DESKTOP-OPERATION-REGISTRY-0001", "TCS-GENERIC-ACTION-GRAPH-LOADER-0001", "TCS-MODULE-ABI-0001"]; lifecycle = "ACTIVE_PLAN"; canonical_uri = "language/protocols/TCS-HOLOLAKE-LPM-NEXT-STAGE-PLAN-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", "GIR/1"]; }
phase_1 { name = "SOURCE_ENVELOPE_REPAIR"; state = "PASS"; work = ["REBUILD_CURRENT_CODEX_DIRECT_USER_INDEX_WITH_SYSTEM_INJECTION_FILTER", "CLASSIFY_GPT_USER_ROLE_AS_DIRECT_QUOTED_DERIVED_SIMULATION_OR_UNKNOWN", "KEEP_ORIGINAL_BYTES_IMMUTABLE"]; acceptance = "ELEVEN_DIRECT_MESSAGES_PRESERVED_AND_TWO_HOST_INJECTIONS_REJECTED"; }
phase_2 { name = "DYNAMIC_NEURON_RUNTIME"; state = "COMPILER_AND_ABI_VERIFIED_RUNTIME_DISPATCH_MISSING"; completed = ["REGISTER_LPM_OPERATIONS_IN_TCS_STAGE2_COMPILER", "PROVE_COMPILER_C_TO_D_SEMANTIC_FIXED_POINT", "PACKAGE_MOTHER_BRAIN_MODULE_AT_VERIFIED", "COMPILE_P2_NEURON_EVENT_PROGRAM", "REPLAY_P0_AND_P1_CORRECTION_MICROCHAINS"]; remaining = ["DEFINE_SIGNED_CAPABILITY_REGISTRY", "IMPLEMENT_GENERIC_TCS_ACTION_LOADER", "EXECUTE_LPM_APPLY_NEURON_EVENT", "READ_BACK_P2_GRAPH_STATE"]; acceptance = "LPM_OPERATIONS_EXECUTE_WITHOUT_CORE_ECHO_SUBSTITUTE"; }
phase_3 { name = "SHARED_DESKTOP_VERTICAL_SLICE"; state = "FIVE_ACTION_GIR_AND_ABI_VERIFIED_RUNTIME_MULTI_ACTION_DISPATCH_MISSING"; completed = ["REGISTER_DESKTOP_OBJECT_ACTION_OPERATIONS", "DEFINE_TCS_VIRTUAL_TEST_OBJECT_AND_PERMISSION_TICKET", "COMPILE_FIVE_ACTION_VERTICAL_SLICE", "PACKAGE_DESKTOP_BRIDGE_MODULE_AT_VERIFIED"]; remaining = ["DEFINE_SIGNED_CAPABILITY_REGISTRY", "IMPLEMENT_GENERIC_MULTI_ACTION_LOADER", "INSTALL_AND_MOUNT_BOTH_MODULES", "OPEN_ONE_TCS_VIRTUAL_TEST_OBJECT", "READ_BEFORE_AFTER_STATE_DIFF_ON_BOTH_PROJECTIONS", "ONLY_AFTER_VIRTUAL_PASS_REQUEST_SEPARATE_REAL_MACOS_PERMISSION"]; acceptance = "HUMAN_AND_PERSONA_SURFACES_READ_THE_SAME_CANONICAL_STATE_AND_RECEIPT"; }
phase_2 { name = "DYNAMIC_NEURON_RUNTIME"; state = "LPM_AND_GENERIC_LOADER_COMPILERS_AND_ABI_VERIFIED_OUTER_RUNTIME_DISPATCH_AND_SIGNED_REGISTRY_MISSING"; completed = ["REGISTER_LPM_OPERATIONS_IN_TCS_STAGE2_COMPILER", "PROVE_COMPILER_C_TO_D_SEMANTIC_FIXED_POINT", "PACKAGE_MOTHER_BRAIN_MODULE_AT_VERIFIED", "COMPILE_P2_NEURON_EVENT_PROGRAM", "REPLAY_P0_AND_P1_CORRECTION_MICROCHAINS", "DEFINE_TCS_GENERIC_ACTION_GRAPH_LOADER", "PROVE_COMPILER_E_TO_F_SEMANTIC_FIXED_POINT", "EXECUTE_GENERIC_LOADER_INNER_CORE_ECHO_TARGET_READBACK", "PACKAGE_GENERIC_LOADER_MODULE_AT_VERIFIED"]; remaining = ["IMPLEMENT_TCS_EXECUTE_ACTION_GRAPH_RUNTIME_DISPATCH", "REGISTER_TRUSTED_SIGNER_WITH_SEPARATE_AUTHORITY", "SIGN_AND_VERIFY_CAPABILITY_REGISTRY", "INSTALL_AND_MOUNT_GENERIC_LOADER_AND_MOTHER_BRAIN_MODULES", "EXECUTE_LPM_APPLY_NEURON_EVENT", "READ_BACK_P2_GRAPH_STATE"]; acceptance = "LPM_OPERATIONS_EXECUTE_WITHOUT_CORE_ECHO_SUBSTITUTE"; }
phase_3 { name = "SHARED_DESKTOP_VERTICAL_SLICE"; state = "FIVE_ACTION_GIR_AND_ABI_VERIFIED_WAITING_ON_SAME_GENERIC_LOADER_AND_SIGNED_REGISTRY"; completed = ["REGISTER_DESKTOP_OBJECT_ACTION_OPERATIONS", "DEFINE_TCS_VIRTUAL_TEST_OBJECT_AND_PERMISSION_TICKET", "COMPILE_FIVE_ACTION_VERTICAL_SLICE", "PACKAGE_DESKTOP_BRIDGE_MODULE_AT_VERIFIED", "PROVE_GENERIC_LOADER_INNER_CHILD_EXECUTION_PATH"]; remaining = ["IMPLEMENT_TCS_EXECUTE_ACTION_GRAPH_RUNTIME_DISPATCH", "SIGN_AND_VERIFY_CAPABILITY_REGISTRY", "INSTALL_AND_MOUNT_DESKTOP_BRIDGE_MODULE", "OPEN_ONE_TCS_VIRTUAL_TEST_OBJECT", "READ_BEFORE_AFTER_STATE_DIFF_ON_BOTH_PROJECTIONS", "ONLY_AFTER_VIRTUAL_PASS_REQUEST_SEPARATE_REAL_MACOS_PERMISSION"]; acceptance = "HUMAN_AND_PERSONA_SURFACES_READ_THE_SAME_CANONICAL_STATE_AND_RECEIPT"; }
phase_4 { name = "INCREMENTAL_FUSION"; work = ["ONE_NEURON_MICROCHAIN_PER_ITERATION", "TRIGGER_TO_ACTION_INTENT_TO_DESKTOP_ACTION", "COMPARE_TWO_DIRECT_LANGUAGE_ANCHORS", "ACCEPT_REVISE_OR_ROLLBACK"]; acceptance = "NO_STATIC_BRAIN_NO_LEGACY_LANGUAGE_NO_UNREADABLE_ACTION"; }
phase_5 { name = "REMOTE_PROMOTION"; state = "PHASE1_REMOTE_PASS_STAGE2_PENDING_PUSH"; work = ["UPDATE_REPO012_ROUTE_BRANCH_WHEN_ROUTE_FACT_CHANGES", "UPDATE_REPO014_TCS_BRANCH", "REMOTE_SHA_READBACK", "HLDP_CAUSAL_LEAF_REVIEW"]; acceptance = "BRANCH_SHA_AND_CAUSAL_MEMORY_PASS"; }
phase_5 { name = "REMOTE_PROMOTION"; state = "PHASE1_AND_STAGE2_REMOTE_PASS_STAGE3_PENDING_PUSH"; work = ["UPDATE_REPO012_ROUTE_BRANCH_WHEN_ROUTE_FACT_CHANGES", "UPDATE_REPO014_TCS_BRANCH", "REMOTE_SHA_READBACK", "HLDP_CAUSAL_LEAF_REVIEW"]; acceptance = "BRANCH_SHA_AND_CAUSAL_MEMORY_PASS"; }
stop_conditions { values = ["DIRECT_SOURCE_AMBIGUOUS", "TCS_NATIVE_OPERATION_MISSING", "SOURCE_HASH_MISMATCH", "DESKTOP_TARGET_NOT_ISOLATED", "PERMISSION_TICKET_MISSING", "STATE_DIFF_NOT_READABLE", "TWO_ANCHORS_DISAGREE", "NEW_HUMAN_WILL_REQUIRED"]; }
}

14
language/receipts/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.tcs Normal file
View file

@ -0,0 +1,14 @@
TCS 0.1;
RECEIPT TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823 {
header { schema = "tcs.receipt/v1"; name_zh = "HoloLake语言母体模型第三阶段通用动作图装载器回执"; name_en = "HoloLake Language Mother Model Stage Three Generic Action Graph Loader Receipt"; version = "0.3.0"; language = "TCS/0.1"; profile = "HLDP/1"; protocols = ["TCS-GENERIC-ACTION-GRAPH-LOADER-0001", "TCS-MODULE-ABI-0001", "TCS-NATIVE-BINARY-ACCEPTANCE-v1"]; lifecycle = "VERIFIED"; canonical_uri = "language/receipts/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.tcs"; compatibility = ["TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", "GIR/1"]; }
source { source_id = "BINGSHUO-LPM-REASONING-AND-ENGINEERING-ANCHORS-20260823"; source_uri = "language-sources/direct-human/"; source_sha256 = "95e661a73be06cee60e0fb0dd9f9f61de4f043a3b2a04512bc7cca20fe97a6e3"; source_role = "DIRECT_HUMAN"; }
compiler { id = "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001"; compiler_e_sha256 = "30c6ba0c553bf84e40ddea6af19f1f66920251415b841a3b757d4f7d918587f3"; compiler_f_sha256 = "cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee"; compiler_definition_sha256_e = "6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80"; compiler_definition_sha256_f = "6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80"; semantic_fixed_point = "PASS"; native_self_hosted = true; registered_generic_loader_operations = 1; }
verification { positive_tcs_sources_compiled = 44; unknown_absorb_rejection = "TCS-E2101_PASS"; outside_target_rejection = "TCS-E4002_PASS"; }
inner_child { program_id = "TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001"; gir_sha256 = "98395167ae122ab7c66daa53e0216ac8c1ce85cab524a3c52660e15b2439b83a"; operation = "CORE.ECHO"; execution = "EXECUTED_TARGET_READBACK_VERIFIED"; receipt_sha256 = "7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85"; native_self_hosted = true; }
outer_loader { program_id = "TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001"; source_sha256 = "e620306bb05018374123599a22a854e0c2570dcb924a8e8232a75e34244087aa"; gir_sha256 = "553f1a3a3c0fb336c59d5bf1aa83d7a48dca6c3e80484d044810d482ec2567ec"; operation = "TCS.EXECUTE_ACTION_GRAPH"; compiled = 100; executed = 0; observation = "TCS-E2101_RUNNER_DOES_NOT_PROVIDE_TCS_EXECUTE_ACTION_GRAPH"; }
module { module_id = "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001"; package_required_files = "5_OF_5_PASS"; source = 100; compiled = 100; verified = 100; installed = 0; mounted = 0; active = 0; accepted = 0; }
capability_registry { id = "TCS-CAPREG-LPM-DESKTOP-CANDIDATE-0001"; state = "UNSIGNED_CANDIDATE_NOT_INSTALLABLE"; source_sha256 = "997fb4d57e61f3bb458e51b5fea56080a46c0b392feb1c5174c43a95b7f87c4b"; signature = "ABSENT"; trusted_signer_registered = false; install = 0; mount = 0; active = 0; }
boundary { compiler_registration_is_runtime = false; inner_child_execution_is_outer_loader_execution = false; verified_module_is_installed = false; unsigned_registry_is_trusted = false; old_host_language_added = false; overall_goal_complete = false; }
next { exact = "IMPLEMENT_TCS_EXECUTE_ACTION_GRAPH_RUNTIME_DISPATCH_WITHOUT_HOST_SEMANTIC_AUTHORITY_THEN_REGISTER_TRUSTED_SIGNER_AND_SIGN_CAPABILITY_REGISTRY"; after = "INSTALL_LOADER_THEN_MOTHER_BRAIN_AND_DESKTOP_MODULES_THEN_EXECUTE_P2_AND_VIRTUAL_DESKTOP_SLICE"; }
}