Một vật nằm ngoài mâm, và đơn báo thiếu bốn lần rưỡi

Đầu tháng 10 xưởng nhận một đơn in bộ giá treo tường theo mẫu lưới Voronoi gắn bảng SKADIS của IKEA, một mẫu công khai trên MakerWorld. Khách tự xếp mười vật khít vào đúng một mâm in rồi gửi lên. Màn đặt in báo hơn ba mươi gram.

Con số đúng là hơn một trăm sáu mươi gram. Xưởng đã báo giá thiếu, và không một dòng cảnh báo nào hiện ra ở bất cứ đâu.

Hai con số, và khoảng cách giữa chúng

Cắt lại chính tệp ấy bằng chính hồ sơ của xưởng, giữ nguyên cách xếp của khách:

• 162,75 g, máy chạy 577 phút, đủ mười vật

Cắt lại cũng tệp ấy, cũng hồ sơ ấy, nhưng để máy cắt lớp tự xếp lại chỗ đứng đúng như lúc báo giá:

• 36,28 g, máy chạy 131 phút, còn chín vật

Gram thiếu 4,5 lần. Phút thiếu 4,4 lần. Phần tiền thiếu nhỏ hơn hai tỉ lệ ấy, vì tiền công với giá sàn tính một lần cho cả đơn chứ không nhân theo gram, nhưng nó vẫn là một đơn xưởng nhận thiếu tiền của một người đã trả đủ theo con số mình được báo.

Vật biến mất là vật to nhất

So danh sách vật của hai lượt cắt thì thấy ngay chỗ hụt. Lượt đủ mười vật có một tấm lưới 240 × 240 × 5 mm cộng năm cái hộp và bốn cái chốt. Lượt chín vật không còn tấm lưới.

Hiệu hai con số gram là 126,47 g, và đó đúng là phần của tấm lưới. Tức máy không cắt thiếu một chút ở mỗi vật, nó bỏ hẳn vật nặng nhất trong mâm rồi tính tiền phần còn lại.

Đây là chỗ chuyện trở nên khó chịu: nếu nó đánh rơi một cái chốt 18 × 18 mm thì con số lệch vài phần trăm và có thể trôi qua mãi mãi. Nó đánh rơi đúng cái to nhất, nên con số lệch tới mức có người ngồi đối chiếu rồi phát hiện ra.

Cắt lại năm ô, và chỉ một ô ra số sai

Để biết cờ nào gây chuyện, xưởng cắt lại cùng một tệp với từng tổ hợp cờ một. Năm ô, mỗi ô một lượt gọi máy cắt lớp thật.

• Không xếp lại mâm, lớp đỡ bật: 162,75 g, mười vật
• Xếp lại mâm, lớp đỡ tắt: 162,78 g, mười vật
• Xếp lại mâm, lớp đỡ bật: 36,28 g, chín vật
• Cắt theo số mâm, lớp đỡ tắt: 162,86 g, mười vật
• Cắt theo số mâm, lớp đỡ bật: thoát với mã lỗi 235, không ra tệp máy chạy nào

So ô hai với ô ba thì hiện ra cái công tắc. Hai ô ấy giống hệt nhau trừ đúng một chuyện là lớp đỡ. Tắt thì mười vật, bật thì chín.

Tức lệnh xếp lại mâm một mình không làm rơi vật nào. Nó chỉ rơi khi lớp đỡ bật cùng lúc. Ai thử đúng một lượt với lệnh xếp lại rồi thấy 162 g sẽ kết luận là không có chuyện gì, và đó là cái bẫy đã ngốn mất mấy lượt đo của người đi tìm đầu tiên.

Một quan sát nữa, nêu ra vì nó có thể là manh mối: trong lượt có xếp lại, máy khai ô chiếm chỗ của từng vật to hơn hẳn. Một cái hộp 45 × 55 mm trong lượt kia thành 71 × 71 mm trong lượt này. Mười vật xếp khít một mâm thì chỉ cần mỗi vật phình ra một chút là cả mâm không còn vừa. Xưởng chưa chứng minh được đó đúng là nguyên nhân, nên ghi lại như một quan sát.

Vì sao không có một tiếng động nào

Đây mới là phần đáng sợ của ca này. Lượt cắt sai không hỏng theo bất cứ kiểu nào dễ bắt:

• Nó thoát với mã 0, tức báo thành công
• Nó ra tệp máy chạy đàng hoàng
• Tệp kết quả khai đúng một mâm in, y như tệp của khách
• Gói xuất ra cũng khai đúng một mâm, ở cả hai chỗ khai mâm trong gói

Một cổng chỉ đọc mã thoát thì xanh. Một cổng chỉ đếm số mâm cũng xanh, vì mâm thứ hai không xuất hiện ở đâu cả: vật thứ mười chỉ đơn giản biến mất.

Ô thứ năm trong lưới trên cho thấy máy cắt lớp biết tự dừng trong một cảnh khác: mã thoát 235, không ra tệp nào, và nếu đơn ấy rơi vào cảnh này thì xưởng đã thấy ngay. Nó không rơi vào. Tệp của khách là tệp một mâm, và nhánh một mâm đi đường khác hẳn.

Và vì sao đó là đường đi mặc định, không phải ca hiếm

