Markdown for LLMs

import-inventory

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

# import-inventory

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

## Versions

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

## Top-level fields

| name | type-or-$ref | required | description |
|---|---|---|---|
| `format` | `"arxo.import.inventory/0.1"` | yes | — |
| `selection` | `array` | yes | — |
| `scope` | `string` | yes | — |
| `entries` | `object` | yes | — |

## Enumerations

| location | values |
|---|---|
| `properties/format` | `"arxo.import.inventory/0.1"` |
| `properties/entries/additionalProperties/properties/kind` | `"theorem"`, `"definition"`, `"axiom"`, `"instance"` |
| `properties/entries/additionalProperties/properties/role` | `"selected"`, `"dependency"` |

## Raw schema

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