Setiap labirin dibuktikan boleh diselesaikan
Pembinaan semula bahagian dalam buku labirin, dengan setiap muka dibuktikan betul oleh pemeriksa geometri sebelum ia diluluskan, dan setiap gambar sumber dikunci pada cincangan SHA-256.
semakan geometri pada satu kumpulan muka sahaja - 4,992 pada raster yang dicetak dan 606 pada laluan vektor - kerana labirin yang tak boleh diselesaikan hanya ditemui oleh kanak-kanak yang mencubanya.
Apa yang dibuat
Setiap kumpulan tiga muka dibina, kemudian pemeriksa mengambil sampel raster yang dirender untuk keutuhan dinding dan bukaan, dan menjejak laluan penyelesaian vektor sebenar melalui muka yang sudah siap. Satu labirin tidak boleh keluar kalau seni yang dicetak dan penyelesaian yang dimaksudkan tidak bersetuju.
Koridor paling sempit yang dibenarkan ialah 8.32 mm - lebar yang membolehkan tangan kanak-kanak melukis melaluinya dengan krayon, bukan angka yang dipilih kerana ia nampak kemas.
Yang diukur
Nota. Kerja ini belum siap: lapan belas muka sokongan masih tinggal, dan ujian kertas fizikal belum dijalankan.
Tanya tentang kerja macam ini