Markdown for LLMs

import-coverage

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

# import-coverage

Reference page for the `import-coverage.schema.json` JSON schema.

## Versions

Accepted `format`: `arxo.import.coverage/0.1`.

## Top-level fields

| name | type-or-$ref | required | description |
|---|---|---|---|
| `format` | `"arxo.import.coverage/0.1"` | yes | — |
| `selection` | `array` | yes | — |
| `scope` | `string` | yes | — |
| `compiler_check` | `"not_run"` | yes | — |
| `input_hash` | `string` | yes | — |
| `mapping_hash` | `string` | yes | — |
| `total` | `integer` | yes | — |
| `totals` | `object` | yes | — |
| `modules` | `object` | yes | — |
| `reasons` | `object` | yes | — |
| `entries` | `object` | yes | — |

## Enumerations

| location | values |
|---|---|
| `properties/format` | `"arxo.import.coverage/0.1"` |
| `properties/compiler_check` | `"not_run"` |
| `properties/entries/additionalProperties/properties/inventory/properties/kind` | `"theorem"`, `"definition"`, `"axiom"`, `"instance"` |
| `properties/entries/additionalProperties/properties/inventory/properties/role` | `"selected"`, `"dependency"` |
| `properties/entries/additionalProperties/properties/outcome/properties/status` | `"rule"`, `"fact"`, `"catalogue"`, `"blocked"` |

## Raw schema

[`https://law.arxo.io/schema/import-coverage.schema.json`](https://law.arxo.io/schema/import-coverage.schema.json)