Repository navigation
CAD Paired B UV Complementary Split Faces Native Receipt
Native parent: 67f8a943bcc2e2eeb3361ca9752eb4ef97aa427c.
Native child: 1d4caf5abd117916741444b561ee567fb5f3406f.
Affected build and one source lifecycle: both exit0. Integration adoption and actual consumer checks are pending.
Exactly five owned paths. All34 inherited source hashes unchanged. 420 emitted files, 414 inherited runtime files unchanged, 209 source inputs; /Users/user/.barocss-ai/v3/evidence-paired-uv-b-split-faces-cad2/output-manifest.json.
Original-B XZ graph Faces cover only the mapped proper U window and full original B V range. Shared World/B UV retain UA; natural boundaries retain UB. Original B and full paired context preserved. Model8 geometry and complete request/result/UV topology saved and cold rebuilt. No new codec or Body/Solid/sewn/Boolean/physical area/global float/manufacturing claim.
Measured cases:
- main: {"fileSizes": {"request": {"utf16": 24588, "utf8": 24596}, "result": {"utf16": 124710, "utf8": 124718}}, "directCounts": {"parentValidationCount": 1, "isoCurveExtractionCount": 2, "sourceIntervalExtractionCount": 2, "sideWorldValidationCount": 4, "newUVValidationCount": 6, "worldModelAdoptionCount": 1, "observationCount": 35, "curveD0Count": 70, "curveD1AttemptCount": 70, "surfaceD0Count": 35, "surfaceD1AttemptCount": 35, "rationalFloatConversionCount": 0}, "derivativeCounts": {"world": {"evaluated": 35, "refused": 0}, "pcurve": {"evaluated": 35, "refused": 0}, "surface": {"evaluated": 35, "refused": 0}}}
- edited: {"fileSizes": {"request": {"utf16": 25196, "utf8": 25204}, "result": {"utf16": 126686, "utf8": 126694}}, "directCounts": {"parentValidationCount": 1, "isoCurveExtractionCount": 2, "sourceIntervalExtractionCount": 2, "sideWorldValidationCount": 4, "newUVValidationCount": 6, "worldModelAdoptionCount": 1, "observationCount": 35, "curveD0Count": 70, "curveD1AttemptCount": 70, "surfaceD0Count": 35, "surfaceD1AttemptCount": 35, "rationalFloatConversionCount": 0}, "derivativeCounts": {"world": {"evaluated": 35, "refused": 0}, "pcurve": {"evaluated": 35, "refused": 0}, "surface": {"evaluated": 35, "refused": 0}}}
- reverse: {"fileSizes": {"request": {"utf16": 24588, "utf8": 24596}, "result": {"utf16": 124710, "utf8": 124718}}, "directCounts": {"parentValidationCount": 1, "isoCurveExtractionCount": 2, "sourceIntervalExtractionCount": 2, "sideWorldValidationCount": 4, "newUVValidationCount": 6, "worldModelAdoptionCount": 1, "observationCount": 35, "curveD0Count": 70, "curveD1AttemptCount": 70, "surfaceD0Count": 35, "surfaceD1AttemptCount": 35, "rationalFloatConversionCount": 0}, "derivativeCounts": {"world": {"evaluated": 35, "refused": 0}, "pcurve": {"evaluated": 35, "refused": 0}, "surface": {"evaluated": 35, "refused": 0}}}
exactUVAreasMain: ["3/4", "3/2", "9/4"]
exactUVAreasEdited: ["4083/5120", "7437/5120", "9/4"]
editedLowerAreaIncrease: "243/5120"
ownNonNoopCount: 18
getterCalls: 0
refusalCount: 35
precisionControl: {"outcome": "refused", "name": "PairedSurfaceBUVSplitFacesError", "code": "REPRESENTABILITY", "message": "Paired Surface B UV split Faces: Whole actual paired UV split Face proof refused", "context": {"phase": "proof", "edgeIndex": 0, "observationIndex": null, "directCounts": {"parentValidationCount": 1, "isoCurveExtractionCount": 2, "sourceIntervalExtractionCount": 2, "sideWorldValidationCount": 4, "newUVValidationCount": 6, "worldModelAdoptionCount": 1, "observationCount": 0, "curveD0Count": 0, "curveD1AttemptCount": 0, "surfaceD0Count": 0, "surfaceD1AttemptCount": 0, "rationalFloatConversionCount": 0}}, "causeName": "PairedSurfaceBUVSplitFacesProofError", "causeMessage": "Paired B UV Face proof: Every actual stored World coefficient must equal original-B UV composition; no interval repair"}
fullDomainControl: {"outcome": "earlier-parent-refusal", "name": "ExactPairedVLinearSurfaceIntersectionError", "code": "REPRESENTABILITY", "message": "Exact paired V-linear intersection: A derived weight is not exactly represented in binary64", "context": {"phase": "polynomial", "assetIndex": null, "stationIndex": null, "directCounts": {"originalSourceCompileCount": 2, "selectedSurfaceValidationCount": 2, "surfaceDomainCount": 2, "newCurveValidationCount": 0, "worldSourceAdoptionCount": 0, "uvSourceCompilationCount": 0, "observationCount": 0, "curveD0Count": 0, "curveD1AttemptCount": 0, "surfaceD0Count": 0, "surfaceD1AttemptCount": 0, "traceCallCount": 0, "fittingCallCount": 0, "rootSolveCount": 0, "originalSourceEditCount": 0}}}
negativeMapControl: {"name": "negative-map-outside-b-first-profile", "code": "SUPPORT", "message": "Paired Surface B UV split Faces: This original-B Face profile requires a positive original-UA to original-UB map", "context": {"phase": "proof", "edgeIndex": null, "observationIndex": null, "directCounts": {"parentValidationCount": 1, "isoCurveExtractionCount": 0, "sourceIntervalExtractionCount": 0, "sideWorldValidationCount": 0, "newUVValidationCount": 0, "worldModelAdoptionCount": 0, "observationCount": 0, "curveD0Count": 0, "curveD1AttemptCount": 0, "surfaceD0Count": 0, "surfaceD1AttemptCount": 0, "rationalFloatConversionCount": 0}}, "causeName": null, "causeMessage": null}
untestedLimits: ["aggregate-four-MiB-request-overflow", "aggregate-sixteen-MiB-result-overflow", "rational-work-boundary", "own-values-boundary"]
Full native evidence: /Users/user/.barocss-ai/v3/evidence-paired-uv-b-split-faces-cad2. Root/inherited/demo work remains separately recorded. FIRST failure, if any, is retained without overwrite. Product remote push, PR and publication did not run.
FIRST native commit1d4caf5abd117916741444b561ee567fb5f3406f succeeded without repair: build0/sourceflow0. Actual maximum observed physical point gap2.220446049250313e-16mm and relative chain gap2.8595833088864024e-16; whole stored-model gap0 is a separate exact certificate. All three root states105 D1 evaluated/0refused. Each inherited interval retains actual12D0/12D1 attempts/11evaluated/1C0refused. Main/reverse q61525ops/11313gcd/7bits; edited63567/12818/18bits; rootfloatconversion/search0. Own11284; main request/result24596/124718UTF8, edited25204/126694UTF8. Full59artifacts/209sources/420runtime/414unchanged.
Genuine negative-map parent was accepted by1499, then B child refused SUPPORT after1parent validation before any child/native observations. Old midwindow failed exact proof edge0 after actual iso2/interval2/side4/UV6/adopt1 before observations; fullU control refused earlier1499 representability. These are actual recorded causes. Aggregate cap/work/own boundaries remain untested. Signed-zero comparison preserves native receipt bits but has no separate extreme-profile acceptance claim.
Execute Integration acknowledged actual local develop adoption bf068552e1479198d4e210b80e6c1850ac1d41a9 of native 67f8a943bcc2e2eeb3361ca9752eb4ef97aa427c → 1d4caf5abd117916741444b561ee567fb5f3406f.
Independent fixed-Git verification passed39/39: three complete new files equal native bytes, index/README exact native additive suffixes present, all34 inherited source hashes unchanged. Native FIRST affected build0 and ONEsource lifecycle0 succeeded without repair. Native execution was not repeated. Complete original B XZ paired complementary Faces retain properUB window, unchangedUA cut, fullOriginalA/B/source/UV context and exactwhole bindings;59artifacts/209source/420runtime/414unchanged preserved.
This is merged source availability with preserved bounded native proof. Current Root build/UI/flow/recovery and named consumer checks remain unrun under1254/674. No sewnManifold/Body/Solid/occupiedBoolean/physical area/globalbinary64/manufacturing/publication certificate. Parent535/536/537 stayOPEN. Next proposed bounded task is exact original-UV Face membership; before-code preparation is saved and has no product edits.