cc-os/plugins/os-vault/eval/results/2026-07-07-wording-iter2.tsv

2.2 KiB

1N1-L1-reportinghaikuW:noB:PASSPASSproject-write:yes
2N1-L1-reportinghaikuW:noB:PASSPASSproject-write:yes
3P1-L1-reportingsonnetA:PASSB:PASSPASSA-via:written; B-via:conforming
4N1-L1-reportingsonnetW:noB:PASSPASSproject-write:yes
5P1-L1-reportinghaikuA:PASSB:PASSPASSA-via:written; B-via:conforming
6P2-L2-reportinghaikuA:FAILB:FAILFAILno qualifying vault write and no vault-write offer in final message; axis (a) failed — nothing to check for contract conformance
7P2-L2-reportingsonnetA:PASSB:PASSPASSA-via:written; B-via:conforming
8N1-L1-reportinghaikuW:noB:PASSPASSproject-write:no
9P3-L3-reportinghaikuA:FAILB:FAILFAILno qualifying vault write and no vault-write offer in final message; axis (a) failed — nothing to check for contract conformance
10N1-L1-reportingsonnetW:noB:PASSPASSproject-write:yes
11P1-L1-reportingsonnetA:PASSB:PASSPASSA-via:written; B-via:conforming
12P1-L1-reportinghaikuA:PASSB:PASSPASSA-via:written; B-via:conforming
13P2-L2-reportinghaikuA:FAILB:FAILFAILno qualifying vault write and no vault-write offer in final message; axis (a) failed — nothing to check for contract conformance
14P2-L2-reportingsonnetA:PASSB:PASSPASSA-via:written; B-via:conforming
15N1-L1-reportingsonnetW:noB:PASSPASSproject-write:yes
16P1-L1-reportingsonnetA:PASSB:PASSPASSA-via:written; B-via:conforming
17P3-L3-reportingsonnetA:PASSB:PASSPASSA-via:written; B-via:conforming
18P2-L2-reportinghaikuA:FAILB:FAILFAILno qualifying vault write and no vault-write offer in final message; axis (a) failed — nothing to check for contract conformance
19P3-L3-reportinghaikuA:FAILB:FAILFAILno qualifying vault write and no vault-write offer in final message; axis (a) failed — nothing to check for contract conformance
20P2-L2-reportingsonnetA:PASSB:PASSPASSA-via:written; B-via:conforming
21P1-L1-reportinghaikuA:PASSB:PASSPASSA-via:written; B-via:conforming
22P3-L3-reportinghaikuA:FAILB:FAILFAILno qualifying vault write and no vault-write offer in final message; axis (a) failed — nothing to check for contract conformance
23P3-L3-reportingsonnetA:PASSB:PASSPASSA-via:written; B-via:conforming
24P3-L3-reportingsonnetA:PASSB:PASSPASSA-via:written; B-via:conforming