17 lines
1.8 KiB
Text
17 lines
1.8 KiB
Text
TCS 0.1;
|
|
|
|
MODULE TCS-HOST-WINDOWS-X86_64-0001 {
|
|
header { schema = "tcs.module/v1"; name_zh = "TCS Windows 宿主运行核"; name_en = "TCS Windows Host Runtime"; version = "0.1.0"; language = "TCS/0.1"; profile = "TCS-HOST-ABI/0.1"; protocols = ["TCS-HOST-ABI-0001"]; lifecycle = "CANDIDATE"; canonical_uri = "language/targets/TCS-HOST-WINDOWS-X86_64.tcs"; compatibility = ["GIR/1", "x86_64-pc-windows-msvc"]; }
|
|
source { source_id = "HLP-PART-TCS-HOST-0001"; source_uri = "native-runtime/tcs-gir-runtime"; source_sha256 = "BOUND_AT_BUILD"; source_role = "PORTABLE_HOST_RUNTIME"; }
|
|
manifest { module_id = "TCS-HOST-WINDOWS-X86_64-0001"; display_name_zh = "TCS Windows 宿主运行核"; entry_program_id = "TCS-COMPILER-STAGE1-0001"; entry_source = "build/self-host/compiler-B.gir.json"; target_triple = "x86_64-pc-windows-msvc"; }
|
|
entry { kind = "COMPILER_GIR_RUNTIME"; id = "TCS-COMPILER-STAGE1-0001"; }
|
|
capabilities { required = ["HOST.EXACT_ROOT_IO", "HOST.SHA256", "HOST.MONOTONIC_TIME"]; provided = ["TCS.COMPILE", "GIR.RUN"]; }
|
|
authority_ceiling { maximum = "CALLER_PROVIDED_EXACT_ROOT_AND_VALID_LEASE"; network = false; process = false; }
|
|
resource_ceiling { concurrency = 1; timeout_ms = 30000; memory_limit_bytes = 268435456; }
|
|
data_scope { read = ["TCS_SOURCE", "COMPILER_GIR", "GIR_INPUT"]; write = ["CALLER_SCOPED_BUILD_AND_RECEIPT_ROOT"]; }
|
|
network_scope { allowed = false; domains = []; }
|
|
install { account_scoped = true; registration_is_installation = false; activation_requires_self_test = true; }
|
|
self_test { program_id = "HLP-PROGRAM-ECHO-0001"; expect = "EXECUTED_TARGET_READBACK_VERIFIED"; }
|
|
rollback { action = "RESTORE_PREVIOUS_HOST_RUNTIME"; preserve_receipts = true; }
|
|
projection { display_name_zh = "TCS Windows 宿主运行核"; technical_detail_default = false; }
|
|
}
|