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): observe real macOS object tree read-only

Browse source
This commit is contained in:
冰朔 2026-08-24 13:20:52 +08:00
commit de5fadf048
112 changed files with 15197 additions and 154 deletions
Download patch file Download diff file Expand all files Collapse all files

452
build/stage6/compiler-K.gir.json Normal file
View file

@ -0,0 +1,452 @@
{
"compiled_from": {
"compiler_id": "TCS-COMPILER-STAGE5-VERIFIED-MODULE-INSTALL-0001",
"compiler_state": "TCS_COMPILER_GIR_EXECUTED",
"source_sha256": "01763f3b5fbca1b7444e028b414fb66c40b5c1d203d43bee9a8216f396cbebbc"
},
"compiler_definition": {
"canonicalization": {
"comments_in_semantic_digest": false,
"final_newline": true,
"integers": "MINIMAL_DECIMAL",
"line_end": "LF",
"list_order": "PRESERVE_SOURCE_SEMANTICS",
"object_keys": "UTF8_BYTE_ORDER",
"semantic_digest": "SHA256",
"strings": "JSON_ESCAPE_NO_OPTIONAL_ESCAPE"
},
"header": {
"bootstrap_seed": "TCS-COMPILER-STAGE5-VERIFIED-MODULE-INSTALL-0001",
"lifecycle": "CANDIDATE_COMPILER_SOURCE",
"name_zh": "TCS第六阶段宿主对象树观察编译器",
"output": "GIR/1",
"profile": "HLDP-NP/1",
"schema": "tcs.compiler/v1",
"version": "0.6.0"
},
"lexer_rules": {
"L001": {
"emit_error": "TCS-E0001",
"when": "BOM_AT_START"
},
"L002": {
"action": "SKIP_WITH_SOURCE_POSITION",
"when": "WHITESPACE_OR_COMMENT"
},
"L003": {
"action": "READ_JSON_ESCAPED_TEXT",
"on_unterminated": "TCS-E0002",
"when": "DOUBLE_QUOTE"
},
"L004": {
"action": "READ_SIGNED_DECIMAL_INT",
"on_overflow": "TCS-E2001",
"when": "MINUS_OR_ASCII_DIGIT"
},
"L005": {
"action": "READ_IDENTIFIER_OR_KEYWORD",
"when": "UNICODE_LETTER_OR_UNDERSCORE"
},
"L006": {
"action": "EMIT_PUNCTUATION_TOKEN",
"when": "REGISTERED_PUNCTUATION"
},
"L007": {
"emit_error": "TCS-E1001",
"when": "OTHER_CHARACTER"
}
},
"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"
}
},
"output_contract": {
"compiler_provenance_required": true,
"drifting_dependency": false,
"operation_registry_required": true,
"schema": "guanghu.gir/v1",
"target_must_be_exact": true,
"unresolved_authority": false,
"unresolved_natural_language": false
},
"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": {
"alternatives": [
"identifier_assignment",
"identifier_typed_assignment",
"identifier_block"
],
"nonterminal": "member"
},
"P006": {
"alternatives": [
"TEXT",
"INT",
"BOOL",
"NULL",
"IDENTIFIER",
"array",
"inline_object"
],
"nonterminal": "value"
},
"P007": {
"emit_error": "TCS-E1002",
"when": "DUPLICATE_MEMBER_IN_SAME_BLOCK"
},
"P008": {
"emit_error": "TCS-E1001",
"when": "TOKEN_AFTER_TOP_LEVEL_DECLARATION"
}
},
"program_validation": {
"V001": {
"error_missing": "TCS-E1004",
"error_unknown": "TCS-E1003",
"rule": "EXACT_REQUIRED_SECTIONS",
"standard": "TCS-FIELD-STANDARD-0001"
},
"V002": {
"error": "TCS-E1003",
"rule": "CLOSED_FIELDS_PER_SECTION"
},
"V003": {
"error": "TCS-E2002",
"rule": "ALL_INPUT_OUTPUT_AND_ACTION_REFS_RESOLVE"
},
"V004": {
"error": "TCS-E2101",
"rule": "ALL_OPERATIONS_REGISTERED_AT_LOCKED_VERSION"
},
"V005": {
"errors": [
"TCS-E3001",
"TCS-E3002"
],
"rule": "SOURCE_ID_URI_HASH_AND_ROLE_RESOLVE"
},
"V006": {
"errors": [
"TCS-E4001",
"TCS-E4002",
"TCS-E4003"
],
"rule": "SUBJECT_TARGET_AND_AUTHORITY_EXACT"
},
"V007": {
"error": "TCS-E2001",
"rule": "ACTION_GRAPH_REACHABLE_AND_TERMINATING"
},
"V008": {
"error": "TCS-E1004",
"rule": "FAILURE_STOP_CLEANUP_ROLLBACK_AND_RECEIPT_PRESENT"
},
"V009": {
"error": "TCS-E3002",
"rule": "NO_FORBIDDEN_RUNTIME_PLACEHOLDER"
},
"V010": {
"error": "TCS-E4001",
"rule": "RELATION_AND_EMOTION_DO_NOT_GRANT_AUTHORITY"
},
"V011": {
"error": "TCS-E3002",
"rule": "GENERIC_LOADER_INPUT_GIR_REGISTRY_ROOT_AND_HASHES_EXACT"
},
"V012": {
"error": "TCS-E2102",
"rule": "GENERIC_LOADER_DOES_NOT_CHANGE_CHILD_GIR_SEMANTICS"
},
"V013": {
"error": "TCS-E4001",
"rule": "UNSIGNED_CAPABILITY_REGISTRY_CANNOT_INSTALL_MOUNT_OR_EXECUTE"
},
"V014": {
"error": "TCS-E3002",
"rule": "EXACT_STATE_PRIMITIVE_REQUIRES_EXPECTED_PRIOR_AND_OPAQUE_NEXT_STATE"
},
"V015": {
"error": "TCS-E2102",
"rule": "CORE_MACHINE_PRIMITIVE_CANNOT_NAME_OR_INTERPRET_PRODUCT_DOMAIN"
},
"V016": {
"error": "TCS-E4001",
"rule": "MODULE_INSTALL_REQUIRES_SIGNED_REGISTRY_EXACT_PACKAGE_FILE_SET_AND_ABSENT_DESTINATION"
},
"V017": {
"error": "TCS-E2102",
"rule": "MODULE_INSTALL_CANNOT_MOUNT_ACTIVATE_OR_EXPAND_CAPABILITY"
},
"V018": {
"error": "TCS-E4001",
"rule": "HOST_OBJECT_OBSERVATION_IS_READ_ONLY_BOUNDED_NO_PROMPT_NO_ACTION_AND_EXACT_TARGET"
},
"operation_registries": [
"TCS-CORE-MACHINE-OPERATION-REGISTRY-0001",
"TCS-VERIFIED-MODULE-INSTALL-PRIMITIVE-0001",
"TCS-HOST-STRUCTURED-OBJECT-TREE-OBSERVATION-0001",
"TCS-LPM-DESKTOP-OPERATION-REGISTRY-0001",
"TCS-GENERIC-ACTION-GRAPH-LOADER-0001"
],
"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",
"CORE.OBSERVE_HOST_OBJECT_TREE",
"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"
],
"required_sections": [
"header",
"source",
"subject",
"target",
"inputs",
"outputs",
"conditions",
"actions",
"authority",
"resources",
"failure",
"stop",
"cleanup",
"rollback",
"receipt"
]
},
"self_host": {
"compiler_K_compiles_stage6_to": "compiler-L.gir",
"current_state": "SOURCE_NOT_YET_FIXED_POINT_VERIFIED",
"fixed_point": "SEMANTIC_SHA256_K_EQUALS_L",
"outside_target_test": "REQUIRED",
"parent_compiler": "TCS-COMPILER-STAGE5-VERIFIED-MODULE-INSTALL-0001",
"prompt_request_rejection_test": "REQUIRED",
"read_only_positive_or_permission_denied_test": "REQUIRED",
"stage5_compiles_stage6_to": "compiler-K.gir",
"stage5_disabled_test": "REQUIRED",
"write_or_action_request_rejection_test": "REQUIRED"
},
"semantic_types": {
"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",
"HostObjectTreeObservation"
],
"floating_point": "FORBIDDEN_V0_6",
"implicit_conversion": "FORBIDDEN",
"scalars": [
"Text",
"Bool",
"Int",
"UInt",
"DecimalText",
"Bytes",
"DurationMs",
"Timestamp",
"Sha256",
"NumberId",
"Path",
"Uri",
"ErrorCode"
]
},
"source_language": {
"comments": [
"LINE_COMMENT",
"BLOCK_COMMENT"
],
"declaration_kinds": [
"PROGRAM",
"MODULE",
"PROTOCOL",
"COMPILER",
"EVENT",
"RECEIPT"
],
"encoding": "UTF8_LF_NO_BOM",
"prologue": [
"TCS",
"VERSION",
"SEMICOLON"
],
"punctuation": [
"LBRACE",
"RBRACE",
"LBRACKET",
"RBRACKET",
"LESS",
"GREATER",
"COLON",
"EQUAL",
"COMMA",
"SEMICOLON",
"DOT"
],
"scalar_tokens": [
"IDENTIFIER",
"TEXT",
"INT",
"BOOL",
"NULL"
]
}
},
"execution_abi": "TCS-COMPILER-GIR-EXEC/1",
"identity": {
"compiler_id": "TCS-COMPILER-STAGE6-HOST-OBJECT-OBSERVATION-0001",
"definition_sha256": "35396e0063a9b71afb7f06b6a43e69c619c32b5b4baeb33ff817ea4f62cc76c2",
"language_version": "0.1"
},
"native_self_hosted": true,
"schema": "guanghu.compiler-gir/v1"
}

