================================================================================ T1 The README describes the tree it ships with ================================================================================ PASS the README is present CLAIM README ACTUAL tables 111 111 PASS the README's tables count is right packs 29 29 PASS the README's packs count is right modules 30 30 PASS the README's modules count is right suites 49 49 PASS the README's suites count is right screens 15 15 PASS the README's screens count is right ================================================================================ T2 Every pack the migrator declares is actually present ================================================================================ PASS no declared pack is missing from disk 29 packs PASS no pack on disk is left out of the declared order ================================================================================ T3 The runbook names commands that exist ================================================================================ PASS the field runbook is present PASS the runbook's rx-install exists referenced PASS the runbook's rx-worker exists referenced PASS the runbook's rx-migrate exists not referenced PASS the runbook tells them to run: rx-worker status PASS the runbook tells them to run: backup.run PASS the runbook tells them to run: backup.verify PASS every job named in the runbook is a real job backup.run, backup.verify ================================================================================ T4 The pending register does not claim finished work ================================================================================ PASS the register is present PASS the register does not claim the helper has printed it compiles and runs; winspool.drv has never been called PASS it still says nobody has opened the screens in a browser structurally verified is not the same as working PASS and it does not claim the pilot is ready PASS the register states the right number of screens register says 15, tree has 15 ================================================================================ THE PILOT PACK IS NOT STALE ================================================================================ PASS the pilot pack is in the tree a document nothing checks is a document that goes stale PASS and its suite count matches the tree pack says 49, tree has 49 PASS and its assertion count agrees with the README pack 1602 vs README 1602 PASS it no longer calls the Counter Helper unverified it compiles and runs now ================================================================================ NO ASSERTION IS UNCONDITIONALLY TRUE ================================================================================ PASS no count is asserted to be >= 0 a condition that cannot be false is not a test PASS no assertion is unconditionally true a limitation is a printed NOTE, not a passing test ================================================================================ THE DOCS NAME NOTHING THAT DOES NOT EXIST ================================================================================ PASS there is a tree to scan 30 lib, 50 tests, 29 packs PASS every identifier the docs name exists in the code no claim rests on something that is not there NOTE a name that exists but does nothing is caught by the behaviour suites, not here ================================================================================ A SCANNER MUST PROVE IT SCANNED SOMETHING ================================================================================ PASS every filesystem scan proves it read something no check can pass by looking at nothing ================================================================================ EVERY SUITE REPORTS ITS COUNT ================================================================================ PASS every suite prints a count rx-test can read 50 suite(s) ================================================================================ THE WINDOWS SIDE CAN ACTUALLY BE INSTALLED ================================================================================ PASS there is a Windows installer PASS it registers the service and starts on boot PASS AND RESTARTS THE SERVICE ON FAILURE a counter that stops printing until somebody notices stops for the day PASS re-running it is safe a partner unsure whether it worked will run it twice PASS the firewall rule BLOCKS remote access, it does not open a port the print API is loopback only PASS the build is self-contained and single-file a chemist's counter has no .NET runtime and nobody is installing one PASS and the project targets Windows PASS the build script states what must be done on real hardware none of it can be done from Linux ================================================================================ RESULT ================================================================================ 39 passed, 0 failed