116 lines
2.7 KiB
JSON
116 lines
2.7 KiB
JSON
{
|
|
"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-STAGE1-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
|
|
}
|