draftwright 0.4.8__tar.gz → 0.4.10__tar.gz

draftwright-0.4.10/.gitignore

@@ -0,0 +1,28 @@
+__pycache__/
+*.pyc
+*.pyo
+.venv/
+*.egg-info/
+dist/
+build/
+.pytest_cache/
+testenv/
+.coverage
+.coverage.*
+coverage.xml
+coverage*.json
+htmlcov/
+site/
+.DS_Store
+
+# Drawing exports. `Drawing.export()` writes wherever the calling script runs from, so
+# ad-hoc scripts drop artefacts in the repo root — `bracket.pdf` and `grm01.pdf` were
+# swept into a commit that way. These are build products, never sources.
+#
+# PDF and DXF have no tracked instances, so they are ignored anywhere. SVG and PNG DO
+# (docs/images/), so only the repo root is ignored — the one place throwaway scripts
+# write to — rather than hiding a legitimate new docs image.
+*.pdf
+*.dxf
+/*.svg
+/*.png

{draftwright-0.4.8 → draftwright-0.4.10}/CHANGELOG.md

@@ -1,51 +1,210 @@
 # Changelog
 
-## Unreleased
+## v0.4.10 — 2026-08-22
+
+**A view-set-aware planning and turned-edge-treatment patch.** Authored view constraints now
+compile into an explicit resolved plan, automatic drawings fail closed when required content is
+lost, AP242 hole tolerances reach their semantic feature owners, and the exact
+`b123d-recognisers` 0.3.0 release supplies turned chamfer and fillet evidence through truthful
+profile-view callouts.
 
 ### Added
 
-- Recogniser co-development now has a one-command, wheel-based two-checkout check; an exact
-  registry-release evidence record; automated dependency PR preparation; and documented landing,
-  compatibility, deprecation, rollback, ownership, and CI-budget rules. Dependency PRs retain the
-  canonical coverage/Codecov gate while avoiding four duplicate platform suites and the slow tier
-  (#1170).
-- A versioned, independently authored STEP-analysis corpus and evaluator now report detection
-  recall/false positives, parameter fidelity, and downstream usefulness as separate evidence
-  layers. Hash-pinned positive, negative, ambiguous, compound, and topology-order-variant fixtures,
-  per-layer diagnostics, and an anti-self-validation mutation prevent recogniser output from
-  defining its own denominator (#1169).
-- Draftwright now validates the released `b123d-recognisers` 0.2.0 capability manifest against
-  an exhaustive consumer-owned declaration of IR, DSL, generated-code, drawing, completeness,
-  and documentation states. Unknown families, stale implementations, record-schema drift, and
-  unevidenced state transitions fail closed; intentionally geometry-only repeating-profile
-  evidence remains usable without acquiring invented drafting semantics.
+- `Sheet` can now author a complete or augmenting semantic view set with `authored_views()`,
+  `auto_views()`, `view()`, `section_view()`, `detail_view()`, and their `add_*` forms. Fluent
+  view handles declare relationships, alignment, scale, and whole-view pins without exposing
+  annotation coordinates; unsupported or infeasible constraints fail at their declaration
+  source instead of being silently relaxed. `sheet.view_constraints` exposes the immutable
+  request and `drawing.view_plan` the distinct resolved result (#1260).
+- Drawings now retain their resolved view topology, per-view requirement coverage, and
+  arrangement decision as inspectable values. The engine can build and semantically compare
+  alternative arrangements and requested view sets while keeping projection and page placement
+  derived from the same plan (#1130).
 
 ### Changed
 
-- Updated the exact `b123d-recognisers` production lock from 0.2.0 to 0.2.1.
-  The immutable PyPI wheel/sdist hashes and capability-manifest digest
-  `383a196329ed6a3d1bf88f18ae4ff75613c032f35d40f2b53302b6744da4d19e` are
+- Dimension planning is now aware of the selected principal view set. Requirements supported by
+  another planned view are re-homed before projection; an unsupported set raises one aggregated
+  `ViewPlanIncomplete` naming every unmet requirement rather than failing late or producing a
+  plausible-looking drawing with missing dimensions (#1259).
+- Three sparse corpus drawings now use a `stacked-iso` arrangement and fit A4 instead of A3 at
+  the same scale, with identical annotations, labels, and build issues. An alternative may only
+  compact the scale already selected by the default arrangement and must survive a real compile
+  without semantic loss; otherwise the default is retained (#1130).
+- Updated the exact `b123d-recognisers` production lock from 0.2.9 to 0.3.0.
+  The immutable PyPI wheel/sdist hashes and capability-manifest digest `6645def94cbabaca7b9676fdb029b02e467266d1f020ea536e903b7d86b52685` are
   recorded in `.github/recogniser-release.json`; focused compatibility evidence and the
   normal consumer gates run on the generated PR.
+- Accepted the additive Chamfer and Fillet schema-2 recogniser contract alongside schema 1 for
+  the `b123d-recognisers` 0.3.0 cutover; all other record schemas remain fail-closed at version 1
+  (#1276).
+
+- Updated the exact `b123d-recognisers` production lock from 0.2.6 to 0.2.9.
+  The immutable PyPI wheel/sdist hashes and capability-manifest digest `805876905d548fd0ef1301e2cf24427a86d34bc2e592b8d2d0cb43db94e1d3bd` are
+  recorded in `.github/recogniser-release.json`; focused compatibility evidence and the
+  normal consumer gates run on the generated PR. The aggregate now inventories chamfers and
+  fillets on turned parts, and the fixed coaxial-post slot regression retires its downstream
+  strict xfail.
+
+### Fixed
+
+- Automatic builds now apply the same required-outcome gate as explicit-scale builds. A settled
+  drawing that lost required placement outcomes records `plan_incomplete`, reports an
+  `incomplete` scale decision, preserves measurement/hole/source provenance, and fails lint
+  rather than presenting a diagnostic drawing as complete (#1250).
+
+- Supported AP242 diameter tolerances now correlate with their canonical hole or pattern owner at
+  the completed IR boundary and round-trip through emitted `Sheet` declarations with source
+  provenance. Unmatched, ambiguous, conflicting, partial-pattern, and unsupported requirements
+  fail closed to provenance-preserving measured dimensions rather than being duplicated or lost
+  (#1116).
+
+- A declared step shoulder coincident with its datum is now pruned before rendering instead of
+  sending identical endpoints to the border-dimension helper and raising `ValueError`. Valid
+  siblings remain, while the omission is recorded in `Drawing.suppressions()` and reported as
+  `step_position_coincident_with_datum` (#924).
+
+- Turned chamfer and fillet leaders now read in a shaft profile view and land on their physical
+  edge-treatment sites instead of collapsing axial stations in the end view. Cylindrical
+  feature notes, knurl callouts, and surface finishes likewise derive a model-space surface
+  target rather than pointing at the shaft axis; all continue through the shared placement
+  solves, with X/Y/Z parity and declared Sheet round-trip (#1276).
+
+- Toroidal fillets returned for turned parts by the shared recognition inventory now lower into
+  the existing one-feature-per-round IR and render through the common leader solve. Equal radii
+  share one `n× R` callout carrying every physical fillet's measurement provenance, and emitted
+  Sheet programs preserve the full inventory without rescanning geometry (#1281).
+
+- Turned chamfers returned by the shared recognition inventory now lower into the same
+  one-feature-per-edge-treatment IR as prismatic chamfers. Equal specifications render as one
+  `n×` callout carrying every member's measurement provenance; different chamfer forms do not
+  collapse merely because their first legs match, and distinct tolerances split into truthful
+  requirements instead of being lost or applied to untoleranced siblings (#1254).
+
+- Recogniser dependency automation now starts a fresh `Unreleased` section when the previous
+  Draftwright release has finalized the changelog, so a published recogniser can enter through
+  the documented immutable update workflow instead of failing before it opens a PR (#1279).
+
+## v0.4.9 — 2026-08-21
+
+### Added
+
+- Lint now verifies that an annotation claiming to carry a measurement actually renders it
+  (#1217). Coverage checks read provenance riders the annotations carry about themselves and
+  believed them; nothing checked the claim against what the annotation draws. Four new codes —
+  `claimed_value_absent`, `claimed_measurement_not_compiled`, and two that report an
+  unverifiable claim rather than passing it — and `Drawing.add_table` now keeps the rows it
+  draws so a table's claims are readable back. Measured over all 21 STEP fixtures: 1,081
+  claims, 1,078 confirmed, and three findings — all instances of one genuine provenance
+  defect, see #1219.
+
+- `lint_summary()["quality"]` gains a fourth component, `fidelity`: whether what the drawing
+  says is TRUE. The existing three ask whether required content landed (completeness),
+  whether there is too much of it (restraint), and whether a reader can make it out
+  (legibility) — none asked whether it is correct, so a drawing labelled 99 over a 16 mm
+  path reported a perfect score on every component available to it. Also covers a callout
+  drawn for a feature the part does not have, and a gear data table stating a tooth count
+  the geometry contradicts — the last of which reports `passed: True` and zero errors, so
+  the only existing channel that names it is `by_code`. Completeness, restraint and fidelity
+  report `available: False` with a `reason` rather than a flattering number when they have no
+  evidence, and every lint code the engine emits is classified onto exactly one component,
+  an explicit unscored register, or a register of codes whose component depends on the
+  issue's `outcome_stage`. `quality["unscored"]` reports the findings that reached no
+  component at all and flags any whose classification nobody made — `section_dropped` was
+  found scoring on nothing while a comment beside its emission said the opposite, and eleven
+  more `*_dropped` codes reach the engine as `drop_code` data with the same shape (#1176).
+
+### Changed
+
+- Updated the exact `b123d-recognisers` production lock from 0.2.4 to 0.2.6.
+  The immutable PyPI wheel/sdist hashes and capability-manifest digest `aa52bc04216cd1eccc05796d2262547c7f476b80a3ec77334a77b9d8e3241a58` are
+  recorded in `.github/recogniser-release.json`; focused compatibility evidence and the
+  normal consumer gates run on the generated PR.
+- `HoleRequirementOutcome` gains `members` and `features`, `ClaimOutcome` gains `measurement`,
+  and `linting.hole_coverage.canonical_hole_sites` is public (#1217). A consumer attributing a
+  requirement outcome to a specific recognised hole needs the evidence the outcome accounts
+  for, and needs to key into the canonical space the ledger publishes it in — a through hole's
+  own-axis coordinate is zeroed there.
+- The STEP-analysis benchmark's `drawing_consumer` boundary now consumes
+  `hole_requirement_outcomes` instead of a second correspondence implementation of its own
+  (#1206), and follows the ledger's pointer through `linting.evidence` rather than trusting it.
+  Holes the ledger reports `unverifiable` now score `unknown` where the duplicate credited them
+  by guessing: 26 holes, five on each CTC-03 fixture and eight on each CTC-04 fixture. The
+  five-case evaluation corpus is unchanged, and one lint message on CTC-03 now reports its
+  coordinates in the ledger's own canonical space.
+
+- `Drawing.suppressions()` rows gain a `conveyed_by` key: the dimension that states a
+  withheld measurement instead, or `None` when nothing takes the fact over (#1154). It is not
+  a synonym for the existing `authored` flag — that says whose decision it was, this says
+  where the measurement went.
+
+- Updated the exact `b123d-recognisers` production lock from 0.2.2 to 0.2.4.
+  The immutable PyPI wheel/sdist hashes and capability-manifest digest `d0023d30e583c03abc55f09dfeaaa56fddf56334afa0417818480b2fa2ce3f0f` are
+  recorded in `.github/recogniser-release.json`; focused compatibility evidence and the
+  normal consumer gates run on the generated PR.
+- Updated the exact `b123d-recognisers` production lock from 0.2.1 to 0.2.2.
+  The immutable PyPI wheel/sdist hashes and capability-manifest digest `7985befc8572bfe6d1c0805dfdf690d74a5a4a5f14d5988cc29c366315ff04ca` are
+  recorded in `.github/recogniser-release.json`; focused compatibility evidence and the
+  normal consumer gates run on the generated PR.
+
+### Fixed
+
+- An authored tolerance the compiler approved now reaches the sheet wherever the measurement
+  is drawn (#1215, #1216). `build123d_drafting` resolves a dimension's text as
+  `label if label is not None else _number_with_units(measured, tolerance)`, and every
+  dimension this engine emits passes a label — so a forwarded `tolerance=` rendered nothing
+  while type-checking and reading back correctly from `Dimension.label`. Ten render paths
+  discarded the band that way: envelope extents, the height ladder, the turned-step chain, two
+  public `Drawing` verbs, the deferred corridor route, the detail-view redraw, the short-rise
+  escape, step shoulders, pattern pitch, compound-callout recess terms, grid pitch, and both
+  hole tables. A general guard now decorates every parameter of every feature across a corpus,
+  through both `decorations=` key shapes, and joins what the compiler approved against what the
+  claiming annotation renders.
+
+- Collapsed `N×` marks no longer state a tolerance their members do not share (#1216). A
+  pattern's pitch claimed the authored band of every gap although the recogniser admits 2%
+  jitter — holes at −30, −10, 10.3, 30 printed `3× 20 ±0.1` over a 20.3 mm gap — and fillet and
+  flat collapses took the "first-authored" band, so one of four fillets at ±0.1 printed
+  `4× R5 ±0.1`. Equality is now judged at the drawn precision, and a withheld band is reported
+  (`pattern_pitch_tolerance_withheld`, `collapsed_tolerance_withheld`) rather than dropped
+  silently.
+
+- An approved dimension that cannot be placed is now reported instead of vanishing (#1216).
+  The overall extents' corridor candidate carried a no-op drop handler — the only drop in the
+  engine that recorded nothing — and the step ladder's legibility floor skipped rungs without
+  incrementing any counter. Both now record against the measurement they concern, and a
+  withholding is withdrawn if a later pass draws the measurement after all.
+
+- A feature leader filling a view's below corridor no longer costs the part its overall extent
+  (#1236). The mandatory width or depth now retries on the view's above strip after every
+  corridor has drained, the fallthrough starved slot and plate dimensions already use. Live on
+  three NIST CTC fixtures, which drew no overall width.
+
+- The iso view and the above strips are no longer invisible to each other (#1240). Strip
+  placement never saw the iso, and the iso fit re-scaled after annotation without consulting
+  what had been placed — so growth could invade dimension ink, which it did on CTC-01. The fit
+  is now capped by measured re-projection rather than by a linear model of it: the projected
+  bbox translates as it scales, by up to 7.35 mm on a part carrying a Location, which no
+  prediction about the page centre can express.
+
+
+- A part whose feature-local extent runs between the same two faces as an overall extent
+  is no longer dimensioned twice (#1154). GRM-04's drive plate printed `4.5` twice — once
+  as the hub's height and once as the overall thickness — because two detected records
+  claim one physical fact. The overall extent keeps it; the feature-local one is withheld
+  and records which dimension the reader finds it on. Reconciliation is by exact
+  support-plane coincidence, never by value: a square part's two equal extents run between
+  different faces and remain two facts (#997). A measurement is handed over only when the
+  extent receiving it is actually drawn — by the planner's rules, by the compiler's
+  overall-height rules, and by an authored set — and never when the yielding dimension
+  carries a tolerance, since a toleranced dimension and an untoleranced one are not the same
+  requirement. (A tolerance on the *receiving* extent is the same requirement on the same two
+  faces, and does not prevent the consolidation.)
+
+## v0.4.8 — 2026-08-16
 
 ### Fixed
 
-- Stable release and TestPyPI snapshot builds now update package metadata and the independently
-  validated Draftwright consumer-contract identity atomically. This prevents stripped `.dev0`
-  and numbered development artifacts from failing their own capability-contract validation.
-- Installed wheels validate every portable recogniser-contract property without requiring the
-  repository-only behavior-test files whose existence remains a strict source/CI gate. This keeps
-  the packaged STEP-analysis evaluator usable without weakening evidence checks in development.
-- Post-release development-version bumps now update the consumer-contract identity on a branch,
-  open a protected PR, and dispatch the narrow maintenance gate instead of attempting a rejected
-  direct push to protected `main` (#1170).
-- Machined-feature leader callouts now collect all clear alternatives within each
-  post-drain pass and use a bounded maximum-cardinality, minimum-leader-length
-  assignment instead of taking corners greedily in feature order (#740). If a
-  deterministic alternative-count, pass-size, candidate-pair, or search budget is
-  reached, placement retains the legacy greedy result or a result no worse than it
-  rather than losing additional callouts. Pre-drain diameter clearance ranking and
-  its Policy-B fallback remain unchanged.
 - Compatible automatic/deferred sparse ordinary side/plan hole and post-drain
   machined-feature callouts now share one bounded same-view leader inventory
   (#1166). Pattern, profiled-bore, and dense table-eligible hole queues retain
@@ -87,6 +246,53 @@
   refinement status, and competing blockers; live
   single-callout edits remain immediate.
 
+## v0.4.7 — 2026-08-16
+
+### Added
+
+- Recogniser co-development now has a one-command, wheel-based two-checkout check; an exact
+  registry-release evidence record; automated dependency PR preparation; and documented landing,
+  compatibility, deprecation, rollback, ownership, and CI-budget rules. Dependency PRs retain the
+  canonical coverage/Codecov gate while avoiding four duplicate platform suites and the slow tier
+  (#1170).
+- A versioned, independently authored STEP-analysis corpus and evaluator now report detection
+  recall/false positives, parameter fidelity, and downstream usefulness as separate evidence
+  layers. Hash-pinned positive, negative, ambiguous, compound, and topology-order-variant fixtures,
+  per-layer diagnostics, and an anti-self-validation mutation prevent recogniser output from
+  defining its own denominator (#1169).
+- Draftwright now validates the released `b123d-recognisers` 0.2.0 capability manifest against
+  an exhaustive consumer-owned declaration of IR, DSL, generated-code, drawing, completeness,
+  and documentation states. Unknown families, stale implementations, record-schema drift, and
+  unevidenced state transitions fail closed; intentionally geometry-only repeating-profile
+  evidence remains usable without acquiring invented drafting semantics.
+
+### Changed
+
+- Updated the exact `b123d-recognisers` production lock from 0.2.0 to 0.2.1.
+  The immutable PyPI wheel/sdist hashes and capability-manifest digest
+  `383a196329ed6a3d1bf88f18ae4ff75613c032f35d40f2b53302b6744da4d19e` are
+  recorded in `.github/recogniser-release.json`; focused compatibility evidence and the
+  normal consumer gates run on the generated PR.
+
+### Fixed
+
+- Stable release and TestPyPI snapshot builds now update package metadata and the independently
+  validated Draftwright consumer-contract identity atomically. This prevents stripped `.dev0`
+  and numbered development artifacts from failing their own capability-contract validation.
+- Installed wheels validate every portable recogniser-contract property without requiring the
+  repository-only behavior-test files whose existence remains a strict source/CI gate. This keeps
+  the packaged STEP-analysis evaluator usable without weakening evidence checks in development.
+- Post-release development-version bumps now update the consumer-contract identity on a branch,
+  open a protected PR, and dispatch the narrow maintenance gate instead of attempting a rejected
+  direct push to protected `main` (#1170).
+- Machined-feature leader callouts now collect all clear alternatives within each
+  post-drain pass and use a bounded maximum-cardinality, minimum-leader-length
+  assignment instead of taking corners greedily in feature order (#740). If a
+  deterministic alternative-count, pass-size, candidate-pair, or search budget is
+  reached, placement retains the legacy greedy result or a result no worse than it
+  rather than losing additional callouts. Pre-drain diameter clearance ranking and
+  its Policy-B fallback remain unchanged.
+
 ## v0.4.6 — 2026-08-15
 
 ### Changed

{draftwright-0.4.8 → draftwright-0.4.10}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.5
 Name: draftwright
-Version: 0.4.8
+Version: 0.4.10
 Summary: Automated technical-drawing generation for build123d
 Project-URL: Homepage, https://github.com/pzfreo/draftwright
 Project-URL: Repository, https://github.com/pzfreo/draftwright
@@ -684,7 +684,7 @@ Classifier: Programming Language :: Python :: 3.14
 Classifier: Topic :: Scientific/Engineering
 Requires-Python: <3.15,>=3.10
 Requires-Dist: antlr4-python3-runtime<4.10
-Requires-Dist: b123d-recognisers==0.2.1
+Requires-Dist: b123d-recognisers==0.3.0
 Requires-Dist: build123d-drafting-helpers>=0.14.1
 Requires-Dist: build123d<0.11,>=0.9.0; python_full_version < '3.13'
 Requires-Dist: build123d<0.12,>=0.11; python_full_version >= '3.13'
@@ -937,6 +937,12 @@ assert completeness["scope"] == "audited_recognized_requirements"
 completeness["excludes"]                     # what the denominator cannot see
 completeness["unrecognised_geometry_reports"]  # a floor on that gap, never a measure
 legibility = crit["quality"]["legibility"]
+# `quality` also carries `fidelity` (#1176): is what the drawing says TRUE? A drawing can
+# be complete, restrained and legible and still assert a measurement the part lacks.
+fidelity = crit["quality"]["fidelity"]
+# …and `unscored`, the findings no component priced, so four components reading "fine"
+# cannot conceal that some of the critique was scored by nothing.
+unscored = crit["quality"]["unscored"]
 # Raw pair findings remain available and keep the original count semantics.
 legibility["warnings"], legibility["by_code"], crit["issues"]
 # The legibility scalar uses primary issues: one affected annotation/failure mechanism even

{draftwright-0.4.8 → draftwright-0.4.10}/README.md

@@ -237,6 +237,12 @@ assert completeness["scope"] == "audited_recognized_requirements"
 completeness["excludes"]                     # what the denominator cannot see
 completeness["unrecognised_geometry_reports"]  # a floor on that gap, never a measure
 legibility = crit["quality"]["legibility"]
+# `quality` also carries `fidelity` (#1176): is what the drawing says TRUE? A drawing can
+# be complete, restrained and legible and still assert a measurement the part lacks.
+fidelity = crit["quality"]["fidelity"]
+# …and `unscored`, the findings no component priced, so four components reading "fine"
+# cannot conceal that some of the critique was scored by nothing.
+unscored = crit["quality"]["unscored"]
 # Raw pair findings remain available and keep the original count semantics.
 legibility["warnings"], legibility["by_code"], crit["issues"]
 # The legibility scalar uses primary issues: one affected annotation/failure mechanism even

{draftwright-0.4.8 → draftwright-0.4.10}/docs/adr/README.md

@@ -32,9 +32,10 @@ architecture** table; open retired or superseded records only for design history
 | [0013](0013-uniform-recognition-and-shared-package.md) | A uniform recogniser/feature contract and shared `b123d-recognisers` deployment | Enforce the geometry-only contract in the shared package and consume it through Draftwright's record→IR boundary. | Accepted; Phases 1–2 deployed | `test_external_recognition_boundary.py`, `test_detect_registry.py`, package semantic goldens |
 | [0014](0014-collect-then-solve-annotation-placement.md) | Collect-then-solve annotation placement (as built) | Collect, select, assign, and deterministically solve annotations per corridor before rendering; compatible sparse ordinary side/plan hole and post-drain machined leaders share one bounded late inventory. | Accepted; supersedes 0009; #740 Amendment 1; #1166 Amendment 2 | `test_carve_free_position_callers.py`, `test_strip_layout.py`, `test_layout_property.py`, `test_issue_740_leader_assignment.py`, `test_issue_1166_cross_pass_feature_leaders.py`, `test_import_boundaries.py` |
 | [0015](0015-part-drawing-compiler-as-built.md) | The part-drawing compiler, as built | Use one detected-or-declared feature IR and planner-fed dimension groups as the compiler waist. | Accepted; supersedes 0008 | `test_part_model.py`, `test_detect_once.py`, `test_import_boundaries.py` |
-| [0016](0016-declared-dimensioning-intent.md) | Declared dimensioning intent: capture what to measure, let the engine place it | Declare which measurements matter as scale-independent intent routed through the planner and corridor solve; never hardcode dimension geometry. | Accepted; epic #867 complete; phase 6 landed (#940) | `test_compiled_plan_boundary.py`, `test_label_provenance.py`, `test_sheet_emit.py`, `test_add_dimension.py` |
+| [0016](0016-declared-dimensioning-intent.md) | Declared dimensioning intent: capture what to measure, let the engine place it | Declare which measurements matter as scale-independent intent routed through the planner and corridor solve; never hardcode dimension geometry. | Accepted; epic #867 complete; phase 6 landed (#940) | `test_compiled_plan_boundary.py`, `test_issue_1215_no_approved_tolerance_is_dropped.py`, `test_label_provenance.py`, `test_sheet_emit.py`, `test_add_dimension.py` |
 | [0017](0017-recognition-inventory-correspondence-and-measurement-provenance.md) | One recognition result per run; correspondence is evidence-gated | Produce one external immutable recognition result held by Draftwright's per-run cache; require vertical-slice evidence before generalising correspondence, identity, requirements, outcomes, or reconciliation. | Accepted; external cache ownership clarified, extensions gated by #1018 | `test_external_recognition_boundary.py`, `test_recognition_manifest.py`, `test_declared_recognition_gate.py` |
-| [0018](0018-requirement-driven-view-planning-and-editable-sheet-layout.md) | Requirement-driven view planning and editable sheet layout | Use one `ViewSpec` vocabulary and planner with distinct authored `ViewConstraints` and immutable `ResolvedViewPlan`; jointly validate views, typography, convention, scale, paper and layout against requirement survival. If accepted, supersedes ADR 0004's fixed-topology assumption while retaining compose-then-pack. | Proposed; tracked by #1130 | Required guards are listed in the ADR |
+| [0018](0018-requirement-driven-view-planning-and-editable-sheet-layout.md) | Requirement-driven view planning and editable sheet layout | Use one `ViewSpec` vocabulary and planner with distinct authored `ViewConstraints` and immutable `ResolvedViewPlan`; jointly validate views, typography, convention, scale, paper and layout against requirement survival. Supersedes ADR 0004's fixed-topology assumption while retaining compose-then-pack. | Accepted 2026-08-16; partially implemented (`ViewSpec`, `ResolvedViewPlan`, `ViewCoverage`, arrangement choice and requirement gate); tracked by #1130/#1259-#1262 | Required guards are listed in the ADR |
+| [0019](0019-display-complete-labels-and-dimension-outcomes.md) | Display-complete labels and a dimension-outcome ledger | The compiled plan carries the full label text (tolerance and collapse wording included) so renderers render and never compose; dimension outcomes reconcile at one seam on both build routes; ladder rungs get per-mark identity. Finishes the ADR 0016 Amdt 1 boundary; supersedes Amdt 6's enforcement mechanism. | Proposed | `test_issue_1215_no_approved_tolerance_is_dropped.py` reduces to plan-equality when implemented |
 
 ## Historical records
 
@@ -49,7 +50,7 @@ architecture** table; open retired or superseded records only for design history
 - Compiler and state ownership: 0001 → 0005 → 0015.
 - Recognition and public declaration: 0007 → 0013 → 0011 → 0015.
 - Layout and placement: 0004 → 0014 → 0012 → 0018.
-- Declared intent and the editable surface: 0001 → 0011 → 0012 → 0016 → 0018.
+- Declared intent and the editable surface: 0001 → 0011 → 0012 → 0016 → 0018 → 0019.
 - Quality and correction: 0002, with provenance from 0010.
 - Recognition correspondence and completeness: 0007 → 0013 → 0015 → 0017.
 

{draftwright-0.4.8 → draftwright-0.4.10}/docs/reference/recogniser-capabilities.md

@@ -15,11 +15,20 @@ library.
 
 Validation fails closed and names the family and boundary whenever possible:
 
-- **family inventory mismatch** — the installed package added, removed, or renamed a family.
-  Update the package pin deliberately, add or remove the Draftwright declaration, and provide the
-  downstream behavior or an explicit non-supported state.
+- **family inventory mismatch (`stale=`)** — Draftwright declares a family the installed package
+  no longer ships, so a declared adapter would call a recogniser that is gone. Remove or repoint
+  the declaration.
+
+  The opposite direction does **not** fail this validation. A family the package ships and
+  Draftwright has not declared cannot reach any Draftwright code path, and blocking on it made the
+  package unreleasable until its consumer caught up. It is reported by
+  `pending_family_declarations` and fails `tests/test_recogniser_adoption.py` in Draftwright's own
+  CI instead — adoption is still required, and is enforced where the decision is made. Provide the
+  downstream behavior or an explicit non-supported state as before.
 - **record schema mismatch** — a consumed record schema changed. Review the record fields and
-  compatibility notes, update the relevant adapter and tests, then pin the accepted schema version.
+  compatibility notes, update the relevant adapter and tests, then explicitly list the accepted
+  schema version. A bounded dual-readable list may name the current and next additive schemas
+  during a provider-first release; it is never an open-ended range.
 - **stale implementation** — a declared adapter, `Sheet` method, emitter, renderer, or completeness
   function no longer resolves. Repair the implementation reference and its independent behavior
   evidence; do not merely rename the string.
@@ -40,12 +49,19 @@ Validation fails closed and names the family and boundary whenever possible:
 
 ## Adding or changing a recogniser
 
-Land the package record, independent geometry evidence, manifest update, and compatible package
-release first. Then update Draftwright against that immutable release. For each applicable stage,
-add the adapter, declaration, emitted-Sheet round trip, drawing behavior, and completeness evidence;
-for an inapplicable or deferred stage, state why and link its tracking issue. The contract test
-derives package record outputs, converter registries, live `Sheet` methods, and emitter branches
-independently, so copying a new name into the declaration alone cannot make CI pass.
+For an additive field that increments an existing record schema, first land a narrow Draftwright
+declaration accepting both the installed schema and the named candidate schema. The existing adapter
+must remain valid when the new field is ignored, and tests must prove the next schema is accepted
+only by that explicit declaration while later schemas still fail. The package canary then proves
+the real candidate wheel against that committed consumer point. After the package release, the
+Draftwright dependency/behavior PR locks the immutable artifact, adopts the field, and narrows the
+declaration to the new schema.
+
+For each applicable stage, add the adapter, declaration, emitted-Sheet round trip, drawing behavior,
+and completeness evidence; for an inapplicable or deferred stage, state why and link its tracking
+issue. The contract test derives package record outputs, converter registries, live `Sheet` methods,
+and emitter branches independently, so copying a new name into the declaration alone cannot make CI
+pass.
 
 `bosses` is the fully consumed reference family. `repeating-radial-profiles` is the opposite
 reference: it remains geometry-only critique evidence for a separately authored gear declaration,

draftwright-0.4.10/docs/reference/sheet.md

@@ -0,0 +1,71 @@
+# Sheet and fluent handles
+
+`Sheet` is the declared authoring façade. Feature verbs return fluent handles; those handles
+are documented here because they are part of normal use even though their Python names begin
+with an underscore.
+
+## Sheet
+
+::: draftwright.sheet.Sheet
+    options:
+      filters: public
+
+### Authored views and layout
+
+View declarations are semantic constraints. They name projections, relationships and whole-view
+anchors; the layout solve owns the resulting page positions. Authored views must be paired with
+authored dimensions so a deliberately omitted view cannot strand planner-selected annotations:
+
+```python
+s = Sheet(part).authored_dimensions().authored_views()
+front = s.view("front")
+plan = s.view("plan").above(front, gap=4).align_x(front)
+s.view("iso").scale(0.75)
+
+section = s.section_view("A", through=hole)
+detail = s.detail_view("B", around=hole).scale(2)
+dwg = s.build()
+```
+
+`view(...)`, `section_view(...)` and `detail_view(...)` define complete authored sets;
+omission suppresses a view. `add_view(...)`, `add_section_view(...)` and
+`add_detail_view(...)` augment an explicitly selected `auto_views()` source. `row(...)` and
+`column(...)` are shorthand for whole-view relations. A principal-view handle's `pin((x, y))`
+anchors its projection origin in page millimetres; it never positions an annotation.
+
+Principal orthographic views share the sheet scale and reject `.scale(...)`. Detail and
+isometric handles may carry an independent positive factor. Infeasible relations, scales and
+pins raise with their declaration source; unsupported pins on derived or pictorial views are
+refused at declaration and constraints are never silently relaxed. The immutable authored
+snapshot is available as `sheet.view_constraints`, while `drawing.view_plan` is the distinct
+resolved result.
+
+## View handle
+
+::: draftwright.sheet._View
+    options:
+      filters: public
+
+## Hole handle
+
+::: draftwright.sheet._Hole
+    options:
+      filters: public
+
+## Diameter and step handle
+
+::: draftwright.sheet._Dim
+    options:
+      filters: public
+
+## Multi-parameter handle
+
+::: draftwright.sheet._Params
+    options:
+      filters: public
+
+## GD&T control builder
+
+::: draftwright.sheet._Control
+    options:
+      filters: public

{draftwright-0.4.8 → draftwright-0.4.10}/pyproject.toml

@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "draftwright"
-version = "0.4.8"
+version = "0.4.10"
 description = "Automated technical-drawing generation for build123d"
 readme = "README.md"
 license = { file = "LICENSE" }
@@ -18,7 +18,7 @@ dependencies = [
     "build123d>=0.9.0,<0.11 ; python_full_version < '3.13'",
     "build123d>=0.11,<0.12 ; python_full_version >= '3.13'",
     "build123d-drafting-helpers>=0.14.1",
-    "b123d-recognisers==0.2.1",
+    "b123d-recognisers==0.3.0",
     "numpy>=1.24",
     # PNG raster export (SVG→PDF→PNG). Both permissively licensed (Pillow HPND; pypdfium2
     # Apache-2.0 wrapping Google PDFium BSD-3) and ship pre-built wheels with NO native system
@@ -89,6 +89,7 @@ timeout = 300
 markers = [
     "slow: heavy end-to-end CTC fixture builds (deselected by default)",
     "smoke: curated build-light subset for a fast local check (~30 s)",
+    "unit: pure-logic inner-loop tier — constructs NO OCC geometry (enforced by conftest, #656)",
 ]
 # `SoftDeprecationWarning` marks a surface that is discouraged but SUPPORTED and not going
 # away (#1043). The suite exercises `Sheet.auto_dimensions()` in ~170 places, deliberately —
@@ -164,6 +165,7 @@ dev = [
     "mypy>=2.1.0",
     "pytest>=8",
     "pytest-cov>=5",
+    "pytest-split>=0.8",
     "pytest-timeout>=2",
     "pytest-xdist>=3",
     "ruff>=0.4",

{draftwright-0.4.8 → draftwright-0.4.10}/skills/SKILL.md

@@ -281,9 +281,22 @@ dwg = build_drawing(part)
 
 # 1. Critique — the machine channel. JSON-friendly aggregate of lint().
 crit = dwg.lint_summary()
-#   {"passed": bool, "score": 0..1, "errors": n, "warnings": n, "infos": n,
-#    "by_code": {code: n}, "issues": [{code, severity, message, suggestion?}, ...]}
+#   {"passed": bool, "score": 0..1, "diagnostic_score": 0..1,
+#    "errors": n, "warnings": n, "infos": n, "by_code": {code: n},
+#    "issues": [{code, severity, message, suggestion?}, ...],
+#    "quality": {"completeness": …, "restraint": …, "legibility": …, "fidelity": …,
+#                "unscored": {"available": True, "score": None, "issues": n,
+#                             "by_code": {…}, "unclassified": [...], "reason": …}}}
 # Gate on the severity/code COUNTS, not the scalar score.
+#
+# The four `quality` components answer four different questions and none substitutes for
+# another: did required content land, is there too much of it, can a reader make it out,
+# and — `fidelity` — is what it says TRUE. Completeness, restraint and fidelity report
+# `available: False` with a `reason` rather than a flattering number when they have no
+# evidence, so read `available` first. (Legibility is always available: an empty sheet
+# genuinely IS legible, which is not the same kind of 1.0 as an empty sheet being truthful.)
+# `quality["unscored"]` lists the findings none of the four priced; a non-empty
+# `unclassified` there means a lint code reached no component and nobody decided it should.
 
 # 2. Each issue names the problem in DOMAIN terms and (when computable) carries a
 #    ready-to-apply suggestion — a domain-API call you paste in, not page maths.

{draftwright-0.4.8 → draftwright-0.4.10}/src/draftwright/__init__.py

@@ -36,6 +36,9 @@ _LAZY = {
     "extract_pmi": "draftwright.pmi",
     "extract_pmi_report": "draftwright.pmi",
     "choose_scale": "draftwright.compose",
+    "ViewPlanIncomplete": "draftwright.view_plan",
+    "ViewConstraints": "draftwright.view_plan",
+    "ViewSpec": "draftwright.view_plan",
     # A warning category users are told to filter must be importable without reaching into a
     # private module (#1043 review) — and without paying for the CAD kernel. It lives in the
     # dependency-free `_warnings` leaf for that second reason: defined in `_core` it cost ~6 s
@@ -91,6 +94,7 @@ if TYPE_CHECKING:  # static analysers / IDEs — no runtime import, no kernel co
         extract_pmi_report,
     )
     from draftwright.sheet import Sheet
+    from draftwright.view_plan import ViewConstraints, ViewPlanIncomplete, ViewSpec
 
 
 def __dir__():
@@ -110,6 +114,9 @@ __all__ = [
     "Sheet",
     "ScaleIncompatibilityError",
     "ScaleCompletenessWarning",
+    "ViewPlanIncomplete",
+    "ViewConstraints",
+    "ViewSpec",
     "build_drawing",
     "choose_scale",
     "extract_pmi",