prechips 0.1.2__tar.gz → 0.2.0__tar.gz

{prechips-0.1.2 → prechips-0.2.0}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: prechips
-Version: 0.1.2
+Version: 0.2.0
 Summary: Checks before chips: deterministic validation of machining process plans against part geometry and a shop inventory.
 Author: Pedro Paulo Vezza Campos
 Author-email: Pedro Paulo Vezza Campos <pedro@vezza.com.br>
@@ -65,8 +65,9 @@ shows ample real land: at least 2.4596 mm (about 2.46 mm), versus the 0.5 mm
 policy. Missing circular-topology proof, not physical land, keeps S8/S9's
 post-plunge retouches unknown pending [#208](https://github.com/pedropaulovc/prechips/issues/208).
 Release 0.1.1 includes #198, #192 and #199 with that documented interim exit 4.
-Release 0.1.2 adds #235, #236 and surface-profile zones and keeps that exit 4:
-exit-0 restoration by #208 is deferred to a later release;
+Release 0.1.2 adds #235, #236 and surface-profile zones and keeps that exit 4.
+Release 0.2.0 breaks input schemas without compatibility shims and still keeps
+that exit 4: exit-0 restoration by #208 is deferred to a later release;
 the authored plan and its requirements are unchanged.
 
 See the example guide's [print and native acceptance limits](examples/README.md#print-and-native-acceptance-limits).
@@ -83,6 +84,10 @@ uv run ruff check .
 uv run ruff format --check .
 ```
 
+While iterating, `uv run scripts/affected_tests.py --base main` runs only the
+tests a change can affect (`--dry-run` prints the selection); CI always runs the
+full suite.
+
 Install [FreeCAD 1.x](https://github.com/FreeCAD/FreeCAD/releases) for real
 geometry checks. Discovery uses `FREECAD_CMD` first, the installed Windows
 FreeCAD 1.1 path next, then `FreeCADCmd`/`freecadcmd` on `PATH`. For example,
@@ -100,9 +105,9 @@ two pytest workers and load-scope scheduling, caps extra native workers at one,
 records durations (complete in JUnit) and uploads the pytest log and JUnit
 results even on failure. Successful geometry results persist across runs in a
 cache namespaced by runner OS/architecture, pinned AppImage SHA-256, cache epoch
-and engine source digest. Each immutable save key also includes the run ID and
-attempt; restore uses the matching namespace prefix. Only successful test jobs
-publish the per-run cache.
+and engine source digest (only the sources `freecadcmd` executes). Each immutable save key also includes the shard index,
+run ID and attempt; a shard restores its own latest entry, else the shared
+namespace prefix. Only successful test shards publish their per-run cache.
 The product reports unknown geometry (`?`, exit 4) without FreeCAD;
 skips do not change that behavior.
 CI also sets `PRECHIPS_REQUIRE_PRINT_BROWSER=1`: a missing or unlaunchable
@@ -267,16 +272,31 @@ only when it is read across a face: a drawn band whose feature names the face
 extent in `tilt_across` ([features](docs/features.md#angle-bands-read-across-a-face)),
 or a BASIC angle a surface profile bounds by `tilt_across`. Inspection judges it as
 the linear zone it reads across that length, on gauge resolution alone; any other
-angle band is `?` (no angular gauge capability).
+angle band is `?` (no angular gauge capability). A gauge or DRO resolution must be a
+positive length or `"unknown"`: 0 or less is refused at load, never read as perfect
+resolution ([inventory](docs/inventory.md)).
 
 Native [saw cut-off](docs/plan.md#saw-cut-off) supports `saw_cut` / `cut_off` on
 mill, bench and bandsaw setups: an explicit blade-centre plane plus inventory
 kerf removes only the discarded stock side. The traveler shows cited blade sfm
 and descent feed, not spindle RPM; cylinder-based accessibility explicitly does
-not apply. Dividing-head headroom uses centre height and the posed axis offset,
+not apply. A [hand saw on the bench](docs/plan.md#hand-saw-on-the-bench-straight-or-to-a-scribed-line)
+(`kind = "hand_saw"` on a bench/manual machine) keeps the manual-bench waiver and
+has no blade speed; it cuts straight on a `cut_plane` or `follows` an earlier
+scribe op's line, removing only its declared `stock_removal_bounds` and leaving
+at least `allowance_mm` outside the line for the file (unknown extent is `?`). A
+bandsaw in vertical mode (`saw_modes`) follows a scribed curve the same way, hand-fed;
+along a scribed arc the predicted removal follows the curve, offset by the allowance. Dividing-head headroom uses centre height and the posed axis offset,
 and child hole operations inherit a missing travel centre from their named
 parent/hole while explicit unknown locations remain debt.
 
+A cut that frees the part from its frame leaves a held split: every pressed piece
+stays in the stock. The op that ends it (usually `release`) takes
+`keep = "<feature>"`, and only the piece carrying that finished feature goes on to
+later setups. Each discarded piece is logged by the
+[`keep_piece`](docs/rules-geometry.md#keep-piece) finding. A keep that cannot pick
+exactly one piece is `?`.
+
 On the lathe, a parting/grooving blade's Z touch names the blade corner it sets
 (the touched face's normal decides it; a scribe touch states it), and every blade
 op row prints Z as that corner's reading. Each toolpost tool's first touch-off in
@@ -409,7 +429,17 @@ phase: [#213](https://github.com/pedropaulovc/prechips/issues/213)); a
 arc's bore (or a template) and checks R with a radius gauge whose range covers
 it. `chords` (sagitta proven inside the band, ends on the DRO grid) and a
 `rotary_table` recipe (inventory table, centre pin, offset and dial readings)
-finish arcs on the mill. No traveler prints MDI, G-code or a continuous circle;
+finish arcs on the mill, and a `guided_sweep` (#255), in a setup of its own, finishes an arc whose centre
+is too far off the part for a table: the cutter is touched to a measured master
+and locked while a swing arm on a pivot, or a sled whose rail bears on two
+rollers, sweeps the work under it; the master's radius limits widened by the
+measured pivot play, or the rail's form error and roller runout through the
+rollers' geometry, must hold the band, and an unmeasured guide is debt, never a
+perfect rail. The setup picture draws an arc sled's table-side rollers
+render-only from the sled's measured `roller_dia`, `roller_height` and
+`bed_height` and its `rail_side` (a missing fact is a `NOT SHOWN` note with its
+`measure:` instruction), and notes where a swing arm's pivot post stands, off
+the picture. No traveler prints MDI, G-code or a continuous circle;
 the former `arc_table` method and machine `contouring` are gone.
 Drawing dimensions retain their declared precision; when no precision is
 declared, known values still print their own digits rather than `?`. Operative
@@ -600,7 +630,15 @@ distinct from requirement-associated records: one full-width white freeform
 readings/observations area below each real requirement, at least 20 mm clear
 interior depth excluding labels, padding and borders. Known owners, limits,
 gauges, units and method references stay associated; feature/location can be
-identified when needed without inferred reading counts or statistics.
+identified when needed without inferred reading counts or statistics. A
+multi-feature `inspect` op prints as one station card; its `checks`,
+`go_no_go` and `inspection_methods` may be scoped per listed feature
+([plan](docs/plan.md#operation)), and each feature's row then names its own
+gauge, GO / NO-GO pair and method.
+A radius band `[0, r]` ("R r MAX", sharp allowed) is read as a limit check: a
+radius or profile gauge passes only with a leaf at exactly r and no declared leaf
+tolerance. A safe smaller leaf the traveler does not name is
+[`?`](docs/rules-inspection.md).
 Specifically named procedure blanks remain separate, with a 35 × 10 mm clear
 interior floor. Pre-clamping M acquisition occurs only for explicit
 `measure_before_hold = true` with an authored `measure`; pen room stays in its
@@ -632,6 +670,13 @@ When all component envelopes are known, their union must contain the finished
 STEP; otherwise all component references carry geometry debt.
 A nonempty root `as_is_faces` declaration needs the full joined supply exterior
 and every component envelope known, so it can withhold otherwise-known branches.
+A blank bought already laser-, waterjet- or plasma-cut is a
+[profiled blank](docs/plan.md#profiled-blank): `form = "profiled_blank"` with a
+`blank` table naming its cited, digest-bound STEP (in part-model coordinates)
+and the vendor's ± cut tolerance, on the root stock or a component. The kernel
+uses that solid as the supply; [`blank_credit`](docs/rules-geometry.md#blank_credit)
+credits an as-is face only when it lies on the blank and its drawing bands hold
+the tolerance, so out-of-band faces still need ops.
 Empty or omitted declarations add no cross-component dependency. Removal
 fragmentation is checked per input solid; deleting one piece cannot mask
 splitting another.
@@ -652,12 +697,22 @@ over the face's full area. Declared fit bands must cover the
 worst-case mating diameters, prepared geometry must reach the join along the
 selected stock lineage, and the kernel refuses interference outside the
 permitted fit or missing component-owned finished material at the join.
-Unknown joint dimensions or retaining-compound process facts withhold the union
+A joint's `forms` names exported features whose faces the join itself leaves, such as
+a root fillet `R0.2 MAX` that a press leaves sharp. The kernel admits that sharp
+corner against the feature's band, judged with the socket's declared mouth
+`edge_break` (a broken mouth leaves a groove, which is refused), and `coverage` credits its faces only after a
+post-join check reads the band. Without that check the credit is `?`.
+A cylindrical joint's `method` is the assembly action (`silver_braze` or `slip`
+for clearance, `press` for interference); a retaining compound on the interface
+is a `compound = { product, cure_time_min, surface_prep }` block, required on a
+slip fit and optional on a press fit.
+Unknown joint dimensions or compound process facts withhold the union
 and its render, rather than assuming a fit or cure. Each assembly step joins
 exactly two disjoint inputs: an existing assembly may receive one new component.
 Finite both-open cylindrical sockets accept turned sleeves; clearance joining
-fills the mating annulus, not a sleeve's intentional bore. Retaining-compound
-travelers state surface prep, cure time and do not disturb until cured.
+fills the mating annulus, not a sleeve's intentional bore. Compound-joint
+travelers state surface prep, cure time and do not disturb until cured; a press
+fit with a compound is pressed in with the compound on the interface.
 Plan-owned `process_features` describe stock preparation a later setup relies
 on — a faced `end_face` or a combined drill and countersink `centre_hole` — and
 are never drawing dimensions or coverage. The kernel cuts them, so the picture
@@ -672,6 +727,11 @@ unresolved. A tailstock drill chuck or a rest is not a centre. The centre depth
 is the Machinery's Handbook Table 6 drill length plus the countersink to the mouth,
 printed as a tailstock-quill depth, and only for the selected centre drill's
 own accepted D, C, angle, body and point with the mouth on the touched end.
+A `tooling_hole` is a locating hole drilled (and reamed) in the work's own waste:
+its ops are judged as plain hole ops, the kernel cuts it, a later setup's fixture
+or clamp pin whose `locates` names it gets a band fit check, and a setup that
+still names it after a waste cut took it is an error (`tooling_hole`, always
+required where a setup works or locates on one).
 A mill route squares a sawn rectangular bar the same way: each blank face is
 an `end_face` that a face op cuts flat, or a side-milling profile cuts on an end
 overhanging the vise. The kernel removes each as a planar slab, so later pictures
@@ -681,6 +741,10 @@ declaration within the declared tolerance and requires an inventory gauge and
 written method for its size, flatness, squareness and parallelism checks, which
 the sheet prints as CHECK THE BLANK. A hold's `jaw_bar` puts a round bar against
 the moving jaw while a reference face seats on the fixed jaw.
+A lathe `part_off` also prepares an `end_face`: a piece parted off over length
+keeps its later stock known until a later setup faces it to length.
+`parting_face` checks that the end face is the disc at the op's `to_z`, with its
+axis pointing into the kept piece toward the exposed end.
 See [the plan format](docs/plan.md) for the authored fields.
 
 Cutter self-contact exclusion is only a thin shell of the sampled face;

{prechips-0.1.2 → prechips-0.2.0}/README.md

@@ -45,8 +45,9 @@ shows ample real land: at least 2.4596 mm (about 2.46 mm), versus the 0.5 mm
 policy. Missing circular-topology proof, not physical land, keeps S8/S9's
 post-plunge retouches unknown pending [#208](https://github.com/pedropaulovc/prechips/issues/208).
 Release 0.1.1 includes #198, #192 and #199 with that documented interim exit 4.
-Release 0.1.2 adds #235, #236 and surface-profile zones and keeps that exit 4:
-exit-0 restoration by #208 is deferred to a later release;
+Release 0.1.2 adds #235, #236 and surface-profile zones and keeps that exit 4.
+Release 0.2.0 breaks input schemas without compatibility shims and still keeps
+that exit 4: exit-0 restoration by #208 is deferred to a later release;
 the authored plan and its requirements are unchanged.
 
 See the example guide's [print and native acceptance limits](examples/README.md#print-and-native-acceptance-limits).
@@ -63,6 +64,10 @@ uv run ruff check .
 uv run ruff format --check .
 ```
 
+While iterating, `uv run scripts/affected_tests.py --base main` runs only the
+tests a change can affect (`--dry-run` prints the selection); CI always runs the
+full suite.
+
 Install [FreeCAD 1.x](https://github.com/FreeCAD/FreeCAD/releases) for real
 geometry checks. Discovery uses `FREECAD_CMD` first, the installed Windows
 FreeCAD 1.1 path next, then `FreeCADCmd`/`freecadcmd` on `PATH`. For example,
@@ -80,9 +85,9 @@ two pytest workers and load-scope scheduling, caps extra native workers at one,
 records durations (complete in JUnit) and uploads the pytest log and JUnit
 results even on failure. Successful geometry results persist across runs in a
 cache namespaced by runner OS/architecture, pinned AppImage SHA-256, cache epoch
-and engine source digest. Each immutable save key also includes the run ID and
-attempt; restore uses the matching namespace prefix. Only successful test jobs
-publish the per-run cache.
+and engine source digest (only the sources `freecadcmd` executes). Each immutable save key also includes the shard index,
+run ID and attempt; a shard restores its own latest entry, else the shared
+namespace prefix. Only successful test shards publish their per-run cache.
 The product reports unknown geometry (`?`, exit 4) without FreeCAD;
 skips do not change that behavior.
 CI also sets `PRECHIPS_REQUIRE_PRINT_BROWSER=1`: a missing or unlaunchable
@@ -247,16 +252,31 @@ only when it is read across a face: a drawn band whose feature names the face
 extent in `tilt_across` ([features](docs/features.md#angle-bands-read-across-a-face)),
 or a BASIC angle a surface profile bounds by `tilt_across`. Inspection judges it as
 the linear zone it reads across that length, on gauge resolution alone; any other
-angle band is `?` (no angular gauge capability).
+angle band is `?` (no angular gauge capability). A gauge or DRO resolution must be a
+positive length or `"unknown"`: 0 or less is refused at load, never read as perfect
+resolution ([inventory](docs/inventory.md)).
 
 Native [saw cut-off](docs/plan.md#saw-cut-off) supports `saw_cut` / `cut_off` on
 mill, bench and bandsaw setups: an explicit blade-centre plane plus inventory
 kerf removes only the discarded stock side. The traveler shows cited blade sfm
 and descent feed, not spindle RPM; cylinder-based accessibility explicitly does
-not apply. Dividing-head headroom uses centre height and the posed axis offset,
+not apply. A [hand saw on the bench](docs/plan.md#hand-saw-on-the-bench-straight-or-to-a-scribed-line)
+(`kind = "hand_saw"` on a bench/manual machine) keeps the manual-bench waiver and
+has no blade speed; it cuts straight on a `cut_plane` or `follows` an earlier
+scribe op's line, removing only its declared `stock_removal_bounds` and leaving
+at least `allowance_mm` outside the line for the file (unknown extent is `?`). A
+bandsaw in vertical mode (`saw_modes`) follows a scribed curve the same way, hand-fed;
+along a scribed arc the predicted removal follows the curve, offset by the allowance. Dividing-head headroom uses centre height and the posed axis offset,
 and child hole operations inherit a missing travel centre from their named
 parent/hole while explicit unknown locations remain debt.
 
+A cut that frees the part from its frame leaves a held split: every pressed piece
+stays in the stock. The op that ends it (usually `release`) takes
+`keep = "<feature>"`, and only the piece carrying that finished feature goes on to
+later setups. Each discarded piece is logged by the
+[`keep_piece`](docs/rules-geometry.md#keep-piece) finding. A keep that cannot pick
+exactly one piece is `?`.
+
 On the lathe, a parting/grooving blade's Z touch names the blade corner it sets
 (the touched face's normal decides it; a scribe touch states it), and every blade
 op row prints Z as that corner's reading. Each toolpost tool's first touch-off in
@@ -389,7 +409,17 @@ phase: [#213](https://github.com/pedropaulovc/prechips/issues/213)); a
 arc's bore (or a template) and checks R with a radius gauge whose range covers
 it. `chords` (sagitta proven inside the band, ends on the DRO grid) and a
 `rotary_table` recipe (inventory table, centre pin, offset and dial readings)
-finish arcs on the mill. No traveler prints MDI, G-code or a continuous circle;
+finish arcs on the mill, and a `guided_sweep` (#255), in a setup of its own, finishes an arc whose centre
+is too far off the part for a table: the cutter is touched to a measured master
+and locked while a swing arm on a pivot, or a sled whose rail bears on two
+rollers, sweeps the work under it; the master's radius limits widened by the
+measured pivot play, or the rail's form error and roller runout through the
+rollers' geometry, must hold the band, and an unmeasured guide is debt, never a
+perfect rail. The setup picture draws an arc sled's table-side rollers
+render-only from the sled's measured `roller_dia`, `roller_height` and
+`bed_height` and its `rail_side` (a missing fact is a `NOT SHOWN` note with its
+`measure:` instruction), and notes where a swing arm's pivot post stands, off
+the picture. No traveler prints MDI, G-code or a continuous circle;
 the former `arc_table` method and machine `contouring` are gone.
 Drawing dimensions retain their declared precision; when no precision is
 declared, known values still print their own digits rather than `?`. Operative
@@ -580,7 +610,15 @@ distinct from requirement-associated records: one full-width white freeform
 readings/observations area below each real requirement, at least 20 mm clear
 interior depth excluding labels, padding and borders. Known owners, limits,
 gauges, units and method references stay associated; feature/location can be
-identified when needed without inferred reading counts or statistics.
+identified when needed without inferred reading counts or statistics. A
+multi-feature `inspect` op prints as one station card; its `checks`,
+`go_no_go` and `inspection_methods` may be scoped per listed feature
+([plan](docs/plan.md#operation)), and each feature's row then names its own
+gauge, GO / NO-GO pair and method.
+A radius band `[0, r]` ("R r MAX", sharp allowed) is read as a limit check: a
+radius or profile gauge passes only with a leaf at exactly r and no declared leaf
+tolerance. A safe smaller leaf the traveler does not name is
+[`?`](docs/rules-inspection.md).
 Specifically named procedure blanks remain separate, with a 35 × 10 mm clear
 interior floor. Pre-clamping M acquisition occurs only for explicit
 `measure_before_hold = true` with an authored `measure`; pen room stays in its
@@ -612,6 +650,13 @@ When all component envelopes are known, their union must contain the finished
 STEP; otherwise all component references carry geometry debt.
 A nonempty root `as_is_faces` declaration needs the full joined supply exterior
 and every component envelope known, so it can withhold otherwise-known branches.
+A blank bought already laser-, waterjet- or plasma-cut is a
+[profiled blank](docs/plan.md#profiled-blank): `form = "profiled_blank"` with a
+`blank` table naming its cited, digest-bound STEP (in part-model coordinates)
+and the vendor's ± cut tolerance, on the root stock or a component. The kernel
+uses that solid as the supply; [`blank_credit`](docs/rules-geometry.md#blank_credit)
+credits an as-is face only when it lies on the blank and its drawing bands hold
+the tolerance, so out-of-band faces still need ops.
 Empty or omitted declarations add no cross-component dependency. Removal
 fragmentation is checked per input solid; deleting one piece cannot mask
 splitting another.
@@ -632,12 +677,22 @@ over the face's full area. Declared fit bands must cover the
 worst-case mating diameters, prepared geometry must reach the join along the
 selected stock lineage, and the kernel refuses interference outside the
 permitted fit or missing component-owned finished material at the join.
-Unknown joint dimensions or retaining-compound process facts withhold the union
+A joint's `forms` names exported features whose faces the join itself leaves, such as
+a root fillet `R0.2 MAX` that a press leaves sharp. The kernel admits that sharp
+corner against the feature's band, judged with the socket's declared mouth
+`edge_break` (a broken mouth leaves a groove, which is refused), and `coverage` credits its faces only after a
+post-join check reads the band. Without that check the credit is `?`.
+A cylindrical joint's `method` is the assembly action (`silver_braze` or `slip`
+for clearance, `press` for interference); a retaining compound on the interface
+is a `compound = { product, cure_time_min, surface_prep }` block, required on a
+slip fit and optional on a press fit.
+Unknown joint dimensions or compound process facts withhold the union
 and its render, rather than assuming a fit or cure. Each assembly step joins
 exactly two disjoint inputs: an existing assembly may receive one new component.
 Finite both-open cylindrical sockets accept turned sleeves; clearance joining
-fills the mating annulus, not a sleeve's intentional bore. Retaining-compound
-travelers state surface prep, cure time and do not disturb until cured.
+fills the mating annulus, not a sleeve's intentional bore. Compound-joint
+travelers state surface prep, cure time and do not disturb until cured; a press
+fit with a compound is pressed in with the compound on the interface.
 Plan-owned `process_features` describe stock preparation a later setup relies
 on — a faced `end_face` or a combined drill and countersink `centre_hole` — and
 are never drawing dimensions or coverage. The kernel cuts them, so the picture
@@ -652,6 +707,11 @@ unresolved. A tailstock drill chuck or a rest is not a centre. The centre depth
 is the Machinery's Handbook Table 6 drill length plus the countersink to the mouth,
 printed as a tailstock-quill depth, and only for the selected centre drill's
 own accepted D, C, angle, body and point with the mouth on the touched end.
+A `tooling_hole` is a locating hole drilled (and reamed) in the work's own waste:
+its ops are judged as plain hole ops, the kernel cuts it, a later setup's fixture
+or clamp pin whose `locates` names it gets a band fit check, and a setup that
+still names it after a waste cut took it is an error (`tooling_hole`, always
+required where a setup works or locates on one).
 A mill route squares a sawn rectangular bar the same way: each blank face is
 an `end_face` that a face op cuts flat, or a side-milling profile cuts on an end
 overhanging the vise. The kernel removes each as a planar slab, so later pictures
@@ -661,6 +721,10 @@ declaration within the declared tolerance and requires an inventory gauge and
 written method for its size, flatness, squareness and parallelism checks, which
 the sheet prints as CHECK THE BLANK. A hold's `jaw_bar` puts a round bar against
 the moving jaw while a reference face seats on the fixed jaw.
+A lathe `part_off` also prepares an `end_face`: a piece parted off over length
+keeps its later stock known until a later setup faces it to length.
+`parting_face` checks that the end face is the disc at the op's `to_z`, with its
+axis pointing into the kept piece toward the exposed end.
 See [the plan format](docs/plan.md) for the authored fields.
 
 Cutter self-contact exclusion is only a thin shell of the sampled face;

{prechips-0.1.2 → prechips-0.2.0}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "prechips"
-version = "0.1.2"
+version = "0.2.0"
 description = "Checks before chips: deterministic validation of machining process plans against part geometry and a shop inventory."
 readme = "README.md"
 license = "MIT"
@@ -34,6 +34,8 @@ dev = [
     "pillow>=12.3.0",
     "pypdfium2>=5.14.0",
     "pytest>=8.3",
+    "pytest-split>=0.11.0",
+    "pytest-testmon>=2.2.0",
     "pytest-xdist>=3.8.0",
     "ruff>=0.8",
 ]

{prechips-0.1.2 → prechips-0.2.0}/pyproject.toml.orig

@@ -1,6 +1,6 @@
 [project]
 name = "prechips"
-version = "0.1.2"
+version = "0.2.0"
 description = "Checks before chips: deterministic validation of machining process plans against part geometry and a shop inventory."
 readme = "README.md"
 license = "MIT"
@@ -31,6 +31,8 @@ dev = [
     "pillow>=12.3.0",
     "pypdfium2>=5.14.0",
     "pytest>=8.3",
+    "pytest-split>=0.11.0",
+    "pytest-testmon>=2.2.0",
     "pytest-xdist>=3.8.0",
     "ruff>=0.8",
 ]

{prechips-0.1.2 → prechips-0.2.0}/src/prechips/__init__.py

@@ -1,3 +1,3 @@
 """prechips: checks before chips."""
 
-__version__ = "0.1.2"
+__version__ = "0.2.0"

{prechips-0.1.2 → prechips-0.2.0}/src/prechips/cli.py

@@ -11,11 +11,13 @@ import re
 import sys
 import tomllib
 import uuid
+from copy import deepcopy
 from pathlib import Path
 
 from prechips import __version__, telemetry
 from prechips.findings import Finding, exit_code
 from prechips.inputs import BadInput, Bundle, load_bundle, load_inventory
+from prechips.model import profiled
 from prechips.report import (
     build_report,
     canonical_bytes,
@@ -140,12 +142,15 @@ def _write_outputs(
             temporary.unlink(missing_ok=True)
 
 
-def _evaluate(bundle: Bundle, tracing: telemetry.Telemetry):
+def _evaluate(bundle: Bundle, job: dict, tracing: telemetry.Telemetry):
+    """Every rule's findings on ``bundle``. Each geometry rule reads the bundle's kernel
+    job (prepared_job): ``job``, built once by the caller, is lent to each rule as a copy."""
     from prechips.rules import RULES, required_coverage
+    from prechips.rules.geometry_common import lend_job
 
     findings = []
     for rule in RULES:
-        with tracing.span(f"rule.{rule.name}.evaluate"):
+        with tracing.span(f"rule.{rule.name}.evaluate"), lend_job(bundle, job):
             rows = rule.evaluate(bundle)
         for finding in rows:
             with tracing.span(
@@ -516,6 +521,8 @@ def _stock_piece_volume(piece: dict, subject: str) -> dict:
         if round_form
         else "section_mm, length_mm"
         if rectangular_form
+        else "blank STEP (a profiled blank's volume is not compared)"
+        if profiled(piece)
         else "form, length_mm (shape unresolved)"
     )
     return {
@@ -694,10 +701,16 @@ def _run(args, tracing: telemetry.Telemetry) -> int:
         destinations = _output_paths(out, names, all_inputs)
     except OSError as exc:
         raise BadInput(f"Cannot check output path: {exc}") from exc
-    from prechips.kernel import run_geometries
-
-    run_geometries(bundles)
-    findings = [_evaluate(bundle, tracing) for bundle in bundles]
+    from prechips.kernel import build_job, run_geometries
+
+    # One kernel job per bundle serves both the kernel request and every rule: the bundle
+    # does not change in between, and the job does not read the kernel's result.
+    jobs = []
+    for bundle in bundles:
+        with tracing.span("kernel.build_job"):
+            jobs.append(build_job(bundle))
+    run_geometries(bundles, [deepcopy(job) for job in jobs])
+    findings = [_evaluate(bundle, job, tracing) for bundle, job in zip(bundles, jobs, strict=True)]
     try:
         assets = [render_assets(bundle) for bundle in bundles]
         reports = [

{prechips-0.1.2 → prechips-0.2.0}/src/prechips/findings.py

@@ -47,16 +47,19 @@ class Finding:
 # hand-finished arc needs, a centre the work rides on must be one the stock already
 # has, and prepared_blank gates the size of the blank a declared preparation hands the
 # first machining setup; bought tooling no receipt check can accept leaves the setup
-# nothing proven to hold or guide the work with: no policy omission can waive them. A
-# not_applicable row never blocks.
+# nothing proven to hold or guide the work with; a keep that cannot pick the piece that
+# leaves a held split leaves every later setup's stock unknown: no policy omission can
+# waive them. A not_applicable row never blocks.
 ALWAYS_REQUIRED = frozenset(
     {
         "joint_fit",
         "joint_assembly",
         "manual_arc",
         "centre_support",
+        "tooling_hole",
         "prepared_blank",
         "purchased_tooling",
+        "keep_piece",
     }
 )