Repository navigation
(3D) Close PRINT-1: the A1 mini envelope binding is live, verified by mutation - #10169
Merged
Merged
Conversation
…mutation The build envelope is owned by extdeps.printing.bambu_lab_a1_mini and the coupon fit witness reads a1_mini_build_envelope rather than an inline literal, so the reopening reason no longer holds. Verified by MUTATION rather than by reading the import: shrinking the product row's x from 180mm to 50mm flips w_the_hole_ladder_coupon_fits_the_a1_mini from green to red. The check was run because the module's own annotation asserts "changing this row is what moves that witness" -- an annotation asserting a property the code does not have is the defect #10119 had to repair four times, so the claim was executed rather than believed. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01TuCmz2HjuYzP6GWLgw11E4
gunbai-bot
Bot
force-pushed
the
session/crisp-ibex-710
branch
from
September 3, 2026 01:45
da5974f to
c326b69
Compare
gunbai-bot
Bot
changed the title
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Doc-only. Corrects the program spine's state after #10119.
PRINT-1's reopening is closed. It was marked reopened because the build envelope was authored inside the coupon fit witness rather than owned by a printer product row — a witness testing a number it wrote itself. That is no longer the case:
extdeps.printing.bambu_lab_a1_miniownsa1_mini_build_envelopeand the witness imports and reads it.Verified by mutation, not by reading the import. Shrinking the product row's
xfrom 180 mm to 50 mm flipsw_the_hole_ladder_coupon_fits_the_a1_minifrom green to red; the tree was restored clean afterwards. The check was run rather than skipped because the module's own annotation asserts "changing this row is what moves that witness" — and an annotation asserting a property the code does not have is precisely the defect #10119 had to repair four separate times. A live binding and a nominal one read identically in the import list.Also corrects two now-stale claims that would have misdirected the next reader:
libGL.so.1, thencasadineedsGLIBCXX_3.4.32which needsGLIBC_2.38; this box is glibc 2.36. The trigger is a base image or an x86_64 runner, not a pip install.PRINT-8 needs the hardware and is not blocked by PRINT-7 — the coupon can be printed and measured before any kernel readback exists; it simply cannot issue an absolute process-qualification receipt until PRINT-7 closes.
🤖 Generated with Claude Code
https://claude.ai/code/session_01TuCmz2HjuYzP6GWLgw11E4