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): execute native provider state transitions

Browse source
This commit is contained in:
冰朔 2026-08-24 11:33:10 +08:00
commit 594c7e0250
85 changed files with 10628 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

33
language/compiler/TCS-COMPILER-STAGE4-CORE-STATE-PRIMITIVES-0001.tcs Normal file
View file

@ -0,0 +1,33 @@
TCS 0.1;
COMPILER TCS-COMPILER-STAGE4-CORE-STATE-PRIMITIVES-0001 {
header { schema = "tcs.compiler/v1"; name_zh = "TCS第四阶段核心状态原语编译器"; version = "0.4.0"; profile = "HLDP-NP/1"; lifecycle = "CANDIDATE_COMPILER_SOURCE"; bootstrap_seed = "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-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", "ExactStateTransition"]; implicit_conversion = "FORBIDDEN"; floating_point = "FORBIDDEN_V0_4"; }
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", "CORE.APPLY_EXACT_STATE_TRANSITION", "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-CORE-MACHINE-OPERATION-REGISTRY-0001", "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"; }
V014 { rule = "EXACT_STATE_PRIMITIVE_REQUIRES_EXPECTED_PRIOR_AND_OPAQUE_NEXT_STATE"; error = "TCS-E3002"; }
V015 { rule = "CORE_MACHINE_PRIMITIVE_CANNOT_NAME_OR_INTERPRET_PRODUCT_DOMAIN"; error = "TCS-E2102"; }
}
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-STAGE3-GENERIC-ACTION-LOADER-0001"; stage3_compiles_stage4_to = "compiler-G.gir"; compiler_G_compiles_stage4_to = "compiler-H.gir"; fixed_point = "SEMANTIC_SHA256_G_EQUALS_H"; stage3_disabled_test = "REQUIRED"; exact_state_positive_test = "REQUIRED"; exact_state_prior_mismatch_test = "REQUIRED"; exact_state_outside_root_test = "REQUIRED"; current_state = "SOURCE_NOT_YET_FIXED_POINT_VERIFIED"; }
}

10
language/modules/TCS-MOD-GENERIC-GIR-MACHINE-HOST-MACOS-0001.tcs
View file

