docs← Back to article

Markdown for LLMs

Arxo Core 0.1 implementation conformance descriptor

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

Download this articlePlain text ↗
# Arxo Core 0.1 implementation conformance descriptor

Reference page for the `conformance-descriptor.schema.json` JSON schema.

## Versions

No accepted version marker is declared.

## Top-level fields

| name | type-or-$ref | required | description |
|---|---|---|---|
| `implementation` | `string` | yes | — |
| `languageVersions` | `array` | yes | — |
| `profiles` | `array` | yes | — |
| `features` | `array` | yes | — |
| `interopAdapters` | `array` | yes | — |
| `resourceLimits` | `object` | yes | — |
| `proofCapabilities` | `array` | yes | — |
| `descriptorHash` | [`#/$defs/Digest`](#digest) | yes | — |
| `semanticLayer` | enum (4) | no | The layer the implementation claims: claiming `L1` means all conformance checks of layers L0–L1 pass, and violators are diagnosed. Semantic layer of the implementation. The field is named `semanticLayer`, not `layer`, because the short name is taken by the package profile of ontological packages. The layer is a ceiling: declaring higher than derived is allowed, lower is rejected (LDC-E8101). |
| `deferred` | `array` | no | Deferred claim items: analyses, conformance checks, and platforms that the implementation DELIBERATELY does not confirm. A layer claim must disclose here every unexecuted check of its layer — otherwise it hides a gap. |

## Enumerations

| location | values |
|---|---|
| `properties/interopAdapters/items/properties/direction` | `"import"`, `"export"`, `"round_trip"` |
| `properties/semanticLayer` | `"L0"`, `"L1"`, `"L2"`, `"L3"` |
| `properties/deferred/items/properties/kind` | `"vector"`, `"analysis"`, `"platform"`, `"profile"` |

## Raw schema

[`https://law.arxo.io/schema/conformance-descriptor.schema.json`](https://law.arxo.io/schema/conformance-descriptor.schema.json)

## `Digest`

Type: `string`.