Add a test-only synth FrontendProvider that traverses compile() to verified bytecode without PBS. Expose register/unregister on the static registry and lock the obligation in specs 23 and 22. Housekeep DSC-0063 with LSN-0065.
