Package-level declarations

Types

Link copied to clipboard

A12's PartiallyKnownDocumentMultiPointer — the addressing type the message channel uses.

Link copied to clipboard
data class A12PathPart(val name: String, val repetitionIndex: Int)

One part of an exact A12 pointer — the counterpart of A12's PathPart: a name and a repetitionIndex.

Link copied to clipboard

One exact A12 DocumentPointer: an ordered list of A12PathPart, with A12's derived views over it.

Link copied to clipboard

A12's canonical exact DocumentPointer string — the project's single addressing form for a resolved cell (CLAUDE.md "NEVER invent a shape A12 already defines"). Grammar, per kernel 30.8.1 DocumentPointerImpl/PathPartImpl: parts joined by /, each part a name optionally followed by [n]. An absent bracket means repetition 1 and the canonical form omits [1], so Recipe/Ingredients[3]/Name is canonical and a field part carries no bracket. A leading / is accepted and stripped as redundant; a trailing / is rejected.

Link copied to clipboard

Result state of one computed field cell.

Link copied to clipboard

Immutable retained result for one source computation. results remains the report-all observation; actions is its source-relative application subset. Applying to another snapshot never recomputes against that destination.

Link copied to clipboard
data class ComputationResult(val pointer: FieldPointer, val outcome: ComputationOutcome, val value: String?, val diagnostic: ValidationFinding? = null)

Detached outcome of one computed field cell.

Link copied to clipboard
fun interface CustomCondition

Synchronous document-aware error-condition SPI; true means the containing rule fires.

Link copied to clipboard

Read-only, model-owned document view supplied only while a custom condition is executing.

Link copied to clipboard

Name-resolving source of custom conditions; null means unsupported.

Link copied to clipboard

Exact document, relevance, formal-error, and error-pointer inputs of one custom-condition call.

Link copied to clipboard

Immutable explicit or factory-backed custom-condition resolver bound once to an Interpreter.

Link copied to clipboard

Name-resolving source of custom field validators; null means unsupported.

Link copied to clipboard

Immutable explicit or factory-backed custom-field resolver bound once to an Interpreter.

Link copied to clipboard
data class CustomFieldValidationParameters(val locale: String, val minLength: Int?, val maxLength: Int?, val isDisplayValue: Boolean)

Locale and effective declaration bounds supplied to one custom-field validation call.

Link copied to clipboard

Allocation-free accepting or structured rejecting result of a custom field validator.

Link copied to clipboard
fun interface CustomFieldValidator

Synchronous code-based custom-field validation SPI.

Link copied to clipboard

Customization registry involved in a registration failure.

Link copied to clipboard
class CustomizationRegistrationError : IllegalArgumentException

An explicit customization registry contains an empty or duplicate name.

Link copied to clipboard

Stable reason why an explicit customization registration was refused.

Link copied to clipboard
class DocumentCoordinateError : RuntimeException

A concrete or relevance pointer carries invalid coordinates. Group coordinates above declared bounds remain representable for formal validation; this error covers address shape, not repetition-limit validation.

Link copied to clipboard

Stable reason why a concrete model address cannot be constructed.

Link copied to clipboard

Resource bounds for Document decoding. Caller values are capped by the hard implementation maxima so an API consumer cannot accidentally disable the browser-safe denial-of-service guards.

Link copied to clipboard
class DocumentEncodeError : RuntimeException

The document holds state A12 Document JSON has no shape for, so encoding would silently lose it. The one reachable case is a non-repeatable group row above 1: A12's reader accepts an array at any group (so such a row stays readable, and formal validation reports it), while A12's writer emits a non-repeatable group as a single object. pointer is the canonical A12 pointer of the offending row.

Link copied to clipboard

One structured Document-input failure. Only properties meaningful for reasonCode are populated; message is presentation text and is never the sole carrier of corrective data. pointer is the canonical A12 DocumentPointer string of the offending position (A12PointerFormat), so a caller can address the defect in the same form the document itself uses.

Link copied to clipboard
class DocumentInputError : RuntimeException

Aggregate Document-input failure; thrown before any document state is constructed.

Link copied to clipboard
Link copied to clipboard

What a JSON node at one document position actually is, when the model expected something else.

Link copied to clipboard

One exact model-owned group row or field cell.

Link copied to clipboard

One frozen, model-owned document instance. It exposes no storage mutation or evaluation surface; the encode verb on its owning PreparedModel.documents is the read-back. documentId is A12's root-level id — a serializer special case rather than a model field, so it takes no part in evaluation.

Link copied to clipboard

Exact model-owned field-cell pointer produced by ModelMetadata.pointer.

Link copied to clipboard

Exact model-owned group-row pointer produced by ModelMetadata.pointer.

Link copied to clipboard

One owner-bound active evaluator. It reuses one prepared engine, accepts only snapshots/pointers from its PreparedModel, and returns detached support, validation, and computation records.

Link copied to clipboard

Customization inputs used to create one active Interpreter.

Link copied to clipboard
class InterpreterIntegrationError : RuntimeException

Typed boundary error for host factory/callback failures and same-lane reentry.

Link copied to clipboard

