Looking for a code solution here, this is what I'd like to request:
When a cyborg is synced to a malf AI, inherit its antag status, inherit its objectives.
When a cyborg is de-synced from a malf AI or gets synced to a different AI, remove its antag status, remove its objectives, give it a BIG RED TEXT YOU ARE NO LONGER ANTAG.
Law 0 should be not touched, it should only be removed via the proper channels (cyborg upload console, new AI syncing).
Optional: Rephrase "Accomplish your AI's objectives at all costs." to something like "Accomplish the objectives of the AI you are synced to." The wording is up to you, just include "synced to" in it.
Reasoning:
Malf AI happens. Cyborgs start rampaging. Robotics removes the AI link. Their zeroth law becomes moot ("Accomplish your AI's objectives at all costs.") Cyborgs still keep killing. Ahelp galore.
Cyborgs don't know what the AI's objectives are and yet they are expected to carry them out. This is different from vampire thralling, for example, where you have to obey your master - in the cyborgs' case, the player is expected to do something they are not made aware of. Yes, they can ask on binary, but 50% of the time that results on ";b ok ai so what are your objectives" and the AI's round is pretty much ended due to a newish player messing up.
Ahudded people have an easier time to check which cyborgs are up to no good.
Bonus points if you can do the same with emagging/syndicate MMI. These methods should NOT share objectives (you cannot see into your mindslaver's head), but it should give the cyborg antag status and a big red text to stop screaming that the janitor is emagging me!!!11
In the case of emagged cyborgs, the only way to get de-antagged is to get put into a new chassis and/or get taken out of a syndicate MMI to my knowledge.