forked from 1b-agent/fieldcraft-upstream
jyvikoandClaude Opus 5.5
9469ac0853
The end-to-end demo met a raw-CDT sliver that the validity gate accepted (exactly positive) and the solver refused. Now: - One validity criterion, `fieldcraft_model::admissible_jacobian` (normalized Jacobian above 1e-12), used by the implicit solver (fem `positive_inverse`), the explicit tet4/hex8 kinematics and the mesh gate, which proves it on the whole element (tet4: the solvers' own Jacobian; curved kinds: a Bernstein floor), so whatever passes the gate passes the solvers. - CDT rounding repaired by flips on the rounded mesh (Diazzi et al. 2023 §5.1) instead of the ±2-ulp nudge. - `fieldcraft-mesh::tet`: a mutable tetrahedral complex whose every change is a checked replacement (positive and admissible tetrahedra, faces matched with opposite orientation) with an exact undo log; edge removal (Klincsek), multi-face removal, Delaunay insertion with boundary faces, edge collapse; a curvature- and thickness-graded size field; constrained Delaunay refinement with encroachment splits; ODT smoothing; the Klingner–Shewchuk schedule; boundary vertices moved onto the exact B-rep surfaces at the end; tet10 with mid-edge nodes on the geometry. - `mesh.tet.generate` gains size, order, quality, quality_target, curvature_angle, grading, max_passes, max_points and reports the CDT's and the mesh's quality; `solve.probe` takes a set and reports its largest von Mises stress. - Oracle cases filleted-bracket-fillet-stress(-coarse): the fillet's peak von Mises stress on tet10 meshes of 2k and 13.5k elements, 213.3 MPa (a four-level study stays within 1.8%); the CDT cases keep the raw tetrahedralization. - Corpus quality columns: all 20 valid parts mesh and pass the gate. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01NmAttHhUZTokgPeEJia8sm
138 lines
5.3 KiB
TOML
138 lines
5.3 KiB
TOML
[workspace]
|
|
resolver = "3"
|
|
members = ["crates/*", "apps/*", "xtask"]
|
|
|
|
[workspace.package]
|
|
version = "0.1.0"
|
|
edition = "2024"
|
|
license = "MIT OR Apache-2.0"
|
|
rust-version = "1.95"
|
|
authors = ["FieldCraft contributors"]
|
|
repository = "https://github.com/jyviko/fieldcraft"
|
|
|
|
[workspace.dependencies]
|
|
# internal
|
|
fieldcraft-model = { path = "crates/model" }
|
|
fieldcraft-parallel = { path = "crates/parallel" }
|
|
fieldcraft-geometry = { path = "crates/geometry" }
|
|
fieldcraft-mesh = { path = "crates/mesh" }
|
|
fieldcraft-decks = { path = "crates/decks" }
|
|
fieldcraft-io = { path = "crates/io" }
|
|
fieldcraft-fem = { path = "crates/fem" }
|
|
fieldcraft-solver = { path = "crates/solver" }
|
|
fieldcraft-explicit = { path = "crates/explicit" }
|
|
fieldcraft-lbm = { path = "crates/lbm" }
|
|
fieldcraft-engine = { path = "crates/engine" }
|
|
fieldcraft-testkit = { path = "crates/testkit" }
|
|
fieldcraft-render = { path = "crates/render" }
|
|
fieldcraft-ui-egui = { path = "crates/ui-egui" }
|
|
fieldcraft-mcp = { path = "crates/mcp" }
|
|
|
|
# foundation
|
|
thiserror = "2"
|
|
serde = { version = "1", features = ["derive"] }
|
|
serde_json = { version = "1", features = ["float_roundtrip"] }
|
|
log = "0.4"
|
|
|
|
# 3MF packages (docs/formats/tagged-mesh.md): the same versions SolidCraft uses.
|
|
zip = { version = "3", default-features = false, features = ["deflate"] }
|
|
quick-xml = "0.41"
|
|
|
|
# content hashes and part checksums of .fieldcraft files (the version SolidCraft uses)
|
|
sha2 = "0.10"
|
|
|
|
# images (PNG snapshots and screenshots)
|
|
png = "0.18"
|
|
# SVG toolbar icons rasterised in the UI (no text, fonts or raster images in icons)
|
|
resvg = { version = "0.48", default-features = false }
|
|
|
|
# ui: the same egui/eframe/egui-wgpu line as SolidCraft
|
|
egui = "0.36"
|
|
eframe = { version = "0.36", default-features = false }
|
|
egui-wgpu = "0.36"
|
|
# Shared Craft-family egui components (icon buttons, tabs, widget palette); the same rev as
|
|
# VectorCraft. MIT OR Apache-2.0.
|
|
craft-ui = { git = "https://github.com/storytold/craft-libs", rev = "5c874d51eeb3de70e735c8ce87a59a7dedd47675" }
|
|
# native file pickers (the desktop app only; the UI crate takes them as services)
|
|
rfd = "0.17"
|
|
|
|
# Geometry: SolidCraft's B-rep kernel (MIT OR Apache-2.0), pinned. Only crates/geometry uses it
|
|
# (plan/adr/0001-libraries.md).
|
|
solidcraft-geom = { git = "https://github.com/bherbruck/solidcraft", rev = "de1479029dd6821cffd28b70688a58e7f61f0cfd" }
|
|
solidcraft-kernel = { git = "https://github.com/bherbruck/solidcraft", rev = "de1479029dd6821cffd28b70688a58e7f61f0cfd" }
|
|
solidcraft-doc = { git = "https://github.com/bherbruck/solidcraft", rev = "de1479029dd6821cffd28b70688a58e7f61f0cfd" }
|
|
solidcraft-io = { git = "https://github.com/bherbruck/solidcraft", rev = "de1479029dd6821cffd28b70688a58e7f61f0cfd" }
|
|
# Runs SolidCraft command scripts (the test corpus recipes); only behind fieldcraft-geometry's
|
|
# `scripts` feature.
|
|
solidcraft-engine = { git = "https://github.com/bherbruck/solidcraft", rev = "de1479029dd6821cffd28b70688a58e7f61f0cfd" }
|
|
|
|
[workspace.lints.rust]
|
|
unsafe_code = "forbid"
|
|
|
|
[workspace.lints.clippy]
|
|
dbg_macro = "warn"
|
|
todo = "warn"
|
|
too_many_arguments = "allow"
|
|
type_complexity = "allow"
|
|
# `!(x > tol)` is our idiom for "not a usable number" (NaN-safe).
|
|
neg_cmp_op_on_partial_ord = "allow"
|
|
|
|
[profile.dev.package."*"]
|
|
opt-level = 2
|
|
|
|
[profile.dev]
|
|
opt-level = 1
|
|
|
|
# The lattice Boltzmann kernels are compute loops over millions of cells; their verification
|
|
# runs (tests) need them optimised.
|
|
[profile.dev.package.fieldcraft-lbm]
|
|
opt-level = 3
|
|
|
|
# Meshing and the sparse solver are compute loops too: the tet quality stage and the
|
|
# mesh-convergence oracle cases (tests/oracle) run in tests.
|
|
[profile.dev.package.fieldcraft-mesh]
|
|
opt-level = 3
|
|
|
|
[profile.dev.package.fieldcraft-solver]
|
|
opt-level = 3
|
|
|
|
# Tests and lints (`cargo xtask ci`, GitHub CI). Debug assertions are off because truck's
|
|
# debug-only checks reject valid geometry (SolidCraft builds its tests the same way).
|
|
[profile.ci]
|
|
inherits = "dev"
|
|
opt-level = 1
|
|
debug = "line-tables-only"
|
|
debug-assertions = false
|
|
overflow-checks = true
|
|
incremental = false
|
|
|
|
[profile.ci.package."*"]
|
|
opt-level = 2
|
|
|
|
[profile.ci.package.fieldcraft-lbm]
|
|
opt-level = 3
|
|
|
|
[profile.ci.package.fieldcraft-mesh]
|
|
opt-level = 3
|
|
|
|
[profile.ci.package.fieldcraft-solver]
|
|
opt-level = 3
|
|
|
|
[profile.release]
|
|
opt-level = 3
|
|
lto = "thin"
|
|
codegen-units = 16
|
|
debug = "line-tables-only"
|
|
|
|
# SolidCraft builds truck and egui-wgpu with local fixes (its vendor/ directory). Patches don't
|
|
# reach a dependent workspace, so FieldCraft applies the same ones from the same pinned commit;
|
|
# keep this list and the rev in step with SolidCraft's [patch.crates-io].
|
|
[patch.crates-io]
|
|
truck-shapeops = { git = "https://github.com/bherbruck/solidcraft", rev = "de1479029dd6821cffd28b70688a58e7f61f0cfd" }
|
|
truck-stepio = { git = "https://github.com/bherbruck/solidcraft", rev = "de1479029dd6821cffd28b70688a58e7f61f0cfd" }
|
|
truck-meshalgo = { git = "https://github.com/bherbruck/solidcraft", rev = "de1479029dd6821cffd28b70688a58e7f61f0cfd" }
|
|
matext4cgmath = { git = "https://github.com/bherbruck/solidcraft", rev = "de1479029dd6821cffd28b70688a58e7f61f0cfd" }
|
|
# egui-wgpu with SolidCraft's fixes (vendor/egui-wgpu there): MSAA clamped to what the device
|
|
# supports and 1x on OpenGL adapters, so the requested 4x never fails pipeline validation at start.
|
|
egui-wgpu = { git = "https://github.com/bherbruck/solidcraft", rev = "de1479029dd6821cffd28b70688a58e7f61f0cfd" }
|