Lifecycle phase in which a host factory or callback failed.

Link copied to clipboard

Stable classification of a host integration failure.

Link copied to clipboard

Document-independent support audit for one prepared model and one bound customization configuration.

Link copied to clipboard

Java acquisition port for the common collector. One provider instance represents one logical source snapshot; returning null means that the requested exact model id does not exist.

Link copied to clipboard

Portable cancellation state shared with the provider and checked between exact-id loads.

Link copied to clipboard
data class ModelDependency

One distinct resolved preparation edge and the digest of the exact source bytes that satisfied it.

Link copied to clipboard

Whether a model-owned pointer addresses a declared group row or field cell.

Link copied to clipboard
sealed interface ModelExpansionResult

Non-throwing result of assembler-only expanded DM-JSON generation.

Link copied to clipboard

Minimal model-owned metadata boundary for exact and partial-relevance pointer construction. Rich declaration navigation remains outside the first interpreter release increment.

Link copied to clipboard
interface ModelOwned

Common ownership contract for model-bound runtime values.

Link copied to clipboard

Opaque process- or Worker-local authenticity domain for objects created by one PreparedModel.

Link copied to clipboard
class ModelOwnerMismatchError : RuntimeException

A model-owned runtime object reached an API belonging to a different prepared owner domain — a foreign model, or a stale snapshot of an earlier preparation of the same sources. expected and actual are opaque correlation identities, never model content.

Link copied to clipboard

One structured preparation failure. Only properties meaningful for code are populated; message is presentation text and is never the sole carrier of corrective data exposed by this contract.

Link copied to clipboard
class ModelPreparationError : RuntimeException

Aggregate failure for source admission or model preparation.

Link copied to clipboard

Resource bounds for source admission and deterministic preparation. Caller values are capped by the hard implementation maxima so an API consumer cannot accidentally disable the browser-safe denial-of-service guards.

Link copied to clipboard
sealed interface ModelPreparationResult

Non-throwing result of preparing one model for evaluation.

Link copied to clipboard

The role of one directed edge in the raw-model preparation closure.

Link copied to clipboard

One exact directed edge traversed while preparing a workspace closure.

Link copied to clipboard

Effective acquisition ceiling and cancellation state for one provider call.

Link copied to clipboard

Snapshot-scoped host port that resolves one exact logical model id without exposing storage machinery. snapshotRevision is optional provenance and is retained only when it is a safe logical label.

Link copied to clipboard
class ModelSourceProviderError : RuntimeException

Typed provider-owned acquisition failure. Collection retains only its stable reason and cause.

Link copied to clipboard

Stable reason supplied by a provider that cannot return one requested source.

Link copied to clipboard

Opaque process- or Worker-local identity for one independently prepared model version.

Link copied to clipboard

Immutable exact-id workspace produced from a finite or provider-collected source set. Construction admits and freezes every supplied source; prepare resolves only the requested entry's transitive closure.

Link copied to clipboard

Java-only asynchronous projection over the single common workspace collector.

Link copied to clipboard

The Document transport of one PreparedModel, speaking A12's canonical Document JSON on both sides. readDocument validates the complete text — parseability, resource limits, model paths, and node types — and only then constructs the snapshot, so a failing input mutates nothing. seedDocument creates the deterministic, complete model-shaped candidate also exposed by dmtool model seed. encodeDocument is the owner-checked read-back: every row, empty cell, and unconverted raw value survives it, and one encode reaches the canonical fixed point.

Link copied to clipboard

One model-static prepared owner domain. It contains no request document, clock, callback, registry, provider, filesystem handle, or request-scoped state.

Link copied to clipboard
sealed interface RelevantCoordinate

One coordinate of a partial-validation selection: one exact row or every repetition at that level.

Link copied to clipboard

Model-owned field/group selection accepted by partial validation.

Link copied to clipboard

Partial-validation selection containing at least one RelevantCoordinate.All coordinate.

Link copied to clipboard
class UnknownModelPathError : RuntimeException

A lookup requested a path that names no declared field or group.

Link copied to clipboard
data class UnsupportedProgram(val path: String, val reason: String, val subject: UnsupportedProgramSubject)

One construct the configured interpreter cannot evaluate — a stored rule, an implicit rule, a computation, a field declaration whose custom type is unregistered, or a single document cell.

Link copied to clipboard

What kind of address an UnsupportedProgram.path carries — the two are not interchangeable.

Link copied to clipboard
data class ValidationFinding(val code: String, val rulePath: String, val errorPath: A12PartiallyKnownMultiPointer, val severity: ValidationSeverity, val type: ValidationFindingType, val text: String, val referenced: List<A12PartiallyKnownMultiPointer>, val fillToFix: List<A12PartiallyKnownMultiPointer>)

Detached, kernel-free projection of one validation finding.

Link copied to clipboard

Whether a firing reports an invalid supplied value or a required omission.

Link copied to clipboard

Detached full/partial-validation report with independent finding and support axes.

Link copied to clipboard

UI severity of one validation finding; only ERROR makes noErrorOccurred false.

Link copied to clipboard

One immutable raw DM-JSON source supplied to ModelWorkspace.