Create rAT
Browse fileshttps://huggingface.co/spaces/Quantarion9/AQARION-ACADEMY/resolve/main/CLAIMLOCK/POLICY-001.YML
https://huggingface.co/Quantarion9/AQARION-DEFECT/resolve/main/AQARION/TOOL_BOX/SKILLS/CLAIMLOCK
AQARION/TOOL_BOX/SKILLS/CLAIMLOCK/rAT
ADDED
|
@@ -0,0 +1,36 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
CL001:
|
| 2 |
+
SELF_ATTESTED_STATUS
|
| 3 |
+
CL002:
|
| 4 |
+
CLAIMANT_CONTROLLED_VERIFIER
|
| 5 |
+
CL003:
|
| 6 |
+
EPHEMERAL_VERIFIER_DISALLOWED
|
| 7 |
+
CL004:
|
| 8 |
+
VERIFIER_PROVENANCE_MISSING
|
| 9 |
+
CL005:
|
| 10 |
+
CONTENT_HASH_MISSING
|
| 11 |
+
CL006:
|
| 12 |
+
CONTENT_HASH_MISMATCH
|
| 13 |
+
CL007:
|
| 14 |
+
EVIDENCE_DEPENDENCY_CYCLE
|
| 15 |
+
CL008:
|
| 16 |
+
EVIDENCE_SCOPE_INSUFFICIENT
|
| 17 |
+
CL009:
|
| 18 |
+
REQUIRED_OBLIGATION_ABSENT
|
| 19 |
+
CL010:
|
| 20 |
+
STALE_RECEIPT
|
| 21 |
+
CL011:
|
| 22 |
+
ARTIFACT_IDENTITY_MISMATCH
|
| 23 |
+
CL012:
|
| 24 |
+
SHARED_IMPLEMENTATION_NOT_INDEPENDENT
|
| 25 |
+
CL013:
|
| 26 |
+
NUMERICAL_EVIDENCE_CANNOT_PROMOTE_EXACT_CLAIM
|
| 27 |
+
CL014:
|
| 28 |
+
FORMAL_TARGET_MISMATCH
|
| 29 |
+
CL015:
|
| 30 |
+
UNRESOLVED_SORRY_OR_AXIOM
|
| 31 |
+
CL016:
|
| 32 |
+
TOOLCHAIN_OR_ENVIRONMENT_UNPINNED
|
| 33 |
+
CL017:
|
| 34 |
+
LITERATURE_ANALOGY_NOT_EXACT_SUPPORT
|
| 35 |
+
CL018:
|
| 36 |
+
CLAIM_SUPERSEDED_OR_DEFINITION_DRIFT
|