forgekernel 0.1.0__tar.gz → 0.8.0__tar.gz

forgekernel-0.8.0/PKG-INFO

@@ -0,0 +1,79 @@
+Metadata-Version: 2.4
+Name: forgekernel
+Version: 0.8.0
+Summary: Exact-arithmetic B-rep CAD kernel
+Author-email: Dan Willis <danielcwillis@gmail.com>
+Maintainer-email: Dan Willis <danielcwillis@gmail.com>
+License: Apache-2.0
+Project-URL: Homepage, https://github.com/gitcad-xyz/forge
+Project-URL: Repository, https://github.com/gitcad-xyz/forge
+Project-URL: Issues, https://github.com/gitcad-xyz/forge/issues
+Project-URL: Design — ADR-0018, https://github.com/gitcad-xyz/gitcad/blob/main/docs/adr/0018-native-kernel.md
+Project-URL: Benchmarks vs OCCT, https://github.com/gitcad-xyz/gitcad/blob/main/bench/RUST-vs-OCCT.md
+Keywords: cad,b-rep,brep,geometry,kernel,nurbs,solid-modeling,computational-geometry,exact-arithmetic,rational-arithmetic,step
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Developers
+Classifier: Intended Audience :: Manufacturing
+Classifier: Intended Audience :: Science/Research
+Classifier: License :: OSI Approved :: Apache Software License
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Scientific/Engineering
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Classifier: Topic :: Multimedia :: Graphics :: 3D Modeling
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Provides-Extra: rust
+Requires-Dist: forgekernel_rs>=0.8.0; extra == "rust"
+Provides-Extra: test
+Requires-Dist: pytest>=7; extra == "test"
+Dynamic: license-file
+
+# forge
+
+An exact-arithmetic boundary-representation (B-rep) CAD kernel. Geometric and
+topological decisions use exact rational arithmetic (ℚ, ℚ[π], ℚ[√d]) or
+certified intervals; no result depends on a floating-point tolerance.
+
+It ships as two PyPI packages:
+
+- `forgekernel` — the kernel, pure Python.
+- `forgekernel_rs` — a native (Rust) build of the performance-critical routines,
+  installed automatically when a wheel is available and returning the same
+  results.
+
+## Capabilities
+
+- Planar solids: rational linear algebra, plane-based B-rep, booleans,
+  divergence-theorem mass properties.
+- Quadrics (cylinder, cone, sphere, torus) with closed-form intersections.
+- NURBS curves and surfaces; surface–surface intersection with complete branch
+  detection and certified points.
+- Procedural offsets and shells; edge blends (fillets); lofts.
+- Exact volume, centroid, and inertia via the divergence theorem.
+- STEP (AP203/AP214) import and export.
+
+## Design
+
+A Python reference implementation defines the exact semantics. A Rust build
+provides the same operations for production use; each ported routine is
+cross-checked against the reference. Design notes and decisions are recorded in
+the gitcad repository (ADR-0018).
+
+## Layout
+
+- `src/forgekernel/` — the Python kernel.
+- `rust/forge-core/` — the native build (`forgekernel_rs`).
+
+## Install
+
+```
+pip install forgekernel          # pure Python
+pip install forgekernel[rust]    # add the native build
+```
+
+License: Apache-2.0. Source: https://github.com/gitcad-xyz/forge

forgekernel-0.8.0/README.md

@@ -0,0 +1,44 @@
+# forge
+
+An exact-arithmetic boundary-representation (B-rep) CAD kernel. Geometric and
+topological decisions use exact rational arithmetic (ℚ, ℚ[π], ℚ[√d]) or
+certified intervals; no result depends on a floating-point tolerance.
+
+It ships as two PyPI packages:
+
+- `forgekernel` — the kernel, pure Python.
+- `forgekernel_rs` — a native (Rust) build of the performance-critical routines,
+  installed automatically when a wheel is available and returning the same
+  results.
+
+## Capabilities
+
+- Planar solids: rational linear algebra, plane-based B-rep, booleans,
+  divergence-theorem mass properties.
+- Quadrics (cylinder, cone, sphere, torus) with closed-form intersections.
+- NURBS curves and surfaces; surface–surface intersection with complete branch
+  detection and certified points.
+- Procedural offsets and shells; edge blends (fillets); lofts.
+- Exact volume, centroid, and inertia via the divergence theorem.
+- STEP (AP203/AP214) import and export.
+
+## Design
+
+A Python reference implementation defines the exact semantics. A Rust build
+provides the same operations for production use; each ported routine is
+cross-checked against the reference. Design notes and decisions are recorded in
+the gitcad repository (ADR-0018).
+
+## Layout
+
+- `src/forgekernel/` — the Python kernel.
+- `rust/forge-core/` — the native build (`forgekernel_rs`).
+
+## Install
+
+```
+pip install forgekernel          # pure Python
+pip install forgekernel[rust]    # add the native build
+```
+
+License: Apache-2.0. Source: https://github.com/gitcad-xyz/forge