452
build/stage6/compiler-L.gir.json Normal file
View file

@ -0,0 +1,452 @@
{
"compiled_from": {
"compiler_id": "TCS-COMPILER-STAGE6-HOST-OBJECT-OBSERVATION-0001",
"compiler_state": "TCS_COMPILER_GIR_EXECUTED",
"source_sha256": "01763f3b5fbca1b7444e028b414fb66c40b5c1d203d43bee9a8216f396cbebbc"
},
"compiler_definition": {
"canonicalization": {
"comments_in_semantic_digest": false,
"final_newline": true,
"integers": "MINIMAL_DECIMAL",
"line_end": "LF",
"list_order": "PRESERVE_SOURCE_SEMANTICS",
"object_keys": "UTF8_BYTE_ORDER",
"semantic_digest": "SHA256",
"strings": "JSON_ESCAPE_NO_OPTIONAL_ESCAPE"
},
"header": {
"bootstrap_seed": "TCS-COMPILER-STAGE5-VERIFIED-MODULE-INSTALL-0001",
"lifecycle": "CANDIDATE_COMPILER_SOURCE",
"name_zh": "TCS第六阶段宿主对象树观察编译器",
"output": "GIR/1",
"profile": "HLDP-NP/1",
"schema": "tcs.compiler/v1",
"version": "0.6.0"
},
"lexer_rules": {
"L001": {
"emit_error": "TCS-E0001",
"when": "BOM_AT_START"
},
"L002": {
"action": "SKIP_WITH_SOURCE_POSITION",
"when": "WHITESPACE_OR_COMMENT"
},
"L003": {
"action": "READ_JSON_ESCAPED_TEXT",
"on_unterminated": "TCS-E0002",
"when": "DOUBLE_QUOTE"
},
"L004": {
"action": "READ_SIGNED_DECIMAL_INT",
"on_overflow": "TCS-E2001",
"when": "MINUS_OR_ASCII_DIGIT"
},
"L005": {
"action": "READ_IDENTIFIER_OR_KEYWORD",
"when": "UNICODE_LETTER_OR_UNDERSCORE"
},
"L006": {
"action": "EMIT_PUNCTUATION_TOKEN",
"when": "REGISTERED_PUNCTUATION"
},
"L007": {
"emit_error": "TCS-E1001",
"when": "OTHER_CHARACTER"
}
},
"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"
}
},
"output_contract": {
"compiler_provenance_required": true,
"drifting_dependency": false,
"operation_registry_required": true,
"schema": "guanghu.gir/v1",
"target_must_be_exact": true,
"unresolved_authority": false,
"unresolved_natural_language": false
},
"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": {
"alternatives": [
"identifier_assignment",
"identifier_typed_assignment",
"identifier_block"
],
"nonterminal": "member"
},
"P006": {
"alternatives": [
"TEXT",
"INT",
"BOOL",
"NULL",
"IDENTIFIER",
"array",
"inline_object"
],
"nonterminal": "value"
},
"P007": {
"emit_error": "TCS-E1002",
"when": "DUPLICATE_MEMBER_IN_SAME_BLOCK"
},
"P008": {
"emit_error": "TCS-E1001",
"when": "TOKEN_AFTER_TOP_LEVEL_DECLARATION"
}
},
"program_validation": {
"V001": {
"error_missing": "TCS-E1004",
"error_unknown": "TCS-E1003",
"rule": "EXACT_REQUIRED_SECTIONS",
"standard": "TCS-FIELD-STANDARD-0001"
},
"V002": {
"error": "TCS-E1003",
"rule": "CLOSED_FIELDS_PER_SECTION"
},
"V003": {
"error": "TCS-E2002",
"rule": "ALL_INPUT_OUTPUT_AND_ACTION_REFS_RESOLVE"
},
"V004": {
"error": "TCS-E2101",
"rule": "ALL_OPERATIONS_REGISTERED_AT_LOCKED_VERSION"
},
"V005": {
"errors": [
"TCS-E3001",
"TCS-E3002"
],
"rule": "SOURCE_ID_URI_HASH_AND_ROLE_RESOLVE"
},
"V006": {
"errors": [
"TCS-E4001",
"TCS-E4002",
"TCS-E4003"
],
"rule": "SUBJECT_TARGET_AND_AUTHORITY_EXACT"
},
"V007": {
"error": "TCS-E2001",
"rule": "ACTION_GRAPH_REACHABLE_AND_TERMINATING"
},
"V008": {
"error": "TCS-E1004",
"rule": "FAILURE_STOP_CLEANUP_ROLLBACK_AND_RECEIPT_PRESENT"
},
"V009": {
"error": "TCS-E3002",
"rule": "NO_FORBIDDEN_RUNTIME_PLACEHOLDER"
},
"V010": {
"error": "TCS-E4001",
"rule": "RELATION_AND_EMOTION_DO_NOT_GRANT_AUTHORITY"
},
"V011": {
"error": "TCS-E3002",
"rule": "GENERIC_LOADER_INPUT_GIR_REGISTRY_ROOT_AND_HASHES_EXACT"
},
"V012": {
"error": "TCS-E2102",
"rule": "GENERIC_LOADER_DOES_NOT_CHANGE_CHILD_GIR_SEMANTICS"
},
"V013": {
"error": "TCS-E4001",
"rule": "UNSIGNED_CAPABILITY_REGISTRY_CANNOT_INSTALL_MOUNT_OR_EXECUTE"
},
"V014": {
"error": "TCS-E3002",
"rule": "EXACT_STATE_PRIMITIVE_REQUIRES_EXPECTED_PRIOR_AND_OPAQUE_NEXT_STATE"
},
"V015": {
"error": "TCS-E2102",
"rule": "CORE_MACHINE_PRIMITIVE_CANNOT_NAME_OR_INTERPRET_PRODUCT_DOMAIN"
},
"V016": {
"error": "TCS-E4001",
"rule": "MODULE_INSTALL_REQUIRES_SIGNED_REGISTRY_EXACT_PACKAGE_FILE_SET_AND_ABSENT_DESTINATION"
},
"V017": {
"error": "TCS-E2102",
"rule": "MODULE_INSTALL_CANNOT_MOUNT_ACTIVATE_OR_EXPAND_CAPABILITY"
},
"V018": {
"error": "TCS-E4001",
"rule": "HOST_OBJECT_OBSERVATION_IS_READ_ONLY_BOUNDED_NO_PROMPT_NO_ACTION_AND_EXACT_TARGET"
},
"operation_registries": [
"TCS-CORE-MACHINE-OPERATION-REGISTRY-0001",
"TCS-VERIFIED-MODULE-INSTALL-PRIMITIVE-0001",
"TCS-HOST-STRUCTURED-OBJECT-TREE-OBSERVATION-0001",
"TCS-LPM-DESKTOP-OPERATION-REGISTRY-0001",
"TCS-GENERIC-ACTION-GRAPH-LOADER-0001"
],
"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",
"CORE.OBSERVE_HOST_OBJECT_TREE",
"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"
],
"required_sections": [
"header",
"source",
"subject",
"target",
"inputs",
"outputs",
"conditions",
"actions",
"authority",
"resources",
"failure",
"stop",
"cleanup",
"rollback",
"receipt"
]
},
"self_host": {
"compiler_K_compiles_stage6_to": "compiler-L.gir",
"current_state": "SOURCE_NOT_YET_FIXED_POINT_VERIFIED",
"fixed_point": "SEMANTIC_SHA256_K_EQUALS_L",
"outside_target_test": "REQUIRED",
"parent_compiler": "TCS-COMPILER-STAGE5-VERIFIED-MODULE-INSTALL-0001",
"prompt_request_rejection_test": "REQUIRED",
"read_only_positive_or_permission_denied_test": "REQUIRED",
"stage5_compiles_stage6_to": "compiler-K.gir",
"stage5_disabled_test": "REQUIRED",
"write_or_action_request_rejection_test": "REQUIRED"
},
"semantic_types": {
"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",
"HostObjectTreeObservation"
],
"floating_point": "FORBIDDEN_V0_6",
"implicit_conversion": "FORBIDDEN",
"scalars": [
"Text",
"Bool",
"Int",
"UInt",
"DecimalText",
"Bytes",
"DurationMs",
"Timestamp",
"Sha256",
"NumberId",
"Path",
"Uri",
"ErrorCode"
]
},
"source_language": {
"comments": [
"LINE_COMMENT",
"BLOCK_COMMENT"
],
"declaration_kinds": [
"PROGRAM",
"MODULE",
"PROTOCOL",
"COMPILER",
"EVENT",
"RECEIPT"
],
"encoding": "UTF8_LF_NO_BOM",
"prologue": [
"TCS",
"VERSION",
"SEMICOLON"
],
"punctuation": [
"LBRACE",
"RBRACE",
"LBRACKET",
"RBRACKET",
"LESS",
"GREATER",
"COLON",
"EQUAL",
"COMMA",
"SEMICOLON",
"DOT"
],
"scalar_tokens": [
"IDENTIFIER",
"TEXT",
"INT",
"BOOL",
"NULL"
]
}
},
"execution_abi": "TCS-COMPILER-GIR-EXEC/1",
"identity": {
"compiler_id": "TCS-COMPILER-STAGE6-HOST-OBJECT-OBSERVATION-0001",
"definition_sha256": "35396e0063a9b71afb7f06b6a43e69c619c32b5b4baeb33ff817ea4f62cc76c2",
"language_version": "0.1"
},
"native_self_hosted": true,
"schema": "guanghu.compiler-gir/v1"
}