cadrumo.application.modelo.workspace_manifest module

Generated, fail-closed public-schema denominator for Modelo Workspace V1.

class ModeloWorkspaceFieldManifestEntryV1(**data)[source]

Bases: _ManifestModel

One reachable public-schema leaf or discriminated branch disposition.

Parameters:

data (Any)

path: _Path
schema_type: _SchemaType
node_kind: _NodeKind
classification: ModeloWorkspaceSchemaClassification
destination: _Destination | None
owner: _Owner | None
reason: _Reason | None
class ModeloWorkspaceFieldManifestV1(**data)[source]

Bases: _ManifestModel

Deterministic complete classification over the public registry type denominator.

Parameters:
manifest_version: Literal[1]
traversal_roots: Annotated[tuple[_Path, ...], Field(min_length=1, max_length=128)]
entries: Annotated[tuple[ModeloWorkspaceFieldManifestEntryV1, ...], Field(min_length=1, max_length=10000)]
manifest_digest: ContentDigest
generate_modelo_workspace_field_manifest(snapshot)[source]

Classify every reachable validated-registry type leaf and tagged branch.

The snapshot provides the selected revision for the sole export-layout authority; selector roots come exclusively from the public registry selector accessor. Neither raw authoring data nor Pydantic JSON Schema participates in this walk.

Core types: RegistrySnapshot.

Return type:

ModeloWorkspaceFieldManifestV1

Parameters:

snapshot (RegistrySnapshot)

generate_modelo_workspace_field_manifest_for_inspection(inspection)[source]

Classify every reachable STATIC_INSPECTION type leaf and tagged branch.

A static inspection makes a structurally distinct authority claim from a graded snapshot (it “cannot calculate, render, or file anything”), so it gets its own complete manifest over its own type universe rather than a partial view filtered out of the snapshot-rooted manifest – the same “cannot be represented as one degraded result” principle already governing the REGISTRY admission envelope applies identically here. RegistryRevisionInspection carries no full ModeloRevision, so it has no export-layout root; selector roots are unchanged, since selector models are picked purely by BindingSourceKind, independent of which admission is reading.

Return type:

ModeloWorkspaceFieldManifestV1

Parameters:

inspection (RegistryRevisionInspection)

exception ModeloWorkspaceManifestCaptureError(message=None, *, context=None, translated_message=None)[source]

Bases: CadrumoError

Raised when a field manifest cannot be captured over one stable window.

Parameters:

  • message (str | None)

  • context (Mapping[str, object] | None)

  • translated_message (str | None)

Return type:

None

code
class ModeloWorkspaceManifestCapture(manifest, comparison_domain, generation)[source]

Bases: object

One generated field manifest and its currentness coordinate.

manifest is exactly what the sole walker produced; the capture never re-walks the schema to describe what it already holds. The snapshot coordinate and process incarnation are folded into the opaque comparison domain and never exposed.

Parameters:
manifest: ModeloWorkspaceFieldManifestV1
comparison_domain: str
generation: int
require_current(current)[source]

Refuse a currentness comparison outside this owner process domain.

Return type:

ModeloWorkspaceManifestCapture

Parameters:

current (ModeloWorkspaceManifestCurrentCoordinate)

class ModeloWorkspaceManifestCurrentCoordinate(comparison_domain, generation)[source]

Bases: object

Opaque same-process coordinate for one manifest owner scope.

Parameters:

  • comparison_domain (str)

  • generation (int)

comparison_domain: str
generation: int
require_current(captured)[source]

Require a capture from this exact owner scope and process incarnation.

Return type:

ModeloWorkspaceManifestCurrentCoordinate

Parameters:

captured (ModeloWorkspaceManifestCapture)

capture_modelo_workspace_manifest(snapshot)[source]

Generate one manifest and pair it with the coordinate of that same walk.

The walk is atomic by construction: the sole generating authority runs once and its own digest becomes the observation, so no second walk can pair a manifest with a coordinate derived from different schema state.

Core types: RegistrySnapshot.

Return type:

ModeloWorkspaceManifestCapture

Parameters:

snapshot (RegistrySnapshot)

capture_modelo_workspace_manifest_for_inspection(inspection)[source]

Generate one STATIC_INSPECTION manifest and pair it with the coordinate of that same walk.

Return type:

ModeloWorkspaceManifestCapture

Parameters:

inspection (RegistryRevisionInspection)