Chỗ này là chỗ xưởng phải nói thật nhất.

Mã của xưởng ép lượt cắt đầu tiên của mọi tệp bật lớp đỡ. Lý do thì đúng: muốn khoá cái nút tắt lớp đỡ với mẫu thật sự cần đỡ thì phải đo xem nó cần bao nhiêu, mà muốn đo thì phải cắt một lượt có lớp đỡ. Và cùng lúc đó, mã cũ bật lệnh xếp lại mâm cho mọi tệp một mâm.

Hai điều ấy gộp lại thành đúng ô thứ ba của lưới trên. Nghĩa là mọi báo giá lần đầu của mọi tệp một mâm đều đi qua ô đã hỏng. Đây không phải một ca hiếm gặp, nó là đường đi mặc định.

Thứ hiếm là có người ngồi mở lại tệp của một đơn đã thu tiền rồi đối chiếu với lượt cắt tay. Lỗi đã nằm đó qua ít nhất ba lượt báo giá trước khi ai đó nhìn ra.

Đã chữa thế nào

Lệnh xếp lại mâm vốn sinh ra để chữa đúng một chuyện: vật nhô ra ngoài mép mâm in thì máy cắt lớp từ chối cắt. Bản chữa đi hỏi thẳng câu ấy thay vì bật cờ cho mọi tệp.

• Đọc chỗ đứng thật của từng vật trong gói, lấy toạ độ tuyệt đối chứ không lấy kích thước
• Đọc khổ in từ hồ sơ của chính cái máy sắp in, không gõ cứng con số nào
• So hai thứ ấy. Mọi vật đã lọt khổ in thì cách xếp của khách không hỏng, và không được đụng vào nó. Đó là cảnh của phần lớn tệp tải từ MakerWorld, vì người thiết kế đã xếp sẵn rồi
• Chưa đo được thì giữ nguyên hành vi cũ, không đoán. Đọc không nổi toạ độ hay không đọc nổi hồ sơ máy đều rơi vào nhánh này
• Đếm lại sau khi cắt xong. Tệp khai mấy vật, lượt cắt ra mấy vật. Lệch là dừng hẳn, không trả về một báo giá nào

Chỗ cuối cùng ấy quan trọng hơn vẻ ngoài của nó: cổng soát ấy không đọc mã thoát, vì mã thoát của chính ca hỏng này là 0. Nó đếm.

Có một chi tiết nhỏ đáng kể lại. Toạ độ trong gói đi qua một chuỗi phép nhân nên mép dưới của một vật đặt đúng mặt mâm in đo ra âm 2,66 phần mười mũ mười bốn chứ không ra số không tròn trĩnh. So bằng "lớn hơn hoặc bằng không" là gọi mọi tệp như thế là có vật nằm ngoài mâm, tức bật cờ hỏng cho đúng cái nhóm tệp mà cờ ấy đang phá. Ngưỡng phải nới ra một phần trăm milimet.

Hai bài kiểm canh chỗ này từ nay

Một lỗi chữa xong mà không có bài kiểm thì nó quay lại khi có người nâng phần mềm lên bản mới.

• Bài thứ nhất dựng tệp giả ngay trong kho, chạy được ở mọi máy, lo phần nhánh đi đúng hay sai
• Bài thứ hai gọi máy cắt lớp thật trên đúng tệp của khách, khoá con số. Nó đòi tệp ấy có mặt và đòi vân tay tệp khớp, thiếu thì tự bỏ qua kèm lý do chứ không đỏ một cách khó hiểu

Bài thứ hai còn chốt thẳng cái công tắc: tắt lớp đỡ ra mười vật, bật lớp đỡ ra chín. Ngày nào bản phần mềm cắt lớp đổi cách chừa khoảng thì bài ấy đỏ, và đỏ là đúng. Lúc ấy phải đi đo lại cả lưới chứ không phải sửa con số cho nó xanh.

Chuyện này đổi gì cho khách

• Cách xếp mâm của bạn được giữ nguyên. Nếu bạn đã xếp vừa khổ in, xưởng không đụng vào nữa
• Lượt cắt nào đánh rơi vật thì không ra báo giá. Thà không báo còn hơn báo một con số chỉ tính phần còn lại
• Con số trên màn là con số của ca in thật, vì máy cắt lớp chạy thật trên tệp của bạn trước khi báo

Và một điều xưởng không hứa được: bài này không nói đơn ấy đã được xử lý ra sao với khách. Số tiền thật của đơn không còn trong tầm tay của lượt viết bài này, nên bài chỉ nói những gì đo lại được.

Lý do viết nó ra vẫn là lý do cũ. Một xưởng kể được chỗ mình tính sai tiền của khách thì con số nó báo cho bạn hôm nay đáng tin hơn một xưởng chưa bao giờ kể gì.

Đọc tiếp

Lớp đỡ đội thêm bao nhiêu gram và bao nhiêu phút, đọc bài Lớp đỡ tốn thêm bao nhiêu, đo trên bốn mẫu. Những lần máy dừng giữa chừng và cái giá của chúng, đọc bài Những ca in hỏng của xưởng, và cái giá. Bộ thông số đổi đi đổi lại vì những ca như vậy, đọc bài Hồ sơ cắt lớp của xưởng đã đổi những gì, qua từng bản.