replace power assertion with inductive discipline

Name: replace power assertion with inductive discipline
Uploaded: May 29, 2026
Description: replace power assertion with inductive discipline