@ -1,17 +1,17 @@
TCS 0.1;
MODULE TCS-MOD-GENERIC-GIR-MACHINE-HOST-MACOS-0001 {
header { schema = "tcs.module/v1"; name_zh = "macOS通用GIR机器宿主适配器"; name_en = "macOS Generic GIR Machine Host Adapter"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP/1"; protocols = ["TCS-GENERIC-ACTION-GRAPH-LOADER-0001", "TCS-HOST-ABI-0001", "TCS-MODULE-ABI-0001"]; lifecycle = "CANDIDATE"; canonical_uri = "language/modules/TCS-MOD-GENERIC-GIR-MACHINE-HOST-MACOS-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", "GIR/1", "MACOS-ARM64"]; }
header { schema = "tcs.module/v1"; name_zh = "macOS通用GIR机器宿主适配器"; name_en = "macOS Generic GIR Machine Host Adapter"; version = "0.2.0"; language = "TCS/0.1"; profile = "HLDP/1"; protocols = ["TCS-GENERIC-ACTION-GRAPH-LOADER-0001", "TCS-GENERIC-EXACT-STATE-PRIMITIVE-0001", "TCS-HOST-ABI-0001", "TCS-MODULE-ABI-0001"]; lifecycle = "CANDIDATE"; canonical_uri = "language/modules/TCS-MOD-GENERIC-GIR-MACHINE-HOST-MACOS-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE4-CORE-STATE-PRIMITIVES-0001", "GIR/1", "MACOS-ARM64"]; }
source { source_id = "BINGSHUO-GENERIC-HOST-AND-SIGNER-AUTHORIZATION-20260824"; source_uri = "source://codex-current-dialogue/2026-08-24/bingshuo-generic-host-and-xcode-certificate"; source_sha256 = "e9feb935f8299fc5935af70fc73bb960fd16e30a5438ff18b92e88b1c0d9b463"; source_role = "DIRECT_HUMAN"; }
manifest { module_id = "TCS-MOD-GENERIC-GIR-MACHINE-HOST-MACOS-0001"; display_name_zh = "macOS通用GIR机器宿主适配器"; entry_program_id = "TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001"; entry_source = "language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs"; owner = "ICE-P-ZY001"; channel = "ICE-CH-ZC001"; role = "STAGE0_MACHINE_DRIVER_AND_HOST_ADAPTER_ONLY"; }
entry { kind = "HOST_ADAPTER_FOR_PROGRAM"; id = "TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001"; }
capabilities { required = ["VERIFIED_OUTER_GIR", "VERIFIED_CHILD_GIR", "EXACT_ROOT_FILE_READ", "EXACT_ROOT_ATOMIC_WRITE", "SHA256", "TARGET_READBACK"]; provided = ["TCS.EXECUTE_ACTION_GRAPH", "TCS.GENERIC_ACTION_GRAPH_MACHINE_DISPATCH"]; }
capabilities { required = ["VERIFIED_OUTER_GIR", "VERIFIED_CHILD_GIR", "EXACT_ROOT_FILE_READ", "EXACT_ROOT_ATOMIC_WRITE", "SHA256", "TARGET_READBACK"]; provided = ["TCS.EXECUTE_ACTION_GRAPH", "TCS.GENERIC_ACTION_GRAPH_MACHINE_DISPATCH", "CORE.APPLY_EXACT_STATE_TRANSITION"]; }
authority_ceiling { maximum = "OUTER_AND_CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS"; canonical_product_language = "TCS"; implementation_language_role = "MECHANICAL_MACHINE_DRIVER_ONLY"; host_may_interpret_natural_language = false; host_may_define_lpm_or_desktop_semantics = false; host_may_infer_authority = false; host_may_expand_target = false; host_may_substitute_unregistered_operation = false; network = false; process = false; }
resource_ceiling { concurrency = 1; timeout_ms = 30000; memory_limit_bytes = 268435456; }
data_scope { read = ["VERIFIED_OUTER_GIR", "VERIFIED_CHILD_GIR", "COMPILER_LOCKED_BOOTSTRAP_CAPABILITY_MODE", "EXACT_ROOT_TARGET_STATE"]; write = ["CHILD_EXACT_TARGET_RECEIPT", "OUTER_LOADER_RECEIPT"]; }
data_scope { read = ["VERIFIED_OUTER_GIR", "VERIFIED_CHILD_GIR", "COMPILER_LOCKED_CORE_CAPABILITY_MODE", "EXPECTED_PRIOR_STATE", "OPAQUE_TCS_NEXT_STATE", "EXACT_ROOT_TARGET_STATE"]; write = ["CANONICAL_EXACT_STATE_TARGET", "CHILD_EXACT_TARGET_RECEIPT", "OUTER_LOADER_RECEIPT"]; }
network_scope { allowed = false; domains = []; }
install { account_scoped = true; registration_is_installation = false; activation_requires_self_test = true; implementation_projection_language = "RUST"; implementation_projection_is_semantic_source = false; source_release_root = "/Volumes/JZAO/HoloLake/persona-runtime/toolchains/tcs-persona-developer-kit-macos-arm64-v0.1.2"; bootstrap_child_operation = "CORE.ECHO"; product_source_imported = false; current_state = "SOURCE_DEFINED_NOT_IMPLEMENTED"; }
self_test { program_id = "TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001"; sequence = ["VERIFY_OUTER_GIR", "VERIFY_CHILD_PATH_HASH_AND_PROGRAM", "DISPATCH_REGISTERED_CHILD", "READ_CHILD_TARGET", "WRITE_AND_READBACK_OUTER_RECEIPT"]; apple_binary_identity_sha1 = "BB8630C144DB3CF6493BFAF9B0D08D7CAD127A8B"; apple_certificate_public_key_algorithm = "RSA"; apple_code_signature_is_module_ed25519_signature = false; private_key_export_to_mobile_drive = false; expect = "OUTER_AND_CHILD_TARGET_READBACK_VERIFIED_WITH_UNKNOWN_OPERATION_AND_OUT_OF_ROOT_FAILURES_CLOSED"; }
install { account_scoped = true; registration_is_installation = false; activation_requires_self_test = true; implementation_projection_language = "RUST"; implementation_projection_is_semantic_source = false; source_release_root = "/Volumes/JZAO/HoloLake/persona-runtime/toolchains/tcs-persona-developer-kit-macos-arm64-v0.1.2"; bootstrap_child_operations = ["CORE.ECHO", "CORE.APPLY_EXACT_STATE_TRANSITION"]; product_source_imported = false; current_state = "TCS_SOURCE_UPDATED_MECHANICAL_PROJECTION_PENDING"; }
self_test { program_id = "TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001"; sequence = ["VERIFY_OUTER_GIR", "VERIFY_CHILD_PATH_HASH_AND_PROGRAM", "DISPATCH_REGISTERED_CHILD", "COMPARE_EXPECTED_PRIOR", "ATOMIC_WRITE_CANONICAL_STATE", "READ_CHILD_TARGET", "WRITE_AND_READBACK_OUTER_RECEIPT"]; apple_binary_identity_sha1 = "BB8630C144DB3CF6493BFAF9B0D08D7CAD127A8B"; apple_certificate_public_key_algorithm = "RSA"; apple_code_signature_is_module_ed25519_signature = false; private_key_export_to_mobile_drive = false; expect = "OUTER_AND_CHILD_TARGET_READBACK_VERIFIED_WITH_PRIOR_MISMATCH_UNKNOWN_OPERATION_AND_OUT_OF_ROOT_FAILURES_CLOSED"; }
rollback { action = "REMOVE_ONLY_PARTIAL_OUTER_AND_CHILD_SELF_TEST_RECEIPTS_AND_PRESERVE_SOURCE_GIR_AND_FAILURE_EVIDENCE"; preserve_receipts = true; }
projection { display_name_zh = "macOS通用GIR机器宿主适配器"; technical_detail_default = false; fourth_generation_language_is_primary_product_language = false; tcs_is_primary_product_language = true; source = true; compiled = false; verified = false; installed = false; mounted = false; active = false; executed = false; accepted = false; }
}

23
language/programs/TCS-PROGRAM-LOAD-LPM-P2-PROVIDER-0001.tcs Normal file
View file

