Arxo counterfactual input 0.1
For LLMs14 sections
Finite, hash-pinned candidate worlds for a counterfactual declaration: alternative inputs the search may explore.
Versions
Section titled “Versions”Accepted schemaVersion: law.core.counterfactual-input/0.1.
Top-level fields
Section titled “Top-level fields”| name | type-or-$ref | required | description |
|---|---|---|---|
schemaVersion | "law.core.counterfactual-input/0.1" | yes | — |
kind | "counterfactual-input" | yes | — |
id | #/$defs/StableId | yes | — |
programHash | #/$defs/Digest | yes | — |
caseHash | #/$defs/Digest | yes | — |
counterfactual | #/$defs/StableId | yes | — |
costModel | #/$defs/StableId | yes | — |
candidates | array | yes | — |
contentHash | #/$defs/Digest | yes | — |
metadata | object | no | — |
Enumerations
Section titled “Enumerations”| location | values |
|---|---|
properties/schemaVersion | "law.core.counterfactual-input/0.1" |
properties/kind | "counterfactual-input" |
$defs/SetConst/properties/kind | "setConst" |
$defs/AddAssertion/properties/kind | "addAssertion" |
$defs/RemoveAssertion/properties/kind | "removeAssertion" |
$defs/SetContext/properties/kind | "setContext" |
Raw schema
Section titled “Raw schema”StableId
Section titled “StableId”Type: string.
Digest
Section titled “Digest”Type: string.
DecimalString
Section titled “DecimalString”Type: string.
JsonValue
Section titled “JsonValue”Definition JsonValue.
SetConst
Section titled “SetConst”Type: object.
Required: kind, target, value.
| name | type-or-$ref | description |
|---|---|---|
kind | "setConst" | — |
target | #/$defs/StableId | — |
value | legal-ir.schema.json#/$defs/Term | — |
AddAssertion
Section titled “AddAssertion”Type: object.
Required: kind, assertion.
| name | type-or-$ref | description |
|---|---|---|
kind | "addAssertion" | — |
assertion | legal-ir.schema.json#/$defs/Assertion | — |
RemoveAssertion
Section titled “RemoveAssertion”Type: object.
Required: kind, assertion.
| name | type-or-$ref | description |
|---|---|---|
kind | "removeAssertion" | — |
assertion | #/$defs/StableId | — |
SetContext
Section titled “SetContext”Type: object.
Required: kind, target, value.
| name | type-or-$ref | description |
|---|---|---|
kind | "setContext" | — |
target | string | — |
value | #/$defs/JsonValue | — |
Operation
Section titled “Operation”Definition Operation.
Candidate
Section titled “Candidate”Type: object.
Required: id, cost, operations.
| name | type-or-$ref | description |
|---|---|---|
id | #/$defs/StableId | — |
cost | #/$defs/DecimalString | — |
operations | array | — |
metadata | object | — |
Documentation for Arxo. Writings — blog.arxo.io.
Anonymous visit counts on stats.arxo.io, no cookies.