schema: tcs.dev-verify-case/v1
id: HLP-NATIVE-QA-0003
target: ../../compiler/examples/INITIALIZE-PERSONAL-CHANNEL.hldp
input_condition: TARGET_AND_SUBJECT_CONTAIN_RUNTIME_RESOLUTION_TOKENS
expected: REJECT
expected_error: UNRESOLVED_NATURAL_LANGUAGE_OR_TARGET
proof_required: REJECTION_RECEIPT_WITH_NO_REALITY_WRITE