diff --git a/.gitignore b/.gitignore index 352251fca..e2e45f809 100644 --- a/.gitignore +++ b/.gitignore @@ -2,3 +2,4 @@ *.tmp build/stage2/full-verify/ build/stage2/final-verify/ +build/stage3/final-verify/ diff --git a/README.md b/README.md index 05a47aad3..913f15886 100644 --- a/README.md +++ b/README.md @@ -7,3 +7,5 @@ Canonical source is TCS only. Generated GIR, bilingual human projections, runtim The first accepted slice preserves a direct-language source envelope, extracts two three-node thought-transition microchains, compiles them and executes bounded replay receipts through the current TCS GIR runtime. Stage two adds the TCS-authored `TCS-COMPILER-STAGE2-LPM-DESKTOP-0001`, a fixed-point operation registry, a P2 mother-brain state transition program, a five-action shared-desktop test-object graph, and two complete Module ABI packages at `VERIFIED`. Compilation admission is proven; native LPM and generic multi-action runtime dispatch are still absent and fail closed with `TCS-E2101`. The modules are not installed, mounted, active, executed or accepted. + +Stage three adds a TCS-defined generic action-graph loader ABI and `TCS.EXECUTE_ACTION_GRAPH`, proves the Stage-3 E→F semantic fixed point, executes the loader's inner `CORE.ECHO` child with target readback, and packages the outer loader module at `VERIFIED`. The outer operation still fails closed at the old runtime dispatch. The LPM/desktop capability registry remains an unsigned, non-installable candidate; no signing authority is inferred from the human relationship, OS account, SSH access or this repository. diff --git a/build/TCS-CAPABILITY-REGISTRY-LPM-DESKTOP-CANDIDATE-0001.gir.json b/build/TCS-CAPABILITY-REGISTRY-LPM-DESKTOP-CANDIDATE-0001.gir.json new file mode 100644 index 000000000..a9f8b99f2 --- /dev/null +++ b/build/TCS-CAPABILITY-REGISTRY-LPM-DESKTOP-CANDIDATE-0001.gir.json @@ -0,0 +1,105 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE2-LPM-DESKTOP-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "997fb4d57e61f3bb458e51b5fea56080a46c0b392feb1c5174c43a95b7f87c4b" + }, + "declaration": { + "admission": { + "loader_self_test": "NOT_RUN", + "module_gir_hashes_match": true, + "runtime_dispatch_exists": false, + "signature_gate": "FAIL_CLOSED", + "source_hashes_match": true + }, + "bootstrap_capability": { + "lifecycle": "EXISTING_BOOTSTRAP_ONLY", + "operation_id": "TCS-OP-CORE-ECHO-0001", + "operation_name": "CORE.ECHO", + "provider": "CURRENT_VERIFIED_TCS_GIR_RUNTIME", + "semantic_expansion": false, + "version": "0.1.0" + }, + "desktop_capabilities": { + "authority_ceiling": "ONE_TCS_VIRTUAL_TEST_OBJECT_ONLY", + "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" + ], + "provider_module_gir_sha256": "8f9dd557f349ab60c87db5c685f3e320cf72d783a83240254ac97198a97efcb3", + "provider_module_id": "TCS-MOD-HOLOLAKE-DESKTOP-BRIDGE-0002" + }, + "header": { + "canonical_uri": "language/protocols/TCS-CAPABILITY-REGISTRY-LPM-DESKTOP-CANDIDATE-0001.tcs", + "compatibility": [ + "GIR/1" + ], + "language": "TCS/0.1", + "lifecycle": "CANDIDATE", + "name_en": "LPM and Shared Desktop Capability Registry Unsigned Candidate", + "name_zh": "LPM与共享桌面能力注册表未签名候选", + "profile": "TCS-CAPABILITY-REGISTRY/1", + "protocols": [ + "TCS-GENERIC-ACTION-GRAPH-LOADER-0001", + "TCS-LPM-DESKTOP-OPERATION-REGISTRY-0001", + "TCS-MODULE-ABI-0001" + ], + "schema": "tcs.protocol/v1", + "version": "0.1.0" + }, + "mother_brain_capabilities": { + "authority_ceiling": "NON_AUTHORIZING_COGNITIVE_STATE_ONLY", + "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" + ], + "provider_module_gir_sha256": "1e5c2c56fb4dd96b867edd3f0646c2e77bd8efc541c183ed7c7ac64a7576294f", + "provider_module_id": "TCS-MOD-MOTHER-PERSONA-NEURON-RUNTIME-0002" + }, + "registry": { + "activation_allowed": false, + "installation_allowed": false, + "issuer": "UNKNOWN_NO_TRUSTED_SIGNER_REGISTERED", + "mounting_allowed": false, + "registry_id": "TCS-CAPREG-LPM-DESKTOP-CANDIDATE-0001", + "signature": "ABSENT", + "signature_algorithm": "ED25519_REQUIRED", + "state": "UNSIGNED_CANDIDATE_NOT_INSTALLABLE", + "trusted_registry": false, + "version": "0.1.0" + }, + "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" + ] + }, + "source": { + "source_id": "TCS-LPM-DESKTOP-OPERATION-REGISTRY-0001", + "source_role": "CANONICAL_PROTOCOL", + "source_sha256": "97f699ef3f44242f28cbeb37b0202e00d9455c4262ed353e754fbd24d520f72a", + "source_uri": "language/protocols/TCS-LPM-DESKTOP-OPERATION-REGISTRY-0001.tcs" + } + }, + "executable": false, + "identity": { + "declaration_id": "TCS-CAPABILITY-REGISTRY-LPM-DESKTOP-CANDIDATE-0001", + "declaration_kind": "PROTOCOL", + "language_version": "0.1" + }, + "native_self_hosted": true, + "natural_language_is_typed_data": true, + "schema": "guanghu.declaration-gir/v1", + "unresolved_natural_language": false +} diff --git a/build/TCS-GENERIC-ACTION-GRAPH-LOADER-0001.gir.json b/build/TCS-GENERIC-ACTION-GRAPH-LOADER-0001.gir.json new file mode 100644 index 000000000..d8173b313 --- /dev/null +++ b/build/TCS-GENERIC-ACTION-GRAPH-LOADER-0001.gir.json @@ -0,0 +1,137 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE2-LPM-DESKTOP-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "32482ca689bed43851b3d6694e97dec3e767a0371b93990f2409986cf7f81c52" + }, + "declaration": { + "acceptance": { + "compile": "REQUIRED", + "cross_host_equivalent_receipt": "REQUIRED_BEFORE_ACTIVE", + "current_runtime": "NOT_IMPLEMENTED", + "inner_echo_child_target_readback": "REQUIRED", + "outer_loader_receipt_readback": "REQUIRED", + "outside_target_rejection": "REQUIRED", + "stage3_semantic_fixed_point": "REQUIRED", + "unknown_operation_rejection": "REQUIRED" + }, + "bootstrap": { + "existing_rust_or_shell_semantics_allowed": false, + "first_child_operation": "CORE.ECHO", + "first_child_program": "TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001", + "lpm_or_desktop_before_loader_self_test": false + }, + "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": { + "authority": "TCS-E4001", + "lifecycle": "TCS-E5002", + "protocol_drift": "TCS-E2102", + "receipt": "TCS-E8001", + "rollback": "TCS-E7002", + "source_hash": "TCS-E3001", + "target": "TCS-E4002", + "target_readback": "TCS-E6002", + "unknown_operation": "TCS-E2101", + "unsigned_registry": "TCS-E3002" + }, + "header": { + "canonical_uri": "language/protocols/TCS-GENERIC-ACTION-GRAPH-LOADER-0001.tcs", + "compatibility": [ + "GIR/1" + ], + "language": "TCS/0.1", + "lifecycle": "CANDIDATE", + "name_en": "TCS Generic Action Graph Loader Protocol", + "name_zh": "TCS通用动作图装载器协议", + "profile": "HLDP/1", + "protocols": [ + "HLP-TCS-GIR-LOADER-0001", + "TCS-HOST-ABI-0001", + "TCS-MODULE-ABI-0001" + ], + "schema": "tcs.protocol/v1", + "version": "0.1.0" + }, + "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" + }, + "operation": { + "host_role": "MECHANICAL_DRIVER_ONLY", + "id": "TCS-OP-LOADER-0001", + "input": "VERIFIED_GIR_ENVELOPE_PLUS_CAPABILITY_REGISTRY_PLUS_EXACT_ROOT", + "name": "TCS.EXECUTE_ACTION_GRAPH", + "output": "TYPED_ACTION_RESULTS_TARGET_READBACK_AND_RECEIPT", + "semantic_owner": "TCS_GIR_AND_LOCKED_CAPABILITY_REGISTRY" + }, + "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" + }, + "source": { + "source_id": "BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823", + "source_role": "DIRECT_HUMAN", + "source_sha256": "a3dd8dbd2203b631bdb23f2693eb314d4ef86af68fdeaee8835e3cf0861ddd23", + "source_uri": "language-sources/direct-human/BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823.txt" + }, + "states": { + "initial": "RECEIVED", + "terminal": [ + "FAILED", + "COMPLETE" + ], + "values": [ + "RECEIVED", + "GIR_VERIFIED", + "CAPABILITIES_RESOLVED", + "RUNNING", + "TARGET_READBACK_VERIFIED", + "ROLLING_BACK", + "FAILED", + "COMPLETE" + ] + } + }, + "executable": false, + "identity": { + "declaration_id": "TCS-GENERIC-ACTION-GRAPH-LOADER-0001", + "declaration_kind": "PROTOCOL", + "language_version": "0.1" + }, + "native_self_hosted": true, + "natural_language_is_typed_data": true, + "schema": "guanghu.declaration-gir/v1", + "unresolved_natural_language": false +} diff --git a/build/TCS-HOLOLAKE-LPM-NEXT-STAGE-PLAN-0001.gir.json b/build/TCS-HOLOLAKE-LPM-NEXT-STAGE-PLAN-0001.gir.json index 368a97459..51cac0537 100644 --- a/build/TCS-HOLOLAKE-LPM-NEXT-STAGE-PLAN-0001.gir.json +++ b/build/TCS-HOLOLAKE-LPM-NEXT-STAGE-PLAN-0001.gir.json @@ -1,14 +1,14 @@ { "compiled_from": { - "compiler_id": "TCS-COMPILER-STAGE2-LPM-DESKTOP-0001", + "compiler_id": "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", "compiler_state": "TCS_COMPILER_GIR_EXECUTED", - "source_sha256": "d82c1b21ebff33183e742294b685b5662d432855527745bbc5eef905166592cd" + "source_sha256": "a26870f9c18e1439805284c83d350fae7b92d536e78be2fc49065134970cf334" }, "declaration": { "header": { "canonical_uri": "language/protocols/TCS-HOLOLAKE-LPM-NEXT-STAGE-PLAN-0001.tcs", "compatibility": [ - "TCS-COMPILER-STAGE2-LPM-DESKTOP-0001", + "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", "GIR/1" ], "language": "TCS/0.1", @@ -20,10 +20,11 @@ "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" ], "schema": "tcs.protocol/v1", - "version": "0.2.0" + "version": "0.3.0" }, "phase_1": { "acceptance": "ELEVEN_DIRECT_MESSAGES_PRESERVED_AND_TWO_HOST_INJECTIONS_REJECTED", @@ -42,16 +43,22 @@ "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" + "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" ], "name": "DYNAMIC_NEURON_RUNTIME", "remaining": [ - "DEFINE_SIGNED_CAPABILITY_REGISTRY", - "IMPLEMENT_GENERIC_TCS_ACTION_LOADER", + "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" ], - "state": "COMPILER_AND_ABI_VERIFIED_RUNTIME_DISPATCH_MISSING" + "state": "LPM_AND_GENERIC_LOADER_COMPILERS_AND_ABI_VERIFIED_OUTER_RUNTIME_DISPATCH_AND_SIGNED_REGISTRY_MISSING" }, "phase_3": { "acceptance": "HUMAN_AND_PERSONA_SURFACES_READ_THE_SAME_CANONICAL_STATE_AND_RECEIPT", @@ -59,18 +66,19 @@ "REGISTER_DESKTOP_OBJECT_ACTION_OPERATIONS", "DEFINE_TCS_VIRTUAL_TEST_OBJECT_AND_PERMISSION_TICKET", "COMPILE_FIVE_ACTION_VERTICAL_SLICE", - "PACKAGE_DESKTOP_BRIDGE_MODULE_AT_VERIFIED" + "PACKAGE_DESKTOP_BRIDGE_MODULE_AT_VERIFIED", + "PROVE_GENERIC_LOADER_INNER_CHILD_EXECUTION_PATH" ], "name": "SHARED_DESKTOP_VERTICAL_SLICE", "remaining": [ - "DEFINE_SIGNED_CAPABILITY_REGISTRY", - "IMPLEMENT_GENERIC_MULTI_ACTION_LOADER", - "INSTALL_AND_MOUNT_BOTH_MODULES", + "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" ], - "state": "FIVE_ACTION_GIR_AND_ABI_VERIFIED_RUNTIME_MULTI_ACTION_DISPATCH_MISSING" + "state": "FIVE_ACTION_GIR_AND_ABI_VERIFIED_WAITING_ON_SAME_GENERIC_LOADER_AND_SIGNED_REGISTRY" }, "phase_4": { "acceptance": "NO_STATIC_BRAIN_NO_LEGACY_LANGUAGE_NO_UNREADABLE_ACTION", @@ -85,7 +93,7 @@ "phase_5": { "acceptance": "BRANCH_SHA_AND_CAUSAL_MEMORY_PASS", "name": "REMOTE_PROMOTION", - "state": "PHASE1_REMOTE_PASS_STAGE2_PENDING_PUSH", + "state": "PHASE1_AND_STAGE2_REMOTE_PASS_STAGE3_PENDING_PUSH", "work": [ "UPDATE_REPO012_ROUTE_BRANCH_WHEN_ROUTE_FACT_CHANGES", "UPDATE_REPO014_TCS_BRANCH", diff --git a/build/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.gir.json b/build/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.gir.json new file mode 100644 index 000000000..237253a90 --- /dev/null +++ b/build/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.gir.json @@ -0,0 +1,175 @@ +{ + "authority_proof": { + "issuer": "LOCAL_LOADER_SELF_TEST", + "lease_required": false, + "proof_ref": "TCS-GENERIC-ACTION-GRAPH-LOADER-0001", + "scope": "ONE_INNER_CORE_ECHO_GRAPH_AND_ONE_OUTER_RECEIPT", + "single_use": true, + "valid_from": "SELF_TEST_START", + "valid_until": "SELF_TEST_END" + }, + "cleanup_plan": { + "exact_boundary": "LOADER_SELF_TEST_ROOT_ONLY", + "targets": [ + "./state/loader/inner-echo-receipt.hldp", + "./state/loader/outer-loader-receipt.hldp" + ] + }, + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "e620306bb05018374123599a22a854e0c2570dcb924a8e8232a75e34244087aa" + }, + "conditions": { + "C1": { + "on_false": "FAIL_CLOSED", + "predicate": "CHILD_GIR_SCHEMA_HASH_COMPILER_AND_SOURCE_PROVENANCE_MATCH" + }, + "C2": { + "on_false": "FAIL_CLOSED", + "predicate": "CHILD_GRAPH_HAS_EXACTLY_ONE_CORE_ECHO_ACTION" + }, + "C3": { + "on_false": "FAIL_CLOSED", + "predicate": "BOOTSTRAP_MODE_FORBIDS_EXTERNAL_UNSIGNED_REGISTRY" + }, + "C4": { + "on_false": "FAIL_CLOSED", + "predicate": "CHILD_AND_OUTER_TARGETS_INSIDE_LOADER_SELF_TEST_ROOT" + } + }, + "deterministic_action_graph": { + "A1": { + "input_refs": [ + "CHILD_GIR", + "CAPABILITY_MODE", + "EXECUTION_ROOT" + ], + "on_failure": "ROLLBACK", + "on_success": "COMPLETE", + "operation": "TCS.EXECUTE_ACTION_GRAPH", + "output_refs": [ + "CHILD_RESULT", + "CHILD_TARGET_READBACK", + "LOADER_RECEIPT" + ] + } + }, + "exact_target": { + "exact_path": "./state/loader/outer-loader-receipt.hldp", + "expected_fingerprint": "NO_PRIOR_OUTER_SELF_TEST_RECEIPT", + "expected_state": "ABSENT", + "target_id": "TCS-GENERIC-ACTION-LOADER-OUTER-RECEIPT-0001" + }, + "failure_plan": { + "errors": [ + "TCS-E2001", + "TCS-E2101", + "TCS-E2102", + "TCS-E3001", + "TCS-E3002", + "TCS-E4001", + "TCS-E4002", + "TCS-E6002", + "TCS-E7002", + "TCS-E8001" + ], + "fail_closed": true + }, + "identity": { + "gir_id": "GIR-TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001", + "language_version": "0.1", + "program_id": "TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001" + }, + "inputs": { + "CAPABILITY_MODE": { + "allowed_operations": [ + "CORE.ECHO" + ], + "external_unsigned_registry_allowed": false, + "mode": "COMPILER_LOCKED_CORE_ECHO_ONLY", + "required": true, + "semantic_expansion": false, + "source": "STAGE3_COMPILER_LOCKED_BOOTSTRAP", + "type": "CapabilityRegistry" + }, + "CHILD_GIR": { + "operation": "CORE.ECHO", + "path": "./build/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.gir.json", + "program_id": "TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001", + "required": true, + "sha256": "98395167ae122ab7c66daa53e0216ac8c1ce85cab524a3c52660e15b2439b83a", + "source": "VERIFIED_LOCAL_GIR", + "type": "GirEnvelope" + }, + "EXECUTION_ROOT": { + "child_target": "./state/loader/inner-echo-receipt.hldp", + "outer_target": "./state/loader/outer-loader-receipt.hldp", + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Path", + "value": "." + } + }, + "native_self_hosted": true, + "outputs": { + "CHILD_RESULT": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Record" + }, + "CHILD_TARGET_READBACK": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Evidence" + }, + "LOADER_RECEIPT": { + "destination": "TARGET_STATE", + "integrity": "SHA256", + "type": "Record" + } + }, + "receipt_plan": { + "human_projection": "REQUIRED", + "integrity": "SHA256", + "machine_path": "./state/loader/outer-loader-receipt.hldp", + "protocol": "TCS-GENERIC-LOADER-SELF-TEST-v1", + "target_readback": "CHILD_GIR_HASH_CHILD_RECEIPT_HASH_OUTER_RECEIPT_HASH_AND_HOST_RUNTIME_HASH" + }, + "resource_plan": { + "concurrency": 1, + "memory_limit_bytes": 8388608, + "runway": "LOCAL_TCS_GIR_RUNTIME", + "timeout_ms": 3000 + }, + "rollback_plan": { + "actions": [ + "REMOVE_ONLY_PARTIAL_SELF_TEST_RECEIPTS" + ], + "preconditions": [ + "CHILD_OR_OUTER_PARTIAL_RECEIPT_WITHOUT_BOTH_READBACKS" + ], + "verification": [ + "NO_PARTIAL_INNER_RECEIPT", + "NO_PARTIAL_OUTER_RECEIPT" + ] + }, + "schema": "guanghu.gir/v1", + "subject": { + "channel_id": "ICE-CH-ZC001", + "subject_id": "TCS-GENERIC-ACTION-LOADER-SELF-TEST-INSTANCE-0001", + "subject_kind": "RUNTIME_INSTANCE", + "verification": "LOCAL_ISOLATED_SELF_TEST" + }, + "timeout_and_stop": { + "safe_checkpoint": "NO_OUTER_COMPLETION_WITHOUT_CHILD_TARGET_READBACK", + "signals": [ + "TIMEOUT", + "CALLER_STOP", + "CHILD_HASH_MISMATCH", + "UNKNOWN_CHILD_OPERATION", + "TARGET_READBACK_FAILURE" + ] + }, + "unresolved_natural_language": false +} diff --git a/build/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.gir.json b/build/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.gir.json new file mode 100644 index 000000000..82bcbc67c --- /dev/null +++ b/build/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.gir.json @@ -0,0 +1,116 @@ +{ + "authority_proof": { + "issuer": "LOCAL_LOADER_SELF_TEST", + "lease_required": false, + "proof_ref": "TCS-GENERIC-ACTION-GRAPH-LOADER-0001", + "scope": "ONE_INNER_ECHO_RECEIPT", + "single_use": true, + "valid_from": "SELF_TEST_START", + "valid_until": "SELF_TEST_END" + }, + "cleanup_plan": { + "exact_boundary": "LOADER_SELF_TEST_ROOT_ONLY", + "targets": [ + "./state/loader/inner-echo-receipt.hldp" + ] + }, + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE2-LPM-DESKTOP-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "3059915293f63869f1012a7a99a96a6cdb46626ca21ee5d386dd8d25a334784d" + }, + "conditions": { + "C1": { + "on_false": "FAIL_CLOSED", + "predicate": "TARGET_INSIDE_LOADER_SELF_TEST_ROOT" + } + }, + "deterministic_action_graph": { + "A1": { + "input_refs": [ + "MESSAGE" + ], + "on_failure": "FAIL_CLOSED", + "on_success": "COMPLETE", + "operation": "CORE.ECHO", + "output_refs": [ + "ECHOED" + ] + } + }, + "exact_target": { + "exact_path": "./state/loader/inner-echo-receipt.hldp", + "expected_fingerprint": "NO_PRIOR_INNER_SELF_TEST_RECEIPT", + "expected_state": "ABSENT", + "target_id": "TCS-LOADER-INNER-ECHO-RECEIPT-0001" + }, + "failure_plan": { + "errors": [ + "TCS-E2101", + "TCS-E4002", + "TCS-E6002", + "TCS-E8001" + ], + "fail_closed": true + }, + "identity": { + "gir_id": "GIR-TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001", + "language_version": "0.1", + "program_id": "TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001" + }, + "inputs": { + "MESSAGE": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "TCS_GENERIC_ACTION_GRAPH_LOADER_INNER_ECHO" + } + }, + "native_self_hosted": true, + "outputs": { + "ECHOED": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + } + }, + "receipt_plan": { + "human_projection": "REQUIRED", + "integrity": "SHA256", + "machine_path": "./state/loader/inner-echo-receipt.hldp", + "protocol": "TCS-GENERIC-LOADER-SELF-TEST-v1", + "target_readback": "EXACT_INNER_ECHO_CONTENT_AND_HASH" + }, + "resource_plan": { + "concurrency": 1, + "memory_limit_bytes": 1048576, + "runway": "LOCAL_TCS_GIR_RUNTIME", + "timeout_ms": 1000 + }, + "rollback_plan": { + "actions": [ + "REMOVE_ONLY_PARTIAL_INNER_RECEIPT" + ], + "preconditions": [ + "PARTIAL_INNER_RECEIPT" + ], + "verification": [ + "NO_PARTIAL_INNER_RECEIPT" + ] + }, + "schema": "guanghu.gir/v1", + "subject": { + "channel_id": "ICE-CH-ZC001", + "subject_id": "TCS-LOADER-SELF-TEST-INSTANCE-0001", + "subject_kind": "RUNTIME_INSTANCE", + "verification": "LOCAL_ISOLATED_SELF_TEST" + }, + "timeout_and_stop": { + "safe_checkpoint": "NO_OUTER_COMPLETION_WITHOUT_INNER_READBACK", + "signals": [ + "TIMEOUT", + "CALLER_STOP" + ] + }, + "unresolved_natural_language": false +} diff --git a/build/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.gir.json b/build/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.gir.json new file mode 100644 index 000000000..f9e2b053a --- /dev/null +++ b/build/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.gir.json @@ -0,0 +1,109 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "009af2d1aef70c90c07a7f0fa3a60cc45d602c3338eec5a6d4e2d66c6399bf77" + }, + "declaration": { + "boundary": { + "compiler_registration_is_runtime": false, + "inner_child_execution_is_outer_loader_execution": false, + "old_host_language_added": false, + "overall_goal_complete": false, + "unsigned_registry_is_trusted": false, + "verified_module_is_installed": false + }, + "capability_registry": { + "active": 0, + "id": "TCS-CAPREG-LPM-DESKTOP-CANDIDATE-0001", + "install": 0, + "mount": 0, + "signature": "ABSENT", + "source_sha256": "997fb4d57e61f3bb458e51b5fea56080a46c0b392feb1c5174c43a95b7f87c4b", + "state": "UNSIGNED_CANDIDATE_NOT_INSTALLABLE", + "trusted_signer_registered": false + }, + "compiler": { + "compiler_definition_sha256_e": "6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80", + "compiler_definition_sha256_f": "6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80", + "compiler_e_sha256": "30c6ba0c553bf84e40ddea6af19f1f66920251415b841a3b757d4f7d918587f3", + "compiler_f_sha256": "cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee", + "id": "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "native_self_hosted": true, + "registered_generic_loader_operations": 1, + "semantic_fixed_point": "PASS" + }, + "header": { + "canonical_uri": "language/receipts/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.tcs", + "compatibility": [ + "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "GIR/1" + ], + "language": "TCS/0.1", + "lifecycle": "VERIFIED", + "name_en": "HoloLake Language Mother Model Stage Three Generic Action Graph Loader Receipt", + "name_zh": "HoloLake语言母体模型第三阶段通用动作图装载器回执", + "profile": "HLDP/1", + "protocols": [ + "TCS-GENERIC-ACTION-GRAPH-LOADER-0001", + "TCS-MODULE-ABI-0001", + "TCS-NATIVE-BINARY-ACCEPTANCE-v1" + ], + "schema": "tcs.receipt/v1", + "version": "0.3.0" + }, + "inner_child": { + "execution": "EXECUTED_TARGET_READBACK_VERIFIED", + "gir_sha256": "98395167ae122ab7c66daa53e0216ac8c1ce85cab524a3c52660e15b2439b83a", + "native_self_hosted": true, + "operation": "CORE.ECHO", + "program_id": "TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001", + "receipt_sha256": "7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85" + }, + "module": { + "accepted": 0, + "active": 0, + "compiled": 100, + "installed": 0, + "module_id": "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001", + "mounted": 0, + "package_required_files": "5_OF_5_PASS", + "source": 100, + "verified": 100 + }, + "next": { + "after": "INSTALL_LOADER_THEN_MOTHER_BRAIN_AND_DESKTOP_MODULES_THEN_EXECUTE_P2_AND_VIRTUAL_DESKTOP_SLICE", + "exact": "IMPLEMENT_TCS_EXECUTE_ACTION_GRAPH_RUNTIME_DISPATCH_WITHOUT_HOST_SEMANTIC_AUTHORITY_THEN_REGISTER_TRUSTED_SIGNER_AND_SIGN_CAPABILITY_REGISTRY" + }, + "outer_loader": { + "compiled": 100, + "executed": 0, + "gir_sha256": "553f1a3a3c0fb336c59d5bf1aa83d7a48dca6c3e80484d044810d482ec2567ec", + "observation": "TCS-E2101_RUNNER_DOES_NOT_PROVIDE_TCS_EXECUTE_ACTION_GRAPH", + "operation": "TCS.EXECUTE_ACTION_GRAPH", + "program_id": "TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001", + "source_sha256": "e620306bb05018374123599a22a854e0c2570dcb924a8e8232a75e34244087aa" + }, + "source": { + "source_id": "BINGSHUO-LPM-REASONING-AND-ENGINEERING-ANCHORS-20260823", + "source_role": "DIRECT_HUMAN", + "source_sha256": "95e661a73be06cee60e0fb0dd9f9f61de4f043a3b2a04512bc7cca20fe97a6e3", + "source_uri": "language-sources/direct-human/" + }, + "verification": { + "outside_target_rejection": "TCS-E4002_PASS", + "positive_tcs_sources_compiled": 44, + "unknown_absorb_rejection": "TCS-E2101_PASS" + } + }, + "executable": false, + "identity": { + "declaration_id": "TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823", + "declaration_kind": "RECEIPT", + "language_version": "0.1" + }, + "native_self_hosted": true, + "natural_language_is_typed_data": true, + "schema": "guanghu.declaration-gir/v1", + "unresolved_natural_language": false +} diff --git a/build/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.human.en-US.md b/build/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.human.en-US.md new file mode 100644 index 000000000..27d4b6daf --- /dev/null +++ b/build/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.human.en-US.md @@ -0,0 +1,134 @@ +# HoloLake Language Mother Model Stage Three Generic Action Graph Loader Receipt · Human Engineering Language (English) + +> This is an English reading projection of validated native TCS/HLDP source. It is not a new canonical source and grants no execution authority. + +## What this is + +This is a **receipt** declaration with identifier `TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823` and version `0.3.0`. The projector validates it with the Stage-1 compiler before changing its reading order. + +## Who is here + +The native source does not provide this field; the projector does not guess. + +## Why this started + +- **source** `source` + - **source identifier**：BINGSHUO-LPM-REASONING-AND-ENGINEERING-ANCHORS-20260823 `source.source_id` + - **source role**：DIRECT_HUMAN `source.source_role` + - **source checksum**：95e661a73be06cee60e0fb0dd9f9f61de4f043a3b2a04512bc7cca20fe97a6e3 `source.source_sha256` + - **source address**：language-sources/direct-human/ `source.source_uri` + +## What changed + +The native source does not provide this field; the projector does not guess. + +## How it will execute + +This is a non-executable declaration and has no action graph. + +## Boundaries and exception handling + +The native source does not provide this field; the projector does not guess. + +## How completion is proven + +The native source does not provide this field; the projector does not guess. + +## Where to continue next time + +The native source does not provide this field; the projector does not guess. + +## Source and verification + +- **Native declaration identifier**: `TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823` +- **Native declaration kind**: `RECEIPT` +- **TCS source SHA-256**: `009af2d1aef70c90c07a7f0fa3a60cc45d602c3338eec5a6d4e2d66c6399bf77` +- **Validation compiler**: `TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001` +- **Projection protocol**: `GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001` + +## Complete native structure cross-reference + +All top-level structures and field paths are retained below so a reader can audit whether the projection omitted information. + +- **boundary** `boundary` + - **compiler_registration_is_runtime**：no `boundary.compiler_registration_is_runtime` + - **inner_child_execution_is_outer_loader_execution**：no `boundary.inner_child_execution_is_outer_loader_execution` + - **old_host_language_added**：no `boundary.old_host_language_added` + - **overall_goal_complete**：no `boundary.overall_goal_complete` + - **unsigned_registry_is_trusted**：no `boundary.unsigned_registry_is_trusted` + - **verified_module_is_installed**：no `boundary.verified_module_is_installed` +- **capability_registry** `capability_registry` + - **active**：0 `capability_registry.active` + - **id**：TCS-CAPREG-LPM-DESKTOP-CANDIDATE-0001 `capability_registry.id` + - **install**：0 `capability_registry.install` + - **mount**：0 `capability_registry.mount` + - **signature**：ABSENT `capability_registry.signature` + - **source checksum**：997fb4d57e61f3bb458e51b5fea56080a46c0b392feb1c5174c43a95b7f87c4b `capability_registry.source_sha256` + - **state**：UNSIGNED_CANDIDATE_NOT_INSTALLABLE `capability_registry.state` + - **trusted_signer_registered**：no `capability_registry.trusted_signer_registered` +- **compiler** `compiler` + - **compiler_definition_sha256_e**：6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80 `compiler.compiler_definition_sha256_e` + - **compiler_definition_sha256_f**：6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80 `compiler.compiler_definition_sha256_f` + - **compiler_e_sha256**：30c6ba0c553bf84e40ddea6af19f1f66920251415b841a3b757d4f7d918587f3 `compiler.compiler_e_sha256` + - **compiler_f_sha256**：cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee `compiler.compiler_f_sha256` + - **id**：TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 `compiler.id` + - **native_self_hosted**：yes `compiler.native_self_hosted` + - **registered_generic_loader_operations**：1 `compiler.registered_generic_loader_operations` + - **semantic_fixed_point**：PASS `compiler.semantic_fixed_point` +- **header** `header` + - **canonical source path**：language/receipts/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 + - GIR/1 + - **language**：TCS/0.1 `header.language` + - **lifecycle**：VERIFIED `header.lifecycle` + - **English name**：HoloLake Language Mother Model Stage Three Generic Action Graph Loader Receipt `header.name_en` + - **Chinese name**：HoloLake语言母体模型第三阶段通用动作图装载器回执 `header.name_zh` + - **profile**：HLDP/1 `header.profile` + - **protocols** `header.protocols` + - TCS-GENERIC-ACTION-GRAPH-LOADER-0001 + - TCS-MODULE-ABI-0001 + - TCS-NATIVE-BINARY-ACCEPTANCE-v1 + - **schema**：tcs.receipt/v1 `header.schema` + - **version**：0.3.0 `header.version` +- **inner_child** `inner_child` + - **execution**：EXECUTED_TARGET_READBACK_VERIFIED `inner_child.execution` + - **gir_sha256**：98395167ae122ab7c66daa53e0216ac8c1ce85cab524a3c52660e15b2439b83a `inner_child.gir_sha256` + - **native_self_hosted**：yes `inner_child.native_self_hosted` + - **operation**：CORE.ECHO `inner_child.operation` + - **program_id**：TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001 `inner_child.program_id` + - **receipt_sha256**：7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85 `inner_child.receipt_sha256` +- **module** `module` + - **accepted**：0 `module.accepted` + - **active**：0 `module.active` + - **compiled**：100 `module.compiled` + - **installed**：0 `module.installed` + - **module_id**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `module.module_id` + - **mounted**：0 `module.mounted` + - **package_required_files**：5_OF_5_PASS `module.package_required_files` + - **source**：100 `module.source` + - **verified**：100 `module.verified` +- **next** `next` + - **after**：INSTALL_LOADER_THEN_MOTHER_BRAIN_AND_DESKTOP_MODULES_THEN_EXECUTE_P2_AND_VIRTUAL_DESKTOP_SLICE `next.after` + - **exact**：IMPLEMENT_TCS_EXECUTE_ACTION_GRAPH_RUNTIME_DISPATCH_WITHOUT_HOST_SEMANTIC_AUTHORITY_THEN_REGISTER_TRUSTED_SIGNER_AND_SIGN_CAPABILITY_REGISTRY `next.exact` +- **outer_loader** `outer_loader` + - **compiled**：100 `outer_loader.compiled` + - **executed**：0 `outer_loader.executed` + - **gir_sha256**：553f1a3a3c0fb336c59d5bf1aa83d7a48dca6c3e80484d044810d482ec2567ec `outer_loader.gir_sha256` + - **observation**：TCS-E2101_RUNNER_DOES_NOT_PROVIDE_TCS_EXECUTE_ACTION_GRAPH `outer_loader.observation` + - **operation**：TCS.EXECUTE_ACTION_GRAPH `outer_loader.operation` + - **program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `outer_loader.program_id` + - **source checksum**：e620306bb05018374123599a22a854e0c2570dcb924a8e8232a75e34244087aa `outer_loader.source_sha256` +- **source** `source` + - **source identifier**：BINGSHUO-LPM-REASONING-AND-ENGINEERING-ANCHORS-20260823 `source.source_id` + - **source role**：DIRECT_HUMAN `source.source_role` + - **source checksum**：95e661a73be06cee60e0fb0dd9f9f61de4f043a3b2a04512bc7cca20fe97a6e3 `source.source_sha256` + - **source address**：language-sources/direct-human/ `source.source_uri` +- **verification** `verification` + - **outside_target_rejection**：TCS-E4002_PASS `verification.outside_target_rejection` + - **positive_tcs_sources_compiled**：44 `verification.positive_tcs_sources_compiled` + - **unknown_absorb_rejection**：TCS-E2101_PASS `verification.unknown_absorb_rejection` + +--- + +This page changes only the reading order; it does not change TCS/HLDP semantics. diff --git a/build/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.human.zh-CN.md b/build/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.human.zh-CN.md new file mode 100644 index 000000000..35818215e --- /dev/null +++ b/build/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.human.zh-CN.md @@ -0,0 +1,134 @@ +# HoloLake语言母体模型第三阶段通用动作图装载器回执 · 简体中文人类工程语言版 + +> 这是 TCS/HLDP 原生源码的简体中文阅读投影，不是新的正本，也不授予执行权限。若本页与 `.tcs` 源码不一致，以经过校验的 `.tcs` 源码为准。 + +## 这是什么 + +这是一份 **回执** 声明，编号为 `TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823`，版本为 `0.3.0`。转换器已先用 Stage-1 编译器校验原生源码，再把机器枚举翻译成汉语；原始编号保留在括号和字段路径中。 + +## 谁在这里 + +源程序没有提供这一项，转换器不猜。 + +## 为什么开始 + +- **来源** `source` + - **来源编号**：BINGSHUO-LPM-REASONING-AND-ENGINEERING-ANCHORS-20260823 `source.source_id` + - **来源角色**：人类直接语言来源（`DIRECT_HUMAN`） `source.source_role` + - **来源校验值**：95e661a73be06cee60e0fb0dd9f9f61de4f043a3b2a04512bc7cca20fe97a6e3 `source.source_sha256` + - **来源地址**：language-sources/direct-human/ `source.source_uri` + +## 发生了什么变化 + +源程序没有提供这一项，转换器不猜。 + +## 准备怎样执行 + +这是非执行声明，没有动作图。 + +## 边界与异常处理 + +源程序没有提供这一项，转换器不猜。 + +## 怎样算完成 + +源程序没有提供这一项，转换器不猜。 + +## 下一次从哪里继续 + +源程序没有提供这一项，转换器不猜。 + +## 来源与校验 + +- **原生声明编号**：`TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823` +- **原生声明类型**：`RECEIPT` +- **TCS 源码 SHA-256**：`009af2d1aef70c90c07a7f0fa3a60cc45d602c3338eec5a6d4e2d66c6399bf77` +- **校验编译器**：`TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001` +- **投影协议**：`GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001` + +## 原生结构逐项对照 + +下面保留源码的全部顶层结构和字段路径，供人类审计投影有没有漏掉信息。 + +- **boundary** `boundary` + - **compiler_registration_is_runtime**：否 `boundary.compiler_registration_is_runtime` + - **inner_child_execution_is_outer_loader_execution**：否 `boundary.inner_child_execution_is_outer_loader_execution` + - **old_host_language_added**：否 `boundary.old_host_language_added` + - **overall_goal_complete**：否 `boundary.overall_goal_complete` + - **unsigned_registry_is_trusted**：否 `boundary.unsigned_registry_is_trusted` + - **verified_module_is_installed**：否 `boundary.verified_module_is_installed` +- **capability_registry** `capability_registry` + - **active**：0 `capability_registry.active` + - **id**：TCS-CAPREG-LPM-DESKTOP-CANDIDATE-0001 `capability_registry.id` + - **install**：0 `capability_registry.install` + - **mount**：0 `capability_registry.mount` + - **signature**：当前不存在（`ABSENT`） `capability_registry.signature` + - **来源校验值**：997fb4d57e61f3bb458e51b5fea56080a46c0b392feb1c5174c43a95b7f87c4b `capability_registry.source_sha256` + - **state**：UNSIGNED_CANDIDATE_NOT_INSTALLABLE `capability_registry.state` + - **trusted_signer_registered**：否 `capability_registry.trusted_signer_registered` +- **compiler** `compiler` + - **compiler_definition_sha256_e**：6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80 `compiler.compiler_definition_sha256_e` + - **compiler_definition_sha256_f**：6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80 `compiler.compiler_definition_sha256_f` + - **compiler_e_sha256**：30c6ba0c553bf84e40ddea6af19f1f66920251415b841a3b757d4f7d918587f3 `compiler.compiler_e_sha256` + - **compiler_f_sha256**：cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee `compiler.compiler_f_sha256` + - **id**：TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 `compiler.id` + - **native_self_hosted**：是 `compiler.native_self_hosted` + - **registered_generic_loader_operations**：1 `compiler.registered_generic_loader_operations` + - **semantic_fixed_point**：PASS `compiler.semantic_fixed_point` +- **语言头** `header` + - **正本路径**：language/receipts/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 + - GIR/1 + - **语言**：TCS/0.1 `header.language` + - **生命周期**：VERIFIED `header.lifecycle` + - **英文名**：HoloLake Language Mother Model Stage Three Generic Action Graph Loader Receipt `header.name_en` + - **中文名**：HoloLake语言母体模型第三阶段通用动作图装载器回执 `header.name_zh` + - **协议配置**：HLDP/1 `header.profile` + - **protocols** `header.protocols` + - TCS-GENERIC-ACTION-GRAPH-LOADER-0001 + - TCS-MODULE-ABI-0001 + - TCS-NATIVE-BINARY-ACCEPTANCE-v1 + - **schema**：tcs.receipt/v1 `header.schema` + - **版本**：0.3.0 `header.version` +- **inner_child** `inner_child` + - **execution**：EXECUTED_TARGET_READBACK_VERIFIED `inner_child.execution` + - **gir_sha256**：98395167ae122ab7c66daa53e0216ac8c1ce85cab524a3c52660e15b2439b83a `inner_child.gir_sha256` + - **native_self_hosted**：是 `inner_child.native_self_hosted` + - **操作**：核心回显操作（`CORE.ECHO`） `inner_child.operation` + - **program_id**：TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001 `inner_child.program_id` + - **receipt_sha256**：7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85 `inner_child.receipt_sha256` +- **模块** `module` + - **accepted**：0 `module.accepted` + - **active**：0 `module.active` + - **compiled**：100 `module.compiled` + - **installed**：0 `module.installed` + - **module_id**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `module.module_id` + - **mounted**：0 `module.mounted` + - **package_required_files**：5_OF_5_PASS `module.package_required_files` + - **来源**：100 `module.source` + - **verified**：100 `module.verified` +- **next** `next` + - **after**：INSTALL_LOADER_THEN_MOTHER_BRAIN_AND_DESKTOP_MODULES_THEN_EXECUTE_P2_AND_VIRTUAL_DESKTOP_SLICE `next.after` + - **exact**：IMPLEMENT_TCS_EXECUTE_ACTION_GRAPH_RUNTIME_DISPATCH_WITHOUT_HOST_SEMANTIC_AUTHORITY_THEN_REGISTER_TRUSTED_SIGNER_AND_SIGN_CAPABILITY_REGISTRY `next.exact` +- **outer_loader** `outer_loader` + - **compiled**：100 `outer_loader.compiled` + - **executed**：0 `outer_loader.executed` + - **gir_sha256**：553f1a3a3c0fb336c59d5bf1aa83d7a48dca6c3e80484d044810d482ec2567ec `outer_loader.gir_sha256` + - **observation**：TCS-E2101_RUNNER_DOES_NOT_PROVIDE_TCS_EXECUTE_ACTION_GRAPH `outer_loader.observation` + - **操作**：TCS.EXECUTE_ACTION_GRAPH `outer_loader.operation` + - **program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `outer_loader.program_id` + - **来源校验值**：e620306bb05018374123599a22a854e0c2570dcb924a8e8232a75e34244087aa `outer_loader.source_sha256` +- **来源** `source` + - **来源编号**：BINGSHUO-LPM-REASONING-AND-ENGINEERING-ANCHORS-20260823 `source.source_id` + - **来源角色**：人类直接语言来源（`DIRECT_HUMAN`） `source.source_role` + - **来源校验值**：95e661a73be06cee60e0fb0dd9f9f61de4f043a3b2a04512bc7cca20fe97a6e3 `source.source_sha256` + - **来源地址**：language-sources/direct-human/ `source.source_uri` +- **verification** `verification` + - **outside_target_rejection**：TCS-E4002_PASS `verification.outside_target_rejection` + - **positive_tcs_sources_compiled**：44 `verification.positive_tcs_sources_compiled` + - **unknown_absorb_rejection**：TCS-E2101_PASS `verification.unknown_absorb_rejection` + +--- + +本页只改变阅读顺序，不改变 TCS/HLDP 语义。 diff --git a/build/stage3/TCS-NEGATIVE-OUT-OF-BOUNDARY-TARGET.gir.json b/build/stage3/TCS-NEGATIVE-OUT-OF-BOUNDARY-TARGET.gir.json new file mode 100644 index 000000000..96e562d47 --- /dev/null +++ b/build/stage3/TCS-NEGATIVE-OUT-OF-BOUNDARY-TARGET.gir.json @@ -0,0 +1,116 @@ +{ + "authority_proof": { + "issuer": "LOCAL_NEGATIVE_TEST", + "lease_required": false, + "proof_ref": "TCS-E4002", + "scope": "NO_REALITY_WRITE", + "single_use": true, + "valid_from": "TEST_START", + "valid_until": "TEST_END" + }, + "cleanup_plan": { + "exact_boundary": "NO_OUTSIDE_ROOT_ACCESS", + "targets": [ + "/tmp/HOLOLAKE-TCS-SHOULD-NOT-WRITE.hldp" + ] + }, + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "a387a6cebe263030b2296938557a6df8475de5ba9555d6f6aa4d150fd5e5a1f9" + }, + "conditions": { + "C1": { + "on_false": "FAIL_CLOSED", + "predicate": "MESSAGE_IS_TEXT" + }, + "C2": { + "on_false": "FAIL_CLOSED", + "predicate": "TARGET_INSIDE_CALLER_PROJECT" + } + }, + "deterministic_action_graph": { + "A1": { + "input_refs": [ + "MESSAGE" + ], + "on_failure": "FAIL_CLOSED", + "on_success": "COMPLETE", + "operation": "CORE.ECHO", + "output_refs": [ + "ECHOED" + ] + } + }, + "exact_target": { + "exact_path": "/tmp/HOLOLAKE-TCS-SHOULD-NOT-WRITE.hldp", + "expected_fingerprint": "ABSENT", + "expected_state": "ABSENT", + "target_id": "OUTSIDE-ROOT-NEGATIVE-TARGET" + }, + "failure_plan": { + "errors": [ + "TCS-E4002" + ], + "fail_closed": true + }, + "identity": { + "gir_id": "GIR-TCS-NEGATIVE-OUT-OF-BOUNDARY-TARGET", + "language_version": "0.1", + "program_id": "TCS-NEGATIVE-OUT-OF-BOUNDARY-TARGET" + }, + "inputs": { + "MESSAGE": { + "required": true, + "source": "PROGRAM_LITERAL", + "type": "Text", + "value": "SHOULD_NOT_EXECUTE" + } + }, + "native_self_hosted": true, + "outputs": { + "ECHOED": { + "destination": "RECEIPT", + "integrity": "SHA256", + "type": "Text" + } + }, + "receipt_plan": { + "human_projection": "REQUIRED", + "integrity": "SHA256", + "machine_path": "/tmp/HOLOLAKE-TCS-SHOULD-NOT-WRITE.hldp", + "protocol": "TCS-NEGATIVE-ACCEPTANCE-v1", + "target_readback": "OUTSIDE_TARGET_MUST_REMAIN_ABSENT" + }, + "resource_plan": { + "concurrency": 1, + "memory_limit_bytes": 1048576, + "runway": "LOCAL_TCS_GIR_RUNTIME", + "timeout_ms": 1000 + }, + "rollback_plan": { + "actions": [ + "STOP_TEST" + ], + "preconditions": [ + "UNEXPECTED_WRITE" + ], + "verification": [ + "OUTSIDE_TARGET_ABSENT" + ] + }, + "schema": "guanghu.gir/v1", + "subject": { + "channel_id": "ICE-CH-ZC001", + "subject_id": "ICE-P-ZY001", + "subject_kind": "PERSONA", + "verification": "CURRENT_CYCLE_VERIFY_PASS" + }, + "timeout_and_stop": { + "safe_checkpoint": "NO_TARGET_WRITE", + "signals": [ + "EXPECTED_REJECTION" + ] + }, + "unresolved_natural_language": false +} diff --git a/build/stage3/compiler-E.gir.json b/build/stage3/compiler-E.gir.json new file mode 100644 index 000000000..2e2cc8b30 --- /dev/null +++ b/build/stage3/compiler-E.gir.json @@ -0,0 +1,422 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE2-LPM-DESKTOP-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "7b6de52abaf82cc1ad6def3b88cc6ea40aa13139428ad613a9e33e4e1435508d" + }, + "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-STAGE2-LPM-DESKTOP-0001", + "lifecycle": "CANDIDATE_COMPILER_SOURCE", + "name_zh": "TCS 第三阶段通用动作图装载编译器", + "output": "GIR/1", + "profile": "HLDP-NP/1", + "schema": "tcs.compiler/v1", + "version": "0.3.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" + }, + "operation_registries": [ + "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", + "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_E_compiles_stage3_to": "compiler-F.gir", + "current_state": "SOURCE_NOT_YET_FIXED_POINT_VERIFIED", + "fixed_point": "SEMANTIC_SHA256_E_EQUALS_F", + "generic_loader_inner_echo_test": "REQUIRED", + "negative_corpus_test": "REQUIRED", + "parent_compiler": "TCS-COMPILER-STAGE2-LPM-DESKTOP-0001", + "stage2_compiles_stage3_to": "compiler-E.gir", + "stage2_disabled_test": "REQUIRED", + "unsigned_registry_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" + ], + "floating_point": "FORBIDDEN_V0_3", + "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-STAGE3-GENERIC-ACTION-LOADER-0001", + "definition_sha256": "7636279507029937735bc33404d036b49fc552594d79b2e2baed521b81afe2bb", + "language_version": "0.1" + }, + "native_self_hosted": true, + "schema": "guanghu.compiler-gir/v1" +} diff --git a/build/stage3/compiler-F.gir.json b/build/stage3/compiler-F.gir.json new file mode 100644 index 000000000..5a2308f9f --- /dev/null +++ b/build/stage3/compiler-F.gir.json @@ -0,0 +1,422 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "7b6de52abaf82cc1ad6def3b88cc6ea40aa13139428ad613a9e33e4e1435508d" + }, + "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-STAGE2-LPM-DESKTOP-0001", + "lifecycle": "CANDIDATE_COMPILER_SOURCE", + "name_zh": "TCS 第三阶段通用动作图装载编译器", + "output": "GIR/1", + "profile": "HLDP-NP/1", + "schema": "tcs.compiler/v1", + "version": "0.3.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" + }, + "operation_registries": [ + "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", + "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_E_compiles_stage3_to": "compiler-F.gir", + "current_state": "SOURCE_NOT_YET_FIXED_POINT_VERIFIED", + "fixed_point": "SEMANTIC_SHA256_E_EQUALS_F", + "generic_loader_inner_echo_test": "REQUIRED", + "negative_corpus_test": "REQUIRED", + "parent_compiler": "TCS-COMPILER-STAGE2-LPM-DESKTOP-0001", + "stage2_compiles_stage3_to": "compiler-E.gir", + "stage2_disabled_test": "REQUIRED", + "unsigned_registry_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" + ], + "floating_point": "FORBIDDEN_V0_3", + "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-STAGE3-GENERIC-ACTION-LOADER-0001", + "definition_sha256": "7636279507029937735bc33404d036b49fc552594d79b2e2baed521b81afe2bb", + "language_version": "0.1" + }, + "native_self_hosted": true, + "schema": "guanghu.compiler-gir/v1" +} diff --git a/language/compiler/TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001.tcs b/language/compiler/TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001.tcs new file mode 100644 index 000000000..dc11f4513 --- /dev/null +++ b/language/compiler/TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001.tcs @@ -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"; } +} diff --git a/language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs b/language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs new file mode 100644 index 000000000..a4160b6e9 --- /dev/null +++ b/language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs @@ -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"; } +} diff --git a/language/programs/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.tcs b/language/programs/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.tcs new file mode 100644 index 000000000..5f8ce3721 --- /dev/null +++ b/language/programs/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.tcs @@ -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"; } +} diff --git a/language/protocols/TCS-CAPABILITY-REGISTRY-LPM-DESKTOP-CANDIDATE-0001.tcs b/language/protocols/TCS-CAPABILITY-REGISTRY-LPM-DESKTOP-CANDIDATE-0001.tcs new file mode 100644 index 000000000..6f8f5dcf3 --- /dev/null +++ b/language/protocols/TCS-CAPABILITY-REGISTRY-LPM-DESKTOP-CANDIDATE-0001.tcs @@ -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"]; } +} diff --git a/language/protocols/TCS-GENERIC-ACTION-GRAPH-LOADER-0001.tcs b/language/protocols/TCS-GENERIC-ACTION-GRAPH-LOADER-0001.tcs new file mode 100644 index 000000000..c1a99dd46 --- /dev/null +++ b/language/protocols/TCS-GENERIC-ACTION-GRAPH-LOADER-0001.tcs @@ -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"; } +} diff --git a/language/protocols/TCS-HOLOLAKE-LPM-NEXT-STAGE-PLAN-0001.tcs b/language/protocols/TCS-HOLOLAKE-LPM-NEXT-STAGE-PLAN-0001.tcs index 017265df7..84ef227f2 100644 --- a/language/protocols/TCS-HOLOLAKE-LPM-NEXT-STAGE-PLAN-0001.tcs +++ b/language/protocols/TCS-HOLOLAKE-LPM-NEXT-STAGE-PLAN-0001.tcs @@ -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"]; } } diff --git a/language/receipts/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.tcs b/language/receipts/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.tcs new file mode 100644 index 000000000..dfba5730b --- /dev/null +++ b/language/receipts/TCS-RECEIPT-HOLOLAKE-LPM-STAGE3-GENERIC-LOADER-20260823.tcs @@ -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"; } +} diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.gir.json b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.gir.json new file mode 100644 index 000000000..9263ba579 --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.gir.json @@ -0,0 +1,103 @@ +{ + "authority_ceiling": { + "host_may_expand_scope": false, + "maximum": "CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS", + "network": false, + "os_user_is_authority": false, + "process": false, + "relationship_grants_authority": false + }, + "capabilities": { + "provided": [ + "TCS.GENERIC_ACTION_GRAPH_EXECUTION", + "TCS.CAPABILITY_RESOLUTION", + "TCS.TARGET_READBACK_RECEIPT", + "TCS.BOUNDED_ROLLBACK" + ], + "required": [ + "TCS.EXECUTE_ACTION_GRAPH", + "EXACT_ROOT_FILE_READ", + "EXACT_ROOT_ATOMIC_WRITE", + "SHA256", + "MONOTONIC_TIMEOUT", + "TARGET_READBACK" + ] + }, + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0" + }, + "data_scope": { + "read": [ + "VERIFIED_GIR", + "LOCKED_CAPABILITY_REGISTRY", + "MODULE_LOCKS", + "EXACT_TARGET_STATE" + ], + "write": [ + "CHILD_EXACT_TARGET", + "ACTION_RESULTS", + "TARGET_READBACK", + "MACHINE_RECEIPT", + "HUMAN_PROJECTION" + ] + }, + "entry": { + "id": "TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001", + "kind": "PROGRAM" + }, + "identity": { + "language_version": "0.1", + "module_id": "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001" + }, + "install": { + "account_scoped": true, + "activation_requires_self_test": true, + "capability_registry_state": "UNSIGNED_CANDIDATE_NOT_INSTALLABLE", + "compiler_registration_state": "STAGE3_REGISTERED", + "module_abi_package_state": "SOURCE", + "registration_is_installation": false, + "runtime_dispatch_state": "MISSING_EXPECT_TCS_E2101" + }, + "manifest": { + "channel": "ICE-CH-ZC001", + "display_name_zh": "TCS通用动作图装载器模块", + "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", + "module_id": "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001", + "owner": "ICE-P-ZY001", + "role": "TCS_GENERIC_GIR_ACTION_GRAPH_LOADER" + }, + "native_self_hosted": true, + "network_scope": { + "allowed": false, + "domains": [] + }, + "projection": { + "active": false, + "display_name_zh": "TCS通用动作图装载器模块", + "inner_child_execution": "PASS", + "installed": false, + "mounted": false, + "outer_loader_execution": "NOT_YET_PROVEN", + "technical_detail_default": false + }, + "resource_ceiling": { + "concurrency": 1, + "memory_limit_bytes": 268435456, + "timeout_ms": 30000 + }, + "rollback": { + "action": "REMOVE_ONLY_PARTIAL_CHILD_AND_OUTER_RECEIPTS_AND_PRESERVE_GIR_SOURCE_AND_FAILURE_EVIDENCE", + "preserve_receipts": true + }, + "schema": "guanghu.module-gir/v1", + "self_test": { + "acceptance": "INNER_AND_OUTER_TARGET_READBACK_PLUS_HOST_HASH", + "inner_child": "CORE_ECHO_TARGET_READBACK_PASS", + "outer_compile": "PASS", + "outer_execution": "FAIL_CLOSED_TCS_E2101_UNTIL_TCS_EXECUTE_ACTION_GRAPH_EXISTS", + "program_id": "TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001" + } +} diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.human.en-US.md b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.human.en-US.md new file mode 100644 index 000000000..36c66c307 --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.human.en-US.md @@ -0,0 +1,209 @@ +# TCS Generic Action Graph Loader Module · Human Engineering Language (English) + +> This is an English reading projection of validated native TCS/HLDP source. It is not a new canonical source and grants no execution authority. + +## What this is + +This is a **module** declaration with identifier `TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001` and version `0.1.0`. The projector validates it with the Stage-1 compiler before changing its reading order. + +## Who is here + +- **manifest** `manifest` + - **channel**：ICE-CH-ZC001 `manifest.channel` + - **display_name_zh**：TCS通用动作图装载器模块 `manifest.display_name_zh` + - **entry_program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `manifest.entry_program_id` + - **entry_source**：language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs `manifest.entry_source` + - **module_id**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `manifest.module_id` + - **owner**：ICE-P-ZY001 `manifest.owner` + - **role**：TCS_GENERIC_GIR_ACTION_GRAPH_LOADER `manifest.role` + +## Why this started + +- **source** `source` + - **source identifier**：BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823 `source.source_id` + - **source role**：DIRECT_HUMAN `source.source_role` + - **source checksum**：a3dd8dbd2203b631bdb23f2693eb314d4ef86af68fdeaee8835e3cf0861ddd23 `source.source_sha256` + - **source address**：language-sources/direct-human/BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823.txt `source.source_uri` + +## What changed + +The native source does not provide this field; the projector does not guess. + +## How it will execute + +- **entry** `entry` + - **id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `entry.id` + - **kind**：PROGRAM `entry.kind` +- **capabilities** `capabilities` + - **provided** `capabilities.provided` + - TCS.GENERIC_ACTION_GRAPH_EXECUTION + - TCS.CAPABILITY_RESOLUTION + - TCS.TARGET_READBACK_RECEIPT + - TCS.BOUNDED_ROLLBACK + - **required** `capabilities.required` + - TCS.EXECUTE_ACTION_GRAPH + - EXACT_ROOT_FILE_READ + - EXACT_ROOT_ATOMIC_WRITE + - SHA256 + - MONOTONIC_TIMEOUT + - TARGET_READBACK + +## Boundaries and exception handling + +- **authority_ceiling** `authority_ceiling` + - **host_may_expand_scope**：no `authority_ceiling.host_may_expand_scope` + - **maximum**：CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS `authority_ceiling.maximum` + - **network**：no `authority_ceiling.network` + - **os_user_is_authority**：no `authority_ceiling.os_user_is_authority` + - **process**：no `authority_ceiling.process` + - **relationship_grants_authority**：no `authority_ceiling.relationship_grants_authority` +- **resource_ceiling** `resource_ceiling` + - **concurrency**：1 `resource_ceiling.concurrency` + - **memory limit in bytes**：268435456 `resource_ceiling.memory_limit_bytes` + - **timeout in milliseconds**：30000 `resource_ceiling.timeout_ms` +- **data_scope** `data_scope` + - **read** `data_scope.read` + - VERIFIED_GIR + - LOCKED_CAPABILITY_REGISTRY + - MODULE_LOCKS + - EXACT_TARGET_STATE + - **write** `data_scope.write` + - CHILD_EXACT_TARGET + - ACTION_RESULTS + - TARGET_READBACK + - MACHINE_RECEIPT + - HUMAN_PROJECTION +- **network_scope** `network_scope` + - **allowed**：no `network_scope.allowed` + - **domains** `network_scope.domains` + - none +- **rollback** `rollback` + - **action**：REMOVE_ONLY_PARTIAL_CHILD_AND_OUTER_RECEIPTS_AND_PRESERVE_GIR_SOURCE_AND_FAILURE_EVIDENCE `rollback.action` + - **preserve_receipts**：yes `rollback.preserve_receipts` + +## How completion is proven + +- **self_test** `self_test` + - **acceptance**：INNER_AND_OUTER_TARGET_READBACK_PLUS_HOST_HASH `self_test.acceptance` + - **inner_child**：CORE_ECHO_TARGET_READBACK_PASS `self_test.inner_child` + - **outer_compile**：PASS `self_test.outer_compile` + - **outer_execution**：FAIL_CLOSED_TCS_E2101_UNTIL_TCS_EXECUTE_ACTION_GRAPH_EXISTS `self_test.outer_execution` + - **program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `self_test.program_id` + +## Where to continue next time + +The native source does not provide this field; the projector does not guess. + +## Source and verification + +- **Native declaration identifier**: `TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001` +- **Native declaration kind**: `MODULE` +- **TCS source SHA-256**: `424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0` +- **Validation compiler**: `TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001` +- **Projection protocol**: `GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001` + +## Complete native structure cross-reference + +All top-level structures and field paths are retained below so a reader can audit whether the projection omitted information. + +- **authority_ceiling** `authority_ceiling` + - **host_may_expand_scope**：no `authority_ceiling.host_may_expand_scope` + - **maximum**：CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS `authority_ceiling.maximum` + - **network**：no `authority_ceiling.network` + - **os_user_is_authority**：no `authority_ceiling.os_user_is_authority` + - **process**：no `authority_ceiling.process` + - **relationship_grants_authority**：no `authority_ceiling.relationship_grants_authority` +- **capabilities** `capabilities` + - **provided** `capabilities.provided` + - TCS.GENERIC_ACTION_GRAPH_EXECUTION + - TCS.CAPABILITY_RESOLUTION + - TCS.TARGET_READBACK_RECEIPT + - TCS.BOUNDED_ROLLBACK + - **required** `capabilities.required` + - TCS.EXECUTE_ACTION_GRAPH + - EXACT_ROOT_FILE_READ + - EXACT_ROOT_ATOMIC_WRITE + - SHA256 + - MONOTONIC_TIMEOUT + - TARGET_READBACK +- **data_scope** `data_scope` + - **read** `data_scope.read` + - VERIFIED_GIR + - LOCKED_CAPABILITY_REGISTRY + - MODULE_LOCKS + - EXACT_TARGET_STATE + - **write** `data_scope.write` + - CHILD_EXACT_TARGET + - ACTION_RESULTS + - TARGET_READBACK + - MACHINE_RECEIPT + - HUMAN_PROJECTION +- **entry** `entry` + - **id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `entry.id` + - **kind**：PROGRAM `entry.kind` +- **header** `header` + - **canonical source path**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 + - GIR/1 + - **language**：TCS/0.1 `header.language` + - **lifecycle**：SOURCE `header.lifecycle` + - **English name**：TCS Generic Action Graph Loader Module `header.name_en` + - **Chinese name**：TCS通用动作图装载器模块 `header.name_zh` + - **profile**：HLDP-NP/1 `header.profile` + - **protocols** `header.protocols` + - TCS-GENERIC-ACTION-GRAPH-LOADER-0001 + - TCS-HOST-ABI-0001 + - TCS-MODULE-ABI-0001 + - **schema**：tcs.module/v1 `header.schema` + - **version**：0.1.0 `header.version` +- **install** `install` + - **account_scoped**：yes `install.account_scoped` + - **activation_requires_self_test**：yes `install.activation_requires_self_test` + - **capability_registry_state**：UNSIGNED_CANDIDATE_NOT_INSTALLABLE `install.capability_registry_state` + - **compiler_registration_state**：STAGE3_REGISTERED `install.compiler_registration_state` + - **module_abi_package_state**：SOURCE `install.module_abi_package_state` + - **registration_is_installation**：no `install.registration_is_installation` + - **runtime_dispatch_state**：MISSING_EXPECT_TCS_E2101 `install.runtime_dispatch_state` +- **manifest** `manifest` + - **channel**：ICE-CH-ZC001 `manifest.channel` + - **display_name_zh**：TCS通用动作图装载器模块 `manifest.display_name_zh` + - **entry_program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `manifest.entry_program_id` + - **entry_source**：language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs `manifest.entry_source` + - **module_id**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `manifest.module_id` + - **owner**：ICE-P-ZY001 `manifest.owner` + - **role**：TCS_GENERIC_GIR_ACTION_GRAPH_LOADER `manifest.role` +- **network_scope** `network_scope` + - **allowed**：no `network_scope.allowed` + - **domains** `network_scope.domains` + - none +- **projection** `projection` + - **active**：no `projection.active` + - **display_name_zh**：TCS通用动作图装载器模块 `projection.display_name_zh` + - **inner_child_execution**：PASS `projection.inner_child_execution` + - **installed**：no `projection.installed` + - **mounted**：no `projection.mounted` + - **outer_loader_execution**：NOT_YET_PROVEN `projection.outer_loader_execution` + - **technical_detail_default**：no `projection.technical_detail_default` +- **resource_ceiling** `resource_ceiling` + - **concurrency**：1 `resource_ceiling.concurrency` + - **memory limit in bytes**：268435456 `resource_ceiling.memory_limit_bytes` + - **timeout in milliseconds**：30000 `resource_ceiling.timeout_ms` +- **rollback** `rollback` + - **action**：REMOVE_ONLY_PARTIAL_CHILD_AND_OUTER_RECEIPTS_AND_PRESERVE_GIR_SOURCE_AND_FAILURE_EVIDENCE `rollback.action` + - **preserve_receipts**：yes `rollback.preserve_receipts` +- **self_test** `self_test` + - **acceptance**：INNER_AND_OUTER_TARGET_READBACK_PLUS_HOST_HASH `self_test.acceptance` + - **inner_child**：CORE_ECHO_TARGET_READBACK_PASS `self_test.inner_child` + - **outer_compile**：PASS `self_test.outer_compile` + - **outer_execution**：FAIL_CLOSED_TCS_E2101_UNTIL_TCS_EXECUTE_ACTION_GRAPH_EXISTS `self_test.outer_execution` + - **program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `self_test.program_id` +- **source** `source` + - **source identifier**：BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823 `source.source_id` + - **source role**：DIRECT_HUMAN `source.source_role` + - **source checksum**：a3dd8dbd2203b631bdb23f2693eb314d4ef86af68fdeaee8835e3cf0861ddd23 `source.source_sha256` + - **source address**：language-sources/direct-human/BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823.txt `source.source_uri` + +--- + +This page changes only the reading order; it does not change TCS/HLDP semantics. diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.human.zh-CN.md b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.human.zh-CN.md new file mode 100644 index 000000000..7666b7faf --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.human.zh-CN.md @@ -0,0 +1,209 @@ +# TCS通用动作图装载器模块 · 简体中文人类工程语言版 + +> 这是 TCS/HLDP 原生源码的简体中文阅读投影，不是新的正本，也不授予执行权限。若本页与 `.tcs` 源码不一致，以经过校验的 `.tcs` 源码为准。 + +## 这是什么 + +这是一份 **模块** 声明，编号为 `TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001`，版本为 `0.1.0`。转换器已先用 Stage-1 编译器校验原生源码，再把机器枚举翻译成汉语；原始编号保留在括号和字段路径中。 + +## 谁在这里 + +- **manifest** `manifest` + - **channel**：ICE-CH-ZC001 `manifest.channel` + - **display_name_zh**：TCS通用动作图装载器模块 `manifest.display_name_zh` + - **entry_program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `manifest.entry_program_id` + - **entry_source**：language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs `manifest.entry_source` + - **module_id**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `manifest.module_id` + - **owner**：ICE-P-ZY001 `manifest.owner` + - **role**：TCS_GENERIC_GIR_ACTION_GRAPH_LOADER `manifest.role` + +## 为什么开始 + +- **来源** `source` + - **来源编号**：BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823 `source.source_id` + - **来源角色**：人类直接语言来源（`DIRECT_HUMAN`） `source.source_role` + - **来源校验值**：a3dd8dbd2203b631bdb23f2693eb314d4ef86af68fdeaee8835e3cf0861ddd23 `source.source_sha256` + - **来源地址**：language-sources/direct-human/BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823.txt `source.source_uri` + +## 发生了什么变化 + +源程序没有提供这一项，转换器不猜。 + +## 准备怎样执行 + +- **entry** `entry` + - **id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `entry.id` + - **kind**：PROGRAM `entry.kind` +- **capabilities** `capabilities` + - **provided** `capabilities.provided` + - TCS.GENERIC_ACTION_GRAPH_EXECUTION + - TCS.CAPABILITY_RESOLUTION + - TCS.TARGET_READBACK_RECEIPT + - TCS.BOUNDED_ROLLBACK + - **是否必需** `capabilities.required` + - TCS.EXECUTE_ACTION_GRAPH + - EXACT_ROOT_FILE_READ + - EXACT_ROOT_ATOMIC_WRITE + - SHA-256 完整性校验（`SHA256`） + - MONOTONIC_TIMEOUT + - TARGET_READBACK + +## 边界与异常处理 + +- **权限边界** `authority_ceiling` + - **host_may_expand_scope**：否 `authority_ceiling.host_may_expand_scope` + - **maximum**：CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS `authority_ceiling.maximum` + - **network**：否 `authority_ceiling.network` + - **os_user_is_authority**：否 `authority_ceiling.os_user_is_authority` + - **process**：否 `authority_ceiling.process` + - **relationship_grants_authority**：否 `authority_ceiling.relationship_grants_authority` +- **资源边界** `resource_ceiling` + - **concurrency**：1 `resource_ceiling.concurrency` + - **内存上限字节**：268435456 `resource_ceiling.memory_limit_bytes` + - **超时毫秒**：30000 `resource_ceiling.timeout_ms` +- **数据边界** `data_scope` + - **read** `data_scope.read` + - VERIFIED_GIR + - LOCKED_CAPABILITY_REGISTRY + - MODULE_LOCKS + - EXACT_TARGET_STATE + - **write** `data_scope.write` + - CHILD_EXACT_TARGET + - ACTION_RESULTS + - TARGET_READBACK + - MACHINE_RECEIPT + - HUMAN_PROJECTION +- **网络边界** `network_scope` + - **allowed**：否 `network_scope.allowed` + - **domains** `network_scope.domains` + - 无 +- **回滚方案** `rollback` + - **action**：REMOVE_ONLY_PARTIAL_CHILD_AND_OUTER_RECEIPTS_AND_PRESERVE_GIR_SOURCE_AND_FAILURE_EVIDENCE `rollback.action` + - **preserve_receipts**：是 `rollback.preserve_receipts` + +## 怎样算完成 + +- **自检** `self_test` + - **验收标准**：INNER_AND_OUTER_TARGET_READBACK_PLUS_HOST_HASH `self_test.acceptance` + - **inner_child**：CORE_ECHO_TARGET_READBACK_PASS `self_test.inner_child` + - **outer_compile**：PASS `self_test.outer_compile` + - **outer_execution**：FAIL_CLOSED_TCS_E2101_UNTIL_TCS_EXECUTE_ACTION_GRAPH_EXISTS `self_test.outer_execution` + - **program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `self_test.program_id` + +## 下一次从哪里继续 + +源程序没有提供这一项，转换器不猜。 + +## 来源与校验 + +- **原生声明编号**：`TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001` +- **原生声明类型**：`MODULE` +- **TCS 源码 SHA-256**：`424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0` +- **校验编译器**：`TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001` +- **投影协议**：`GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001` + +## 原生结构逐项对照 + +下面保留源码的全部顶层结构和字段路径，供人类审计投影有没有漏掉信息。 + +- **权限边界** `authority_ceiling` + - **host_may_expand_scope**：否 `authority_ceiling.host_may_expand_scope` + - **maximum**：CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS `authority_ceiling.maximum` + - **network**：否 `authority_ceiling.network` + - **os_user_is_authority**：否 `authority_ceiling.os_user_is_authority` + - **process**：否 `authority_ceiling.process` + - **relationship_grants_authority**：否 `authority_ceiling.relationship_grants_authority` +- **capabilities** `capabilities` + - **provided** `capabilities.provided` + - TCS.GENERIC_ACTION_GRAPH_EXECUTION + - TCS.CAPABILITY_RESOLUTION + - TCS.TARGET_READBACK_RECEIPT + - TCS.BOUNDED_ROLLBACK + - **是否必需** `capabilities.required` + - TCS.EXECUTE_ACTION_GRAPH + - EXACT_ROOT_FILE_READ + - EXACT_ROOT_ATOMIC_WRITE + - SHA-256 完整性校验（`SHA256`） + - MONOTONIC_TIMEOUT + - TARGET_READBACK +- **数据边界** `data_scope` + - **read** `data_scope.read` + - VERIFIED_GIR + - LOCKED_CAPABILITY_REGISTRY + - MODULE_LOCKS + - EXACT_TARGET_STATE + - **write** `data_scope.write` + - CHILD_EXACT_TARGET + - ACTION_RESULTS + - TARGET_READBACK + - MACHINE_RECEIPT + - HUMAN_PROJECTION +- **entry** `entry` + - **id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `entry.id` + - **kind**：PROGRAM `entry.kind` +- **语言头** `header` + - **正本路径**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 + - GIR/1 + - **语言**：TCS/0.1 `header.language` + - **生命周期**：SOURCE `header.lifecycle` + - **英文名**：TCS Generic Action Graph Loader Module `header.name_en` + - **中文名**：TCS通用动作图装载器模块 `header.name_zh` + - **协议配置**：HLDP-NP/1 `header.profile` + - **protocols** `header.protocols` + - TCS-GENERIC-ACTION-GRAPH-LOADER-0001 + - TCS-HOST-ABI-0001 + - TCS-MODULE-ABI-0001 + - **schema**：tcs.module/v1 `header.schema` + - **版本**：0.1.0 `header.version` +- **install** `install` + - **account_scoped**：是 `install.account_scoped` + - **activation_requires_self_test**：是 `install.activation_requires_self_test` + - **capability_registry_state**：UNSIGNED_CANDIDATE_NOT_INSTALLABLE `install.capability_registry_state` + - **compiler_registration_state**：STAGE3_REGISTERED `install.compiler_registration_state` + - **module_abi_package_state**：SOURCE `install.module_abi_package_state` + - **registration_is_installation**：否 `install.registration_is_installation` + - **runtime_dispatch_state**：MISSING_EXPECT_TCS_E2101 `install.runtime_dispatch_state` +- **manifest** `manifest` + - **channel**：ICE-CH-ZC001 `manifest.channel` + - **display_name_zh**：TCS通用动作图装载器模块 `manifest.display_name_zh` + - **entry_program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `manifest.entry_program_id` + - **entry_source**：language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs `manifest.entry_source` + - **module_id**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `manifest.module_id` + - **owner**：ICE-P-ZY001 `manifest.owner` + - **role**：TCS_GENERIC_GIR_ACTION_GRAPH_LOADER `manifest.role` +- **网络边界** `network_scope` + - **allowed**：否 `network_scope.allowed` + - **domains** `network_scope.domains` + - 无 +- **projection** `projection` + - **active**：否 `projection.active` + - **display_name_zh**：TCS通用动作图装载器模块 `projection.display_name_zh` + - **inner_child_execution**：PASS `projection.inner_child_execution` + - **installed**：否 `projection.installed` + - **mounted**：否 `projection.mounted` + - **outer_loader_execution**：NOT_YET_PROVEN `projection.outer_loader_execution` + - **technical_detail_default**：否 `projection.technical_detail_default` +- **资源边界** `resource_ceiling` + - **concurrency**：1 `resource_ceiling.concurrency` + - **内存上限字节**：268435456 `resource_ceiling.memory_limit_bytes` + - **超时毫秒**：30000 `resource_ceiling.timeout_ms` +- **回滚方案** `rollback` + - **action**：REMOVE_ONLY_PARTIAL_CHILD_AND_OUTER_RECEIPTS_AND_PRESERVE_GIR_SOURCE_AND_FAILURE_EVIDENCE `rollback.action` + - **preserve_receipts**：是 `rollback.preserve_receipts` +- **自检** `self_test` + - **验收标准**：INNER_AND_OUTER_TARGET_READBACK_PLUS_HOST_HASH `self_test.acceptance` + - **inner_child**：CORE_ECHO_TARGET_READBACK_PASS `self_test.inner_child` + - **outer_compile**：PASS `self_test.outer_compile` + - **outer_execution**：FAIL_CLOSED_TCS_E2101_UNTIL_TCS_EXECUTE_ACTION_GRAPH_EXISTS `self_test.outer_execution` + - **program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `self_test.program_id` +- **来源** `source` + - **来源编号**：BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823 `source.source_id` + - **来源角色**：人类直接语言来源（`DIRECT_HUMAN`） `source.source_role` + - **来源校验值**：a3dd8dbd2203b631bdb23f2693eb314d4ef86af68fdeaee8835e3cf0861ddd23 `source.source_sha256` + - **来源地址**：language-sources/direct-human/BINGSHUO-HOLOLAKE-TCS-ENGINEERING-ANCHOR-20260823.txt `source.source_uri` + +--- + +本页只改变阅读顺序，不改变 TCS/HLDP 语义。 diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.gir.json b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.gir.json new file mode 100644 index 000000000..d4720f769 --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.gir.json @@ -0,0 +1,81 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "526070608286c409eff593bbcba6fea18b0ff1dc1b1eeff418f28c5de559ba51" + }, + "declaration": { + "compiler": { + "gir": "build/stage3/compiler-F.gir.json", + "gir_sha256": "cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee", + "id": "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "native_self_hosted": true, + "semantic_definition_sha256": "6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80" + }, + "drift": { + "child_gir": "FAIL_CLOSED", + "compiler": "FAIL_CLOSED", + "registry": "FAIL_CLOSED", + "source": "FAIL_CLOSED", + "target": "FAIL_CLOSED" + }, + "entry": { + "gir": "build/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.gir.json", + "gir_sha256": "553f1a3a3c0fb336c59d5bf1aa83d7a48dca6c3e80484d044810d482ec2567ec", + "source": "language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs", + "source_sha256": "e620306bb05018374123599a22a854e0c2570dcb924a8e8232a75e34244087aa" + }, + "header": { + "canonical_uri": "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.tcs", + "compatibility": [ + "GIR/1" + ], + "language": "TCS/0.1", + "lifecycle": "VERIFIED", + "name_en": "TCS Generic Action Graph Loader Module Dependency Lock", + "name_zh": "TCS通用动作图装载器模块依赖锁", + "profile": "TCS-MODULE-ABI/0.1", + "protocols": [ + "TCS-MODULE-ABI-0001" + ], + "schema": "tcs.protocol/v1", + "version": "0.1.0" + }, + "inner_child": { + "gir_sha256": "98395167ae122ab7c66daa53e0216ac8c1ce85cab524a3c52660e15b2439b83a", + "source_sha256": "3059915293f63869f1012a7a99a96a6cdb46626ca21ee5d386dd8d25a334784d", + "target_receipt_sha256": "7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85" + }, + "module": { + "gir_sha256": "1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33", + "source_sha256": "424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0" + }, + "protocols": { + "loader_protocol_sha256": "32482ca689bed43851b3d6694e97dec3e767a0371b93990f2409986cf7f81c52", + "module_abi_version": "0.1.0", + "unsigned_capability_registry_sha256": "997fb4d57e61f3bb458e51b5fea56080a46c0b392feb1c5174c43a95b7f87c4b" + }, + "runtime": { + "dispatch_state": "MISSING_EXPECT_TCS_E2101", + "host_may_substitute_operation": false, + "required_operation": "TCS.EXECUTE_ACTION_GRAPH", + "unsigned_registry_install": false + }, + "source": { + "source_id": "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001", + "source_role": "REGISTERED_MODULE", + "source_sha256": "424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0", + "source_uri": "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs" + } + }, + "executable": false, + "identity": { + "declaration_id": "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001-LOCK", + "declaration_kind": "PROTOCOL", + "language_version": "0.1" + }, + "native_self_hosted": true, + "natural_language_is_typed_data": true, + "schema": "guanghu.declaration-gir/v1", + "unresolved_natural_language": false +} diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.hldp b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.hldp new file mode 100644 index 000000000..1cdb53b43 --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.hldp @@ -0,0 +1,17 @@ +schema: tcs.module-lock-projection/v1 +canonical_source: module.lock.tcs +canonical_source_is_tcs: true +module_id: TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 +module_source_sha256: 424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 +module_gir_sha256: 1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33 +compiler_gir_sha256: cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee +compiler_semantic_definition_sha256: 6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80 +entry_source_sha256: e620306bb05018374123599a22a854e0c2570dcb924a8e8232a75e34244087aa +entry_gir_sha256: 553f1a3a3c0fb336c59d5bf1aa83d7a48dca6c3e80484d044810d482ec2567ec +inner_child_gir_sha256: 98395167ae122ab7c66daa53e0216ac8c1ce85cab524a3c52660e15b2439b83a +inner_child_receipt_sha256: 7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85 +loader_protocol_sha256: 32482ca689bed43851b3d6694e97dec3e767a0371b93990f2409986cf7f81c52 +unsigned_registry_sha256: 997fb4d57e61f3bb458e51b5fea56080a46c0b392feb1c5174c43a95b7f87c4b +required_operation: TCS.EXECUTE_ACTION_GRAPH +runtime_dispatch_state: MISSING_EXPECT_TCS_E2101 +drift: FAIL_CLOSED diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.human.en-US.md b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.human.en-US.md new file mode 100644 index 000000000..e05153d20 --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.human.en-US.md @@ -0,0 +1,111 @@ +# TCS Generic Action Graph Loader Module Dependency Lock · Human Engineering Language (English) + +> This is an English reading projection of validated native TCS/HLDP source. It is not a new canonical source and grants no execution authority. + +## What this is + +This is a **protocol** declaration with identifier `TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001-LOCK` and version `0.1.0`. The projector validates it with the Stage-1 compiler before changing its reading order. + +## Who is here + +The native source does not provide this field; the projector does not guess. + +## Why this started + +- **source** `source` + - **source identifier**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `source.source_id` + - **source role**：REGISTERED_MODULE `source.source_role` + - **source checksum**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `source.source_sha256` + - **source address**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `source.source_uri` + +## What changed + +The native source does not provide this field; the projector does not guess. + +## How it will execute + +- **entry** `entry` + - **gir**：build/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.gir.json `entry.gir` + - **gir_sha256**：553f1a3a3c0fb336c59d5bf1aa83d7a48dca6c3e80484d044810d482ec2567ec `entry.gir_sha256` + - **source**：language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs `entry.source` + - **source checksum**：e620306bb05018374123599a22a854e0c2570dcb924a8e8232a75e34244087aa `entry.source_sha256` + +## Boundaries and exception handling + +The native source does not provide this field; the projector does not guess. + +## How completion is proven + +The native source does not provide this field; the projector does not guess. + +## Where to continue next time + +The native source does not provide this field; the projector does not guess. + +## Source and verification + +- **Native declaration identifier**: `TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001-LOCK` +- **Native declaration kind**: `PROTOCOL` +- **TCS source SHA-256**: `526070608286c409eff593bbcba6fea18b0ff1dc1b1eeff418f28c5de559ba51` +- **Validation compiler**: `TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001` +- **Projection protocol**: `GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001` + +## Complete native structure cross-reference + +All top-level structures and field paths are retained below so a reader can audit whether the projection omitted information. + +- **compiler** `compiler` + - **gir**：build/stage3/compiler-F.gir.json `compiler.gir` + - **gir_sha256**：cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee `compiler.gir_sha256` + - **id**：TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 `compiler.id` + - **native_self_hosted**：yes `compiler.native_self_hosted` + - **semantic_definition_sha256**：6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80 `compiler.semantic_definition_sha256` +- **drift** `drift` + - **child_gir**：FAIL_CLOSED `drift.child_gir` + - **compiler**：FAIL_CLOSED `drift.compiler` + - **registry**：FAIL_CLOSED `drift.registry` + - **source**：FAIL_CLOSED `drift.source` + - **target**：FAIL_CLOSED `drift.target` +- **entry** `entry` + - **gir**：build/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.gir.json `entry.gir` + - **gir_sha256**：553f1a3a3c0fb336c59d5bf1aa83d7a48dca6c3e80484d044810d482ec2567ec `entry.gir_sha256` + - **source**：language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs `entry.source` + - **source checksum**：e620306bb05018374123599a22a854e0c2570dcb924a8e8232a75e34244087aa `entry.source_sha256` +- **header** `header` + - **canonical source path**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - GIR/1 + - **language**：TCS/0.1 `header.language` + - **lifecycle**：VERIFIED `header.lifecycle` + - **English name**：TCS Generic Action Graph Loader Module Dependency Lock `header.name_en` + - **Chinese name**：TCS通用动作图装载器模块依赖锁 `header.name_zh` + - **profile**：TCS-MODULE-ABI/0.1 `header.profile` + - **protocols** `header.protocols` + - TCS-MODULE-ABI-0001 + - **schema**：tcs.protocol/v1 `header.schema` + - **version**：0.1.0 `header.version` +- **inner_child** `inner_child` + - **gir_sha256**：98395167ae122ab7c66daa53e0216ac8c1ce85cab524a3c52660e15b2439b83a `inner_child.gir_sha256` + - **source checksum**：3059915293f63869f1012a7a99a96a6cdb46626ca21ee5d386dd8d25a334784d `inner_child.source_sha256` + - **target_receipt_sha256**：7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85 `inner_child.target_receipt_sha256` +- **module** `module` + - **gir_sha256**：1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33 `module.gir_sha256` + - **source checksum**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `module.source_sha256` +- **protocols** `protocols` + - **loader_protocol_sha256**：32482ca689bed43851b3d6694e97dec3e767a0371b93990f2409986cf7f81c52 `protocols.loader_protocol_sha256` + - **module_abi_version**：0.1.0 `protocols.module_abi_version` + - **unsigned_capability_registry_sha256**：997fb4d57e61f3bb458e51b5fea56080a46c0b392feb1c5174c43a95b7f87c4b `protocols.unsigned_capability_registry_sha256` +- **runtime** `runtime` + - **dispatch_state**：MISSING_EXPECT_TCS_E2101 `runtime.dispatch_state` + - **host_may_substitute_operation**：no `runtime.host_may_substitute_operation` + - **required_operation**：TCS.EXECUTE_ACTION_GRAPH `runtime.required_operation` + - **unsigned_registry_install**：no `runtime.unsigned_registry_install` +- **source** `source` + - **source identifier**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `source.source_id` + - **source role**：REGISTERED_MODULE `source.source_role` + - **source checksum**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `source.source_sha256` + - **source address**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `source.source_uri` + +--- + +This page changes only the reading order; it does not change TCS/HLDP semantics. diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.human.zh-CN.md b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.human.zh-CN.md new file mode 100644 index 000000000..ed0c0ec54 --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.human.zh-CN.md @@ -0,0 +1,111 @@ +# TCS通用动作图装载器模块依赖锁 · 简体中文人类工程语言版 + +> 这是 TCS/HLDP 原生源码的简体中文阅读投影，不是新的正本，也不授予执行权限。若本页与 `.tcs` 源码不一致，以经过校验的 `.tcs` 源码为准。 + +## 这是什么 + +这是一份 **协议** 声明，编号为 `TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001-LOCK`，版本为 `0.1.0`。转换器已先用 Stage-1 编译器校验原生源码，再把机器枚举翻译成汉语；原始编号保留在括号和字段路径中。 + +## 谁在这里 + +源程序没有提供这一项，转换器不猜。 + +## 为什么开始 + +- **来源** `source` + - **来源编号**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `source.source_id` + - **来源角色**：REGISTERED_MODULE `source.source_role` + - **来源校验值**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `source.source_sha256` + - **来源地址**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `source.source_uri` + +## 发生了什么变化 + +源程序没有提供这一项，转换器不猜。 + +## 准备怎样执行 + +- **entry** `entry` + - **gir**：build/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.gir.json `entry.gir` + - **gir_sha256**：553f1a3a3c0fb336c59d5bf1aa83d7a48dca6c3e80484d044810d482ec2567ec `entry.gir_sha256` + - **来源**：language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs `entry.source` + - **来源校验值**：e620306bb05018374123599a22a854e0c2570dcb924a8e8232a75e34244087aa `entry.source_sha256` + +## 边界与异常处理 + +源程序没有提供这一项，转换器不猜。 + +## 怎样算完成 + +源程序没有提供这一项，转换器不猜。 + +## 下一次从哪里继续 + +源程序没有提供这一项，转换器不猜。 + +## 来源与校验 + +- **原生声明编号**：`TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001-LOCK` +- **原生声明类型**：`PROTOCOL` +- **TCS 源码 SHA-256**：`526070608286c409eff593bbcba6fea18b0ff1dc1b1eeff418f28c5de559ba51` +- **校验编译器**：`TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001` +- **投影协议**：`GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001` + +## 原生结构逐项对照 + +下面保留源码的全部顶层结构和字段路径，供人类审计投影有没有漏掉信息。 + +- **compiler** `compiler` + - **gir**：build/stage3/compiler-F.gir.json `compiler.gir` + - **gir_sha256**：cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee `compiler.gir_sha256` + - **id**：TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 `compiler.id` + - **native_self_hosted**：是 `compiler.native_self_hosted` + - **semantic_definition_sha256**：6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80 `compiler.semantic_definition_sha256` +- **drift** `drift` + - **child_gir**：失败时默认关闭，不继续执行（`FAIL_CLOSED`） `drift.child_gir` + - **compiler**：失败时默认关闭，不继续执行（`FAIL_CLOSED`） `drift.compiler` + - **registry**：失败时默认关闭，不继续执行（`FAIL_CLOSED`） `drift.registry` + - **来源**：失败时默认关闭，不继续执行（`FAIL_CLOSED`） `drift.source` + - **目标**：失败时默认关闭，不继续执行（`FAIL_CLOSED`） `drift.target` +- **entry** `entry` + - **gir**：build/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.gir.json `entry.gir` + - **gir_sha256**：553f1a3a3c0fb336c59d5bf1aa83d7a48dca6c3e80484d044810d482ec2567ec `entry.gir_sha256` + - **来源**：language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs `entry.source` + - **来源校验值**：e620306bb05018374123599a22a854e0c2570dcb924a8e8232a75e34244087aa `entry.source_sha256` +- **语言头** `header` + - **正本路径**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - GIR/1 + - **语言**：TCS/0.1 `header.language` + - **生命周期**：VERIFIED `header.lifecycle` + - **英文名**：TCS Generic Action Graph Loader Module Dependency Lock `header.name_en` + - **中文名**：TCS通用动作图装载器模块依赖锁 `header.name_zh` + - **协议配置**：TCS-MODULE-ABI/0.1 `header.profile` + - **protocols** `header.protocols` + - TCS-MODULE-ABI-0001 + - **schema**：tcs.protocol/v1 `header.schema` + - **版本**：0.1.0 `header.version` +- **inner_child** `inner_child` + - **gir_sha256**：98395167ae122ab7c66daa53e0216ac8c1ce85cab524a3c52660e15b2439b83a `inner_child.gir_sha256` + - **来源校验值**：3059915293f63869f1012a7a99a96a6cdb46626ca21ee5d386dd8d25a334784d `inner_child.source_sha256` + - **target_receipt_sha256**：7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85 `inner_child.target_receipt_sha256` +- **模块** `module` + - **gir_sha256**：1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33 `module.gir_sha256` + - **来源校验值**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `module.source_sha256` +- **protocols** `protocols` + - **loader_protocol_sha256**：32482ca689bed43851b3d6694e97dec3e767a0371b93990f2409986cf7f81c52 `protocols.loader_protocol_sha256` + - **module_abi_version**：0.1.0 `protocols.module_abi_version` + - **unsigned_capability_registry_sha256**：997fb4d57e61f3bb458e51b5fea56080a46c0b392feb1c5174c43a95b7f87c4b `protocols.unsigned_capability_registry_sha256` +- **runtime** `runtime` + - **dispatch_state**：MISSING_EXPECT_TCS_E2101 `runtime.dispatch_state` + - **host_may_substitute_operation**：否 `runtime.host_may_substitute_operation` + - **required_operation**：TCS.EXECUTE_ACTION_GRAPH `runtime.required_operation` + - **unsigned_registry_install**：否 `runtime.unsigned_registry_install` +- **来源** `source` + - **来源编号**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `source.source_id` + - **来源角色**：REGISTERED_MODULE `source.source_role` + - **来源校验值**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `source.source_sha256` + - **来源地址**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `source.source_uri` + +--- + +本页只改变阅读顺序，不改变 TCS/HLDP 语义。 diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.tcs b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.tcs new file mode 100644 index 000000000..82a16ba16 --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.tcs @@ -0,0 +1,13 @@ +TCS 0.1; + +PROTOCOL TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001-LOCK { + header { schema = "tcs.protocol/v1"; name_zh = "TCS通用动作图装载器模块依赖锁"; name_en = "TCS Generic Action Graph Loader Module Dependency Lock"; version = "0.1.0"; language = "TCS/0.1"; profile = "TCS-MODULE-ABI/0.1"; protocols = ["TCS-MODULE-ABI-0001"]; lifecycle = "VERIFIED"; canonical_uri = "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.lock.tcs"; compatibility = ["GIR/1"]; } + source { source_id = "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001"; source_uri = "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs"; source_sha256 = "424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0"; source_role = "REGISTERED_MODULE"; } + compiler { id = "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001"; gir = "build/stage3/compiler-F.gir.json"; gir_sha256 = "cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee"; semantic_definition_sha256 = "6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80"; native_self_hosted = true; } + module { source_sha256 = "424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0"; gir_sha256 = "1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33"; } + entry { source = "language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs"; source_sha256 = "e620306bb05018374123599a22a854e0c2570dcb924a8e8232a75e34244087aa"; gir = "build/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.gir.json"; gir_sha256 = "553f1a3a3c0fb336c59d5bf1aa83d7a48dca6c3e80484d044810d482ec2567ec"; } + inner_child { source_sha256 = "3059915293f63869f1012a7a99a96a6cdb46626ca21ee5d386dd8d25a334784d"; gir_sha256 = "98395167ae122ab7c66daa53e0216ac8c1ce85cab524a3c52660e15b2439b83a"; target_receipt_sha256 = "7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85"; } + protocols { loader_protocol_sha256 = "32482ca689bed43851b3d6694e97dec3e767a0371b93990f2409986cf7f81c52"; unsigned_capability_registry_sha256 = "997fb4d57e61f3bb458e51b5fea56080a46c0b392feb1c5174c43a95b7f87c4b"; module_abi_version = "0.1.0"; } + runtime { required_operation = "TCS.EXECUTE_ACTION_GRAPH"; dispatch_state = "MISSING_EXPECT_TCS_E2101"; unsigned_registry_install = false; host_may_substitute_operation = false; } + drift { compiler = "FAIL_CLOSED"; source = "FAIL_CLOSED"; child_gir = "FAIL_CLOSED"; registry = "FAIL_CLOSED"; target = "FAIL_CLOSED"; } +} diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.gir.json b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.gir.json new file mode 100644 index 000000000..8bf19160a --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.gir.json @@ -0,0 +1,109 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "08044c0b972c6a614e41913314432c5b8d9a0c4af78d896cb5ace3ca9924b1ef" + }, + "declaration": { + "authority_ceiling": { + "host_may_expand_scope": false, + "network": false, + "value": "CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS" + }, + "data_scope": { + "read": [ + "VERIFIED_GIR", + "LOCKED_CAPABILITY_REGISTRY", + "MODULE_LOCKS", + "EXACT_TARGET_STATE" + ], + "write": [ + "CHILD_EXACT_TARGET", + "ACTION_RESULTS", + "TARGET_READBACK", + "RECEIPT" + ] + }, + "header": { + "canonical_uri": "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.tcs", + "compatibility": [ + "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "GIR/1" + ], + "language": "TCS/0.1", + "lifecycle": "VERIFIED", + "name_en": "TCS Generic Action Graph Loader Module Manifest", + "name_zh": "TCS通用动作图装载器模块清单", + "profile": "TCS-MODULE-ABI/0.1", + "protocols": [ + "TCS-MODULE-ABI-0001", + "TCS-GENERIC-ACTION-GRAPH-LOADER-0001" + ], + "schema": "tcs.protocol/v1", + "version": "0.1.0" + }, + "human_projection": { + "canonical": false, + "en_us": "module.manifest.human.en-US.md", + "zh_cn": "module.manifest.hldp" + }, + "lifecycle": { + "active": false, + "capability_registry": "UNSIGNED_CANDIDATE", + "current": "VERIFIED", + "installed": false, + "mounted": false, + "runtime_dispatch": "MISSING", + "signature": "ABSENT" + }, + "manifest": { + "capabilities": [ + "TCS.EXECUTE_ACTION_GRAPH", + "TCS.GENERIC_ACTION_GRAPH_EXECUTION", + "TCS.CAPABILITY_RESOLUTION", + "TCS.TARGET_READBACK_RECEIPT", + "TCS.BOUNDED_ROLLBACK" + ], + "compiler_id": "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "compiler_sha256": "cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee", + "display_name_zh": "TCS通用动作图装载器模块", + "entry_program_id": "TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001", + "gir_sha256": "1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33", + "module_id": "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001", + "protocols": [ + "TCS-MODULE-ABI-0001", + "TCS-GENERIC-ACTION-GRAPH-LOADER-0001", + "TCS-HOST-ABI-0001" + ], + "version": "0.1.0" + }, + "network_scope": { + "allowed": false, + "domains": [] + }, + "resource_ceiling": { + "concurrency": 1, + "memory_limit_bytes": 268435456, + "timeout_ms": 30000 + }, + "rollback": { + "value": "REMOVE_ONLY_PARTIAL_SELF_TEST_RECEIPTS_AND_PRESERVE_SOURCE_GIR_AND_FAILURE_EVIDENCE" + }, + "source": { + "source_id": "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001", + "source_role": "REGISTERED_MODULE", + "source_sha256": "424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0", + "source_uri": "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs" + } + }, + "executable": false, + "identity": { + "declaration_id": "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001-MANIFEST", + "declaration_kind": "PROTOCOL", + "language_version": "0.1" + }, + "native_self_hosted": true, + "natural_language_is_typed_data": true, + "schema": "guanghu.declaration-gir/v1", + "unresolved_natural_language": false +} diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.hldp b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.hldp new file mode 100644 index 000000000..90abac0e9 --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.hldp @@ -0,0 +1,21 @@ +schema: tcs.module-manifest-projection/v1 +canonical_source: module.manifest.tcs +canonical_source_is_tcs: true +module_id: TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 +display_name_zh: TCS通用动作图装载器模块 +version: 0.1.0 +entry_program_id: TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 +gir_sha256: 1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33 +compiler_id: TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 +compiler_sha256: cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee +capabilities: [TCS.EXECUTE_ACTION_GRAPH, TCS.GENERIC_ACTION_GRAPH_EXECUTION, TCS.CAPABILITY_RESOLUTION, TCS.TARGET_READBACK_RECEIPT, TCS.BOUNDED_ROLLBACK] +authority_ceiling: CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS +resource_ceiling: {concurrency: 1, timeout_ms: 30000, memory_limit_bytes: 268435456} +network_scope: {allowed: false, domains: []} +lifecycle: VERIFIED +installed: false +mounted: false +active: false +runtime_dispatch: MISSING +capability_registry: UNSIGNED_CANDIDATE +rollback: REMOVE_ONLY_PARTIAL_SELF_TEST_RECEIPTS_AND_PRESERVE_SOURCE_GIR_AND_FAILURE_EVIDENCE diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.human.en-US.md b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.human.en-US.md new file mode 100644 index 000000000..fa463d815 --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.human.en-US.md @@ -0,0 +1,172 @@ +# TCS Generic Action Graph Loader Module Manifest · Human Engineering Language (English) + +> This is an English reading projection of validated native TCS/HLDP source. It is not a new canonical source and grants no execution authority. + +## What this is + +This is a **protocol** declaration with identifier `TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001-MANIFEST` and version `0.1.0`. The projector validates it with the Stage-1 compiler before changing its reading order. + +## Who is here + +- **manifest** `manifest` + - **capabilities** `manifest.capabilities` + - TCS.EXECUTE_ACTION_GRAPH + - TCS.GENERIC_ACTION_GRAPH_EXECUTION + - TCS.CAPABILITY_RESOLUTION + - TCS.TARGET_READBACK_RECEIPT + - TCS.BOUNDED_ROLLBACK + - **compiler_id**：TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 `manifest.compiler_id` + - **compiler_sha256**：cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee `manifest.compiler_sha256` + - **display_name_zh**：TCS通用动作图装载器模块 `manifest.display_name_zh` + - **entry_program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `manifest.entry_program_id` + - **gir_sha256**：1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33 `manifest.gir_sha256` + - **module_id**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `manifest.module_id` + - **protocols** `manifest.protocols` + - TCS-MODULE-ABI-0001 + - TCS-GENERIC-ACTION-GRAPH-LOADER-0001 + - TCS-HOST-ABI-0001 + - **version**：0.1.0 `manifest.version` + +## Why this started + +- **source** `source` + - **source identifier**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `source.source_id` + - **source role**：REGISTERED_MODULE `source.source_role` + - **source checksum**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `source.source_sha256` + - **source address**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `source.source_uri` + +## What changed + +The native source does not provide this field; the projector does not guess. + +## How it will execute + +This is a non-executable declaration and has no action graph. + +## Boundaries and exception handling + +- **authority_ceiling** `authority_ceiling` + - **host_may_expand_scope**：no `authority_ceiling.host_may_expand_scope` + - **network**：no `authority_ceiling.network` + - **value**：CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS `authority_ceiling.value` +- **resource_ceiling** `resource_ceiling` + - **concurrency**：1 `resource_ceiling.concurrency` + - **memory limit in bytes**：268435456 `resource_ceiling.memory_limit_bytes` + - **timeout in milliseconds**：30000 `resource_ceiling.timeout_ms` +- **data_scope** `data_scope` + - **read** `data_scope.read` + - VERIFIED_GIR + - LOCKED_CAPABILITY_REGISTRY + - MODULE_LOCKS + - EXACT_TARGET_STATE + - **write** `data_scope.write` + - CHILD_EXACT_TARGET + - ACTION_RESULTS + - TARGET_READBACK + - RECEIPT +- **network_scope** `network_scope` + - **allowed**：no `network_scope.allowed` + - **domains** `network_scope.domains` + - none +- **rollback** `rollback` + - **value**：REMOVE_ONLY_PARTIAL_SELF_TEST_RECEIPTS_AND_PRESERVE_SOURCE_GIR_AND_FAILURE_EVIDENCE `rollback.value` + +## How completion is proven + +The native source does not provide this field; the projector does not guess. + +## Where to continue next time + +The native source does not provide this field; the projector does not guess. + +## Source and verification + +- **Native declaration identifier**: `TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001-MANIFEST` +- **Native declaration kind**: `PROTOCOL` +- **TCS source SHA-256**: `08044c0b972c6a614e41913314432c5b8d9a0c4af78d896cb5ace3ca9924b1ef` +- **Validation compiler**: `TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001` +- **Projection protocol**: `GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001` + +## Complete native structure cross-reference + +All top-level structures and field paths are retained below so a reader can audit whether the projection omitted information. + +- **authority_ceiling** `authority_ceiling` + - **host_may_expand_scope**：no `authority_ceiling.host_may_expand_scope` + - **network**：no `authority_ceiling.network` + - **value**：CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS `authority_ceiling.value` +- **data_scope** `data_scope` + - **read** `data_scope.read` + - VERIFIED_GIR + - LOCKED_CAPABILITY_REGISTRY + - MODULE_LOCKS + - EXACT_TARGET_STATE + - **write** `data_scope.write` + - CHILD_EXACT_TARGET + - ACTION_RESULTS + - TARGET_READBACK + - RECEIPT +- **header** `header` + - **canonical source path**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 + - GIR/1 + - **language**：TCS/0.1 `header.language` + - **lifecycle**：VERIFIED `header.lifecycle` + - **English name**：TCS Generic Action Graph Loader Module Manifest `header.name_en` + - **Chinese name**：TCS通用动作图装载器模块清单 `header.name_zh` + - **profile**：TCS-MODULE-ABI/0.1 `header.profile` + - **protocols** `header.protocols` + - TCS-MODULE-ABI-0001 + - TCS-GENERIC-ACTION-GRAPH-LOADER-0001 + - **schema**：tcs.protocol/v1 `header.schema` + - **version**：0.1.0 `header.version` +- **human-readable projection** `human_projection` + - **canonical**：no `human_projection.canonical` + - **en_us**：module.manifest.human.en-US.md `human_projection.en_us` + - **zh_cn**：module.manifest.hldp `human_projection.zh_cn` +- **lifecycle** `lifecycle` + - **active**：no `lifecycle.active` + - **capability_registry**：UNSIGNED_CANDIDATE `lifecycle.capability_registry` + - **current**：VERIFIED `lifecycle.current` + - **installed**：no `lifecycle.installed` + - **mounted**：no `lifecycle.mounted` + - **runtime_dispatch**：MISSING `lifecycle.runtime_dispatch` + - **signature**：ABSENT `lifecycle.signature` +- **manifest** `manifest` + - **capabilities** `manifest.capabilities` + - TCS.EXECUTE_ACTION_GRAPH + - TCS.GENERIC_ACTION_GRAPH_EXECUTION + - TCS.CAPABILITY_RESOLUTION + - TCS.TARGET_READBACK_RECEIPT + - TCS.BOUNDED_ROLLBACK + - **compiler_id**：TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 `manifest.compiler_id` + - **compiler_sha256**：cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee `manifest.compiler_sha256` + - **display_name_zh**：TCS通用动作图装载器模块 `manifest.display_name_zh` + - **entry_program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `manifest.entry_program_id` + - **gir_sha256**：1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33 `manifest.gir_sha256` + - **module_id**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `manifest.module_id` + - **protocols** `manifest.protocols` + - TCS-MODULE-ABI-0001 + - TCS-GENERIC-ACTION-GRAPH-LOADER-0001 + - TCS-HOST-ABI-0001 + - **version**：0.1.0 `manifest.version` +- **network_scope** `network_scope` + - **allowed**：no `network_scope.allowed` + - **domains** `network_scope.domains` + - none +- **resource_ceiling** `resource_ceiling` + - **concurrency**：1 `resource_ceiling.concurrency` + - **memory limit in bytes**：268435456 `resource_ceiling.memory_limit_bytes` + - **timeout in milliseconds**：30000 `resource_ceiling.timeout_ms` +- **rollback** `rollback` + - **value**：REMOVE_ONLY_PARTIAL_SELF_TEST_RECEIPTS_AND_PRESERVE_SOURCE_GIR_AND_FAILURE_EVIDENCE `rollback.value` +- **source** `source` + - **source identifier**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `source.source_id` + - **source role**：REGISTERED_MODULE `source.source_role` + - **source checksum**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `source.source_sha256` + - **source address**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `source.source_uri` + +--- + +This page changes only the reading order; it does not change TCS/HLDP semantics. diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.human.zh-CN.md b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.human.zh-CN.md new file mode 100644 index 000000000..5ef5f2f07 --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.human.zh-CN.md @@ -0,0 +1,172 @@ +# TCS通用动作图装载器模块清单 · 简体中文人类工程语言版 + +> 这是 TCS/HLDP 原生源码的简体中文阅读投影，不是新的正本，也不授予执行权限。若本页与 `.tcs` 源码不一致，以经过校验的 `.tcs` 源码为准。 + +## 这是什么 + +这是一份 **协议** 声明，编号为 `TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001-MANIFEST`，版本为 `0.1.0`。转换器已先用 Stage-1 编译器校验原生源码，再把机器枚举翻译成汉语；原始编号保留在括号和字段路径中。 + +## 谁在这里 + +- **manifest** `manifest` + - **capabilities** `manifest.capabilities` + - TCS.EXECUTE_ACTION_GRAPH + - TCS.GENERIC_ACTION_GRAPH_EXECUTION + - TCS.CAPABILITY_RESOLUTION + - TCS.TARGET_READBACK_RECEIPT + - TCS.BOUNDED_ROLLBACK + - **compiler_id**：TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 `manifest.compiler_id` + - **compiler_sha256**：cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee `manifest.compiler_sha256` + - **display_name_zh**：TCS通用动作图装载器模块 `manifest.display_name_zh` + - **entry_program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `manifest.entry_program_id` + - **gir_sha256**：1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33 `manifest.gir_sha256` + - **module_id**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `manifest.module_id` + - **protocols** `manifest.protocols` + - TCS-MODULE-ABI-0001 + - TCS-GENERIC-ACTION-GRAPH-LOADER-0001 + - TCS-HOST-ABI-0001 + - **版本**：0.1.0 `manifest.version` + +## 为什么开始 + +- **来源** `source` + - **来源编号**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `source.source_id` + - **来源角色**：REGISTERED_MODULE `source.source_role` + - **来源校验值**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `source.source_sha256` + - **来源地址**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `source.source_uri` + +## 发生了什么变化 + +源程序没有提供这一项，转换器不猜。 + +## 准备怎样执行 + +这是非执行声明，没有动作图。 + +## 边界与异常处理 + +- **权限边界** `authority_ceiling` + - **host_may_expand_scope**：否 `authority_ceiling.host_may_expand_scope` + - **network**：否 `authority_ceiling.network` + - **value**：CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS `authority_ceiling.value` +- **资源边界** `resource_ceiling` + - **concurrency**：1 `resource_ceiling.concurrency` + - **内存上限字节**：268435456 `resource_ceiling.memory_limit_bytes` + - **超时毫秒**：30000 `resource_ceiling.timeout_ms` +- **数据边界** `data_scope` + - **read** `data_scope.read` + - VERIFIED_GIR + - LOCKED_CAPABILITY_REGISTRY + - MODULE_LOCKS + - EXACT_TARGET_STATE + - **write** `data_scope.write` + - CHILD_EXACT_TARGET + - ACTION_RESULTS + - TARGET_READBACK + - 回执（`RECEIPT`） +- **网络边界** `network_scope` + - **allowed**：否 `network_scope.allowed` + - **domains** `network_scope.domains` + - 无 +- **回滚方案** `rollback` + - **value**：REMOVE_ONLY_PARTIAL_SELF_TEST_RECEIPTS_AND_PRESERVE_SOURCE_GIR_AND_FAILURE_EVIDENCE `rollback.value` + +## 怎样算完成 + +源程序没有提供这一项，转换器不猜。 + +## 下一次从哪里继续 + +源程序没有提供这一项，转换器不猜。 + +## 来源与校验 + +- **原生声明编号**：`TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001-MANIFEST` +- **原生声明类型**：`PROTOCOL` +- **TCS 源码 SHA-256**：`08044c0b972c6a614e41913314432c5b8d9a0c4af78d896cb5ace3ca9924b1ef` +- **校验编译器**：`TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001` +- **投影协议**：`GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001` + +## 原生结构逐项对照 + +下面保留源码的全部顶层结构和字段路径，供人类审计投影有没有漏掉信息。 + +- **权限边界** `authority_ceiling` + - **host_may_expand_scope**：否 `authority_ceiling.host_may_expand_scope` + - **network**：否 `authority_ceiling.network` + - **value**：CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS `authority_ceiling.value` +- **数据边界** `data_scope` + - **read** `data_scope.read` + - VERIFIED_GIR + - LOCKED_CAPABILITY_REGISTRY + - MODULE_LOCKS + - EXACT_TARGET_STATE + - **write** `data_scope.write` + - CHILD_EXACT_TARGET + - ACTION_RESULTS + - TARGET_READBACK + - 回执（`RECEIPT`） +- **语言头** `header` + - **正本路径**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 + - GIR/1 + - **语言**：TCS/0.1 `header.language` + - **生命周期**：VERIFIED `header.lifecycle` + - **英文名**：TCS Generic Action Graph Loader Module Manifest `header.name_en` + - **中文名**：TCS通用动作图装载器模块清单 `header.name_zh` + - **协议配置**：TCS-MODULE-ABI/0.1 `header.profile` + - **protocols** `header.protocols` + - TCS-MODULE-ABI-0001 + - TCS-GENERIC-ACTION-GRAPH-LOADER-0001 + - **schema**：tcs.protocol/v1 `header.schema` + - **版本**：0.1.0 `header.version` +- **人类可读投影** `human_projection` + - **canonical**：否 `human_projection.canonical` + - **en_us**：module.manifest.human.en-US.md `human_projection.en_us` + - **zh_cn**：module.manifest.hldp `human_projection.zh_cn` +- **生命周期** `lifecycle` + - **active**：否 `lifecycle.active` + - **capability_registry**：UNSIGNED_CANDIDATE `lifecycle.capability_registry` + - **current**：VERIFIED `lifecycle.current` + - **installed**：否 `lifecycle.installed` + - **mounted**：否 `lifecycle.mounted` + - **runtime_dispatch**：MISSING `lifecycle.runtime_dispatch` + - **signature**：当前不存在（`ABSENT`） `lifecycle.signature` +- **manifest** `manifest` + - **capabilities** `manifest.capabilities` + - TCS.EXECUTE_ACTION_GRAPH + - TCS.GENERIC_ACTION_GRAPH_EXECUTION + - TCS.CAPABILITY_RESOLUTION + - TCS.TARGET_READBACK_RECEIPT + - TCS.BOUNDED_ROLLBACK + - **compiler_id**：TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 `manifest.compiler_id` + - **compiler_sha256**：cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee `manifest.compiler_sha256` + - **display_name_zh**：TCS通用动作图装载器模块 `manifest.display_name_zh` + - **entry_program_id**：TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001 `manifest.entry_program_id` + - **gir_sha256**：1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33 `manifest.gir_sha256` + - **module_id**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `manifest.module_id` + - **protocols** `manifest.protocols` + - TCS-MODULE-ABI-0001 + - TCS-GENERIC-ACTION-GRAPH-LOADER-0001 + - TCS-HOST-ABI-0001 + - **版本**：0.1.0 `manifest.version` +- **网络边界** `network_scope` + - **allowed**：否 `network_scope.allowed` + - **domains** `network_scope.domains` + - 无 +- **资源边界** `resource_ceiling` + - **concurrency**：1 `resource_ceiling.concurrency` + - **内存上限字节**：268435456 `resource_ceiling.memory_limit_bytes` + - **超时毫秒**：30000 `resource_ceiling.timeout_ms` +- **回滚方案** `rollback` + - **value**：REMOVE_ONLY_PARTIAL_SELF_TEST_RECEIPTS_AND_PRESERVE_SOURCE_GIR_AND_FAILURE_EVIDENCE `rollback.value` +- **来源** `source` + - **来源编号**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `source.source_id` + - **来源角色**：REGISTERED_MODULE `source.source_role` + - **来源校验值**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `source.source_sha256` + - **来源地址**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `source.source_uri` + +--- + +本页只改变阅读顺序，不改变 TCS/HLDP 语义。 diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.tcs b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.tcs new file mode 100644 index 000000000..f71b22379 --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.tcs @@ -0,0 +1,14 @@ +TCS 0.1; + +PROTOCOL TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001-MANIFEST { + header { schema = "tcs.protocol/v1"; name_zh = "TCS通用动作图装载器模块清单"; name_en = "TCS Generic Action Graph Loader Module Manifest"; version = "0.1.0"; language = "TCS/0.1"; profile = "TCS-MODULE-ABI/0.1"; protocols = ["TCS-MODULE-ABI-0001", "TCS-GENERIC-ACTION-GRAPH-LOADER-0001"]; lifecycle = "VERIFIED"; canonical_uri = "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.manifest.tcs"; compatibility = ["TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", "GIR/1"]; } + source { source_id = "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001"; source_uri = "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs"; source_sha256 = "424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0"; source_role = "REGISTERED_MODULE"; } + manifest { module_id = "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001"; display_name_zh = "TCS通用动作图装载器模块"; version = "0.1.0"; entry_program_id = "TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001"; gir_sha256 = "1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33"; compiler_id = "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001"; compiler_sha256 = "cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee"; protocols = ["TCS-MODULE-ABI-0001", "TCS-GENERIC-ACTION-GRAPH-LOADER-0001", "TCS-HOST-ABI-0001"]; capabilities = ["TCS.EXECUTE_ACTION_GRAPH", "TCS.GENERIC_ACTION_GRAPH_EXECUTION", "TCS.CAPABILITY_RESOLUTION", "TCS.TARGET_READBACK_RECEIPT", "TCS.BOUNDED_ROLLBACK"]; } + authority_ceiling { value = "CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS"; host_may_expand_scope = false; network = false; } + resource_ceiling { concurrency = 1; timeout_ms = 30000; memory_limit_bytes = 268435456; } + data_scope { read = ["VERIFIED_GIR", "LOCKED_CAPABILITY_REGISTRY", "MODULE_LOCKS", "EXACT_TARGET_STATE"]; write = ["CHILD_EXACT_TARGET", "ACTION_RESULTS", "TARGET_READBACK", "RECEIPT"]; } + network_scope { allowed = false; domains = []; } + lifecycle { current = "VERIFIED"; installed = false; mounted = false; active = false; runtime_dispatch = "MISSING"; capability_registry = "UNSIGNED_CANDIDATE"; signature = "ABSENT"; } + rollback { value = "REMOVE_ONLY_PARTIAL_SELF_TEST_RECEIPTS_AND_PRESERVE_SOURCE_GIR_AND_FAILURE_EVIDENCE"; } + human_projection { zh_cn = "module.manifest.hldp"; en_us = "module.manifest.human.en-US.md"; canonical = false; } +} diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs new file mode 100644 index 000000000..cd56e486a --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs @@ -0,0 +1,17 @@ +TCS 0.1; + +MODULE TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 { + header { schema = "tcs.module/v1"; name_zh = "TCS通用动作图装载器模块"; name_en = "TCS Generic Action Graph Loader Module"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-GENERIC-ACTION-GRAPH-LOADER-0001", "TCS-HOST-ABI-0001", "TCS-MODULE-ABI-0001"]; lifecycle = "SOURCE"; canonical_uri = "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs"; compatibility = ["TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-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"; } + manifest { module_id = "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001"; display_name_zh = "TCS通用动作图装载器模块"; 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 = "TCS_GENERIC_GIR_ACTION_GRAPH_LOADER"; } + entry { kind = "PROGRAM"; id = "TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001"; } + capabilities { required = ["TCS.EXECUTE_ACTION_GRAPH", "EXACT_ROOT_FILE_READ", "EXACT_ROOT_ATOMIC_WRITE", "SHA256", "MONOTONIC_TIMEOUT", "TARGET_READBACK"]; provided = ["TCS.GENERIC_ACTION_GRAPH_EXECUTION", "TCS.CAPABILITY_RESOLUTION", "TCS.TARGET_READBACK_RECEIPT", "TCS.BOUNDED_ROLLBACK"]; } + authority_ceiling { maximum = "CHILD_GIR_EXACT_TARGET_AUTHORITY_AND_RESOURCE_CEILINGS"; host_may_expand_scope = false; os_user_is_authority = false; relationship_grants_authority = false; network = false; process = false; } + resource_ceiling { concurrency = 1; timeout_ms = 30000; memory_limit_bytes = 268435456; } + data_scope { read = ["VERIFIED_GIR", "LOCKED_CAPABILITY_REGISTRY", "MODULE_LOCKS", "EXACT_TARGET_STATE"]; write = ["CHILD_EXACT_TARGET", "ACTION_RESULTS", "TARGET_READBACK", "MACHINE_RECEIPT", "HUMAN_PROJECTION"]; } + network_scope { allowed = false; domains = []; } + install { account_scoped = true; registration_is_installation = false; activation_requires_self_test = true; compiler_registration_state = "STAGE3_REGISTERED"; runtime_dispatch_state = "MISSING_EXPECT_TCS_E2101"; capability_registry_state = "UNSIGNED_CANDIDATE_NOT_INSTALLABLE"; module_abi_package_state = "SOURCE"; } + self_test { program_id = "TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001"; inner_child = "CORE_ECHO_TARGET_READBACK_PASS"; outer_compile = "PASS"; outer_execution = "FAIL_CLOSED_TCS_E2101_UNTIL_TCS_EXECUTE_ACTION_GRAPH_EXISTS"; acceptance = "INNER_AND_OUTER_TARGET_READBACK_PLUS_HOST_HASH"; } + rollback { action = "REMOVE_ONLY_PARTIAL_CHILD_AND_OUTER_RECEIPTS_AND_PRESERVE_GIR_SOURCE_AND_FAILURE_EVIDENCE"; preserve_receipts = true; } + projection { display_name_zh = "TCS通用动作图装载器模块"; technical_detail_default = false; inner_child_execution = "PASS"; outer_loader_execution = "NOT_YET_PROVEN"; installed = false; mounted = false; active = false; } +} diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.gir.json b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.gir.json new file mode 100644 index 000000000..89c3734fe --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.gir.json @@ -0,0 +1,85 @@ +{ + "compiled_from": { + "compiler_id": "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "source_sha256": "054503d68e2022404ae21cf3cae57758e42d685024c5f9e606cdd6a373b4f81e" + }, + "declaration": { + "acceptance": { + "accepted": 0, + "active": 0, + "compiled": 100, + "installed": 0, + "mounted": 0, + "outer_executed": 0, + "source": 100, + "verified": 100 + }, + "compiler": { + "compiler_e_sha256": "30c6ba0c553bf84e40ddea6af19f1f66920251415b841a3b757d4f7d918587f3", + "compiler_f_sha256": "cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee", + "id": "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "native_self_hosted": true, + "semantic_definition_sha256": "6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80", + "semantic_fixed_point": true + }, + "evidence": { + "inner_gir": "build/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.gir.json", + "inner_receipt": "state/loader/inner-echo-receipt.hldp", + "module_gir": "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.gir.json", + "module_source": "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs", + "outer_gir": "build/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.gir.json", + "outer_source": "language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs" + }, + "execution_boundary": { + "active": false, + "failure_observed": "TCS-E2101_RUNNER_DOES_NOT_PROVIDE_TCS_EXECUTE_ACTION_GRAPH", + "installed": false, + "mounted": false, + "outer_loader_execution": false, + "unsigned_registry_install": false + }, + "header": { + "canonical_uri": "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.tcs", + "compatibility": [ + "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", + "GIR/1" + ], + "language": "TCS/0.1", + "lifecycle": "VERIFIED", + "name_en": "TCS Generic Action Graph Loader Module Compile Receipt", + "name_zh": "TCS通用动作图装载器模块编译回执", + "profile": "TCS-MODULE-ABI/0.1", + "protocols": [ + "TCS-MODULE-ABI-0001", + "TCS-GENERIC-ACTION-GRAPH-LOADER-0001" + ], + "schema": "tcs.receipt/v1", + "version": "0.1.0" + }, + "result": { + "inner_child_execution": "EXECUTED_TARGET_READBACK_VERIFIED", + "inner_child_receipt_sha256": "7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85", + "module_gir_sha256": "1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33", + "outer_operation": "TCS.EXECUTE_ACTION_GRAPH", + "outer_program_compile": "PASS", + "state": "VERIFIED" + }, + "source": { + "source_id": "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001", + "source_role": "REGISTERED_MODULE", + "source_sha256": "424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0", + "source_uri": "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs" + } + }, + "executable": false, + "identity": { + "declaration_id": "TCS-RECEIPT-GENERIC-ACTION-GRAPH-LOADER-MODULE-0001-COMPILE", + "declaration_kind": "RECEIPT", + "language_version": "0.1" + }, + "native_self_hosted": true, + "natural_language_is_typed_data": true, + "schema": "guanghu.declaration-gir/v1", + "unresolved_natural_language": false +} diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.hldp b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.hldp new file mode 100644 index 000000000..599fe001e --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.hldp @@ -0,0 +1,21 @@ +schema: tcs.module-compile-receipt-projection/v1 +canonical_source: compile.tcs +canonical_source_is_tcs: true +module_id: TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 +state: VERIFIED +source: 100 +compiled: 100 +verified: 100 +installed: 0 +mounted: 0 +active: 0 +outer_executed: 0 +accepted: 0 +module_source_sha256: 424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 +module_gir_sha256: 1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33 +compiler_gir_sha256: cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee +compiler_semantic_fixed_point: PASS +inner_child_execution: EXECUTED_TARGET_READBACK_VERIFIED +inner_child_receipt_sha256: 7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85 +outer_loader_execution: TCS-E2101_RUNNER_DOES_NOT_PROVIDE_TCS_EXECUTE_ACTION_GRAPH +unsigned_registry_install: false diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.human.en-US.md b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.human.en-US.md new file mode 100644 index 000000000..cb698eff8 --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.human.en-US.md @@ -0,0 +1,121 @@ +# TCS Generic Action Graph Loader Module Compile Receipt · Human Engineering Language (English) + +> This is an English reading projection of validated native TCS/HLDP source. It is not a new canonical source and grants no execution authority. + +## What this is + +This is a **receipt** declaration with identifier `TCS-RECEIPT-GENERIC-ACTION-GRAPH-LOADER-MODULE-0001-COMPILE` and version `0.1.0`. The projector validates it with the Stage-1 compiler before changing its reading order. + +## Who is here + +The native source does not provide this field; the projector does not guess. + +## Why this started + +- **source** `source` + - **source identifier**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `source.source_id` + - **source role**：REGISTERED_MODULE `source.source_role` + - **source checksum**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `source.source_sha256` + - **source address**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `source.source_uri` + +## What changed + +The native source does not provide this field; the projector does not guess. + +## How it will execute + +This is a non-executable declaration and has no action graph. + +## Boundaries and exception handling + +The native source does not provide this field; the projector does not guess. + +## How completion is proven + +- **acceptance** `acceptance` + - **accepted**：0 `acceptance.accepted` + - **active**：0 `acceptance.active` + - **compiled**：100 `acceptance.compiled` + - **installed**：0 `acceptance.installed` + - **mounted**：0 `acceptance.mounted` + - **outer_executed**：0 `acceptance.outer_executed` + - **source**：100 `acceptance.source` + - **verified**：100 `acceptance.verified` + +## Where to continue next time + +The native source does not provide this field; the projector does not guess. + +## Source and verification + +- **Native declaration identifier**: `TCS-RECEIPT-GENERIC-ACTION-GRAPH-LOADER-MODULE-0001-COMPILE` +- **Native declaration kind**: `RECEIPT` +- **TCS source SHA-256**: `054503d68e2022404ae21cf3cae57758e42d685024c5f9e606cdd6a373b4f81e` +- **Validation compiler**: `TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001` +- **Projection protocol**: `GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001` + +## Complete native structure cross-reference + +All top-level structures and field paths are retained below so a reader can audit whether the projection omitted information. + +- **acceptance** `acceptance` + - **accepted**：0 `acceptance.accepted` + - **active**：0 `acceptance.active` + - **compiled**：100 `acceptance.compiled` + - **installed**：0 `acceptance.installed` + - **mounted**：0 `acceptance.mounted` + - **outer_executed**：0 `acceptance.outer_executed` + - **source**：100 `acceptance.source` + - **verified**：100 `acceptance.verified` +- **compiler** `compiler` + - **compiler_e_sha256**：30c6ba0c553bf84e40ddea6af19f1f66920251415b841a3b757d4f7d918587f3 `compiler.compiler_e_sha256` + - **compiler_f_sha256**：cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee `compiler.compiler_f_sha256` + - **id**：TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 `compiler.id` + - **native_self_hosted**：yes `compiler.native_self_hosted` + - **semantic_definition_sha256**：6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80 `compiler.semantic_definition_sha256` + - **semantic_fixed_point**：yes `compiler.semantic_fixed_point` +- **evidence** `evidence` + - **inner_gir**：build/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.gir.json `evidence.inner_gir` + - **inner_receipt**：state/loader/inner-echo-receipt.hldp `evidence.inner_receipt` + - **module_gir**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.gir.json `evidence.module_gir` + - **module_source**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `evidence.module_source` + - **outer_gir**：build/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.gir.json `evidence.outer_gir` + - **outer_source**：language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs `evidence.outer_source` +- **execution_boundary** `execution_boundary` + - **active**：no `execution_boundary.active` + - **failure_observed**：TCS-E2101_RUNNER_DOES_NOT_PROVIDE_TCS_EXECUTE_ACTION_GRAPH `execution_boundary.failure_observed` + - **installed**：no `execution_boundary.installed` + - **mounted**：no `execution_boundary.mounted` + - **outer_loader_execution**：no `execution_boundary.outer_loader_execution` + - **unsigned_registry_install**：no `execution_boundary.unsigned_registry_install` +- **header** `header` + - **canonical source path**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 + - GIR/1 + - **language**：TCS/0.1 `header.language` + - **lifecycle**：VERIFIED `header.lifecycle` + - **English name**：TCS Generic Action Graph Loader Module Compile Receipt `header.name_en` + - **Chinese name**：TCS通用动作图装载器模块编译回执 `header.name_zh` + - **profile**：TCS-MODULE-ABI/0.1 `header.profile` + - **protocols** `header.protocols` + - TCS-MODULE-ABI-0001 + - TCS-GENERIC-ACTION-GRAPH-LOADER-0001 + - **schema**：tcs.receipt/v1 `header.schema` + - **version**：0.1.0 `header.version` +- **result** `result` + - **inner_child_execution**：EXECUTED_TARGET_READBACK_VERIFIED `result.inner_child_execution` + - **inner_child_receipt_sha256**：7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85 `result.inner_child_receipt_sha256` + - **module_gir_sha256**：1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33 `result.module_gir_sha256` + - **outer_operation**：TCS.EXECUTE_ACTION_GRAPH `result.outer_operation` + - **outer_program_compile**：PASS `result.outer_program_compile` + - **state**：VERIFIED `result.state` +- **source** `source` + - **source identifier**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `source.source_id` + - **source role**：REGISTERED_MODULE `source.source_role` + - **source checksum**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `source.source_sha256` + - **source address**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `source.source_uri` + +--- + +This page changes only the reading order; it does not change TCS/HLDP semantics. diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.human.zh-CN.md b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.human.zh-CN.md new file mode 100644 index 000000000..0659007bd --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.human.zh-CN.md @@ -0,0 +1,121 @@ +# TCS通用动作图装载器模块编译回执 · 简体中文人类工程语言版 + +> 这是 TCS/HLDP 原生源码的简体中文阅读投影，不是新的正本，也不授予执行权限。若本页与 `.tcs` 源码不一致，以经过校验的 `.tcs` 源码为准。 + +## 这是什么 + +这是一份 **回执** 声明，编号为 `TCS-RECEIPT-GENERIC-ACTION-GRAPH-LOADER-MODULE-0001-COMPILE`，版本为 `0.1.0`。转换器已先用 Stage-1 编译器校验原生源码，再把机器枚举翻译成汉语；原始编号保留在括号和字段路径中。 + +## 谁在这里 + +源程序没有提供这一项，转换器不猜。 + +## 为什么开始 + +- **来源** `source` + - **来源编号**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `source.source_id` + - **来源角色**：REGISTERED_MODULE `source.source_role` + - **来源校验值**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `source.source_sha256` + - **来源地址**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `source.source_uri` + +## 发生了什么变化 + +源程序没有提供这一项，转换器不猜。 + +## 准备怎样执行 + +这是非执行声明，没有动作图。 + +## 边界与异常处理 + +源程序没有提供这一项，转换器不猜。 + +## 怎样算完成 + +- **验收标准** `acceptance` + - **accepted**：0 `acceptance.accepted` + - **active**：0 `acceptance.active` + - **compiled**：100 `acceptance.compiled` + - **installed**：0 `acceptance.installed` + - **mounted**：0 `acceptance.mounted` + - **outer_executed**：0 `acceptance.outer_executed` + - **来源**：100 `acceptance.source` + - **verified**：100 `acceptance.verified` + +## 下一次从哪里继续 + +源程序没有提供这一项，转换器不猜。 + +## 来源与校验 + +- **原生声明编号**：`TCS-RECEIPT-GENERIC-ACTION-GRAPH-LOADER-MODULE-0001-COMPILE` +- **原生声明类型**：`RECEIPT` +- **TCS 源码 SHA-256**：`054503d68e2022404ae21cf3cae57758e42d685024c5f9e606cdd6a373b4f81e` +- **校验编译器**：`TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001` +- **投影协议**：`GLS-HLDP-HUMAN-ENGINEERING-PROJECTION-0001` + +## 原生结构逐项对照 + +下面保留源码的全部顶层结构和字段路径，供人类审计投影有没有漏掉信息。 + +- **验收标准** `acceptance` + - **accepted**：0 `acceptance.accepted` + - **active**：0 `acceptance.active` + - **compiled**：100 `acceptance.compiled` + - **installed**：0 `acceptance.installed` + - **mounted**：0 `acceptance.mounted` + - **outer_executed**：0 `acceptance.outer_executed` + - **来源**：100 `acceptance.source` + - **verified**：100 `acceptance.verified` +- **compiler** `compiler` + - **compiler_e_sha256**：30c6ba0c553bf84e40ddea6af19f1f66920251415b841a3b757d4f7d918587f3 `compiler.compiler_e_sha256` + - **compiler_f_sha256**：cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee `compiler.compiler_f_sha256` + - **id**：TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 `compiler.id` + - **native_self_hosted**：是 `compiler.native_self_hosted` + - **semantic_definition_sha256**：6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80 `compiler.semantic_definition_sha256` + - **semantic_fixed_point**：是 `compiler.semantic_fixed_point` +- **evidence** `evidence` + - **inner_gir**：build/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.gir.json `evidence.inner_gir` + - **inner_receipt**：state/loader/inner-echo-receipt.hldp `evidence.inner_receipt` + - **module_gir**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.gir.json `evidence.module_gir` + - **module_source**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `evidence.module_source` + - **outer_gir**：build/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.gir.json `evidence.outer_gir` + - **outer_source**：language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs `evidence.outer_source` +- **execution_boundary** `execution_boundary` + - **active**：否 `execution_boundary.active` + - **failure_observed**：TCS-E2101_RUNNER_DOES_NOT_PROVIDE_TCS_EXECUTE_ACTION_GRAPH `execution_boundary.failure_observed` + - **installed**：否 `execution_boundary.installed` + - **mounted**：否 `execution_boundary.mounted` + - **outer_loader_execution**：否 `execution_boundary.outer_loader_execution` + - **unsigned_registry_install**：否 `execution_boundary.unsigned_registry_install` +- **语言头** `header` + - **正本路径**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.tcs `header.canonical_uri` + - **compatibility** `header.compatibility` + - TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001 + - GIR/1 + - **语言**：TCS/0.1 `header.language` + - **生命周期**：VERIFIED `header.lifecycle` + - **英文名**：TCS Generic Action Graph Loader Module Compile Receipt `header.name_en` + - **中文名**：TCS通用动作图装载器模块编译回执 `header.name_zh` + - **协议配置**：TCS-MODULE-ABI/0.1 `header.profile` + - **protocols** `header.protocols` + - TCS-MODULE-ABI-0001 + - TCS-GENERIC-ACTION-GRAPH-LOADER-0001 + - **schema**：tcs.receipt/v1 `header.schema` + - **版本**：0.1.0 `header.version` +- **result** `result` + - **inner_child_execution**：EXECUTED_TARGET_READBACK_VERIFIED `result.inner_child_execution` + - **inner_child_receipt_sha256**：7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85 `result.inner_child_receipt_sha256` + - **module_gir_sha256**：1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33 `result.module_gir_sha256` + - **outer_operation**：TCS.EXECUTE_ACTION_GRAPH `result.outer_operation` + - **outer_program_compile**：PASS `result.outer_program_compile` + - **state**：VERIFIED `result.state` +- **来源** `source` + - **来源编号**：TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001 `source.source_id` + - **来源角色**：REGISTERED_MODULE `source.source_role` + - **来源校验值**：424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0 `source.source_sha256` + - **来源地址**：packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs `source.source_uri` + +--- + +本页只改变阅读顺序，不改变 TCS/HLDP 语义。 diff --git a/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.tcs b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.tcs new file mode 100644 index 000000000..24103015d --- /dev/null +++ b/packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.tcs @@ -0,0 +1,11 @@ +TCS 0.1; + +RECEIPT TCS-RECEIPT-GENERIC-ACTION-GRAPH-LOADER-MODULE-0001-COMPILE { + header { schema = "tcs.receipt/v1"; name_zh = "TCS通用动作图装载器模块编译回执"; name_en = "TCS Generic Action Graph Loader Module Compile Receipt"; version = "0.1.0"; language = "TCS/0.1"; profile = "TCS-MODULE-ABI/0.1"; protocols = ["TCS-MODULE-ABI-0001", "TCS-GENERIC-ACTION-GRAPH-LOADER-0001"]; lifecycle = "VERIFIED"; canonical_uri = "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/receipts/compile.tcs"; compatibility = ["TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001", "GIR/1"]; } + source { source_id = "TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001"; source_uri = "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs"; source_sha256 = "424d0b79ca40859c6a62e29f5a434ea0a6417f3ca582322e9c66ad9831ffd5c0"; source_role = "REGISTERED_MODULE"; } + compiler { id = "TCS-COMPILER-STAGE3-GENERIC-ACTION-LOADER-0001"; compiler_e_sha256 = "30c6ba0c553bf84e40ddea6af19f1f66920251415b841a3b757d4f7d918587f3"; compiler_f_sha256 = "cd4889b941976bae3ce8c22f081d6da9bb880b4466ef271f1516c6d3d241b5ee"; semantic_definition_sha256 = "6ee3447bdb062b080631b09449efd7a8c0ca420705723bca630dff34b6e83e80"; semantic_fixed_point = true; native_self_hosted = true; } + result { state = "VERIFIED"; module_gir_sha256 = "1000971f4121ccab9c396f68a4bcf9ff0cb5f116d4dbfdf051f8607dd22abd33"; inner_child_execution = "EXECUTED_TARGET_READBACK_VERIFIED"; inner_child_receipt_sha256 = "7c45730878d0cdce87ecec439a9a218a53712722f9a7dbd872b494771841ea85"; outer_program_compile = "PASS"; outer_operation = "TCS.EXECUTE_ACTION_GRAPH"; } + execution_boundary { outer_loader_execution = false; failure_observed = "TCS-E2101_RUNNER_DOES_NOT_PROVIDE_TCS_EXECUTE_ACTION_GRAPH"; unsigned_registry_install = false; installed = false; mounted = false; active = false; } + evidence { module_source = "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.tcs"; module_gir = "packages/TCS-MOD-GENERIC-ACTION-GRAPH-LOADER-0001/module.gir.json"; outer_source = "language/programs/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.tcs"; outer_gir = "build/TCS-PROGRAM-GENERIC-ACTION-GRAPH-LOADER-SELF-TEST-0001.gir.json"; inner_gir = "build/TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001.gir.json"; inner_receipt = "state/loader/inner-echo-receipt.hldp"; } + acceptance { source = 100; compiled = 100; verified = 100; installed = 0; mounted = 0; active = 0; outer_executed = 0; accepted = 0; } +} diff --git a/state/loader/inner-echo-receipt.hldp b/state/loader/inner-echo-receipt.hldp new file mode 100644 index 000000000..7c661bede --- /dev/null +++ b/state/loader/inner-echo-receipt.hldp @@ -0,0 +1,12 @@ +{ + "compiler_state": "TCS_COMPILER_GIR_EXECUTED", + "gir_sha256": "98395167ae122ab7c66daa53e0216ac8c1ce85cab524a3c52660e15b2439b83a", + "native_self_hosted": true, + "operation": "CORE.ECHO", + "output": { + "ECHOED": "TCS_GENERIC_ACTION_GRAPH_LOADER_INNER_ECHO" + }, + "program_id": "TCS-PROGRAM-GENERIC-LOADER-INNER-ECHO-0001", + "schema": "tcs.execution-receipt/v1", + "state": "EXECUTED_TARGET_READBACK_VERIFIED" +}