icadkit 0.3.0__tar.gz → 0.3.7__tar.gz

{icadkit-0.3.0 → icadkit-0.3.7}/Cargo.lock

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

{icadkit-0.3.0 → icadkit-0.3.7}/Cargo.toml

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

{icadkit-0.3.0 → icadkit-0.3.7}/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.1 (MIT AND Apache-2.0) ===
+=== parasolid-core 0.3.7 (MIT AND Apache-2.0) ===
 MIT License
 
 Copyright (c) 2026 parasolid-kit contributors

{icadkit-0.3.0 → icadkit-0.3.7}/PKG-INFO

@@ -1,12 +1,12 @@
 Metadata-Version: 2.4
 Name: icadkit
-Version: 0.3.0
+Version: 0.3.7
 Classifier: Development Status :: 2 - Pre-Alpha
 Classifier: Programming Language :: Python :: 3 :: Only
 Classifier: Programming Language :: Python :: Implementation :: CPython
 Classifier: Programming Language :: Rust
 Classifier: Typing :: Typed
-Requires-Dist: parasolid-kit[occt]==0.2.0 ; extra == 'preview'
+Requires-Dist: parasolid-kit[occt]==0.3.7 ; extra == 'preview'
 Provides-Extra: preview
 License-File: LICENSE
 License-File: COMMERCIAL-LICENSE.md
@@ -32,23 +32,36 @@ 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.3.0** adds:
+Version **0.3.7** adds:
 
