icadkit 0.2.0__tar.gz → 0.3.5__tar.gz

{icadkit-0.2.0 → icadkit-0.3.5}/Cargo.lock

@@ -89,7 +89,7 @@ checksum = "2304e00983f87ffb38b55b444b5e3b60a884b5d30c0fca7d82fe33449bbe55ea"
 
 [[package]]
 name = "icad-core"
-version = "0.2.0"
+version = "0.3.5"
 dependencies = [
  "flate2",
  "parasolid-core",
@@ -99,7 +99,7 @@ dependencies = [
 
 [[package]]
 name = "icad-python"
-version = "0.2.0"
+version = "0.3.5"
 dependencies = [
  "icad-core",
  "parasolid-core",
@@ -142,9 +142,9 @@ checksum = "9f7c3e4beb33f85d45ae3e3a1792185706c8e16d043238c593331cc7cd313b50"
 
 [[package]]
 name = "parasolid-core"
-version = "0.3.0"
+version = "0.3.5"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "5de85a20a5b7dc7afb453f1114c1c44f27236c6447e1bd26e12227d87333adef"
+checksum = "ea19ba26c4ea0217f3f81dc5a5479239f92d43fc08bd6754d9f9f5ad74cf2c0a"
 
 [[package]]
 name = "portable-atomic"

{icadkit-0.2.0 → icadkit-0.3.5}/Cargo.toml

@@ -3,13 +3,13 @@ members = ["crates/icad-core", "crates/icad-python"]
 resolver = "3"
 
 [workspace.package]
-version = "0.2.0"
+version = "0.3.5"
 edition = "2024"
 rust-version = "1.88"
 license = "PolyForm-Noncommercial-1.0.0"
 
 [workspace.dependencies]
-parasolid-core = "=0.3.0"
+parasolid-core = "=0.3.5"
 pyo3 = { version = "=0.29.2", features = ["abi3-py310"] }
 flate2 = { version = "1", default-features = false, features = ["rust_backend"] }
 sha2 = "0.10"

{icadkit-0.2.0 → icadkit-0.3.5}/LICENSES/rust-dependencies.txt

@@ -134,7 +134,7 @@ IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 DEALINGS IN THE SOFTWARE.
 
 
-=== parasolid-core 0.3.0 (MIT AND Apache-2.0) ===
+=== parasolid-core 0.3.5 (MIT AND Apache-2.0) ===
 MIT License
 
 Copyright (c) 2026 parasolid-kit contributors

{icadkit-0.2.0 → icadkit-0.3.5}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: icadkit
-Version: 0.2.0
+Version: 0.3.5
 Classifier: Development Status :: 2 - Pre-Alpha
 Classifier: Programming Language :: Python :: 3 :: Only
 Classifier: Programming Language :: Python :: Implementation :: CPython
@@ -32,23 +32,40 @@ A Rust-based Python reader for **iCAD SX `.icd` files**. Read saved part
 structure, coordinate frames, names and selected attributes; inspect native
 box/cylinder parameters; and extract embedded Parasolid geometry.
 
-Version **0.2.0** adds:
-
-- [Native part access](docs/parts.md): hierarchy, internal snapshot definitions,
-  unresolved external references, millimetre local/world part frames, comments
-  and extended text, with per-part Python rows.
-- [Native parameters and appearance](docs/native.md): qualified box/cylinder
-  dimensions and global frames, saved entity palette indices, visibility and layers.
-- The exact iCAD V34 `SCH_3401212_34101_13006` Parasolid profile through
-  `parasolid-core 0.3.0`, without an external catalog for qualified resources.
-- Optional [resource preview and GLB export](docs/preview.md), with explicit
-  source units and a local browser viewer.
+Version **0.3.5** adds:
+
+- [View inventories and saved 2D geometry](docs/drawing.md) through
+  `read_views()` / `read_drawing()` and the `views` / `drawing` CLI commands.
+  Old originals and registered parts are read directly. Qualified 2D primitives
+  use view-local coordinates; text content is separate from unsupported layout.
+- Catalog-free raw parsing and source B-Rep mapping of
+  [twenty-six further exact iCAD schema keys](docs/support.md#schemas) through
+  `parasolid-core 0.3.5`. SPUN_SURF geometry remains partial; saved-body
+  conversion has separate limits.
+- The [trailing container](docs/trailer.md): per-entity blocks with stored
+  local bounds and the identity of their faces and edges (`read_trailer()`,
+  `icadkit trailer`).
+- [Saved final bodies](docs/saved-bodies.md) bound through saved association
+  records in V8 and by source ID in V7L2–V7L5, and converted with elliptical
+  edges, intersection curves and cone apexes.
+- More [native primitives](docs/native.md): polygon extrusions, extrusions with
+  arc profiles, revolved profiles and signed heights, in V7L6/V7L7 and
+  V8L1/V8L2/V8L3, including internal mirrors.
+- [Saved 3D parameter tables](docs/parameters.md) and explicit
+  [external-reference resolution](docs/references.md).
+
+Version 0.3.0 added the [native file viewer](docs/viewer.md), broader
+[part access](docs/parts.md), optional [V7L7 boolean evaluation](docs/csg.md)
+and [saved final body display](docs/saved-bodies.md).
 
 icadkit is experimental. Unsupported geometry remains in the part inventory;
 unknown values and source ranges are preserved. Part frames, native primitive
 frames and embedded resource coordinates have separate contracts. Complete
-assembly geometry, inherited attributes and drawings remain unsupported.
-Read the [support boundaries](docs/support.md) and [changes since 0.1.0](docs/changelog.md).
+assembly geometry, inherited attributes and complete drawing reconstruction remain unsupported.
+Read the [support boundaries](docs/support.md) and [release notes](docs/changelog.md).
+
+Run `icadkit view model.icd` to open qualified native primitives and their
+part properties. The base viewer works without the preview extra.
 
 ## Installation
 
@@ -56,7 +73,7 @@ The base reader supports standard GIL-enabled CPython 3.10–3.14. Wheel targets
 are Linux x86_64 (glibc 2.28+), Windows x86_64 and macOS ARM64 (11+):
 
 ```sh
-python -m pip install icadkit==0.2.0
+python -m pip install icadkit==0.3.5
 ```
 
 The native extension bundles `parasolid-core` and has no mandatory Python
@@ -65,7 +82,7 @@ explicit compatible catalog is needed only for schemas absent from the built-in
 profiles. Release files are available on the
 [GitHub releases page](https://github.com/monozukuri-ai/icadkit/releases).
 
-For preview/GLB, install `python -m pip install 'icadkit[preview]==0.2.0'`.
+For preview/GLB, install `python -m pip install 'icadkit[preview]==0.3.5'`.
 The optional OCCT dependency requires glibc 2.31+ on Linux; see
 [preview requirements](docs/preview.md#dependencies-and-validation).
 To build from a source checkout or sdist, install Rust 1.88+ and a C linker,
@@ -88,10 +105,35 @@ for part in parts.walk(include_root=False):
 rows = parts.to_rows()  # JSON-compatible rows; not certified BOM quantities.
 ```
 
-The qualified native profile is the observed little-endian V8L3 `3DGLOBAL`
-layout. Part frames use millimetres. Mirrored frames and external-file loading
-remain unsupported. Extended information is stored text, not interpreted typed
-engineering properties. Check each scope's status before relying on its values.
+The reader supports the observed little-endian V7L7 part layout:
+hierarchy, names, comments, extended text and saved external reference names.
+Qualified V7L7 part frames use millimetres and are evaluated relative to the
+saved root frame. Qualified standalone primitive owners also expose geometry and saved
+entity appearance. The separate [CSG API](docs/csg.md) and
+`uv run --extra preview icadkit view model.icd --csg` evaluate qualified
+box/cylinder unions, differences and intersections. Unknown programs retain
+diagnostics without substitute geometry.
+The [saved final body mode](docs/saved-bodies.md), `view --saved-brep`, also
+displays qualified V7L7/V8L3 final bodies and imported solids, including bounded
+spherical, conical and toroidal surfaces. V8L3 resource sharing preserves each
+occurrence's saved placement. An explicit schema catalog is needed when the
+exact built-in profile lacks a required type. Counted metadata framing also
+extends part inventories while preserving unknown records and diagnostics.
+Version 0.3.0 also preserves bounded binary attributes as raw owned records,
+reads V8L1/V8L2 part inventories without assigning units or geometry, and displays
+native cones/frusta and full ring tori. The updated exact V34 profile in
+`parasolid-core 0.3.1` removes the catalog requirement for qualified toroidal
+resources.
+
+Version 0.3.5 extends qualified millimetre frames and bounded
+native/saved geometry to V7L6/V7L7 and V8L1/V8L2/V8L3, including internal mirrors.
+Signed occurrence orientation is separate from already placed geometry; see
+[mirror semantics](docs/parts.md#coordinate-frames-and-units). Explicit
+[external-reference resolution](docs/references.md) now composes qualified child
+and grandchild placements, including mirrors, through `read_assembly()` or
+`icadkit view model.icd --reference-root /path/to/bundle`. Saved names, resolved
+paths, hashes and missing/ambiguous references remain separate. Extended information is stored text, not interpreted
+typed engineering properties. Check each scope's status before relying on its values.
 
 ## Embedded geometry
 

{icadkit-0.2.0 → icadkit-0.3.5}/README.md

@@ -4,23 +4,40 @@ A Rust-based Python reader for **iCAD SX `.icd` files**. Read saved part
 structure, coordinate frames, names and selected attributes; inspect native
 box/cylinder parameters; and extract embedded Parasolid geometry.
 
-Version **0.2.0** adds:
-
-- [Native part access](docs/parts.md): hierarchy, internal snapshot definitions,
-  unresolved external references, millimetre local/world part frames, comments
-  and extended text, with per-part Python rows.
-- [Native parameters and appearance](docs/native.md): qualified box/cylinder
-  dimensions and global frames, saved entity palette indices, visibility and layers.
-- The exact iCAD V34 `SCH_3401212_34101_13006` Parasolid profile through
-  `parasolid-core 0.3.0`, without an external catalog for qualified resources.
-- Optional [resource preview and GLB export](docs/preview.md), with explicit
-  source units and a local browser viewer.
+Version **0.3.5** adds:
+
+- [View inventories and saved 2D geometry](docs/drawing.md) through
+  `read_views()` / `read_drawing()` and the `views` / `drawing` CLI commands.
+  Old originals and registered parts are read directly. Qualified 2D primitives
+  use view-local coordinates; text content is separate from unsupported layout.
+- Catalog-free raw parsing and source B-Rep mapping of
+  [twenty-six further exact iCAD schema keys](docs/support.md#schemas) through
+  `parasolid-core 0.3.5`. SPUN_SURF geometry remains partial; saved-body
+  conversion has separate limits.
+- The [trailing container](docs/trailer.md): per-entity blocks with stored
+  local bounds and the identity of their faces and edges (`read_trailer()`,
+  `icadkit trailer`).
+- [Saved final bodies](docs/saved-bodies.md) bound through saved association
+  records in V8 and by source ID in V7L2–V7L5, and converted with elliptical
+  edges, intersection curves and cone apexes.
+- More [native primitives](docs/native.md): polygon extrusions, extrusions with
+  arc profiles, revolved profiles and signed heights, in V7L6/V7L7 and
+  V8L1/V8L2/V8L3, including internal mirrors.
+- [Saved 3D parameter tables](docs/parameters.md) and explicit
+  [external-reference resolution](docs/references.md).
+
+Version 0.3.0 added the [native file viewer](docs/viewer.md), broader
+[part access](docs/parts.md), optional [V7L7 boolean evaluation](docs/csg.md)
+and [saved final body display](docs/saved-bodies.md).
 
 icadkit is experimental. Unsupported geometry remains in the part inventory;
 unknown values and source ranges are preserved. Part frames, native primitive
 frames and embedded resource coordinates have separate contracts. Complete
-assembly geometry, inherited attributes and drawings remain unsupported.
-Read the [support boundaries](docs/support.md) and [changes since 0.1.0](docs/changelog.md).
+assembly geometry, inherited attributes and complete drawing reconstruction remain unsupported.
+Read the [support boundaries](docs/support.md) and [release notes](docs/changelog.md).
+
+Run `icadkit view model.icd` to open qualified native primitives and their
+part properties. The base viewer works without the preview extra.
 
 ## Installation
 
@@ -28,7 +45,7 @@ The base reader supports standard GIL-enabled CPython 3.10–3.14. Wheel targets
 are Linux x86_64 (glibc 2.28+), Windows x86_64 and macOS ARM64 (11+):
 
 ```sh
-python -m pip install icadkit==0.2.0
+python -m pip install icadkit==0.3.5
 ```
 
 The native extension bundles `parasolid-core` and has no mandatory Python
@@ -37,7 +54,7 @@ explicit compatible catalog is needed only for schemas absent from the built-in
 profiles. Release files are available on the
 [GitHub releases page](https://github.com/monozukuri-ai/icadkit/releases).
 
-For preview/GLB, install `python -m pip install 'icadkit[preview]==0.2.0'`.
+For preview/GLB, install `python -m pip install 'icadkit[preview]==0.3.5'`.
 The optional OCCT dependency requires glibc 2.31+ on Linux; see
 [preview requirements](docs/preview.md#dependencies-and-validation).
 To build from a source checkout or sdist, install Rust 1.88+ and a C linker,
@@ -60,10 +77,35 @@ for part in parts.walk(include_root=False):
 rows = parts.to_rows()  # JSON-compatible rows; not certified BOM quantities.
 ```
 
-The qualified native profile is the observed little-endian V8L3 `3DGLOBAL`
-layout. Part frames use millimetres. Mirrored frames and external-file loading
-remain unsupported. Extended information is stored text, not interpreted typed
-engineering properties. Check each scope's status before relying on its values.
+The reader supports the observed little-endian V7L7 part layout:
+hierarchy, names, comments, extended text and saved external reference names.
+Qualified V7L7 part frames use millimetres and are evaluated relative to the
+saved root frame. Qualified standalone primitive owners also expose geometry and saved
+entity appearance. The separate [CSG API](docs/csg.md) and
+`uv run --extra preview icadkit view model.icd --csg` evaluate qualified
+box/cylinder unions, differences and intersections. Unknown programs retain
+diagnostics without substitute geometry.
+The [saved final body mode](docs/saved-bodies.md), `view --saved-brep`, also
+displays qualified V7L7/V8L3 final bodies and imported solids, including bounded
+spherical, conical and toroidal surfaces. V8L3 resource sharing preserves each
+occurrence's saved placement. An explicit schema catalog is needed when the
+exact built-in profile lacks a required type. Counted metadata framing also
+extends part inventories while preserving unknown records and diagnostics.
+Version 0.3.0 also preserves bounded binary attributes as raw owned records,
+reads V8L1/V8L2 part inventories without assigning units or geometry, and displays
+native cones/frusta and full ring tori. The updated exact V34 profile in
+`parasolid-core 0.3.1` removes the catalog requirement for qualified toroidal
+resources.
+
+Version 0.3.5 extends qualified millimetre frames and bounded
+native/saved geometry to V7L6/V7L7 and V8L1/V8L2/V8L3, including internal mirrors.
+Signed occurrence orientation is separate from already placed geometry; see
+[mirror semantics](docs/parts.md#coordinate-frames-and-units). Explicit
+[external-reference resolution](docs/references.md) now composes qualified child
+and grandchild placements, including mirrors, through `read_assembly()` or
+`icadkit view model.icd --reference-root /path/to/bundle`. Saved names, resolved
+paths, hashes and missing/ambiguous references remain separate. Extended information is stored text, not interpreted
+typed engineering properties. Check each scope's status before relying on its values.
 
 ## Embedded geometry
 

{icadkit-0.2.0 → icadkit-0.3.5}/THIRD_PARTY_NOTICES.md

@@ -4,7 +4,7 @@ icadkit project material is offered under PolyForm Noncommercial 1.0.0, with sep
 commercial licensing available from UnRobotics Inc.
 See `LICENSE` and `COMMERCIAL-LICENSE.md`.
 
-Binary distributions also contain `parasolid-core 0.3.0` (MIT AND Apache-2.0)
+Binary distributions also contain `parasolid-core 0.3.5` (MIT AND Apache-2.0)
 and PyO3 (MIT OR Apache-2.0, MIT selected). The source metadata declares
 `PolyForm-Noncommercial-1.0.0`; the combined Python distribution declares
 `PolyForm-Noncommercial-1.0.0 AND MIT AND Apache-2.0`. These expressions describe

icadkit-0.3.5/corpus/README.md

@@ -0,0 +1,57 @@
+# Public regression corpus
+
+These eight cases are authored synthetic framing/topology, not iCAD-produced
+models. No vendor CAD payload, proprietary catalog or SDK is used. Project-authored
+material is offered under PolyForm Noncommercial 1.0.0; see [LICENSE](../LICENSE).
+The V30 scalar layouts come from the MIT/Apache-2.0 parasolid-core profile,
+as documented in tests/geometry_fixtures.py.
+
+The four wire cases describe endpoints (2, -1, 3) and (5, 3, 3), independently
+giving length 5 in unspecified source units. They cover both byte orders and
+raw/zlib owners. Other cases cover uninterpreted content, an unknown schema,
+an invalid reference, and a bad zlib checksum. None is a geometric holdout.
+
+public.jsonl pins generated bytes, provenance, expected scope and diagnostics.
+The generator uses a stored DEFLATE block so hashes do not depend on zlib's
+compression heuristics. The checker never rewrites expectations or skips inputs.
+
+```sh
+python corpus/generate.py --output .local/public-corpus
+uv run python scripts/verify_corpus.py --manifest corpus/public.jsonl \
+  --root .local/public-corpus --required
+```
+
+The generators, manifest and tests are in the sdist. Generated ICD files are
+excluded from both wheel and sdist. These synthetic cases verify specific
+behaviors and do not establish general compatibility with vendor-produced files.
+
+## Caller-owned native regression data
+
+`scripts/verify_native_corpus.py` checks an explicit JSON manifest without
+starting iCAD. Each row pins an input SHA-256, its existing API snapshot,
+`family_id` and `development`/`validation` partition. Optional SDK observations,
+required companion files and intentionally absent dependencies have separate
+entries. Supply each named input root explicitly with `--root NAME=PATH` and
+pin the manifest itself with `--manifest-sha256` when recording a baseline.
+
+The runner rejects missing/changed evidence and split families or shared CAD
+payloads across different families. It reports unchanged reader behavior
+separately from SDK comparison. Current SDK checks cover host child-part
+hierarchy, saved names/properties and available world frames, not full geometry.
+Resolved external descendants belong to their own document. An unloaded SDK
+placeholder cannot certify saved comment/reference properties. A library-part
+insertion oracle cannot certify the original file's raw document coordinates.
+These fields remain explicitly partial or not comparable.
+Repeated same-name parent paths remain partial where occurrence ownership cannot
+be independently matched; equal counts and list ordering are not proof.
+
+The manifest and actual CAD/SDK data are not included. Tests construct independent
+synthetic evidence. An unchanged unsupported result passes the regression check
+but does not qualify that file as newly supported.
+
+The explicit [assembly resolver](../docs/references.md) has separate synthetic
+tests in `tests/test_references.py` and optional browser checks in
+`tests/viewer_assembly_browser.mjs`. The single-file corpus snapshot is unchanged
+by resolution. Private P5 SDK bundles additionally check child/grandchild frames,
+dependency updates, missing targets, mirrors and placed geometry; these bundles
+and their proprietary catalogs are not distributed.

{icadkit-0.2.0 → icadkit-0.3.5}/crates/icad-core/LICENSE

@@ -108,7 +108,7 @@ icadkit project material is offered under PolyForm Noncommercial 1.0.0, with sep
 commercial licensing available from UnRobotics Inc.
 See `LICENSE` and `COMMERCIAL-LICENSE.md`.
 
-Binary distributions also contain `parasolid-core 0.3.0` (MIT AND Apache-2.0)
+Binary distributions also contain `parasolid-core 0.3.5` (MIT AND Apache-2.0)
 and PyO3 (MIT OR Apache-2.0, MIT selected). The source metadata declares
 `PolyForm-Noncommercial-1.0.0`; the combined Python distribution declares
 `PolyForm-Noncommercial-1.0.0 AND MIT AND Apache-2.0`. These expressions describe
@@ -582,7 +582,7 @@ IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 DEALINGS IN THE SOFTWARE.
 
 
-=== parasolid-core 0.3.0 (MIT AND Apache-2.0) ===
+=== parasolid-core 0.3.5 (MIT AND Apache-2.0) ===
 MIT License
 
 Copyright (c) 2026 parasolid-kit contributors

{icadkit-0.2.0 → icadkit-0.3.5}/crates/icad-core/src/document.rs

@@ -7,7 +7,8 @@ use crate::provenance::sha256;
 use crate::record::record_info;
 use crate::{
     ByteOrder, ByteRange, Diagnostic, Encoding, ErrorKind, Extraction, InspectError, Inspection,
-    ReadLimits, RecordInfo, ResourceRef, SourceRef, UnparsedRange, inspect_bytes,
+    ReadLimits, RecordInfo, ResourceAssociation, ResourceRef, SourceRef, UnparsedRange,
+    inspect_bytes,
 };
 
 /// Immutable owned input and a structural resource index. Construction never
@@ -21,6 +22,7 @@ pub struct Document {
     source_sha256: String,
     records: Vec<RecordInfo>,
     resources: Vec<ResourceRef>,
+    associations: Vec<ResourceAssociation>,
     unparsed_ranges: Vec<UnparsedRange>,
     diagnostics: Vec<Diagnostic>,
     resource_index_complete: bool,
@@ -43,6 +45,14 @@ impl Document {
     pub fn resources(&self) -> &[ResourceRef] {
         &self.resources
     }
+    /// Saved entity-to-resource records, in source order. Presence does not
+    /// establish that the entity or the resource is otherwise qualified.
+    pub fn associations(&self) -> &[ResourceAssociation] {
+        &self.associations
+    }
+    pub(crate) fn all_bytes(&self) -> &[u8] {
+        &self.data
+    }
     pub fn unparsed_ranges(&self) -> &[UnparsedRange] {
         &self.unparsed_ranges
     }
@@ -122,6 +132,7 @@ impl Document {
             source_sha256,
             records: Vec::new(),
             resources: Vec::new(),
+            associations: Vec::new(),
             unparsed_ranges: Vec::new(),
             diagnostics: Vec::new(),
             resource_index_complete: true,
@@ -419,6 +430,26 @@ impl Document {
                         "view entity has an unobserved length",
                     ))?;
                 }
+                if kind == 0x88 {
+                    // The fixed record names one saved entity, one resource
+                    // number and that entity's frame. Its other words stay opaque.
+                    let mut frame = [0.0; 9];
+                    for (i, value) in frame.iter_mut().enumerate() {
+                        let at = position + 24 + 8 * i;
+                        let mut raw = [0; 8];
+                        raw.copy_from_slice(&self.data[at..at + 8]);
+                        *value = order.f64(raw);
+                    }
+                    self.associations.push(ResourceAssociation {
+                        byte_range: ByteRange {
+                            start: position as u64,
+                            end: next as u64,
+                        },
+                        entity_source_id: self.word(position + 4)?,
+                        resource_source_id: self.word(position + 8)?,
+                        frame,
+                    });
+                }
                 self.opaque(position, next, "entity_metadata", "USR");
             }
             position = next;

{icadkit-0.2.0 → icadkit-0.3.5}/crates/icad-core/src/lib.rs

@@ -13,6 +13,8 @@ mod reader;
 mod record;
 mod resource;
 mod schema;
+mod trailer;
+mod views;
 
 pub use document::Document;
 pub use error::{Diagnostic, ErrorKind, InspectError};
@@ -25,12 +27,20 @@ pub use native::{NativeEntityRecord, NativePrimitiveRecord};
 pub use parasolid::{
     GeometryDiagnostic, GeometryError, GeometryResult, GeometryStatus, SchemaSelection,
 };
-pub use parts::{PartIndex, PartLimits, PartOpaqueRange, PartRecord};
+pub use parts::{
+    PartAttributeRecord, PartIndex, PartLimits, PartOpaqueRange, PartProfileInfo, PartRecord,
+    PartViewRecord,
+};
 pub use provenance::{Extraction, SourceRef};
 pub use reader::ByteOrder;
 pub use record::{ByteRange, RecordInfo};
-pub use resource::{Encoding, ResourceRef};
+pub use resource::{Encoding, ResourceAssociation, ResourceRef};
 pub use schema::SchemaCatalog;
+pub use trailer::{
+    TrailerBlock, TrailerBlockData, TrailerEdge, TrailerFace, TrailerIndex, TrailerLimits,
+    TrailerTable, TrailerView,
+};
+pub use views::{ViewEntry, ViewIndex, ViewLimits, ViewRecord};
 
 use parasolid_core::{BuiltinProfileRegistry, ParseError};
 
@@ -38,7 +48,7 @@ use parasolid_core::{BuiltinProfileRegistry, ParseError};
 pub const VERSION: &str = env!("CARGO_PKG_VERSION");
 
 /// Exact registry dependency; checked against the manifest and lock in CI.
-pub const PARASOLID_CORE_VERSION: &str = "0.3.0";
+pub const PARASOLID_CORE_VERSION: &str = "0.3.5";
 
 /// Metadata of the compiled Parasolid backend, not ICD format coverage.
 #[derive(Debug, Clone, PartialEq, Eq)]
@@ -75,7 +85,8 @@ mod tests {
         assert!(!info.builtin_profile_ids.is_empty());
         let registry = BuiltinProfileRegistry::compiled()?;
         let covered = SchemaKey::parse("SCH_3000310_30000_13006")?;
-        let uncovered = SchemaKey::parse("SCH_2601246_26105_13006")?;
+        // A neighbouring modeller build is a different key, never a fallback.
+        let uncovered = SchemaKey::parse("SCH_3000311_30000_13006")?;
         assert!(registry.provider_for_key(&covered).is_some());
         assert!(registry.provider_for_key(&uncovered).is_none());
         Ok(())