docs← Back to article

Markdown for LLMs

Arxo population screening source binding 0.1

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

Download this articlePlain text ↗
# Arxo population screening source binding 0.1

Pinned mapping from exact case-assertable relations to a source schema: which tables and columns back each relation used in population screening.

## Versions

Accepted `schemaVersion`: `law.screen.binding/0.1`.

## Top-level fields

| name | type-or-$ref | required | description |
|---|---|---|---|
| `schemaVersion` | `"law.screen.binding/0.1"` | yes | — |
| `id` | [`#/$defs/StableId`](#stableid) | yes | — |
| `packageSemanticHash` | [`#/$defs/Digest`](#digest) | yes | — |
| `source` | `object` | yes | — |
| `population` | `object` | yes | — |
| `assertableContract` | `object` | yes | — |
| `relations` | `array` | yes | — |
| `contentHash` | [`#/$defs/Digest`](#digest) | yes | — |

## Enumerations

| location | values |
|---|---|
| `properties/schemaVersion` | `"law.screen.binding/0.1"` |
| `properties/source/properties/snapshotPolicy` | `"same_snapshot_for_screen_and_evaluate"` |
| `properties/assertableContract/properties/coverage` | `"exact_relations"` |
| `properties/assertableContract/properties/nullSemantics` | `"unknown_pass"` |
| `$defs/RelationBinding/properties/presence/oneOf/0/properties/kind` | `"row"` |
| `$defs/RelationBinding/properties/presence/oneOf/1/properties/kind` | `"boolean_column"` |

## Raw schema

[`https://law.arxo.io/schema/screen-binding.schema.json`](https://law.arxo.io/schema/screen-binding.schema.json)

## `StableId`

Type: `string`.

## `Digest`

Type: `string`.

## `SqlIdentifier`

Type: `string`.

## `RelationBinding`

Type: `object`.
Required: `predicate`, `table`, `arguments`, `presence`.

| name | type-or-$ref | description |
|---|---|---|
| `predicate` | [`#/$defs/StableId`](#stableid) | — |
| `table` | [`#/$defs/SqlIdentifier`](#sqlidentifier) | — |
| `arguments` | `array` | — |
| `presence` | oneOf (2) | — |

## `ArgumentBinding`

Type: `object`.
Required: `position`, `column`, `type`, `unit`.

| name | type-or-$ref | description |
|---|---|---|
| `position` | `integer` | — |
| `column` | [`#/$defs/SqlIdentifier`](#sqlidentifier) | — |
| `type` | [`legal-ir.schema.json#/$defs/TypeRef`](/protocols/schemas/legal-ir/#typeref) | — |
| `unit` | `string` or `null` | — |