-- A [native file viewer](docs/viewer.md) with a part tree, stored properties,
-  selection and visibility controls. Qualified boxes, cylinders, full spheres,
-  cones/frusta and full ring tori use their saved frames.
-- Broader [part access](docs/parts.md): V7L7 traversal, bounded V8L1/V8L2
-  inventories and binary attributes retained with ownership and raw bytes.
-- Optional [V7L7 boolean evaluation](docs/csg.md) and
-  [saved final body display](docs/saved-bodies.md) for V7L7/V8L3, including
-  imported solids, shared resources and bounded analytic surfaces.
-- Updated exact V34 Parasolid support through `parasolid-core 0.3.1`, including
-  qualified toroidal resources without an external catalog.
+- [Saved final bodies](docs/saved-bodies.md) on rolling-ball blend surfaces
+  and on toroidal faces that reach their axis, through `parasolid-core 0.3.7`
+  and the `preview` extra pinned to `parasolid-kit[occt]==0.3.7`. The local
+  sample rises from 28,896 to 29,386 of 29,703 bound bodies, with the
+  previously converted bodies unchanged.
+- One declaration per backend version (`Cargo.toml`, `pyproject.toml`); the
+  runtime checks of the backend version are gone.
+
+Version 0.3.6 added [saved final bodies](docs/saved-bodies.md) on spun
+surfaces (SPUN_SURF), line/arc profile extrusions as [CSG](docs/csg.md)
+operands and decoded surface and edge items of the
+[trailing container](docs/trailer.md).
+
+Version 0.3.5 added [view inventories and saved 2D geometry](docs/drawing.md),
+twenty-six further catalog-free [schema keys](docs/support.md#schemas), the
+[trailing container](docs/trailer.md), saved final bodies bound through V8
+association records and V7 source IDs, more [native primitives](docs/native.md),
+[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.
+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
@@ -60,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.3.0
+python -m pip install icadkit
 ```
 
 The native extension bundles `parasolid-core` and has no mandatory Python
@@ -69,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.3.0'`.
+For preview/GLB, install `python -m pip install 'icadkit[preview]'`.
 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,
@@ -98,8 +111,9 @@ 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.
+unions, differences and intersections of boxes, cylinders, prisms and profile
+extrusions, including saved single-leaf extrusion bodies. 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
@@ -112,8 +126,14 @@ 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.
 
-Qualified V8L3 part frames use millimetres. Mirrored frames and external-file
-loading remain unsupported. Extended information is stored text, not interpreted
+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.3.0 → icadkit-0.3.7}/README.md

@@ -4,23 +4,36 @@ 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.3.0** adds:
-
-- A [native file viewer](docs/viewer.md) with a part tree, stored properties,
-  selection and visibility controls. Qualified boxes, cylinders, full spheres,
-  cones/frusta and full ring tori use their saved frames.
-- Broader [part access](docs/parts.md): V7L7 traversal, bounded V8L1/V8L2
-  inventories and binary attributes retained with ownership and raw bytes.
-- Optional [V7L7 boolean evaluation](docs/csg.md) and
-  [saved final body display](docs/saved-bodies.md) for V7L7/V8L3, including
-  imported solids, shared resources and bounded analytic surfaces.
-- Updated exact V34 Parasolid support through `parasolid-core 0.3.1`, including
-  qualified toroidal resources without an external catalog.
+Version **0.3.7** adds:
+
+- [Saved final bodies](docs/saved-bodies.md) on rolling-ball blend surfaces
+  and on toroidal faces that reach their axis, through `parasolid-core 0.3.7`
+  and the `preview` extra pinned to `parasolid-kit[occt]==0.3.7`. The local
+  sample rises from 28,896 to 29,386 of 29,703 bound bodies, with the
+  previously converted bodies unchanged.
+- One declaration per backend version (`Cargo.toml`, `pyproject.toml`); the
+  runtime checks of the backend version are gone.
+
+Version 0.3.6 added [saved final bodies](docs/saved-bodies.md) on spun
+surfaces (SPUN_SURF), line/arc profile extrusions as [CSG](docs/csg.md)
+operands and decoded surface and edge items of the
+[trailing container](docs/trailer.md).
+
+Version 0.3.5 added [view inventories and saved 2D geometry](docs/drawing.md),
+twenty-six further catalog-free [schema keys](docs/support.md#schemas), the
+[trailing container](docs/trailer.md), saved final bodies bound through V8
+association records and V7 source IDs, more [native primitives](docs/native.md),
+[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.
+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
@@ -32,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.3.0
+python -m pip install icadkit
 ```
 
 The native extension bundles `parasolid-core` and has no mandatory Python
@@ -41,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.3.0'`.
+For preview/GLB, install `python -m pip install 'icadkit[preview]'`.
 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,
@@ -70,8 +83,9 @@ 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.
+unions, differences and intersections of boxes, cylinders, prisms and profile
+extrusions, including saved single-leaf extrusion bodies. 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
@@ -84,8 +98,14 @@ 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.
 
-Qualified V8L3 part frames use millimetres. Mirrored frames and external-file
-loading remain unsupported. Extended information is stored text, not interpreted
+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.3.0 → icadkit-0.3.7}/THIRD_PARTY_NOTICES.md

@@ -4,8 +4,9 @@ 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.1` (MIT AND Apache-2.0)
-and PyO3 (MIT OR Apache-2.0, MIT selected). The source metadata declares
+Binary distributions also contain `parasolid-core` (MIT AND Apache-2.0; the
+exact version is listed in `LICENSES/rust-dependencies.txt`) 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
 different portions of the package, not a choice to use all icadkit material
@@ -25,9 +26,10 @@ under MIT or Apache-2.0. Third-party components are not relicensed.
   for project-authored material. Their V30 scalar layouts derive from the
   MIT/Apache-2.0 `parasolid-core` profile; see `tests/geometry_fixtures.py`
   for attribution.
-- The optional `preview` extra installs `parasolid-kit[occt] 0.2.0` and its
-  separately distributed OCCT runtime dependencies. These are not bundled in
-  the icadkit wheel. Their own distributions retain their license terms.
+- The optional `preview` extra installs the `parasolid-kit[occt]` release
+  pinned in `pyproject.toml` and its separately distributed OCCT runtime
+  dependencies. These are not bundled in the icadkit wheel. Their own
+  distributions retain their license terms.
   Generated viewer directories copy that package's browser assets and retain
   the included MIT/Zlib notices and the n8ao ISC metadata / CC0-1.0 license-text
   discrepancy. Keep those notices when redistributing generated viewers.

icadkit-0.3.7/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.3.0 → icadkit-0.3.7}/crates/icad-core/LICENSE

@@ -1,4 +1,4 @@
-Generated by scripts/check_license.py --write-crate-notices.
+Generated by scripts/check_license.py --write.
 Canonical source notices follow; paths refer to the source root.
 
 ===== LICENSE =====
@@ -108,8 +108,9 @@ 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.1` (MIT AND Apache-2.0)
-and PyO3 (MIT OR Apache-2.0, MIT selected). The source metadata declares
+Binary distributions also contain `parasolid-core` (MIT AND Apache-2.0; the
+exact version is listed in `LICENSES/rust-dependencies.txt`) 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
 different portions of the package, not a choice to use all icadkit material
@@ -129,9 +130,10 @@ under MIT or Apache-2.0. Third-party components are not relicensed.
   for project-authored material. Their V30 scalar layouts derive from the
   MIT/Apache-2.0 `parasolid-core` profile; see `tests/geometry_fixtures.py`
   for attribution.
-- The optional `preview` extra installs `parasolid-kit[occt] 0.2.0` and its
-  separately distributed OCCT runtime dependencies. These are not bundled in
-  the icadkit wheel. Their own distributions retain their license terms.
+- The optional `preview` extra installs the `parasolid-kit[occt]` release
+  pinned in `pyproject.toml` and its separately distributed OCCT runtime
+  dependencies. These are not bundled in the icadkit wheel. Their own
+  distributions retain their license terms.
   Generated viewer directories copy that package's browser assets and retain
   the included MIT/Zlib notices and the n8ao ISC metadata / CC0-1.0 license-text
   discrepancy. Keep those notices when redistributing generated viewers.
@@ -582,7 +584,7 @@ IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
 DEALINGS IN THE SOFTWARE.
 
 
-=== parasolid-core 0.3.1 (MIT AND Apache-2.0) ===
+=== parasolid-core 0.3.7 (MIT AND Apache-2.0) ===
 MIT License
 
 Copyright (c) 2026 parasolid-kit contributors

icadkit-0.3.7/crates/icad-core/build.rs

@@ -0,0 +1,49 @@
+//! Records the resolved `parasolid-core` version from the workspace lock file.
+//!
+//! The crate reports which backend release it was compiled with
+//! (`PARASOLID_CORE_VERSION`). Reading it from `Cargo.lock` keeps the manifest
+//! pin the only place in the source that names that version.
+
+use std::env;
+use std::fs;
+use std::path::{Path, PathBuf};
+
+fn main() -> Result<(), String> {
+    let manifest_dir = env::var_os("CARGO_MANIFEST_DIR").ok_or("CARGO_MANIFEST_DIR is not set")?;
+    let lock = PathBuf::from(manifest_dir)
+        .ancestors()
+        .map(|dir| dir.join("Cargo.lock"))
+        .find(|path| path.is_file())
+        .ok_or("no Cargo.lock above the crate directory")?;
+    let version = resolved_version(&lock, "parasolid-core")?;
+    println!("cargo:rerun-if-changed={}", lock.display());
+    println!("cargo:rustc-env=ICAD_PARASOLID_CORE_VERSION={version}");
+    Ok(())
+}
+
+/// The version of `package` in the lock file, which must resolve it exactly once.
+fn resolved_version(lock: &Path, package: &str) -> Result<String, String> {
+    let text = fs::read_to_string(lock)
+        .map_err(|error| format!("cannot read {}: {error}", lock.display()))?;
+    let mut versions = Vec::new();
+    let mut name = None;
+    for line in text.lines().map(str::trim) {
+        if line == "[[package]]" {
+            name = None;
+        } else if let Some(value) = line.strip_prefix("name = ") {
+            name = Some(value.trim_matches('"'));
+        } else if let Some(value) = line.strip_prefix("version = ")
+            && name == Some(package)
+        {
+            versions.push(value.trim_matches('"').to_owned());
+        }
+    }
+    match versions.as_slice() {
+        [version] => Ok(version.clone()),
+        [] => Err(format!("{package} is not resolved in {}", lock.display())),
+        _ => Err(format!(
+            "{package} resolves to several versions in {}",
+            lock.display()
+        )),
+    }
+}

{icadkit-0.3.0 → icadkit-0.3.7}/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;
@@ -561,4 +592,17 @@ impl Document {
         self.limits.resource(range.end - range.start, range.start)?;
         Ok(&self.data[range.start as usize..range.end as usize])
     }
+
+    /// Decode one saved boolean component record in place, without an owner
+    /// context. The caller has already framed the record and checks its saved
+    /// program, result backlink and root frame.
+    pub fn read_component(
+        &self,
+        range: ByteRange,
+    ) -> Result<crate::native::NativeEntityRecord, InspectError> {
+        Ok(crate::native::read_component_entity(
+            self.source_bytes(range)?,
+            range,
+        ))
+    }
 }

{icadkit-0.3.0 → icadkit-0.3.7}/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,20 +27,28 @@ pub use native::{NativeEntityRecord, NativePrimitiveRecord};
 pub use parasolid::{
     GeometryDiagnostic, GeometryError, GeometryResult, GeometryStatus, SchemaSelection,
 };
-pub use parts::{PartAttributeRecord, 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,
+    TrailerParameterLine, TrailerSurface, TrailerTable, TrailerView,
+};
+pub use views::{ViewEntry, ViewIndex, ViewLimits, ViewRecord};
 
 use parasolid_core::{BuiltinProfileRegistry, ParseError};
 
 /// Version of this Rust crate, in Cargo SemVer notation.
 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.1";
+/// Resolved registry version of the backend, read from `Cargo.lock` at build time.
+pub const PARASOLID_CORE_VERSION: &str = env!("ICAD_PARASOLID_CORE_VERSION");
 
 /// 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(())