just_dna_compiler.models

just_dna_compiler.models

Result types returned by the compiler. The compiled manifest itself is the just_dna_format.manifest.ModuleManifest — these wrap validation/compilation outcomes.

ValidationResult

Bases: _Findings

Result of spec validation.

ClosureResult

Bases: _Findings

Result of closing a module's authoring phase (RM73).

Closing is refused rather than reported-and-done when the spec does not validate: the phase boundary means this authored set is finished, and a set the compiler will not accept is not finished. Warnings do not refuse — an unresolved rsID or an ungrounded bin is a legitimate state to declare done, and treating every warning as a blocker would make closure impossible on modules whose findings no authored edit can clear.

CompilationResult

Bases: _Findings

Result of spec compilation, including the emitted manifest.