They have a lot in common. They are admissibility conditions under a rule system. Same thing with laws encoded in a computer system. Your argument is circular;

They have a lot in common. They are admissibility conditions under a rule system. Same thing with laws encoded in a computer system. Your argument is circular; “code isn’t law because I’ve redefined the word ‘law’ to explicitly preclude it”.