Markdown for LLMs

Arxo counterfactual result 0.1

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# Arxo counterfactual result 0.1

Deterministic result and replay certificate of a finite counterfactual search.

## Versions

Accepted `schemaVersion`: `law.core.counterfactual-result/0.1`.

## Top-level fields

| name | type-or-$ref | required | description |
|---|---|---|---|
| `schemaVersion` | `"law.core.counterfactual-result/0.1"` | yes | — |
| `kind` | `"counterfactual-result"` | yes | — |
| `id` | [`#/$defs/StableId`](#stableid) | yes | — |
| `counterfactual` | [`#/$defs/StableId`](#stableid) | yes | — |
| `programHash` | [`#/$defs/Digest`](#digest) | yes | — |
| `caseHash` | [`#/$defs/Digest`](#digest) | yes | — |
| `inputHash` | [`#/$defs/Digest`](#digest) | yes | — |
| `solverProfile` | `"law.solver.finite-enumeration/0.1"` | yes | — |
| `status` | enum (3) | yes | — |
| `solutions` | `array` | yes | — |
| `certificate` | [`#/$defs/Certificate`](#certificate) | yes | — |
| `contentHash` | [`#/$defs/Digest`](#digest) | yes | — |

## 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

[`https://law.arxo.io/schema/counterfactual-result.schema.json`](https://law.arxo.io/schema/counterfactual-result.schema.json)

## `StableId`

Type: `string`.

## `Digest`

Type: `string`.

## `DecimalString`

Type: `string`.

## `CheckedCandidate`

Type: `object`.
Required: `id`, `cost`, `targetStatus`, `constraintsStatus`, `evaluationHash`.

| name | type-or-$ref | description |
|---|---|---|
| `id` | [`#/$defs/StableId`](#stableid) | — |
| `cost` | [`#/$defs/DecimalString`](#decimalstring) | — |
| `targetStatus` | enum (4) | — |
| `constraintsStatus` | enum (4) | — |
| `evaluationHash` | [`#/$defs/Digest`](#digest) | — |

## `Solution`

Type: `object`.
Required: `candidate`, `cost`, `caseHash`, `evaluationHash`, `proofRoots`, `operations`.

| name | type-or-$ref | description |
|---|---|---|
| `candidate` | [`#/$defs/StableId`](#stableid) | — |
| `cost` | [`#/$defs/DecimalString`](#decimalstring) | — |
| `caseHash` | [`#/$defs/Digest`](#digest) | — |
| `evaluationHash` | [`#/$defs/Digest`](#digest) | — |
| `proofRoots` | `array` | — |
| `operations` | `array` | — |

## `Certificate`

Type: `object`.
Required: `candidateSetHash`, `checked`, `cutoffCost`.

| name | type-or-$ref | description |
|---|---|---|
| `candidateSetHash` | [`#/$defs/Digest`](#digest) | — |
| `checked` | `array` | — |
| `cutoffCost` | oneOf (2) | — |