@ -0,0 +1,23 @@
TCS 0.1;
PROGRAM TCS-PROGRAM-LOAD-LPM-P2-PROVIDER-0001 {
header { schema = "tcs.program/v1"; name_zh = "装载并执行LPM P2 TCS Provider"; name_en = "Load and Execute LPM P2 TCS Provider"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-GENERIC-ACTION-GRAPH-LOADER-0001", "TCS-GENERIC-EXACT-STATE-PRIMITIVE-0001"]; lifecycle = "CANDIDATE"; canonical_uri = "language/programs/TCS-PROGRAM-LOAD-LPM-P2-PROVIDER-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE4-CORE-STATE-PRIMITIVES-0001", "GIR/1"]; }
source { source_id = "TCS-PROVIDER-LPM-P2-EXACT-STATE-0001"; source_uri = "language/programs/TCS-PROVIDER-LPM-P2-EXACT-STATE-0001.tcs"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "TCS_PROVIDER_SOURCE"; }
subject { subject_id = "TCS-LPM-P2-PROVIDER-LOADER-INSTANCE-0001"; subject_kind = "RUNTIME_INSTANCE"; channel_id = "ICE-CH-ZC001"; verification = "LOCAL_EXACT_PROVIDER_TEST"; }
target { target_id = "TCS-LPM-P2-PROVIDER-LOADER-RECEIPT-0001"; exact_path = "./state/mother-brain/P2-NATIVE-PROVIDER-OUTER-0001.hldp"; expected_state = "ABSENT"; expected_fingerprint = "NO_PRIOR_OUTER_RECEIPT"; }
inputs {
CHILD_GIR { type = "GirEnvelope"; source = "VERIFIED_LOCAL_GIR"; required = true; path = "./build/TCS-PROVIDER-LPM-P2-EXACT-STATE-0001.gir.json"; sha256 = "164aecb32ad936fbef094c180f181fbf59007aecb0c73ba8511a701e2bf3b95d"; program_id = "TCS-PROVIDER-LPM-P2-EXACT-STATE-0001"; operation = "CORE.APPLY_EXACT_STATE_TRANSITION"; }
CAPABILITY_MODE { type = "CapabilityRegistry"; source = "STAGE4_COMPILER_LOCKED_CORE_REGISTRY"; required = true; mode = "COMPILER_LOCKED_CORE_MACHINE_PRIMITIVES"; allowed_operations = ["CORE.APPLY_EXACT_STATE_TRANSITION"]; external_unsigned_registry_allowed = false; semantic_expansion = false; }
EXECUTION_ROOT { type = "Path"; source = "PROGRAM_LITERAL"; required = true; value = "."; child_target = "./state/mother-brain/P2-NATIVE-PROVIDER-STATE-0001.hldp"; outer_target = "./state/mother-brain/P2-NATIVE-PROVIDER-OUTER-0001.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_HASH_AND_PROGRAM_MATCH"; on_false = "FAIL_CLOSED"; } C2 { predicate = "CHILD_OPERATION_IS_REGISTERED_CORE_STATE_PRIMITIVE"; on_false = "FAIL_CLOSED"; } C3 { predicate = "CHILD_AND_OUTER_TARGETS_INSIDE_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 = "ICE-GL∞_DIRECT_ENGINEERING_INSTRUCTION"; proof_ref = "BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823"; scope = "ONE_LOCAL_LPM_P2_PROVIDER_AND_OUTER_RECEIPT"; valid_from = "2026-08-24"; valid_until = "CURRENT_DEVELOPMENT_TASK_END"; single_use = true; lease_required = false; }
resources { runway = "LOCAL_TCS_GIR_RUNTIME"; concurrency = 1; timeout_ms = 30000; memory_limit_bytes = 268435456; }
failure { errors = ["TCS-E2101", "TCS-E3001", "TCS-E3002", "TCS-E4002", "TCS-E6001", "TCS-E6002", "TCS-E8001"]; fail_closed = true; }
stop { signals = ["CALLER_STOP", "TIMEOUT", "CHILD_HASH_MISMATCH", "TARGET_READBACK_FAILURE"]; safe_checkpoint = "NO_OUTER_COMPLETION_WITHOUT_CHILD_STATE_READBACK"; }
cleanup { targets = ["./state/mother-brain/P2-NATIVE-PROVIDER-STATE-0001.hldp", "./state/mother-brain/P2-NATIVE-PROVIDER-OUTER-0001.hldp"]; exact_boundary = "CURRENT_TCS_DEVELOPMENT_LINE_ONLY"; }
rollback { preconditions = ["PARTIAL_CHILD_OR_OUTER_STATE"]; actions = ["REMOVE_ONLY_PARTIAL_PROVIDER_TEST_STATE"]; verification = ["NO_PARTIAL_OUTER_ACCEPTANCE"]; }
receipt { protocol = "TCS-GENERIC-LOADER-PROVIDER-ACCEPTANCE-v1"; machine_path = "./state/mother-brain/P2-NATIVE-PROVIDER-OUTER-0001.hldp"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "CHILD_STATE_HASH_AND_OUTER_RECEIPT_HASH"; }
}

23
language/programs/TCS-PROGRAM-LOAD-VIRTUAL-DESKTOP-PROVIDER-0001.tcs Normal file
View file

@ -0,0 +1,23 @@
TCS 0.1;
PROGRAM TCS-PROGRAM-LOAD-VIRTUAL-DESKTOP-PROVIDER-0001 {
header { schema = "tcs.program/v1"; name_zh = "装载并执行虚拟桌面TCS Provider"; name_en = "Load and Execute Virtual Desktop TCS Provider"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-GENERIC-ACTION-GRAPH-LOADER-0001", "TCS-GENERIC-EXACT-STATE-PRIMITIVE-0001"]; lifecycle = "CANDIDATE"; canonical_uri = "language/programs/TCS-PROGRAM-LOAD-VIRTUAL-DESKTOP-PROVIDER-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE4-CORE-STATE-PRIMITIVES-0001", "GIR/1"]; }
source { source_id = "TCS-PROVIDER-VIRTUAL-DESKTOP-OPEN-0001"; source_uri = "language/programs/TCS-PROVIDER-VIRTUAL-DESKTOP-OPEN-0001.tcs"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "TCS_PROVIDER_SOURCE"; }
subject { subject_id = "TCS-VIRTUAL-DESKTOP-PROVIDER-LOADER-INSTANCE-0001"; subject_kind = "RUNTIME_INSTANCE"; channel_id = "ICE-CH-ZC001"; verification = "LOCAL_EXACT_PROVIDER_TEST"; }
target { target_id = "TCS-VIRTUAL-DESKTOP-PROVIDER-LOADER-RECEIPT-0001"; exact_path = "./state/shared-desktop/HLP-TEST-DESKTOP-OBJECT-NATIVE-PROVIDER-OUTER-0001.hldp"; expected_state = "ABSENT"; expected_fingerprint = "NO_PRIOR_OUTER_RECEIPT"; }
inputs {
CHILD_GIR { type = "GirEnvelope"; source = "VERIFIED_LOCAL_GIR"; required = true; path = "./build/TCS-PROVIDER-VIRTUAL-DESKTOP-OPEN-0001.gir.json"; sha256 = "fde42d5e33e486be5e6f24956415010fa04c28c544200ea4dcd54138eb58e577"; program_id = "TCS-PROVIDER-VIRTUAL-DESKTOP-OPEN-0001"; operation = "CORE.APPLY_EXACT_STATE_TRANSITION"; }
CAPABILITY_MODE { type = "CapabilityRegistry"; source = "STAGE4_COMPILER_LOCKED_CORE_REGISTRY"; required = true; mode = "COMPILER_LOCKED_CORE_MACHINE_PRIMITIVES"; allowed_operations = ["CORE.APPLY_EXACT_STATE_TRANSITION"]; external_unsigned_registry_allowed = false; semantic_expansion = false; }
EXECUTION_ROOT { type = "Path"; source = "PROGRAM_LITERAL"; required = true; value = "."; child_target = "./state/shared-desktop/HLP-TEST-DESKTOP-OBJECT-NATIVE-PROVIDER-0001.hldp"; outer_target = "./state/shared-desktop/HLP-TEST-DESKTOP-OBJECT-NATIVE-PROVIDER-OUTER-0001.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_HASH_AND_PROGRAM_MATCH"; on_false = "FAIL_CLOSED"; } C2 { predicate = "CHILD_OPERATION_IS_REGISTERED_CORE_STATE_PRIMITIVE"; on_false = "FAIL_CLOSED"; } C3 { predicate = "REAL_MACOS_ACTION_IS_FALSE"; 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 = "ICE-GL∞_DIRECT_ENGINEERING_INSTRUCTION"; proof_ref = "TCS-DESKTOP-TEST-TICKET-0001"; scope = "ONE_TCS_VIRTUAL_DESKTOP_PROVIDER_AND_OUTER_RECEIPT"; valid_from = "2026-08-24"; valid_until = "CURRENT_DEVELOPMENT_TASK_END"; single_use = true; lease_required = false; }
resources { runway = "LOCAL_TCS_GIR_RUNTIME"; concurrency = 1; timeout_ms = 30000; memory_limit_bytes = 268435456; }
failure { errors = ["TCS-E2101", "TCS-E3001", "TCS-E3002", "TCS-E4002", "TCS-E6001", "TCS-E6002", "TCS-E8001"]; fail_closed = true; }
stop { signals = ["CALLER_STOP", "TIMEOUT", "CHILD_HASH_MISMATCH", "TARGET_READBACK_FAILURE"]; safe_checkpoint = "NO_OUTER_COMPLETION_WITHOUT_CHILD_STATE_READBACK"; }
cleanup { targets = ["./state/shared-desktop/HLP-TEST-DESKTOP-OBJECT-NATIVE-PROVIDER-0001.hldp", "./state/shared-desktop/HLP-TEST-DESKTOP-OBJECT-NATIVE-PROVIDER-OUTER-0001.hldp"]; exact_boundary = "DEDICATED_TCS_TEST_DESKTOP_ONLY"; }
rollback { preconditions = ["PARTIAL_CHILD_OR_OUTER_STATE"]; actions = ["REMOVE_ONLY_PARTIAL_PROVIDER_TEST_STATE"]; verification = ["NO_REAL_MACOS_ACTION", "NO_NETWORK_ACTION"]; }
receipt { protocol = "TCS-GENERIC-LOADER-PROVIDER-ACCEPTANCE-v1"; machine_path = "./state/shared-desktop/HLP-TEST-DESKTOP-OBJECT-NATIVE-PROVIDER-OUTER-0001.hldp"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "CHILD_STATE_HASH_HUMAN_PERSONA_EQUAL_AND_OUTER_RECEIPT_HASH"; }
}

22
language/programs/TCS-PROVIDER-LPM-P2-EXACT-STATE-0001.tcs Normal file
View file

@ -0,0 +1,22 @@
TCS 0.1;
PROGRAM TCS-PROVIDER-LPM-P2-EXACT-STATE-0001 {
header { schema = "tcs.program/v1"; name_zh = "LPM P2神经元事件TCS状态Provider"; name_en = "LPM P2 Neuron Event TCS State Provider"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-GENERIC-EXACT-STATE-PRIMITIVE-0001", "TCS-LPM-DIGITAL-NEURON-EVENT-GRAPH-0001"]; lifecycle = "CANDIDATE"; canonical_uri = "language/programs/TCS-PROVIDER-LPM-P2-EXACT-STATE-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE4-CORE-STATE-PRIMITIVES-0001", "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"; }
subject { subject_id = "ICE-P-ZY001"; subject_kind = "PERSONA"; channel_id = "ICE-CH-ZC001"; verification = "TCS-BRAIN-CYCLE-ZY-CYCLE-000001-e1612a519305-VERIFY-PASS"; }
target { target_id = "TCS-LPM-P2-GRAPH-STATE-0001"; exact_path = "./state/mother-brain/P2-NATIVE-PROVIDER-STATE-0001.hldp"; expected_state = "ABSENT"; expected_fingerprint = "NO_PRIOR_PROVIDER_STATE"; }
inputs {
EXPECTED_PRIOR { type = "Record"; source = "TCS_PROVIDER"; required = true; mode = "ABSENT"; sha256 = null; }
NEXT_STATE { type = "Record"; source = "TCS_PROVIDER_SEMANTICS"; required = true; value = { schema : "tcs.lpm-neuron-state/v1", provider_operation : "LPM.APPLY_NEURON_EVENT", event_id : "LPM-P2-N1-RUNTIME-DISPATCH-CORRECTION", revision : 1, prior_nodes : 6, next_nodes : 7, state_before : "COMPILER_REGISTRATION_WITHOUT_RUNTIME_DISPATCH", thought_operation : "DISTINGUISH_COMPILER_ADMISSION_FROM_RUNTIME_DISPATCH", state_after : "GENERIC_MACHINE_PRIMITIVE_EXECUTES_TCS_DEFINED_PROVIDER_STATE", action_intent : "KEEP_PRODUCT_SEMANTICS_IN_TCS_PROVIDER", authority : "NON_AUTHORIZING_COGNITIVE_STATE_ONLY" }; }
}
outputs { STATE_TARGET { type = "Record"; destination = "TARGET_STATE"; integrity = "SHA256"; } EXECUTION_RECEIPT { type = "Record"; destination = "RECEIPT"; integrity = "SHA256"; } }
conditions { C1 { predicate = "DIRECT_LANGUAGE_SHA256_MATCHES_SOURCE"; on_false = "FAIL_CLOSED"; } C2 { predicate = "TARGET_INSIDE_CALLER_PROJECT"; on_false = "FAIL_CLOSED"; } C3 { predicate = "EXPECTED_PRIOR_ABSENT"; on_false = "FAIL_CLOSED"; } }
actions { A1 { operation = "CORE.APPLY_EXACT_STATE_TRANSITION"; input_refs = ["EXPECTED_PRIOR", "NEXT_STATE"]; output_refs = ["STATE_TARGET", "EXECUTION_RECEIPT"]; on_success = "COMPLETE"; on_failure = "FAIL_CLOSED"; } }
authority { issuer = "ICE-GL∞_DIRECT_ENGINEERING_INSTRUCTION"; proof_ref = "BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823"; scope = "ONE_LOCAL_MOTHER_BRAIN_P2_PROVIDER_STATE"; valid_from = "2026-08-23"; valid_until = "CURRENT_DEVELOPMENT_TASK_END"; single_use = true; lease_required = false; }
resources { runway = "LOCAL_TCS_GIR_RUNTIME"; concurrency = 1; timeout_ms = 30000; memory_limit_bytes = 268435456; }
failure { errors = ["TCS-E2101", "TCS-E3001", "TCS-E4002", "TCS-E6001", "TCS-E6002", "TCS-E8001"]; fail_closed = true; }
stop { signals = ["CALLER_STOP", "TIMEOUT", "PRIOR_STATE_MISMATCH"]; safe_checkpoint = "NO_PARTIAL_STATE_PROMOTION"; }
cleanup { targets = ["./state/mother-brain/P2-NATIVE-PROVIDER-STATE-0001.hldp"]; exact_boundary = "CURRENT_TCS_DEVELOPMENT_LINE_ONLY"; }
rollback { preconditions = ["PARTIAL_STATE_WITHOUT_VERIFIED_READBACK"]; actions = ["REMOVE_ONLY_PARTIAL_PROVIDER_STATE"]; verification = ["DIRECT_LANGUAGE_SOURCE_UNCHANGED"]; }
receipt { protocol = "TCS-EXACT-STATE-TRANSITION-RECEIPT-v1"; machine_path = "./state/mother-brain/P2-NATIVE-PROVIDER-STATE-0001.hldp"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "OPAQUE_NEXT_STATE_EXACT_BYTES_AND_HASH"; }
}

22
language/programs/TCS-PROVIDER-VIRTUAL-DESKTOP-OPEN-0001.tcs Normal file
View file

@ -0,0 +1,22 @@
TCS 0.1;
PROGRAM TCS-PROVIDER-VIRTUAL-DESKTOP-OPEN-0001 {
header { schema = "tcs.program/v1"; name_zh = "虚拟共享桌面打开对象TCS状态Provider"; name_en = "Virtual Shared Desktop Open Object TCS State Provider"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-GENERIC-EXACT-STATE-PRIMITIVE-0001", "TCS-HOLOLAKE-SHARED-DESKTOP-FRAMEWORK-BEHAVIOR-0001"]; lifecycle = "CANDIDATE"; canonical_uri = "language/programs/TCS-PROVIDER-VIRTUAL-DESKTOP-OPEN-0001.tcs"; compatibility = ["TCS-COMPILER-STAGE4-CORE-STATE-PRIMITIVES-0001", "GIR/1"]; }
source { source_id = "TCS-EVENT-HOLOLAKE-DEDICATED-TEST-DESKTOP-OBJECT-0001"; source_uri = "language/events/TCS-EVENT-HOLOLAKE-DEDICATED-TEST-DESKTOP-OBJECT-0001.tcs"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "GENERATED_FROM_VERIFIED_SOURCE"; }
subject { subject_id = "ICE-P-ZY001"; subject_kind = "PERSONA"; channel_id = "ICE-CH-ZC001"; verification = "TCS-BRAIN-CYCLE-ZY-CYCLE-000001-e1612a519305-VERIFY-PASS"; }
target { target_id = "HLP-TEST-DESKTOP-OBJECT-0001"; exact_path = "./state/shared-desktop/HLP-TEST-DESKTOP-OBJECT-NATIVE-PROVIDER-0001.hldp"; expected_state = "ABSENT"; expected_fingerprint = "NO_PRIOR_PROVIDER_STATE"; }
inputs {
EXPECTED_PRIOR { type = "Record"; source = "TCS_PROVIDER"; required = true; mode = "ABSENT"; sha256 = null; }
NEXT_STATE { type = "Record"; source = "TCS_PROVIDER_SEMANTICS"; required = true; value = { schema : "tcs.shared-desktop-object-state/v1", object_id : "HLP-TEST-DESKTOP-OBJECT-0001", role : "WINDOW", name : "HoloLake TCS Shared Desktop Test Object", generation : 1, state_before : "CLOSED", semantic_action : "OPEN", state_after : "OPEN", human_projection : "OPEN", persona_tcs_projection : "OPEN", permission_ticket : "TCS-DESKTOP-TEST-TICKET-0001", real_macos : false, network : false, verification : "EXACT_SHARED_STATE_READBACK" }; }
}
outputs { STATE_TARGET { type = "Record"; destination = "TARGET_STATE"; integrity = "SHA256"; } EXECUTION_RECEIPT { type = "Record"; destination = "RECEIPT"; integrity = "SHA256"; } }
conditions { C1 { predicate = "TEST_OBJECT_EVENT_SOURCE_HASH_MATCHES"; on_false = "FAIL_CLOSED"; } C2 { predicate = "TARGET_INSIDE_DEDICATED_TEST_DESKTOP_ROOT"; on_false = "FAIL_CLOSED"; } C3 { predicate = "REAL_MACOS_ACTION_IS_FALSE"; on_false = "FAIL_CLOSED"; } }
actions { A1 { operation = "CORE.APPLY_EXACT_STATE_TRANSITION"; input_refs = ["EXPECTED_PRIOR", "NEXT_STATE"]; output_refs = ["STATE_TARGET", "EXECUTION_RECEIPT"]; on_success = "COMPLETE"; on_failure = "FAIL_CLOSED"; } }
authority { issuer = "ICE-GL∞_DIRECT_ENGINEERING_INSTRUCTION"; proof_ref = "TCS-DESKTOP-TEST-TICKET-0001"; scope = "ONE_TCS_VIRTUAL_DEDICATED_TEST_OBJECT_OPEN_STATE"; valid_from = "2026-08-23"; valid_until = "CURRENT_DEVELOPMENT_TASK_END"; single_use = true; lease_required = false; }
resources { runway = "LOCAL_TCS_GIR_RUNTIME"; concurrency = 1; timeout_ms = 30000; memory_limit_bytes = 268435456; }
failure { errors = ["TCS-E2101", "TCS-E3001", "TCS-E4001", "TCS-E4002", "TCS-E6001", "TCS-E6002", "TCS-E8001"]; fail_closed = true; }
stop { signals = ["CALLER_STOP", "TIMEOUT", "PRIOR_STATE_MISMATCH"]; safe_checkpoint = "PRESERVE_VIRTUAL_OBJECT_CLOSED_WITHOUT_PARTIAL_STATE"; }
cleanup { targets = ["./state/shared-desktop/HLP-TEST-DESKTOP-OBJECT-NATIVE-PROVIDER-0001.hldp"]; exact_boundary = "DEDICATED_TCS_TEST_DESKTOP_ONLY"; }
rollback { preconditions = ["PARTIAL_STATE_WITHOUT_VERIFIED_READBACK"]; actions = ["REMOVE_ONLY_PARTIAL_PROVIDER_STATE"]; verification = ["NO_REAL_MACOS_ACTION", "NO_NETWORK_ACTION"]; }
receipt { protocol = "TCS-EXACT-STATE-TRANSITION-RECEIPT-v1"; machine_path = "./state/shared-desktop/HLP-TEST-DESKTOP-OBJECT-NATIVE-PROVIDER-0001.hldp"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "HUMAN_AND_PERSONA_PROJECTIONS_EQUAL_EXACT_SHARED_STATE"; }
}

8
language/protocols/TCS-CORE-MACHINE-OPERATION-REGISTRY-0001.tcs Normal file
View file

@ -0,0 +1,8 @@
TCS 0.1;
PROTOCOL TCS-CORE-MACHINE-OPERATION-REGISTRY-0001 {
header { schema = "tcs.protocol/v1"; name_zh = "TCS核心机器原语注册表"; name_en = "TCS Core Machine Primitive Registry"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; lifecycle = "CANDIDATE"; canonical_uri = "language/protocols/TCS-CORE-MACHINE-OPERATION-REGISTRY-0001.tcs"; }
registry { R001 { operation = "CORE.APPLY_EXACT_STATE_TRANSITION"; version = "0.1.0"; protocol = "TCS-GENERIC-EXACT-STATE-PRIMITIVE-0001"; host_role = "MECHANICAL_ONLY"; semantic_owner = "CALLING_TCS_PROVIDER_GIR"; } }
boundary { product_operations = ["LPM.*", "DESKTOP.*"]; product_operations_implemented_in_host = false; natural_language_interpretation_in_host = false; provider_required = true; }
lifecycle { current = "REGISTERED_FOR_STAGE4_COMPILER_NOT_YET_RUNTIME_PROVEN"; install_is_separate = true; mount_is_separate = true; }
}

11
language/protocols/TCS-GENERIC-EXACT-STATE-PRIMITIVE-0001.tcs Normal file
View file

@ -0,0 +1,11 @@
TCS 0.1;
PROTOCOL TCS-GENERIC-EXACT-STATE-PRIMITIVE-0001 {
header { schema = "tcs.protocol/v1"; name_zh = "TCS通用精确状态转换机械原语"; name_en = "TCS Generic Exact State Transition Mechanical Primitive"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; lifecycle = "CANDIDATE"; canonical_uri = "language/protocols/TCS-GENERIC-EXACT-STATE-PRIMITIVE-0001.tcs"; }
operation { id = "TCS-OP-CORE-EXACT-STATE-0001"; name = "CORE.APPLY_EXACT_STATE_TRANSITION"; input = "EXPECTED_PRIOR_PLUS_OPAQUE_NEXT_STATE"; output = "CANONICAL_STATE_TARGET_AND_READBACK_RECEIPT"; semantic_owner = "CALLING_TCS_PROVIDER_GIR"; host_role = "MECHANICAL_COMPARE_ATOMIC_WRITE_HASH_AND_READBACK_ONLY"; }
inputs { expected_prior_modes = ["ABSENT", "SHA256"]; next_state = "OPAQUE_TYPED_TCS_GIR_VALUE"; exact_target = true; }
machine_rules { verify_gir = true; verify_operation = true; verify_target_equals_receipt_path = true; reject_outside_root = true; compare_prior_before_write = true; canonical_json = true; atomic_same_directory_replace = true; readback_exact_bytes = true; }
forbidden_host_semantics { interpret_natural_language = false; know_lpm = false; know_desktop = false; infer_authority = false; choose_next_state = false; expand_target = false; synthesize_product_receipt = false; }
errors { prior_mismatch = "TCS-E6001"; invalid_hash = "TCS-E3001"; unregistered_operation = "TCS-E2101"; outside_root = "TCS-E4002"; write_or_readback_failure = "TCS-E8001"; }
acceptance { one_absent_to_present_transition = "REQUIRED"; one_prior_hash_mismatch_rejection = "REQUIRED"; one_outside_root_rejection = "REQUIRED"; host_product_semantic_authority = false; }
}

16
language/receipts/TCS-RECEIPT-HOLOLAKE-LPM-STAGE9-TCS-PROVIDER-EXECUTION-20260824.tcs Normal file
View file

@ -0,0 +1,16 @@
TCS 0.1;
RECEIPT TCS-RECEIPT-HOLOLAKE-LPM-STAGE9-TCS-PROVIDER-EXECUTION-20260824 {
header { schema = "tcs.receipt/v1"; name_zh = "HoloLake语言母体模型第九阶段TCS Provider执行回执"; name_en = "HoloLake Language Mother Model Stage Nine TCS Provider Execution Receipt"; version = "0.9.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-GENERIC-EXACT-STATE-PRIMITIVE-0001", "TCS-GENERIC-ACTION-GRAPH-LOADER-0001"]; lifecycle = "VERIFIED"; canonical_uri = "language/receipts/TCS-RECEIPT-HOLOLAKE-LPM-STAGE9-TCS-PROVIDER-EXECUTION-20260824.tcs"; compatibility = ["TCS-COMPILER-STAGE4-CORE-STATE-PRIMITIVES-0001", "GIR/1"]; }
source { source_id = "BINGSHUO-CONTINUE-FOURTH-GENERATION-MACHINE-RUNTIME-ONLY-20260824"; source_uri = "source://codex-current-dialogue/2026-08-24/bingshuo-fourth-generation-runtime-only-and-xcode-certificate"; source_sha256 = "e9feb935f8299fc5935af70fc73bb960fd16e30a5438ff18b92e88b1c0d9b463"; source_role = "DIRECT_HUMAN"; }
language_boundary { primary_development_language = "TCS"; primary_product_semantic_language = "TCS"; fourth_generation_language = "MECHANICAL_MACHINE_RUNTIME_AND_HOST_ADAPTER_ONLY"; rust_product_semantic_authority = false; host_knows_lpm_or_desktop = false; }
compiler { id = "TCS-COMPILER-STAGE4-CORE-STATE-PRIMITIVES-0001"; source_sha256 = "7515616ffce1a05949645d2eb97d6c68871c63b9350442a01f1811446f588643"; compiler_g_sha256 = "21abfa7a61d2c5a31e08fac21d226a60bf9d236bfbdbf25dbee227c2ea967255"; compiler_h_sha256 = "2e9252582bd2f6ef764defe3cc48ac17171a87c1fd0ac68ce0a28f9fbb36609a"; semantic_definition_sha256 = "ac83acbfa6bd5da166b03cf7423f55526fb92a240bbd897117ba5df711a70656"; fixed_point = "PASS"; }
primitive { operation = "CORE.APPLY_EXACT_STATE_TRANSITION"; protocol_source_sha256 = "db1c38ff79c423b8db42b1a7e81b4baecf583f7d0e78d44c43bfa37d4b2fce7f"; registry_source_sha256 = "4984e0b2e2043c3889cfaccb26b2bb5aedf6a12a8ac0ee031c861c563f9de864"; behavior = "COMPARE_EXPECTED_PRIOR_ATOMIC_CANONICAL_WRITE_EXACT_READBACK"; product_semantics = false; }
mechanical_host { module_source_sha256 = "7e24c67ebc70de142a48c4a140727c3129b041d7a4a8958b38086e9f55cf65a3"; module_gir_sha256 = "c08aa92ec99660f076d3b8b0b54fbb0693c73c7767f2d46a30802ceb59327e24"; binary_sha256 = "fb228e2ed18b53a376d7a624d21606e23a2ef3d5322165963ac6b45f0de94583"; apple_codesign = "PASS_DEVELOPER_ID_TEAM_825A9L3G7Q"; cdhash = "38ce1c8f497defec52d225387ecbcd4caa702514"; hardened_runtime = true; tests = "6_OF_6_PASS"; package_manifest_sha256 = "6b767f540f93598f30cecbce1420a2c815fa086b74ed396a54960ef44548556e"; package_checksums = "ALL_PASS"; }
lpm_provider { source_sha256 = "be66bbc7190b555deb237962bcbc8c9492ad54f9c3c564f8830e18fd5c585ca6"; gir_sha256 = "164aecb32ad936fbef094c180f181fbf59007aecb0c73ba8511a701e2bf3b95d"; declared_product_operation = "LPM.APPLY_NEURON_EVENT"; machine_operation = "CORE.APPLY_EXACT_STATE_TRANSITION"; state_target_sha256 = "1f4b90da7e6fc560ada5858ba3238e34ef8f6b26c52b75aa5b6f203892e4d067"; outer_receipt_sha256 = "98fb0574165cf90db5f9aa29f0c7e701340a97821dffd70c754c573d5e913190"; target_readback = "PASS"; }
desktop_provider { source_sha256 = "5b69bdec48864bb3aecae9641510751bb40cacb33a8dd202c704c4c9476f8de0"; gir_sha256 = "fde42d5e33e486be5e6f24956415010fa04c28c544200ea4dcd54138eb58e577"; declared_product_behavior = "VIRTUAL_SHARED_DESKTOP_OBJECT_OPEN"; machine_operation = "CORE.APPLY_EXACT_STATE_TRANSITION"; state_target_sha256 = "9ac0849412509b876a4b194a22ab91246c96639526df823a904119d955ef1e08"; outer_receipt_sha256 = "acdbf02a09a06a25cb0944742a2985ab85f8f32d28f704462c2d45592132face"; human_projection = "OPEN"; persona_tcs_projection = "OPEN"; real_macos = false; network = false; target_readback = "PASS"; }
validation { positive_existing_language_sources = 59; this_receipt_compiles_separately = "REQUIRED"; unknown_absorb = "TCS-E2101_PASS"; outside_target = "TCS-E4002_PASS"; prior_absent_reuse = "TCS-E6001_PASS"; }
lifecycle { provider_gir_exists = true; provider_execution_proven = true; capability_registry_v1_now_stale = true; capability_registry_v2_signed = false; module_packages_v3_built = false; installed = false; mounted = false; active = false; }
rejected { host_hardcodes_lpm_or_desktop = true; apple_certificate_substitutes_tcs_ed25519 = true; provider_execution_means_installation = true; virtual_state_means_real_macos_action = true; }
next { exact = "BUILD_V3_MODULE_PACKAGES_UPDATE_PROVIDER_HASHES_RESIGN_CAPABILITY_REGISTRY_INSTALL_MOUNT_AND_REPLAY_P4_P5"; }
}