{forgekernel-0.1.0 → forgekernel-0.8.0}/pyproject.toml

@@ -5,7 +5,7 @@ build-backend = "setuptools.build_meta"
 [project]
 name = "forgekernel"
 dynamic = ["version"]
-description = "Exact-arithmetic B-rep CAD kernel: topology decided in ℚ, never by floating-point epsilon"
+description = "Exact-arithmetic B-rep CAD kernel"
 readme = "README.md"
 license = {text = "Apache-2.0"}
 requires-python = ">=3.11"
@@ -13,8 +13,7 @@ authors = [{name = "Dan Willis", email = "danielcwillis@gmail.com"}]
 maintainers = [{name = "Dan Willis", email = "danielcwillis@gmail.com"}]
 keywords = [
     "cad", "b-rep", "brep", "geometry", "kernel", "nurbs", "solid-modeling",
-    "computational-geometry", "exact-arithmetic", "rational-arithmetic",
-    "step", "occt", "opencascade",
+    "computational-geometry", "exact-arithmetic", "rational-arithmetic", "step",
 ]
 classifiers = [
     "Development Status :: 3 - Alpha",
@@ -44,7 +43,7 @@ Issues = "https://github.com/gitcad-xyz/forge/issues"
 [project.optional-dependencies]
 # Optional native accelerator (separate compiled wheels). forgekernel runs
 # pure-Python and exact WITHOUT it; forgekernel_rs only speeds the hot paths.
-rust = ["forgekernel_rs>=0.1.0"]
+rust = ["forgekernel_rs>=0.8.0"]
 test = ["pytest>=7"]
 
 [tool.setuptools.dynamic]

{forgekernel-0.1.0 → forgekernel-0.8.0}/src/forgekernel/__init__.py

@@ -4,4 +4,4 @@ Exact rational arithmetic for every topological decision; approximation
 only with tracked error bounds. See README for the three-oracle chain.
 """
 
-__version__ = "0.1.0"
+__version__ = "0.8.0"

forgekernel-0.8.0/src/forgekernel.egg-info/PKG-INFO

@@ -0,0 +1,79 @@
+Metadata-Version: 2.4
+Name: forgekernel
+Version: 0.8.0
+Summary: Exact-arithmetic B-rep CAD kernel
+Author-email: Dan Willis <danielcwillis@gmail.com>
+Maintainer-email: Dan Willis <danielcwillis@gmail.com>
+License: Apache-2.0
+Project-URL: Homepage, https://github.com/gitcad-xyz/forge
+Project-URL: Repository, https://github.com/gitcad-xyz/forge
+Project-URL: Issues, https://github.com/gitcad-xyz/forge/issues
+Project-URL: Design — ADR-0018, https://github.com/gitcad-xyz/gitcad/blob/main/docs/adr/0018-native-kernel.md
+Project-URL: Benchmarks vs OCCT, https://github.com/gitcad-xyz/gitcad/blob/main/bench/RUST-vs-OCCT.md
+Keywords: cad,b-rep,brep,geometry,kernel,nurbs,solid-modeling,computational-geometry,exact-arithmetic,rational-arithmetic,step
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Developers
+Classifier: Intended Audience :: Manufacturing
+Classifier: Intended Audience :: Science/Research
+Classifier: License :: OSI Approved :: Apache Software License
+Classifier: Operating System :: OS Independent
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Programming Language :: Python :: 3.13
+Classifier: Topic :: Scientific/Engineering
+Classifier: Topic :: Scientific/Engineering :: Mathematics
+Classifier: Topic :: Multimedia :: Graphics :: 3D Modeling
+Requires-Python: >=3.11
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Provides-Extra: rust
+Requires-Dist: forgekernel_rs>=0.8.0; extra == "rust"
+Provides-Extra: test
+Requires-Dist: pytest>=7; extra == "test"
+Dynamic: license-file
+
+# forge
+
+An exact-arithmetic boundary-representation (B-rep) CAD kernel. Geometric and
+topological decisions use exact rational arithmetic (ℚ, ℚ[π], ℚ[√d]) or
+certified intervals; no result depends on a floating-point tolerance.
+
+It ships as two PyPI packages:
+
+- `forgekernel` — the kernel, pure Python.
+- `forgekernel_rs` — a native (Rust) build of the performance-critical routines,
+  installed automatically when a wheel is available and returning the same
+  results.
+
+## Capabilities
+
+- Planar solids: rational linear algebra, plane-based B-rep, booleans,
+  divergence-theorem mass properties.
+- Quadrics (cylinder, cone, sphere, torus) with closed-form intersections.
+- NURBS curves and surfaces; surface–surface intersection with complete branch
+  detection and certified points.
+- Procedural offsets and shells; edge blends (fillets); lofts.
+- Exact volume, centroid, and inertia via the divergence theorem.
+- STEP (AP203/AP214) import and export.
+
+## Design
+
+A Python reference implementation defines the exact semantics. A Rust build
+provides the same operations for production use; each ported routine is
+cross-checked against the reference. Design notes and decisions are recorded in
+the gitcad repository (ADR-0018).
+
+## Layout
+
+- `src/forgekernel/` — the Python kernel.
+- `rust/forge-core/` — the native build (`forgekernel_rs`).
+
+## Install
+
+```
+pip install forgekernel          # pure Python
+pip install forgekernel[rust]    # add the native build
+```
+
+License: Apache-2.0. Source: https://github.com/gitcad-xyz/forge

{forgekernel-0.1.0 → forgekernel-0.8.0}/src/forgekernel.egg-info/requires.txt

@@ -1,6 +1,6 @@
 
 [rust]
-forgekernel_rs>=0.1.0
+forgekernel_rs>=0.8.0
 
 [test]
 pytest>=7

forgekernel-0.1.0/PKG-INFO

@@ -1,82 +0,0 @@
-Metadata-Version: 2.4
-Name: forgekernel
-Version: 0.1.0
-Summary: Exact-arithmetic B-rep CAD kernel: topology decided in ℚ, never by floating-point epsilon
-Author-email: Dan Willis <danielcwillis@gmail.com>
-Maintainer-email: Dan Willis <danielcwillis@gmail.com>
-License: Apache-2.0
-Project-URL: Homepage, https://github.com/gitcad-xyz/forge
-Project-URL: Repository, https://github.com/gitcad-xyz/forge
-Project-URL: Issues, https://github.com/gitcad-xyz/forge/issues
-Project-URL: Design — ADR-0018, https://github.com/gitcad-xyz/gitcad/blob/main/docs/adr/0018-native-kernel.md
-Project-URL: Benchmarks vs OCCT, https://github.com/gitcad-xyz/gitcad/blob/main/bench/RUST-vs-OCCT.md
-Keywords: cad,b-rep,brep,geometry,kernel,nurbs,solid-modeling,computational-geometry,exact-arithmetic,rational-arithmetic,step,occt,opencascade
-Classifier: Development Status :: 3 - Alpha
-Classifier: Intended Audience :: Developers
-Classifier: Intended Audience :: Manufacturing
-Classifier: Intended Audience :: Science/Research
-Classifier: License :: OSI Approved :: Apache Software License
-Classifier: Operating System :: OS Independent
-Classifier: Programming Language :: Python :: 3
-Classifier: Programming Language :: Python :: 3.11
-Classifier: Programming Language :: Python :: 3.12
-Classifier: Programming Language :: Python :: 3.13
-Classifier: Topic :: Scientific/Engineering
-Classifier: Topic :: Scientific/Engineering :: Mathematics
-Classifier: Topic :: Multimedia :: Graphics :: 3D Modeling
-Requires-Python: >=3.11
-Description-Content-Type: text/markdown
-License-File: LICENSE
-Provides-Extra: rust
-Requires-Dist: forgekernel_rs>=0.1.0; extra == "rust"
-Provides-Extra: test
-Requires-Dist: pytest>=7; extra == "test"
-Dynamic: license-file
-
-# forge — the gitcad-native B-rep kernel
-
-From-scratch, unencumbered (Apache-2.0), built to pass the bar OCCT
-sets and then raise it — the plan and the decision record live in
-gitcad ([ADR-0018](https://github.com/gitcad-xyz/gitcad/blob/main/docs/adr/0018-native-kernel.md),
-[coverage plan](https://github.com/gitcad-xyz/gitcad/blob/main/docs/research/kernel-coverage-plan.md)).
-
-## The three-oracle chain
-
-```
-forgekernel.ref   Python + exact rational arithmetic — the executable
-                  specification; topological decisions are EXACT, never
-                  epsilon-guarded
-      ⇅ differential
-OCCT              the 30-year-hardened independent oracle, driven from
-                  the gitcad benchmark corpus through the Kernel seam
-      ⇅ oracle
-forge (Rust)      the production port, added operator class by operator
-                  class once ref has proven the semantics
-```
-
-## How progress is measured
-
-Not vibes: the [benchmark trend](https://github.com/gitcad-xyz/gitcad/blob/main/bench/TREND.md)
-in the gitcad repo scores every backend on the shared corpus —
-capability %, torture-case pass rate, correctness deltas, wall time.
-Day-one baseline: OCCT scores 93.8%, failing `swept_channel`
-(sharp-cornered sweep → invalid geometry). Beating that number with
-exact arithmetic is the first milestone.
-
-## Roadmap (gates, not dates)
-
-- **K1** exact planar core: rational linear algebra, plane-based
-  polyhedral B-rep, epsilon-free booleans, divergence-theorem mass
-  properties, native lineage. Gate: planar corpus green vs OCCT.
-- **K2** quadrics + torus with closed-form intersectors — most of
-  real mech. Gate: ≥80% corpus green.
-- **K3** NURBS + branch-complete surface–surface intersection (the
-  crown jewel). **K4** procedural offsets/shell. **K5** G2 blends.
-  **K6** the surfacing suite — the SolidWorks-class end goal.
-
-## Layout
-
-- `src/forgekernel/` — the Python reference kernel (`ref`)
-- `rust/` — the forge port (arrives with K1 stability)
-- gitcad consumes both through its `Kernel` seam; nothing here depends
-  on gitcad

forgekernel-0.1.0/README.md

@@ -1,47 +0,0 @@
-# forge — the gitcad-native B-rep kernel
-
-From-scratch, unencumbered (Apache-2.0), built to pass the bar OCCT
-sets and then raise it — the plan and the decision record live in
-gitcad ([ADR-0018](https://github.com/gitcad-xyz/gitcad/blob/main/docs/adr/0018-native-kernel.md),
-[coverage plan](https://github.com/gitcad-xyz/gitcad/blob/main/docs/research/kernel-coverage-plan.md)).
-
-## The three-oracle chain
-
-```
-forgekernel.ref   Python + exact rational arithmetic — the executable
-                  specification; topological decisions are EXACT, never
-                  epsilon-guarded
-      ⇅ differential
-OCCT              the 30-year-hardened independent oracle, driven from
-                  the gitcad benchmark corpus through the Kernel seam
-      ⇅ oracle
-forge (Rust)      the production port, added operator class by operator
-                  class once ref has proven the semantics
-```
-
-## How progress is measured
-
-Not vibes: the [benchmark trend](https://github.com/gitcad-xyz/gitcad/blob/main/bench/TREND.md)
-in the gitcad repo scores every backend on the shared corpus —
-capability %, torture-case pass rate, correctness deltas, wall time.
-Day-one baseline: OCCT scores 93.8%, failing `swept_channel`
-(sharp-cornered sweep → invalid geometry). Beating that number with
-exact arithmetic is the first milestone.
-
-## Roadmap (gates, not dates)
-
-- **K1** exact planar core: rational linear algebra, plane-based
-  polyhedral B-rep, epsilon-free booleans, divergence-theorem mass
-  properties, native lineage. Gate: planar corpus green vs OCCT.
-- **K2** quadrics + torus with closed-form intersectors — most of
-  real mech. Gate: ≥80% corpus green.
-- **K3** NURBS + branch-complete surface–surface intersection (the
-  crown jewel). **K4** procedural offsets/shell. **K5** G2 blends.
-  **K6** the surfacing suite — the SolidWorks-class end goal.
-
-## Layout
-
-- `src/forgekernel/` — the Python reference kernel (`ref`)
-- `rust/` — the forge port (arrives with K1 stability)
-- gitcad consumes both through its `Kernel` seam; nothing here depends
-  on gitcad

forgekernel-0.1.0/src/forgekernel.egg-info/PKG-INFO

@@ -1,82 +0,0 @@
-Metadata-Version: 2.4
-Name: forgekernel
-Version: 0.1.0
-Summary: Exact-arithmetic B-rep CAD kernel: topology decided in ℚ, never by floating-point epsilon
-Author-email: Dan Willis <danielcwillis@gmail.com>
-Maintainer-email: Dan Willis <danielcwillis@gmail.com>
-License: Apache-2.0
-Project-URL: Homepage, https://github.com/gitcad-xyz/forge
-Project-URL: Repository, https://github.com/gitcad-xyz/forge
-Project-URL: Issues, https://github.com/gitcad-xyz/forge/issues
-Project-URL: Design — ADR-0018, https://github.com/gitcad-xyz/gitcad/blob/main/docs/adr/0018-native-kernel.md
-Project-URL: Benchmarks vs OCCT, https://github.com/gitcad-xyz/gitcad/blob/main/bench/RUST-vs-OCCT.md
-Keywords: cad,b-rep,brep,geometry,kernel,nurbs,solid-modeling,computational-geometry,exact-arithmetic,rational-arithmetic,step,occt,opencascade
-Classifier: Development Status :: 3 - Alpha
-Classifier: Intended Audience :: Developers
-Classifier: Intended Audience :: Manufacturing
-Classifier: Intended Audience :: Science/Research
-Classifier: License :: OSI Approved :: Apache Software License
-Classifier: Operating System :: OS Independent
-Classifier: Programming Language :: Python :: 3
-Classifier: Programming Language :: Python :: 3.11
-Classifier: Programming Language :: Python :: 3.12
-Classifier: Programming Language :: Python :: 3.13
-Classifier: Topic :: Scientific/Engineering
-Classifier: Topic :: Scientific/Engineering :: Mathematics
-Classifier: Topic :: Multimedia :: Graphics :: 3D Modeling
-Requires-Python: >=3.11
-Description-Content-Type: text/markdown
-License-File: LICENSE
-Provides-Extra: rust
-Requires-Dist: forgekernel_rs>=0.1.0; extra == "rust"
-Provides-Extra: test
-Requires-Dist: pytest>=7; extra == "test"
-Dynamic: license-file
-
-# forge — the gitcad-native B-rep kernel
-
-From-scratch, unencumbered (Apache-2.0), built to pass the bar OCCT
-sets and then raise it — the plan and the decision record live in
-gitcad ([ADR-0018](https://github.com/gitcad-xyz/gitcad/blob/main/docs/adr/0018-native-kernel.md),
-[coverage plan](https://github.com/gitcad-xyz/gitcad/blob/main/docs/research/kernel-coverage-plan.md)).
-
-## The three-oracle chain
-
-```
-forgekernel.ref   Python + exact rational arithmetic — the executable
-                  specification; topological decisions are EXACT, never
-                  epsilon-guarded
-      ⇅ differential
-OCCT              the 30-year-hardened independent oracle, driven from
-                  the gitcad benchmark corpus through the Kernel seam
-      ⇅ oracle
-forge (Rust)      the production port, added operator class by operator
-                  class once ref has proven the semantics
-```
-
-## How progress is measured
-
-Not vibes: the [benchmark trend](https://github.com/gitcad-xyz/gitcad/blob/main/bench/TREND.md)
-in the gitcad repo scores every backend on the shared corpus —
-capability %, torture-case pass rate, correctness deltas, wall time.
-Day-one baseline: OCCT scores 93.8%, failing `swept_channel`
-(sharp-cornered sweep → invalid geometry). Beating that number with
-exact arithmetic is the first milestone.
-
-## Roadmap (gates, not dates)
-
-- **K1** exact planar core: rational linear algebra, plane-based
-  polyhedral B-rep, epsilon-free booleans, divergence-theorem mass
-  properties, native lineage. Gate: planar corpus green vs OCCT.
-- **K2** quadrics + torus with closed-form intersectors — most of
-  real mech. Gate: ≥80% corpus green.
-- **K3** NURBS + branch-complete surface–surface intersection (the
-  crown jewel). **K4** procedural offsets/shell. **K5** G2 blends.
-  **K6** the surfacing suite — the SolidWorks-class end goal.
-
-## Layout
-
-- `src/forgekernel/` — the Python reference kernel (`ref`)
-- `rust/` — the forge port (arrives with K1 stability)
-- gitcad consumes both through its `Kernel` seam; nothing here depends
-  on gitcad