Điều chúng tôi kiểm chứng trên 1 biểu mẫu, chúng tôi biến thành quy tắc cho cả 5

Sáng ngày 23 tháng 9, một tin nhắn từ V gửi đến, dài đúng 1 dòng. Có một nhân viên bị thiếu trong tệp xuất ra để khai theo tháng. Chị là kế toán ở Jakarta, người vẫn thử KAZENA Books bằng dữ liệu thật của văn phòng mình. Không có lỗi nào hiện ra. Không có cảnh báo nào. Chỉ là những người trong danh sách của văn phòng và nội dung tệp không khớp nhau.

Không cần điều tra xem lỗi thuộc về ai. Một quy tắc chúng tôi thêm vào 2 tuần trước đã loại người đó khỏi kết quả xuất. Đó không phải lỗi phần mềm. Một quy tắc chúng tôi viết ra có chủ đích đã tác động đến cả nơi chúng tôi không hề định.

Xin kể lại đầu đuôi. Ngày 8 tháng 9, chúng tôi gửi biểu mẫu năm lên Coretax thật và 1 bản ghi bị từ chối, vì ô mã số thuế bị để trống. Bản ghi không có mã số thì không được chấp nhận trên biểu mẫu năm. Đó không phải phỏng đoán; chúng tôi xác nhận qua chính thông báo lỗi mà màn hình của cơ quan thuế trả về.

Chúng tôi xử lý bằng cách loại các bản ghi không có mã số khỏi phạm vi xuất. Với biểu mẫu năm, đến giờ tôi vẫn cho rằng quyết định đó đúng. Gửi đi thứ chắc chắn bị từ chối chỉ làm mất thời gian của người dùng.

Vấn đề nằm ở chỗ chúng tôi đặt quy tắc ấy vào đâu. Chúng tôi đặt nó ở phần dùng chung của chức năng xuất. KAZENA Books xuất được 5 biểu mẫu, và cả 5 đều đi qua cùng một đường: gom các bản ghi thuộc phạm vi, rồi mới dựng tệp. Quy tắc loại bản ghi không có mã số rơi vào đúng bước gom đó. Một quy tắc mới kiểm chứng 1 lần lại có hiệu lực trên cả 5.

Đường đi của biểu mẫu năm có một màn hình kiểm tra trước khi xuất. Bản ghi rớt khỏi phạm vi sẽ hiện ở đó như một mục cần sửa. Nếu là biểu mẫu năm, hẳn V đã nhận ra. Đường đi theo tháng không có màn hình ấy. Gom, dựng, tải về. Chỉ vậy thôi. Một người có thể biến mất mà màn hình không hiện gì cả.

Tôi hỏi V về các biểu mẫu tháng. Trên biểu mẫu tháng, người không có mã số vẫn khai được, vì bản thân biểu mẫu đã có sẵn cách ghi cho trường hợp không có mã số. Nghĩa là cơ quan thuế vẫn nhận. Chúng tôi đang lặng lẽ loại bỏ những người mà cơ quan thuế vốn chấp nhận.

Đây là phần nặng nhất. Quan sát tự nó là thật. Việc bị từ chối ngày 8 tháng 9 đã thực sự xảy ra. Cái sai là chúng tôi mở rộng nó đi xa tới đâu. Điều nhìn thấy trên 1 biểu mẫu lại được viết thành quy tắc không cần biết là biểu mẫu nào. Phạm vi đã kiểm chứng và phạm vi quy tắc tác động chỉ trùng nhau trong đầu người viết ra nó.

Kiểu sai này với tôi còn tệ hơn một quy tắc viết theo cảm tính, vì mình tưởng mình có căn cứ. Mình nói được rằng đã kiểm chứng trên hệ thống thật. Nói được thật, nhưng chỉ cho 1 biểu mẫu, còn 4 biểu mẫu kia thì chưa kiểm chứng gì. Nếu không ghi tách bạch giữa điều đã kiểm chứng và phạm vi mà việc kiểm chứng đó với tới, chính người viết ra nó cũng không còn phân biệt được.

Chúng tôi đã sửa như sau. Giờ mỗi quy tắc đều mang theo thông tin nó áp dụng cho biểu mẫu nào. Quy tắc này áp dụng cho biểu mẫu năm; kiểm chứng ngày 8 tháng 9; căn cứ là thông báo lỗi cơ quan thuế trả về. Cả 3 điều đó được ghi ngay cạnh quy tắc. Biểu mẫu không được ghi ở đó thì quy tắc không tác động. Mặc định chúng tôi để là không tác động. Để lọt thứ chưa kiểm chứng gây thiệt hại nhỏ hơn là chặn nó lại.

Còn 1 điều nữa chúng tôi sửa. Sau khi xuất, chúng tôi đối chiếu số lượng: số bản ghi thuộc phạm vi và số bản ghi vào được tệp. Nếu lệch, chúng tôi in ra lý do của phần chênh, mỗi bản ghi 1 dòng. Có thứ đó rồi thì một quy tắc tác động quá rộng như lần này sẽ bị chính chúng tôi bắt được. Muốn nhận ra có thứ gì đó biến mất, phải giữ lại con số trước khi nó biến mất. Việc hiển nhiên đến thế mà chúng tôi đã không làm.

Tin nhắn của V lúc nào cũng ngắn. Lần này cũng 1 dòng. Nhưng thứ mà 1 dòng ấy chỉ tới là một người không lọt vào kết quả. Phần mềm kể rất kỹ về những gì nó tạo ra, và im lặng về những gì nó đã bỏ lại. Một thứ không nói được vì sao nó bỏ sót cái gì đó thì lúc chạy đúng và lúc chạy sai trông y như nhau.

Xin nói rõ cho chắc. Tôi không phải người hành nghề thuế. Mục nào bắt buộc trên biểu mẫu nào, và người không có mã số thì khai ra sao, là do phía quy định quyết định và những điều đó thay đổi. Điều tôi viết ở đây là bản ghi chép về việc chúng tôi xác định sai phạm vi tác động của một quy tắc. Với việc khai thật, xin hãy xác nhận với người có chuyên môn.

Một lời nhờ để khép lại. Nếu tệp KAZENA xuất ra có số lượng không khớp với danh sách trong tay bạn, chỉ cần báo cho chúng tôi chừng đó. Lý do chúng tôi sẽ tự đi tìm.