Arxo counterfactual result 0.1
For LLMs10 sections
Deterministic result and replay certificate of a finite counterfactual search.
Versions
Section titled “Versions”Accepted schemaVersion: law.core.counterfactual-result/0.1.
Top-level fields
Section titled “Top-level fields”| name | type-or-$ref | required | description |
|---|---|---|---|
schemaVersion | "law.core.counterfactual-result/0.1" | yes | — |
kind | "counterfactual-result" | yes | — |
id | #/$defs/StableId | yes | — |
counterfactual | #/$defs/StableId | yes | — |
programHash | #/$defs/Digest | yes | — |
caseHash | #/$defs/Digest | yes | — |
inputHash | #/$defs/Digest | yes | — |
solverProfile | "law.solver.finite-enumeration/0.1" | yes | — |
status | enum (3) | yes | — |
solutions | array | yes | — |
certificate | #/$defs/Certificate | yes | — |
contentHash | #/$defs/Digest | yes | — |
Enumerations
Section titled “Enumerations”| location | values |
|---|---|
properties/schemaVersion | "law.core.counterfactual-result/0.1" |
properties/kind | "counterfactual-result" |
properties/solverProfile | "law.solver.finite-enumeration/0.1" |
properties/status | "ALREADY_SATISFIED", "FOUND", "NO_SOLUTION" |
$defs/CheckedCandidate/properties/targetStatus | "TRUE_ONLY", "FALSE_ONLY", "BOTH", "NEITHER" |
$defs/CheckedCandidate/properties/constraintsStatus | "TRUE_ONLY", "FALSE_ONLY", "BOTH", "NEITHER" |
Raw schema
Section titled “Raw schema”https://law.arxo.io/schema/counterfactual-result.schema.json
StableId
Section titled “StableId”Type: string.
Digest
Section titled “Digest”Type: string.
DecimalString
Section titled “DecimalString”Type: string.
CheckedCandidate
Section titled “CheckedCandidate”Type: object.
Required: id, cost, targetStatus, constraintsStatus, evaluationHash.
| name | type-or-$ref | description |
|---|---|---|
id | #/$defs/StableId | — |
cost | #/$defs/DecimalString | — |
targetStatus | enum (4) | — |
constraintsStatus | enum (4) | — |
evaluationHash | #/$defs/Digest | — |
Solution
Section titled “Solution”Type: object.
Required: candidate, cost, caseHash, evaluationHash, proofRoots, operations.
| name | type-or-$ref | description |
|---|---|---|
candidate | #/$defs/StableId | — |
cost | #/$defs/DecimalString | — |
caseHash | #/$defs/Digest | — |
evaluationHash | #/$defs/Digest | — |
proofRoots | array | — |
operations | array | — |
Certificate
Section titled “Certificate”Type: object.
Required: candidateSetHash, checked, cutoffCost.
| name | type-or-$ref | description |
|---|---|---|
candidateSetHash | #/$defs/Digest | — |
checked | array | — |
cutoffCost | oneOf (2) | — |
Documentation for Arxo. Writings — blog.arxo.io.
Anonymous visit counts on stats.arxo.io, no cookies.