7 lines
316 B
Text
7 lines
316 B
Text
|
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
|