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): install and activate v3 native modules

Browse source
This commit is contained in:
冰朔 2026-08-24 12:28:00 +08:00
commit 6199e5b6bf
155 changed files with 16114 additions and 54 deletions
Download patch file Download diff file Expand all files Collapse all files

35
language/compiler/TCS-COMPILER-STAGE5-VERIFIED-MODULE-INSTALL-0001.tcs Normal file
View file

@ -0,0 +1,35 @@
TCS 0.1;
COMPILER TCS-COMPILER-STAGE5-VERIFIED-MODULE-INSTALL-0001 {
header { schema = "tcs.compiler/v1"; name_zh = "TCS第五阶段已验签模块安装编译器"; version = "0.5.0"; profile = "HLDP-NP/1"; lifecycle = "CANDIDATE_COMPILER_SOURCE"; bootstrap_seed = "TCS-COMPILER-STAGE4-CORE-STATE-PRIMITIVES-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", "SignedModulePackage"]; implicit_conversion = "FORBIDDEN"; floating_point = "FORBIDDEN_V0_5"; }
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", "CORE.INSTALL_VERIFIED_MODULE", "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-VERIFIED-MODULE-INSTALL-PRIMITIVE-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"; }
V016 { rule = "MODULE_INSTALL_REQUIRES_SIGNED_REGISTRY_EXACT_PACKAGE_FILE_SET_AND_ABSENT_DESTINATION"; error = "TCS-E4001"; }
V017 { rule = "MODULE_INSTALL_CANNOT_MOUNT_ACTIVATE_OR_EXPAND_CAPABILITY"; 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-STAGE4-CORE-STATE-PRIMITIVES-0001"; stage4_compiles_stage5_to = "compiler-I.gir"; compiler_I_compiles_stage5_to = "compiler-J.gir"; fixed_point = "SEMANTIC_SHA256_I_EQUALS_J"; stage4_disabled_test = "REQUIRED"; signed_install_positive_test = "REQUIRED"; signature_failure_test = "REQUIRED"; package_hash_failure_test = "REQUIRED"; outside_destination_test = "REQUIRED"; current_state = "SOURCE_NOT_YET_FIXED_POINT_VERIFIED"; }
}