build(deps): bump the cargo group across 1 directory with 4 updates

[dependabot]

Bumps the cargo group with 4 updates in the / directory: axiolid-inspect, axiolid-ray-mesh, axiolid-mesh-boolean-boolmesh and sha2.

Updates axiolid-inspect from 0.3.2 to 0.3.4

Release notes

Sourced from axiolid-inspect's releases.

axiolid-mesh-compile 0.3.3

Added

• The reference compiler honours ExecutionOptions::with_chord_error (#165) everywhere it flattens a curve: profile arcs, circles and ellipses, sweep directrices, curved B-rep faces and edges, and CSG primitives. An instance scales the budget with its transform, like the tolerance, so it stays a world-space distance. Without a budget the chord error is the linear tolerance, exactly as before. Measured on a 5 mm disc extruded 1 m at Tolerance::MILLIMETRE: 10 % short by default, 2.6 % at a 0.1 mm budget, 0.16 % at 10 um and 0.01 % at 1 um.

Fixed

• A surface model with a face whose outer bound encloses no area tessellates (#171): that face covers nothing, so it is skipped instead of refusing the whole model with planar face bound has zero or non-finite area. Real Nova MEP exports write pipe-fitting end caps as bowtie quads through the pipe axis (an annulus with a negative inner radius), each with signed area exactly 0; 42 fittings, pumps and valves in two models were refused over them. A declared solid still refuses such a face, and a zero-area hole or a non-finite bound is still refused everywhere.
• Closed authored meshes stay closed (#170). Planar faces of a PolygonMesh and of a B-rep were triangulated with earcut, which drops corners on a straight run and runs diagonals and hole bridges over corners of the same face; the neighbouring face still split that edge at the corner, so the mesh cracked (T-junctions). Every edge earcut invents is now split at each face corner on it, within a band of a thousandth of the linear tolerance (1 um at Tolerance::MILLIMETRE), so export noise on shared corners (1e-8 to 5e-8 m on real files) is judged the same on both sides. Authored ring edges are never split, and a thin triangle whose long side is authored is kept. Closure of an authored mesh is now read from its index connectivity instead of audit_mesh, which dropped real faces below its area threshold before counting edges. On two real ArchiCAD models this turns 505 authored-closed IfcPolygonalFaceSet products from Surface into Solid; no product that compiled before is refused.

Commits

• See full diff in compare view

Updates axiolid-ray-mesh from 0.3.0 to 0.4.0

Release notes

Sourced from axiolid-ray-mesh's releases.

axiolid-mesh-compile 0.3.3

Added

• The reference compiler honours ExecutionOptions::with_chord_error (#165) everywhere it flattens a curve: profile arcs, circles and ellipses, sweep directrices, curved B-rep faces and edges, and CSG primitives. An instance scales the budget with its transform, like the tolerance, so it stays a world-space distance. Without a budget the chord error is the linear tolerance, exactly as before. Measured on a 5 mm disc extruded 1 m at Tolerance::MILLIMETRE: 10 % short by default, 2.6 % at a 0.1 mm budget, 0.16 % at 10 um and 0.01 % at 1 um.

Fixed

• A surface model with a face whose outer bound encloses no area tessellates (#171): that face covers nothing, so it is skipped instead of refusing the whole model with planar face bound has zero or non-finite area. Real Nova MEP exports write pipe-fitting end caps as bowtie quads through the pipe axis (an annulus with a negative inner radius), each with signed area exactly 0; 42 fittings, pumps and valves in two models were refused over them. A declared solid still refuses such a face, and a zero-area hole or a non-finite bound is still refused everywhere.
• Closed authored meshes stay closed (#170). Planar faces of a PolygonMesh and of a B-rep were triangulated with earcut, which drops corners on a straight run and runs diagonals and hole bridges over corners of the same face; the neighbouring face still split that edge at the corner, so the mesh cracked (T-junctions). Every edge earcut invents is now split at each face corner on it, within a band of a thousandth of the linear tolerance (1 um at Tolerance::MILLIMETRE), so export noise on shared corners (1e-8 to 5e-8 m on real files) is judged the same on both sides. Authored ring edges are never split, and a thin triangle whose long side is authored is kept. Closure of an authored mesh is now read from its index connectivity instead of audit_mesh, which dropped real faces below its area threshold before counting edges. On two real ArchiCAD models this turns 505 authored-closed IfcPolygonalFaceSet products from Surface into Solid; no product that compiled before is refused.

axiolid-mesh-compile-contract 0.3.1

Added

• MeshClosure and CompileOutcome::closure (#161): whether a compiled mesh bounds a solid (Solid), is a surface model with area but no volume (Surface), or was not reported (Unknown, the default for untracked and tracked, so existing compilers build unchanged). CompileOutcome::solid_mesh returns the mesh only for Solid, so volume readers refuse a surface model instead of measuring a closed shell the source never declared a solid. with_closure sets it.

axiolid-mesh-compile 0.3.1

... (truncated)

Changelog

Sourced from axiolid-ray-mesh's changelog.

Changelog

All notable changes to Axiolid are documented in this file.

[Unreleased]

Added

• A capability ledger, architecture/capability-ledger.toml, grading 95 geometry capabilities from OCCT and CGAL against Axiolid, with evidence, reference packages at pinned commits and tracking issues (#111, Escape routes: travel ends at the fire-compartment boundary, and zone order is enforced #118-#139). cargo xtask gaps prints ready work by priority, and gaps show gives one row or issue. gaps check runs in the gate and a mutation probe proves each of its rules can fail.
• Capability grade scoped, for rows deliberately not raised to implemented (a designed refusal, or out of scope with no consumer). It requires a written rationale, which the gate enforces; nine rows use it. Every other open row now has an issue (Openings: beam penetrations without voids, wall dimensioning tables, small openings #140-#159), with blockers mirrored from GitHub. The two design decisions they raised are recorded as ADR 0068 (exact numbers: num-bigint integers under an owned filtered layer, benchmarked in docs/research/exact-arithmetic-bench/) and ADR 0069 (arc booleans: keep cavalier_contours for now, exact path later).
• axiolid-exact 0.1.0 (#154, ADR 0068): exact constructions over f64 input. An outward-rounded interval filter decides almost every case; exact big-integer arithmetic (num-bigint) runs only when it cannot. Includes (a + b*sqrt(c)) / d signs and ordering across radicands, exact segment crossings and line/circle hits with exact tangency.
• axiolid-exact: nested square roots (Tower), exact real roots of integer polynomials (IntPoly, Sturm), and exact conic intersections (Conic).
• Exact arc booleans (#155, ADR 0070): arc_overlay decides every topological question exactly and no longer uses cavalier_contours. Checked against area identities and point membership on 270 scenes with shared edges, tangent and concentric circles, and decimal coordinates, plus a twelve-fault mutation probe. A bounding-box broad phase keeps the cost close to linear in edge count (two overlapping 256-edge rings: 7 ms, was 779 ms before it).
• Exact analytic curve intersection (#119): lines, circles and ellipses against each other and against planes, cylinders, cones, spheres and tori, with hits, tangency and containment decided exactly on axiolid-exact polynomials (axiolid-nurbs). Checked against a sampling oracle on 600 random scenes and a six-fault mutation probe.
• Sloped cuts through curved prisms (#120): clip_arc_prism_exact cuts a column with a sloped plane exactly. The wall stays a cylinder, its cut edge is an ellipse, and its trim is the new Curve2::Sinusoid (ADR 0071).
• Curved coaxial booleans (#120): boolean_arc_prisms_exact now returns solids with round through-openings and solids that start above the ground plane, instead of refusing them.
• Disconnected coaxial booleans (#120): boolean_prisms_exact_solids and

... (truncated)

Commits

• See full diff in compare view

Updates axiolid-mesh-boolean-boolmesh from 0.3.0 to 0.3.2

Release notes

Sourced from axiolid-mesh-boolean-boolmesh's releases.

axiolid-mesh-compile-contract 0.3.1

Added

• MeshClosure and CompileOutcome::closure (#161): whether a compiled mesh bounds a solid (Solid), is a surface model with area but no volume (Surface), or was not reported (Unknown, the default for untracked and tracked, so existing compilers build unchanged). CompileOutcome::solid_mesh returns the mesh only for Solid, so volume readers refuse a surface model instead of measuring a closed shell the source never declared a solid. with_closure sets it.

axiolid-mesh-compile 0.3.1

Added

• PolygonMesh faces that are not plain triangles compile (#160): n-gons, concave faces and faces with holes (IFC4 IfcIndexedPolygonalFaceWithVoids) are triangulated in their own plane, keeping the authored positions and winding. Plain triangles keep their exact corner order as before. A face whose corners leave its plane by more than the linear tolerance, that has no area, or whose rings cross is refused with an error naming its index.
• B-reps with shells but no solid tessellate (#161): every shell is tessellated as authored and the result is reported as MeshClosure::Surface through compile_mesh_reported, even when the shell is closed. Collections are Solid only if every member is, and a boolean with a surface operand is refused. Authored meshes report Solid exactly when they are closed, consistently wound two-manifolds.

Changed

• A PolygonMesh with non-triangular faces used to fail with GeomError::Unsupported; it now compiles. A B-rep with no solid and no shell is refused as "neither a solid nor a shell" instead of "has no solid".

axiolid-contracts 0.3.1

Added

• ExecutionOptions::with_chord_error and ExecutionOptions::chord_error (#165): an explicit bound on how far a provider's straight chords may sit from the curve they replace, separate from the linear tolerance. The tolerance is a coincidence test; used as a chord budget it leaves a 5 mm arc a few chords at Tolerance::MILLIMETRE, and small profiles mesh percent-level off. None (the default) keeps each provider's previous behaviour. A non-finite or non-positive budget is refused (None).

Changelog

Sourced from axiolid-mesh-boolean-boolmesh's changelog.

Changelog

All notable changes to Axiolid are documented in this file.

[Unreleased]

Added

• A capability ledger, architecture/capability-ledger.toml, grading 95 geometry capabilities from OCCT and CGAL against Axiolid, with evidence, reference packages at pinned commits and tracking issues (#111, Escape routes: travel ends at the fire-compartment boundary, and zone order is enforced #118-#139). cargo xtask gaps prints ready work by priority, and gaps show gives one row or issue. gaps check runs in the gate and a mutation probe proves each of its rules can fail.
• Capability grade scoped, for rows deliberately not raised to implemented (a designed refusal, or out of scope with no consumer). It requires a written rationale, which the gate enforces; nine rows use it. Every other open row now has an issue (Openings: beam penetrations without voids, wall dimensioning tables, small openings #140-#159), with blockers mirrored from GitHub. The two design decisions they raised are recorded as ADR 0068 (exact numbers: num-bigint integers under an owned filtered layer, benchmarked in docs/research/exact-arithmetic-bench/) and ADR 0069 (arc booleans: keep cavalier_contours for now, exact path later).
• axiolid-exact 0.1.0 (#154, ADR 0068): exact constructions over f64 input. An outward-rounded interval filter decides almost every case; exact big-integer arithmetic (num-bigint) runs only when it cannot. Includes (a + b*sqrt(c)) / d signs and ordering across radicands, exact segment crossings and line/circle hits with exact tangency.
• axiolid-exact: nested square roots (Tower), exact real roots of integer polynomials (IntPoly, Sturm), and exact conic intersections (Conic).
• Exact arc booleans (#155, ADR 0070): arc_overlay decides every topological question exactly and no longer uses cavalier_contours. Checked against area identities and point membership on 270 scenes with shared edges, tangent and concentric circles, and decimal coordinates, plus a twelve-fault mutation probe. A bounding-box broad phase keeps the cost close to linear in edge count (two overlapping 256-edge rings: 7 ms, was 779 ms before it).
• Exact analytic curve intersection (#119): lines, circles and ellipses against each other and against planes, cylinders, cones, spheres and tori, with hits, tangency and containment decided exactly on axiolid-exact polynomials (axiolid-nurbs). Checked against a sampling oracle on 600 random scenes and a six-fault mutation probe.
• Sloped cuts through curved prisms (#120): clip_arc_prism_exact cuts a column with a sloped plane exactly. The wall stays a cylinder, its cut edge is an ellipse, and its trim is the new Curve2::Sinusoid (ADR 0071).
• Curved coaxial booleans (#120): boolean_arc_prisms_exact now returns solids with round through-openings and solids that start above the ground plane, instead of refusing them.
• Disconnected coaxial booleans (#120): boolean_prisms_exact_solids and

... (truncated)

Commits

• 72cfac1 chore(release): axiolid-construct 0.3.2
• 7f02507 fix(construct): a swept disk carries its frame along the path (#169)
• 854e314 chore(release): consumer lock follows axiolid-construct 0.3.1
• 6ee4967 docs(roadmap): link the OCCT/CGAL gaps milestone
• 1965e39 fix(gate): semver check and release test assume one workspace version
• 587857d chore(release): axiolid-construct 0.3.1
• 8e9773c fix(construct): a downward extrusion stays outward-oriented
• 171e749 fix(construct): anchor a framed bounded half-space at the frame origin
• See full diff in compare view

Updates sha2 from 0.10.9 to 0.11.0

Commits

• ffe0939 Release sha2 0.11.0 (#806)
• 8991b65 Use the standard order of the [package] section fields (#807)
• 3d2bc57 sha2: refactor backends (#802)
• faa55fb sha3: bump keccak to v0.2 (#803)
• d3e6489 sha3 v0.11.0-rc.9 (#801)
• bbf6f51 sha2: tweak backend docs (#800)
• 155dbbf sha3: add default value for the DS generic parameter on TurboShake128/256...
• ed514f2 Use published version of keccak v0.2 (#799)
• 702bcd8 Migrate to closure-based keccak (#796)
• 827c043 sha3 v0.11.0-rc.8 (#794)
• Additional commits viewable in compare view

[dependabot]

This pull request was built based on a group rule. Closing it will not ignore any of these versions in future pull requests.

To ignore these dependencies, configure ignore rules in dependabot.yml

[GeneralPawz]

Replaced by e76adb2 on main: the same updates (axiolid-mesh-boolean-boolmesh at 0.3.3) plus the fix for sha2 0.11's digest type, which no longer formats as hex directly.