Talk:Req:sync check

= sync_check = [Comments on 2020-4-7]

R2 is an odd requirement. It makes it sound like merely having a switch arms it. I don’t think that’s how we want it to behave

R2 is also a bit redundant to R4

R4.2 – I’d remove the “possible interactions in the future”, mostly because I have no idea what they’d be. It’s a switch – you look at it and you open or close it. I’m not seeing what else could be done there. The sync_check may have other features, but I doubt they’ll be in how it manipulates the switch object.