partforge 0.163.1 → 0.164.0

package/types/part.d.ts

@@ -484,9 +484,9 @@ export interface DfmProfile {
   minWall?: number;
   /**
    * Steepest unsupported face the process prints cleanly, in degrees from
-   * vertical (45 on the FDM profiles; absent on resin). Checked only for a part
-   * that also declares `verify.orientation: "print"`; `null` switches it off
-   * under a named base. A warning, never a gate.
+   * vertical (45 on the FDM profiles; absent on resin). The print process alone
+   * arms the check; `null` switches it off under a named base. Reported as a
+   * cost (needing supports), never a failure.
    */
   overhang?: number | null;
   /**
@@ -495,6 +495,8 @@ export interface DfmProfile {
    * profile alone; `null` switches it off under a named base.
    */
   bedContact?: number | null;
+  /** Percent of a printed piece's posed base area resting on the bed below which the footprint cost fires. */
+  footprint?: number | null;
   /** Carried for a future gap check; not enforced yet. */
   clearance?: number;
   /**
@@ -562,8 +564,8 @@ export interface SubPartExpectations {
   wall?: Expectation;
   /**
    * Unsupported downward-facing surface in mm² (faces steeper than the profile's
-   * `overhang` angle, bed at the sub-part's own lowest Z). Measured only under
-   * `verify.orientation: "print"`; a warning, never a gate.
+   * `overhang` angle, bed at the sub-part's own lowest Z). Armed by the print
+   * process alone; reported as a cost (`verify.costs`), never a failure.
    */
   overhangArea?: Expectation;
   /**
@@ -572,6 +574,13 @@ export interface SubPartExpectations {
    * Under an FDM profile every printed sub-part gets `>=50` by default; a gate.
    */
   bedContactPct?: Expectation;
+  /**
+   * Share (0–100) of the sub-part's posed base area (its xy extent in the print pose)
+   * whose flat underside touches the bed — near 0 for a piece standing on a point, a
+   * line or a curl. Under an FDM profile every printed sub-part gets `>=5`; reported as
+   * a cost (`verify.costs`), never a failure; `accept: ["footprint"]` records a brim.
+   */
+  footprintPct?: Expectation;
   /** Symmetric-difference volume vs. the sub-part's declared `reference` import. */
   refXorVolume?: Expectation;
   /** Percent volume delta vs. the sub-part's declared `reference` import. */
@@ -640,12 +649,17 @@ export interface VerifyBlock<P = ResolvedParams, D = Derived> {
   /** A named DFM profile or an inline one. */
   process?: DfmProfileName | DfmProfile;
   /**
-   * `"print"` declares the part is laid out for its bed — Z up, each sub-part's
-   * bed at its own lowest Z — which is the only way the profile's `overhang`
-   * check is armed. Omit it while a part is still being shaped or is bound for
-   * another process.
+   * `"print"` declares that `build()` is the print pose — Z up, each sub-part's
+   * bed at its own lowest Z. It does not arm any check; the print process does.
    */
   orientation?: "print";
+  /**
+   * Costs the user accepted, by id. An accepted cost is still measured and
+   * reported (`accepted: true`), but no longer raised as something to fix. Only the
+   * process's own default check is marked accepted: a limit you wrote in `expect`
+   * (`overhangArea: "<=500"`) keeps its meaning and is never marked accepted.
+   */
+  accept?: ("supports" | "footprint")[];
   /** Which cases to check; default is `"defaults"` plus every preset name. */
   cases?: string[];
   /**

package/types/testing.d.ts

@@ -433,6 +433,14 @@ export interface SubPartFacts {
   bedHoverGap: number | null;
   /** Centroid of the largest hovering face; `null` when nothing hovers. */
   bedHoverAt: number[] | null;
+  /**
+   * Share (0–100) of the piece's silhouette on the bed (its outline seen from below, in
+   * the print pose) that actually touches it — the footprint cost's reading, from the
+   * bed-contact pass; `null` when that pass did not run or the silhouette is empty.
+   */
+  footprintPct: number | null;
+  /** The piece's lowest point, in display coordinates; `null` when not checked. */
+  footprintAt: number[] | null;
   /**
    * Present only when bed contact had to be read off the piece's export build (its
    * print pose could not be read from place() alone) and that build failed.
@@ -521,6 +529,8 @@ export interface MeasureReport {
   measuredOverhang: number | null;
   /** Whether the bed-contact pass ran (the part is checked for it). */
   measuredBedContact: boolean;
+  /** Whether the footprint was read — the same pass, so always `measuredBedContact`. */
+  measuredFootprint: boolean;
   /**
    * Present only in a view holding a sheet part: whether the printed sub-parts' print
    * (export) poses were built for `printBbox`.
@@ -595,7 +605,7 @@ export function measure(
 
 // --- verify -----------------------------------------------------------------
 
-export type CheckStatus = "pass" | "fail" | "warn" | "skip";
+export type CheckStatus = "pass" | "fail" | "warn" | "cost" | "skip";
 
 export interface VerifyCheck {
   /** `"part"` is the vacuous-verify notice; `"case"` the quick-lap "not measured" marker. */
@@ -603,8 +613,10 @@ export interface VerifyCheck {
   /** The sub-part name, `"a×b"` for a pair check, or `null` for a scalar view metric. */
   subpart: string | null;
   metric: string;
-  /** `gate` failures set a non-zero exit code; `warn` never blocks. */
-  kind: "gate" | "warn";
+  /** `gate` failures set a non-zero exit code; `warn` never blocks; `cost` is a design choice with a price. */
+  kind: "gate" | "warn" | "cost";
+  /** On a `cost` check: whether the user listed its id in `verify.accept`. */
+  accepted?: boolean;
   /** The asserted expression, stringified. */
   expr: string;
   actual: unknown;
@@ -651,6 +663,8 @@ export interface VerifyReport {
   /** Every failing check, flattened, each tagged with its `case`. */
   failures: Array<VerifyCheck & { case: string }>;
   warnings: Array<VerifyCheck & { case: string }>;
+  /** Design choices with a price (supports, footprint); never failures. Accepted ones are flagged. */
+  costs: Array<VerifyCheck & { case: string }>;
   /** Checks a quick lap could not evaluate. */
   unevaluated: Array<VerifyCheck & { case: string }>;
   /** Check instances the part or its profile declared, across cases (near-miss notices excluded). */