47 lines
1.9 KiB
Text
47 lines
1.9 KiB
Text
schema: tcs.self-host-standard/v1
|
|
id: TCS-SELF-HOST-STANDARD-0001
|
|
version: 0.1.0
|
|
state: SELF_HOSTED_RULE_DRIVEN_CROSS_HOST_PASS_100
|
|
compiler_source: language/compiler/TCS-COMPILER-STAGE1.tcs
|
|
gates:
|
|
- id: SH-01
|
|
require: STAGE0_COMPILES_STAGE1_TO_COMPILER_A_GIR
|
|
- id: SH-02
|
|
require: COMPILER_A_EXECUTES_ON_GUANGHU_RUNTIME
|
|
- id: SH-03
|
|
require: COMPILER_A_COMPILES_SAME_STAGE1_TO_COMPILER_B_GIR
|
|
- id: SH-04
|
|
require: CANONICAL_SEMANTIC_SHA256_A_EQUALS_B
|
|
- id: SH-05
|
|
require: COMPILER_B_COMPILES_STANDARD_LIBRARY_NEGATIVE_CORPUS_AND_RUNNABLE_MODULE
|
|
- id: SH-06
|
|
require: COMPLETE_CHAIN_RUNS_WITH_STAGE0_DISABLED
|
|
- id: SH-07
|
|
require: HOLOLAKE_AND_GUANGHU_OS_LOAD_SAME_GIR_ABI
|
|
decision:
|
|
allowed: [FAIL_0, PASS_100]
|
|
partial_pass: false
|
|
current:
|
|
SH-01: PASS_100
|
|
SH-02: PASS_100
|
|
SH-03: PASS_100
|
|
SH-04: PASS_100
|
|
SH-05: PASS_100
|
|
SH-06: PASS_100
|
|
SH-07: PASS_100
|
|
aggregate: PASS_100
|
|
evidence:
|
|
compiler_a: build/self-host/compiler-A.gir.json
|
|
compiler_b: build/self-host/compiler-B.gir.json
|
|
semantic_fixed_point_field: identity.definition_sha256
|
|
standard_library: build/self-host/TCS-STDLIB-CORE.module.gir.json
|
|
runnable_module: build/self-host/ECHO-PACKAGE.module.gir.json
|
|
stage0_disabled_test: native-runtime/tcs-gir-runtime/tests/stage1_runtime.rs
|
|
negative_corpus: language/tests/negative/UNREGISTERED-OPERATION.tcs
|
|
rule_control_test: bootstrap/tcs-stage0/tests/stage0.rs
|
|
macos_runtime_sha256: 28d8029457079228a6f1b49f24c16364c65e48a9036116e9dfbeca6b409f737f
|
|
linux_runtime_sha256: 956b42a05c030439347b521095e5c116c050636ea9d08376c550ec2d3af8237d
|
|
windows_runtime_sha256: 7fa6b0213530c708d49c36deea79799d2576411f60c6ebf1ff8b5d1e29aac869
|
|
cross_host_gir_sha256: 85934d5ae9c85b1c41763cfde9484d86f1c8508c14395e4c436e421d5261232d
|
|
cross_host_execution_receipt_sha256: 125995a4f9aa858be7fa337fcfca40560389b3f2ce4c32bd4c425985a3d2e2ba
|
|
jd_server_receipt_sha256: e1e14d97f057ea619d1a34454900cd21ce2ead213c062cdbe14d912efcbdae8f
|