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