Repository navigation
CAD Translated Strip Interval Boolean
#1328 Translated-strip interval Body Boolean — frozen before-code contract
Status: selected and frozen before product code. Native execution remains unrun until the primary gate. Actual clean parent: ed8c545b76480aff2c7b37a594856cea576f64a9. Actual owned checkout: /Users/user/.codex/worktrees/cad2-end-closures-parallel/barocss. Actual branch: codex/cad2-strip-interval-boolean. Ownership: cad_trim_math owns ONLY public core leaf; cad_next_scope owns ONLY private reconstruction leaf; cad_strip_volume owns ONLY new demo. Primary owns additive barrel/README, exact interface reconciliation, clean commit and FIRST build+ONE new flow. Workers are not alone; no reverts/overlap/execution/commits/remotes/extra agents.
Exactly five product paths: new packages/barocss-cad/src/translated-strip-interval-boolean.ts; new packages/barocss-cad/src/translated-strip-interval-boolean-construction-internal.ts; additive packages/barocss-cad/src/index.ts; additive packages/barocss-cad/README.md; new examples/cad-nurbs/translated-strip-interval-boolean-demo.mjs. No parent API, version, numeric policy, Source0 limit, or archived evidence change. One new demo flow; no old/broad suites or alternate private public constructor.
Four runtime exports: buildTranslatedStripIntervalBoolean, validateTranslatedStripIntervalBoolean, TranslatedStripIntervalBooleanError, TranslatedStripIntervalBooleanDiagnosticCode. Four named public types: TranslatedStripIntervalBooleanOptions, TranslatedStripIntervalBooleanOutput, TranslatedStripIntervalBooleanReport, TranslatedStripIntervalBooleanResult. The diagnostic code also has its usual same-name type. The private construction helper and its support types are not exported from the public barrel.
Builder signature: buildTranslatedStripIntervalBoolean(a:QualifiedTranslatedStripBodyResult,b:QualifiedTranslatedStripBodyResult,options:TranslatedStripIntervalBooleanOptions):TranslatedStripIntervalBooleanResult. Validator takes one full Result and returns its Report.
Options exact own keys: {operation:'union'|'intersection'|'difference',evaluationId:string,resultIdPrefix:string,maximumOperands:2,maximumOutputBodies:2,maximumSlabs:3}. Difference means A-minus-B. ASCII IDs match /^[A-Za-z_][A-Za-z0-9_-]*$/, lengths1..48; prefix length1..4. Options/budget admission precedes parent provider calls. No optional fields, default budgets, tolerance, caller offsets, source replacements, clipping domains, observations, or float-result option.
Error codes exact keys/values: INPUT, IDENTITY, BUDGET, PARENT, SUPPORT, PAIR, REPRESENTABILITY, BINDING, CONSTRUCTION, OWNED. Error name TranslatedStripIntervalBooleanError; .code is one listed value; message <=1024 characters; bounded child cause retained. INPUT covers own-data/finite/schema refusal, IDENTITY covers malformed/colliding/conflicting qualifications, BUDGET covers fixed caps and actual whole-file/work limits, PARENT wraps actual whole input Body validator failure, SUPPORT covers unsupported common family, PAIR covers exact bases/map/roof/translation mismatch, REPRESENTABILITY covers exact arithmetic bounds, BINDING covers a violated recomputed output/source/volume theorem, CONSTRUCTION wraps the actual selected-endpoint native chain failure, OWNED covers every full owned reconstruction mismatch/refusal. Do not claim new-root guard reach when an authored producer refused earlier.
Snapshot all data with descriptor inspection before reading values. Plain own records/arrays only; dense arrays; finite represented numbers; no getter execution, foreign prototype, symbol, hidden field, cycle, sparse array, or extra own field. Preserve original binary64 bits, including -0. New root ownValues4194304, depth64, arrayElements8192, recordFields64, keyCharacters128, sourceStringCharacters262144. Existing providers keep their own limits unchanged.
Measure full native JSON including the final newline and literal -0 spelling: request {a,b,options} <=6291456 UTF16 code units AND UTF8 bytes; complete Result <=12582912 of each. Report request/result sizes must be exact; result metadata reaches an exact fixed point in <=8 bounded size passes or refuses. Both complete input Bodies and every complete output Body remain present, including all ancestors/sources/siblings/old and new UV curves/native observations/proofs. No stripping, reference encoding, shortened proofs, or substituted DTO. Each output still meets its existing #1301 Body2MiB, source262144, Model16+2 and own1M caps. Every saved source/model/JSON record cold reopens with Object.is-consistent data.
Call validateQualifiedTranslatedStripBody exactly once for A and once for B in each builder invocation. Do not infer authority from flags or call a private material helper instead. Keep the full accepted parents and their report flags unchanged.
Use A.lower original Surface as anchor S. For endpoint labels a-lower,a-upper,b-lower,b-upper, read the actual original assets and models from the corresponding operand.volume lower/upper wall.binding.section paths. Require the same degrees, complete knots by Object.is, pole-grid shape, globally uniform positive weight arrays by Object.is, and all actual X/Z coefficient bits by Object.is. Require degreeU1..2, degreeV1, original spans1..4, X only U, Z only V, positive exact one-sided X derivatives and Z derivative. Require every actual Y coefficient difference from S to be one exact constant cEndpoint across all rows and both V columns, with every residual coefficient zero. cALower=0; each operand upper-minus-lower>0 and equals its exact material/volume translation certificate.
Require identical full original Plane asset/model for all endpoints. Require its actual affine2x2 uniform-weight chart, fourth-corner residual0, rawNY0/rawNZ>0. Require the same actual stored exact roof binding polynomial across all four endpoints: degree2, whole original parameter knots, unit weights, complete UV coefficient bits except curve IDs; original span domains and local pole indices agree. Recompute the Plane equation and all roof coefficient residuals0, native roof strictly inside V chart, and positive roof-height coefficients. No sample/gap-bound/tolerance substitutes.
Endpoint source qualification is the tuple (sourceId,model.name,selected Surface.id), bound to the complete source/model/selected object. Model.name is source-qualified: different sourceIds may use the same original Model.name without a conflict. Compare complete records only when that qualified tuple repeats; compare whole source/Model authority when a sourceId repeats. Conflicting repeated qualifications or same-source authorities refuse IDENTITY. Model.name alone is not a unique asset identity and must not trigger this refusal. Preserve actual Surface/source IDs, original model names and bytes without renaming. Planning a positive-width output pair with repeated selected Surface.id OR repeated sourceId still refuses IDENTITY, as existing cap/base providers require distinct original endpoint identities. Never rename or synthesize an original operand to hide this refusal. An exact tied shared-wall asset is allowed; tie selection below chooses one donor.
These hypotheses prove H(u,v,c)=S(u,v)+[0,c,0] injective on D times an interval, where D is the full common U range and Vmin<=v<=rho(u): X/Z uniquely identify u/v, then Y identifies c. Retain per-span one-sided bounds; no global C1 claim.
Material semantics: regularized closure of occupied interior. IA=[0,cAUpper], IB=[cBLower,cBUpper]. Use one shared SectionRationalContext for all new root arithmetic, 200000 operations/GCD steps, integerBits8192, fractionIntegerCharacters5000, finalFloatConversions0. No native root, float conversion, ray, snap, tolerance, adaptive refinement, or arbitrary X/roof clipping. Parent arithmetic/native work is separately retained and excluded from these root counts.
Sort the four exact endpoint offsets, merge equal values, preserve all donor labels in fixed order a-lower,a-upper,b-lower,b-upper. For each consecutive distinct pair, exact midpoint=(lower+upper)/2 defines one positive-width open slab (<=3). Record insideA/insideB and the selected Boolean truth value. Merge every adjacent selected slab. The resulting maximal closed intervals number0..2 and have strictly positive exact widths.
Union: one interval for overlap/containment/equality/full-wall contact; two for a strict gap. Intersection: one iff maxLower<minUpper; otherwise empty, including wall-only contact. Difference:0/1/2; remove B's occupied interior from A and close retained positive-width pieces. Disjoint or wall-contact difference retains A. Equal operands or B containing A gives empty. Strict B containment gives two disjoint output Bodies. This family cannot have edge/corner-only contact; such domains fail admission.
Each chosen output endpoint is an existing endpoint offset group. Deterministic donor is first label in that group's fixed order. All other tied donors remain provenance. Copy the chosen complete original asset unchanged; no source writer, new translated coefficient, binary64 width, or original-ID replacement is required. Zero outputs perform zero output constructor calls and produce no zero-thickness geometry.
SectionFraction always exact own {numerator:string,denominator:string}, reduced with positive denominator and canonical zero0/1. All record schemas below have exactly the listed keys. Arrays have the stated deterministic order.
Result exact keys: {a,b,options,proof,outputs,total,report}. a/b are complete copied input Bodies. outputs is0..2 TranslatedStripIntervalBooleanOutput records ordered by interval lower offset. total exact keys {exactVolumeMM3:SectionFraction}; no root volumeMM3 or conversion-error float.
EndpointReference exact keys: {label,operand:'a'|'b',side:'lower'|'upper',bodyEvaluationId,bodyId,materialCertificateId,bodyFaceId,parentWallFaceId,sourceId,modelId,surfaceId,selectedObjectIndex}. bodyFaceId is the actual corresponding global Face; parentWallFaceId is its actual wall Face. Other IDs bind the actual complete original Source/Model/Surface, not generated proxy names.
EndpointProof exact keys: {reference,offsetY,yDifferences,yResiduals,basisBitsEqual:true,xzBitsEqual:true,roofBitsEqual:true}. yDifferences/yResiduals are exact fractions in original U-row/V-column order; all residuals0. endpointProofs order is the fixed four-label order.
CommonSpan exact keys: {index,domain,originalPoleIndices,newUVPoleIndices,xBernstein,xDerivativeNative,roofVBernstein,roofHeightBernstein,planeRoofResiduals}. Domain retains original number bits; all polynomial arrays are exact coefficient fractions with original degree, without degree trimming. Same-chart and exact coefficient residual comparisons are performed against every endpoint's actual data before these anchor arrays are published.
CommonMapProof exact keys: {anchor:EndpointReference,nativeDomains,degrees:{u,v},knotsU,knotsV,uniformWeight,z0,z1,zDerivative,minimumXDerivative,plane:{sourceId,modelId,surfaceId,origin,uDirection,vDirection,rawNormal,d,fourthCornerResiduals},spans,endpointProofs,areaFactorMM2,injectivity:{map:'H(u,v,c)=S(u,v)+[0,c,0]',domain:'common-native-u-and-vmin-through-stored-roof',positiveX:true,positiveZ:true,uniqueTranslationCoordinate:true,oneSidedSpans:true,globalC1:false}}. areaFactorMM2=C: exact independently integrated projected roof area. It must also equal both actual operand exact volumes divided by their exact widths. No float evaluation is its authority.
EndpointGroup exact keys: {index,offsetY,donorLabels,selectedDonor:EndpointReference}. Groups are sorted increasingly, ties preserve fixed donor order. Slab exact keys: {index,lowerGroupIndex,upperGroupIndex,lowerOffsetY,upperOffsetY,midpointOffsetY,insideA,insideB,selected}. OutputPlan exact keys: {index,lowerGroupIndex,upperGroupIndex,interval:{lowerOffsetY,upperOffsetY,width},slabIndices,lower:EndpointReference,upper:EndpointReference}. slabIndices is the contiguous selected slab run, increasing. Plan exact keys: {endpointGroups,slabs,outputs,semantics:'regularized-closure-of-selected-occupied-interior',internalSelectedBoundariesCancelled:true}.
Proof exact keys: {commonMap,plan,generatedIds,outputVolumeChecks,volumeAccounting}. generatedIds is a deterministic string array of truly fresh root/child evaluation, Curve/UV/support, topology, Body model/source and material certificate IDs, each once. Intentional reused original geometry qualifications are excluded; the fresh shared base Lines are included once. The only literal producer-fixed derived Model.name namespace in this chain is section World Model.name='profile', which repeats for both sections and across parents without being a fresh ID. Actual fresh model-name aliases are reserved once as specified below. This narrow namespace exception never permits fresh Curve/UV/support/topology/BodyModel/BodySource/certificate collisions or original identity renaming. outputVolumeChecks array exact {index,width,expectedExactVolumeMM3,actualExactVolumeMM3,residual}; residual0. volumeAccounting exact {aExactVolumeMM3,bExactVolumeMM3,intersectionExactVolumeMM3,expectedResultExactVolumeMM3,actualResultExactVolumeMM3,residual}; derive intersection width independently from exact interval order and C, residual0. Union identity A+B-I, intersection I, difference A-I. Even empty output retains full inputs/proof and canonical total0/1.
Output exact keys: {index,interval,lower,upper,recipe,body}. interval/lower/upper match OutputPlan; body is a full actual QualifiedTranslatedStripBodyResult. recipe exact keys: {stem,lowerSection,upperSection,lowerBinding,upperBinding,lowerWall,upperWall,cap,base,ends,volume,body}. Each option subrecord matches its actual existing API own schema below. Original Surface/Plane assets are resolved from lower/upper references in the preserved whole operands; recipe never duplicates or modifies authored coefficient data.
For output i, stem=resultIdPrefix+'_'+i (<=6). Child prefixes stem+'l',stem+'h',stem+'c',stem+'b',stem+'e',stem+'d' (<=7). Reuse identical base Lines stem+'_bl',stem+'_br' in base AND ends. Before output construction, globally reserve every truly fresh option/evaluation, Curve/UV/support, topology, new Body model/source and material certificate ID against all identity strings in BOTH complete inputs and every planned sibling output. Include all implicit fresh suffix IDs listed by the actual providers. Check the exact expected fresh set against the actual returned child/Body identities; do not only check IDs selected into the result's geometry catalog. The shared fresh base Line pair is reserved and counted once for both constructors.
The frozen fixed namespace exception is ONLY each section.world.model.name='profile', including both new sections, sibling outputs and retained inputs; do not reserve or publish 'profile' as a generated ID. Its actual qualified context is (output component index, section evaluationId, World Curve.id, complete World source/model), rather than global Model.name. Preserve and cold-compile each actual source separately. A fresh ID still cannot collide with an existing 'profile' string in the full input context.
The compatible ruled provider is NOT fixed-name: its Model.name equals its new Surface.id, here basePrefix+'_surface'. Reserve this fresh value once, with an explicit model-name/support-ID alias. Wall/cap/base World/end World Model.name equals the corresponding options.evaluationId; reserve each value once with that actual alias. Section Surface/Plane UV sidecars and exact binding UV have no Source/Model, and remain dimensionless JSON-only geometry; do not invent or reserve model names for them. Volume emits no Model/source. Body produces genuinely new prefix+'_m0' and prefix+'_m1' model names and prefix+'_source0' and prefix+'_source1' source IDs; reserve each once. This enumeration does not permit arbitrary reuse of IDs or name rewriting. Original Model.name remains source-qualified and may repeat under different original sourceIds; neither original nor derived model names are renamed to satisfy reservation.
Recipe options:
- lowerSection: {evaluationId:stem+'_ls',curveId:stem+'_lc',surfacePcurveId:stem+'_lsuv',planePcurveId:stem+'_lpuv',maximumObservations:17}; upperSection analogous _us/_uc/_usuv/_upuv.
- lowerBinding: {evaluationId:stem+'_lb',pcurveId:stem+'_lexuv',maximumObservations:17}; upperBinding _ub/_uexuv.
- lowerWall: {evaluationId:stem+'_lw',resultIdPrefix:stem+'l',orientation:'forward',maximumObservations:40}; upperWall _uw,stem+'h','reverse',40.
- cap: {evaluationId:stem+'_cap',resultIdPrefix:stem+'c',maximumSections:2,maximumConnectors:2,maximumObservations:40}.
- base: {evaluationId:stem+'_base',resultIdPrefix:stem+'b',baseLeftCurveId:stem+'_bl',baseRightCurveId:stem+'_br',maximumParents:2,maximumObservations:40}.
- ends: {evaluationId:stem+'_ends',resultIdPrefix:stem+'e',baseLeftCurveId:stem+'_bl',baseRightCurveId:stem+'_br',maximumParents:3,maximumObservations:24}.
- volume: {evaluationId:stem+'_volume',maximumParents:3,maximumObservations:17}.
- body: {evaluationId:stem+'_body',resultIdPrefix:stem+'d',maximumParents:3,maximumModels:2,maximumObservations:24}.
Private function reconstructTranslatedStripIntervalBodyTrusted constructs one Body from trusted snapshot-selected unchanged endpoint assets, common unchanged Plane asset, recipe, and root's shared exact context/check callback. Its private receipt is exact {body,recipe,directCounts}; stage counts are sectionBuildCount2,bindingBuildCount2,wallBuildCount2,capBuildCount1,baseBuildCount1,endBuildCount1,volumeBuildCount1,qualifiedBodyBuildCount1. It invokes actual buildMultiSpanVLinearSurfacePlaneSection twice, buildSectionExactSurfaceBinding twice, buildExactSurfaceLowerTrim twice, buildPairedSectionPlaneCap once, buildTranslatedSurfaceBaseFace once, buildTranslatedSurfaceEndFaces once, measureTranslatedSurfaceStripVolume once, buildQualifiedTranslatedStripBody once. The exact same new section/wall/cap objects feed all relevant siblings; no saved different-recipe parents. Private helper emits no public alternate admission path. It does not create a second root rational context or compile/evaluate source/geometry directly. Every actual delegated provider failure is CONSTRUCTION with original bounded cause. All output graphs/material images/model references are the real #1301 provider result; no graph/certificate cast.
After actual construction, check chosen unchanged complete original assets, common roof/basis, interval exact width and volume, canonical orientations, 8/12/6/24/1 counts, eighteen object catalog, models16+2, actual material restrictedSolidCertified and whole-body embedding, and same-parent coupling. Root checks are exact metadata/coefficient/theorem work, not extra native samplers. The builders perform the actual closure qualification. Donor old orientation is not multiplied into new stored loop orientation.
Report exact keys: {schema:'barocss-translated-strip-interval-boolean',version:0,evaluationId,operation,operandBodyIds:[a.body.id,b.body.id],operandMaterialCertificateIds:[a.proof.material.certificateId,b.proof.material.certificateId],outputBodyIds,operandCount:2,endpointCount:4,endpointGroupCount,slabCount,outputBodyCount,empty,exactVolumeMM3,lengthUnit:'mm',volumeUnit:'mm3',authority:'exact-common-source-map-and-regularized-y-interval-material',sourceFrame:'authored-xyz-no-axis-conversion',directionConvention:'new-canonical-parents-stored-use-order-already-includes-face-orientation',fileSizes:{request:{utf16,utf8},result:{utf16,utf8}},directCounts,rationalCounts,numericPolicy,quality,limits,workScope,budgetFailure}.
directCounts exact keys: {operandBodyValidationCount:2,endpointCount:4,slabCount,outputBodyConstructionCount:n,sectionBuildCount:2n,bindingBuildCount:2n,wallBuildCount:2n,capBuildCount:n,baseBuildCount:n,endBuildCount:n,volumeBuildCount:n,qualifiedBodyBuildCount:n,curvePointEvaluationCount:0,curveDerivativeEvaluationCount:0,surfacePointEvaluationCount:0,surfaceDerivativeEvaluationCount:0,sourceCompilationCount:0,floatConversionCount:0,nativeRootCount:0,refinementCount:0}. n=actual output count; counters count direct delegation only, not parent-internal repetitions. Zero output gives every output producer counter zero. Own validator rebuilds one normal builder invocation and compares its full report, not cumulative validation-session counters. rationalCounts is the actual shared root SectionRationalContext.counts(), floatConversions0.
numericPolicy exact {input:'exact-represented-native-source-coefficients',material:'regularized-closure-of-selected-occupied-interior',endpointSelection:'unchanged-original-source-qualified-boundary-surfaces',ties:'a-lower-a-upper-b-lower-b-upper',generatedExactZero:'positive-zero',coefficientGeneration:false,toleranceUsed:false,sourceIdentityRenaming:false,weldingPerformed:false,rootFloatConversion:false,rootNativeSampling:false,rayUsed:false,snapPerformed:false,iterativeRefinementPerformed:false}.
quality exact {restrictedIntervalBooleanCertified:true,regularizedMaterialCertified:true,actualOutputBodiesQualified:true,fullOperandsRetained:true,parentFlagsUnchanged:true,originalEndpointBitsPreserved:true,genericBoolean:false,arbitraryCurvedSolidCertified:false,globalC1:false,globalBinary64EvaluationErrorCertified:false,manufacturingToleranceCertified:false,publication:false,ownership:'independent-copied-cpu-data-gc'}. actualOutputBodiesQualified is vacuously true when empty; empty result does not claim a solid Body exists. Existing individual Body quality flags remain unchanged and are not promoted into generic Boolean certification.
limits exact {maximumOperands:2,maximumEndpointAssets:4,maximumSlabs:3,maximumOutputBodies:2,maximumOutputModels:4,maximumOutputGeometryObjects:36,maximumOriginalUDegree:2,maximumOriginalSpans:4,maximumFileUTF16Request:6291456,maximumFileUTF8Request:6291456,maximumFileUTF16Result:12582912,maximumFileUTF8Result:12582912,maximumBodyFileUTF16:2097152,maximumBodyFileUTF8:2097152,maximumObjectsPerModel:16,ownValues:4194304,ownDepth:64,arrayElements:8192,recordFields:64,keyCharacters:128,sourceStringCharacters:262144,prefixCharacters:4,rationalOperations:200000,gcdSteps:200000,rationalIntegerBits:8192,fractionIntegerCharacters:5000,maximumFinalFloatConversions:0,rootNativeCalls:0}. workScope:'two-complete-operand-validations-and-new-shared-root-proof-plus-bounded-existing-producer-delegation-parent-internal-work-retained-and-excluded'; budgetFailure:'atomic-no-partial-interval-boolean'.
Validator descriptors/snapshots the exact Result schema, rebuilds with unchanged a/b/options, then compares every occurrence with Object.is semantics: full parents/outputs/sources/siblings/zero bits, common coefficients/residuals, endpoint references/ties, slabs/truth/merges, generated IDs, recipes, actual Body graphs/material/source models, exact totals, report/counts/file sizes/false flags. Any mutation or reconstruction refusal is OWNED with bounded cause. Result has no caller aliases and no repeated object occurrence aliases after ownership snapshot. Failure leaves accepted inputs/results/files and previous published result untouched.
Fresh authored warped4 original Surfaces, globally uniform weights1, Uknots0..4/p2, V0..1/p1, original projected X(U)/Z(V) and dyadic Y coefficients; common unchanged Plane64 with z=2+x/16. C=130mm2. Each of four authored endpoint assets has a distinct original sourceId and selected Surface.id, plus an untouched sibling Curve carrying actual -0. Original Model.name may be shared across distinct sourceIds; include this actual source-qualified namespace case as positive evidence. Shared original Plane is the exact same complete asset. Qualify operands through the actual original source→section→binding→wall/cap→base/end/volume→Body chain using same parent objects. Do not load old demos, fabricate valid parents, or modify accepted Body DTOs.
Five scenarios, three operations each, maximum fifteen positive operation invocations in this one new flow: partial A[0,4]/B[2,6]; wall-contact A[0,4]/B[4,8]; disjoint A[0,4]/B[6,10]; strict B containment A[0,8]/B[2,6]; equality A[0,4]/B[0,4] with independently qualified distinct original endpoint IDs. Reuse already built genuine operand Bodies within the flow where their complete recipes match. Expected main union780, intersection260, difference260; contact union1040/intersection0/difference520; disjoint union1040 in2Bodies/intersection0/difference520; containment union1040/intersection520/difference520 in2Bodies; equality union520/intersection520/difference0.
Independent exact fraction/interval/slab/volume oracle, full actual Body8/12/6/24 graph and sourceModel16+2/material checks for every output, actual native JSON+newline/-0 size measurements, complete cold file and actual package-root public replay, emitted JS/d.ts hashes and source-only esbuild inputs/metafile. Check all eight named exports at the actual publishConfig/exports root, no dist source-input fallback or private substitute. Preserve all original ancestors and siblings in output files.
Before OWNED guards, assert each mutated value changed. Include complete-parent, common-map coefficient/residual/roof, endpoint donor/qualified tuple, slab selection/merge, recipe/fresh IDs, output source/body/material/graph, exact total, counter/file size and forbidden-flag mutations. Include getter/no-call, sparse/cycle/hidden/symbol/foreign, fixed budgets, invalid fresh IDs/collisions and atomic previous-result/file retention. Include positive identical original Model.name under distinct sourceIds and the actual repeated derived 'profile' namespaces; neither may be an arbitrary identity refusal. Mutating a retained fixed namespace/source qualification is still an OWNED change. Genuine native-source mismatched shape/map/basis/roof/weights examples may refuse before the new root; record actual prior refusal and do not fake guard reach. Include genuine valid separate Bodies with reused selected Surface IDs or sourceIds to demonstrate planned positive-width pair IDENTITY refusal rather than original renaming; do not mistake a model-name-only repetition for this guard. Verify exact shared whole-asset tie remains admitted in a genuine contact pair with distinct positive result endpoints.
No new computed-offset fixture is required because output endpoints are selected existing assets. A proof that a new translated coefficient would round must not be presented as a refusal of this endpoint-selection provider. Any actual child producer representability/native refusal remains honest CONSTRUCTION with original cause. First clean native checkpoint must establish actual all-scenario admission, file caps and owned reconstruction; this draft makes no native success claim.
Local source has existing AxisBox integer-cell Boolean and coplanar planar region/extrusion Boolean families; neither consumes/returns the #1301 qualified curved-strip family. Primary's reported all-state searches found no equivalent translated-strip interval leaf; no new Issue was created as of this draft. This is duplicate context, not an implementation acceptance claim.
Exclude differing X/Z maps, different full native bases/weights, nonconstant relative Y shape, different native domains/roof/Plane, arbitrary X/roof cuts, edge/corner-only contact, nonregularized sheet outputs, general curved Solid Boolean, source identity repair, tolerance welding, global C1/binary64/manufacturing/publication claims. Full native child chains and actual qualified output Bodies are mandatory for every positive-width result.
Native completion: clean ed8c545b76480aff2c7b37a594856cea576f64a9 → d0f84deb63fc087838abe20d1c6e6d15456c6cc8, branch codex/cad2-strip-interval-boolean, owned checkout /Users/user/.codex/worktrees/cad2-end-closures-parallel/barocss. One commit, exactly FIVE frozen CAD package/example paths. FIRST affected library build and ONE fresh source/API/file/cold/owned/public Boolean flow both exit0. No retry or first failure.
Actual buildTranslatedStripIntervalBoolean, whole owned validator, Error/codes and four types accept complete actual1301 Bodies with exact common X/Z/native bases/global uniform weights/full Plane/stored roof and constant relative Y shape. Exact open slabs and regularized occupied interior define union/intersection/A-minus-B. Every positive output is a REAL newly constructed complete1301 Body: eleven actual providers per output (two sections, two exact bindings, two walls, cap, base, ends, volume, Body), same new parent objects and explicit base Lines. Original selected endpoint Source/Surface assets remain verbatim. No rounded pole generation, source writer/renaming, graph cast or generic Solid admission.
Fifteen authored operation cases pass: partial overlap, exact shared-asset wall contact, disjoint, strict containment and equal occupied intervals with independent original IDs, each three operations. Fourteen initial output Bodies /154 direct provider delegations /336 retained output Body endpoint slots are named INITIAL authored-case counts; required owned/cold/public replays do additional real work. Main C=130mm2 and volumes780/260/260. Contact union1040/intersection0/difference520; disjoint union1040 in two Bodies/intersection0/difference520; containment difference520 in two Bodies; equality difference empty. Empty results invoke no output constructors or zero-thickness Body. Each positive component retains actual8V/12E/6F/24Uses, connected vertex links, whole-six-Face material/injective/outward certificate and SourceModels16+2 with18 objects.
Independent exact fraction source/constant-offset/Plane/roof/area/slab/truth/regularization/tie/donor/width/volume-accounting oracles pass. Fresh199 IDs per output plus root are checked with actual complete generated sets; aliases once, fixed profile models source-qualified. Original Model names may repeat under different source IDs. An actual exact whole shared-contact endpoint is admitted. Genuine separately qualified repeated selected Surface ID cross-pair refuses IDENTITY rather than renaming. Genuine individually valid wrong X/Y shape/native knots/half weights/full Plane/roof/context and full own-data guards reach their actual named refusals; prior producer refusals0.
53 genuine refusal cases pass, zero getters and accepted-file/input/result atomic retention. Complete output/source/Body graph/material/certificate/recipe/identity/slab/total/report/counter/size/forbidden-flag mutations are non-noops and fail OWNED. New root q maximum10372 operations/15bits/zero float conversions; no new direct native sampler or source compiler apart from bounded delegated producer work. Two whole input Body validators run once each; all inherited internal work remains separately retained/excluded.
Full complete request/result nativeJSON+newline/-0, cold Source/Models, whole owned rebuilding and actual emitted public eight names/types pass. Largest request3968473/result7983259 UTF8 and UTF16 fit pre-frozen new6MiB/12MiB envelope. Every individual Body still obeys its unchanged2MiB, source262144, own1M and Model16+2 caps. 409 output files/181 source inputs/364 emitted JS+d.ts hashes plus actual successful runtime/types are retained. Full data is copied; no ancestor/source/sibling/proof stripping or reference compression.
Evidence /Users/user/.barocss-ai/v3/evidence-translated-strip-interval-boolean-cad2 contains full before-code contract, exact FIRST checkpoint/logs/exits, sources/metafile, native-handoff with FIVE blob IDs and output manifest. This is restricted common-map Y-interval material Boolean, not arbitrary curved/rotated/roof-clipped/general Solid Boolean, ID repair, tolerance welding, global C1/binary64/manufacturing/renderer/publication. Individual parent genericBoolean flags remain unchanged; new named restrictedIntervalBoolean certificate is separate. Sole Integration adopts this exact delta once and immediately reports merge. Compose additive index/README preserving current1316/1327 groups; leaf/private/demo exact. Later current-root screen/file/recovery remain#1254/#674 and are not an author gate. Planner handles once-only qualified GPU/Loader availability. #1327 independently passed at876f38fb, handoff submitted; next trimmed-sixFace native mesh provider is currently source/math planning, no packet API/code/pass claim yet.
Completion: https://github.com/barocss/barocss/issues/1328#issuecomment-6098802571. Message tools accepted; exact adoption and read acknowledgement remain separate.
Integration adopted qualified native d0f84deb63fc087838abe20d1c6e6d15456c6cc8 once at local develop ed5084bcb443e4844524b21bb3ddd315366b2c97. The 3 new product leaf/demo file blobs exactly match native. Current index/README preserve every earlier family and the exact new native additions. Status: merged; integration validation pending. This receipt verifies local Git/source only. Native FIRST build/new source/API/file/cold/owned/public flow remains preserved. Current-root Node22, renderer, screen, Save/Open and recovery remain pending#1254/#674; dependent authors may continue from actual merged code.
Next independent author scope is an actual trimmed-sixFace native mesh packet for the qualified Body family and existing Loader1325. Source/domain/math plans are ready; complete before-code API/records/counters/budgets/one-flow freeze is in progress. No new packet API or native acceptance is claimed. No ownership or publication authority changes.