cadrumo.domain.calculations.registry.reference_sections module

Specialized snapshot-reference section walkers.

Per-section walkers that traverse the typed-ID fields of a ModeloRevision and call into an IdReferenceChecker to accumulate dangling-reference diagnostics.

See also

domain.calculations.registry.reference_checks.check_all_id_references()

Snapshot-level referential-integrity gate that invokes these walkers.

cadrumo.domain.calculations.registry.reference_checker

Accumulator that owns the per-kind typed-id sets used here.

CONSTRUCT_MEMBER_ID_AXES: tuple[tuple[str, str], ...]

Each ConstructDefinition member-reference field paired with the IdReferenceChecker id set its values must resolve against. Public because the pairing is policy with a coverage gate of its own: a member axis missing here is walked by nothing, so its references are never checked and the gap is silent.

check_construct_refs(checker, revision)[source]

Check construct member references for one revision.

The ModeloRevision supplies construct declarations. The IdReferenceChecker supplies the typed member-id sets and legal/source-ref closure checks.

Return type:

None

Parameters:
check_dependency_classification_refs(checker, revision)[source]

Check dependency-classification construct and binding refs.

The ModeloRevision supplies dependency classifications. The checker verifies target constructs, binding refs, and legal/source refs against the snapshot id sets.

Return type:

None

Parameters:
check_export_layout_refs(checker, revision)[source]

Check export-layout record and field references for one revision.

The ModeloRevision supplies export layouts. The checker validates dictionary source refs, record positive-casilla gates, row-field casillas, field casilla/binding refs, and field legal/source refs.

Return type:

None

Parameters:
check_binding_selector_shapes(checker, revision)[source]

Validate each binding’s provider against its family’s build-time invariants.

Parameters:
Return type:

None