>programmer discipline that cannot be relied upon

This is the crux of all computerization and will never be eradicated.