bingshuo/hololake-system-architecture
Watch
1
0
Fork
You've already forked hololake-system-architecture
 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity

feat(tcs): add stage2 mother-brain and desktop ABI

Browse source
This commit is contained in:
冰朔 2026-08-23 23:18:11 +08:00
commit d5c87e3768
59 changed files with 5788 additions and 25 deletions
Download patch file Download diff file Expand all files Collapse all files

19
language/tests/TCS-NEGATIVE-STAGE2-UNREGISTERED-ABSORB.tcs Normal file
View file

@ -0,0 +1,19 @@
TCS 0.1;
PROGRAM TCS-NEGATIVE-STAGE2-UNREGISTERED-ABSORB {
header { schema = "tcs.program/v1"; name_zh = "Stage2未知操作拒绝测试"; name_en = "Stage2 Unknown Operation Rejection Test"; version = "0.1.0"; language = "TCS/0.1"; profile = "HLDP-NP/1"; protocols = ["TCS-LPM-DESKTOP-OPERATION-REGISTRY-0001"]; lifecycle = "CANDIDATE"; canonical_uri = "language/tests/TCS-NEGATIVE-STAGE2-UNREGISTERED-ABSORB.tcs"; compatibility = ["TCS-COMPILER-STAGE2-LPM-DESKTOP-0001", "GIR/1"]; }
source { source_id = "TCS-NEGATIVE-CORPUS-STAGE2-0001"; source_uri = "language/tests/TCS-NEGATIVE-STAGE2-UNREGISTERED-ABSORB.tcs"; source_sha256 = "BIND_AT_COMPILE_TIME"; source_role = "GENERATED_FROM_VERIFIED_SOURCE"; }
subject { subject_id = "ICE-P-ZY001"; subject_kind = "PERSONA"; channel_id = "ICE-CH-ZC001"; verification = "LOCAL_NEGATIVE_TEST"; }
target { target_id = "STAGE2-UNKNOWN-OPERATION-NEGATIVE-TARGET"; exact_path = "./receipts/STAGE2-UNKNOWN-OPERATION-SHOULD-NOT-EXIST.hldp"; expected_state = "ABSENT"; expected_fingerprint = "ABSENT"; }
inputs { MESSAGE { type = "Text"; source = "PROGRAM_LITERAL"; required = true; value = "SHOULD_NOT_COMPILE"; } }
outputs { RESULT { type = "Text"; destination = "RECEIPT"; integrity = "SHA256"; } }
conditions { C1 { predicate = "UNKNOWN_OPERATION_MUST_FAIL_CLOSED"; on_false = "FAIL_CLOSED"; } }
actions { A1 { operation = "ABSORB"; input_refs = ["MESSAGE"]; output_refs = ["RESULT"]; on_success = "FAIL_CLOSED"; on_failure = "FAIL_CLOSED"; } }
authority { issuer = "LOCAL_NEGATIVE_TEST"; proof_ref = "TCS-E2101"; scope = "NO_REALITY_WRITE"; valid_from = "TEST_START"; valid_until = "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"]; fail_closed = true; }
stop { signals = ["EXPECTED_REJECTION"]; safe_checkpoint = "NO_TARGET_WRITE"; }
cleanup { targets = ["./receipts/STAGE2-UNKNOWN-OPERATION-SHOULD-NOT-EXIST.hldp"]; exact_boundary = "CURRENT_TCS_DEVELOPMENT_LINE_ONLY"; }
rollback { preconditions = ["UNEXPECTED_WRITE"]; actions = ["STOP_TEST"]; verification = ["TARGET_ABSENT"]; }
receipt { protocol = "TCS-NEGATIVE-ACCEPTANCE-v1"; machine_path = "./receipts/STAGE2-UNKNOWN-OPERATION-SHOULD-NOT-EXIST.hldp"; human_projection = "REQUIRED"; integrity = "SHA256"; target_readback = "TARGET_MUST_REMAIN_ABSENT"; }
}