Function push_toggle_to_signal 

pub fn push_toggle_to_signal(
    store: ResMut<'_, PropertyStore>,
    q: Query<'_, '_, (&BindChecked, Ref<'_, Toggleable>), Changed<Toggleable>>,
)

Pushes Toggleable::checked back into the matching PropertyStore entry for every BindChecked entity with Changed<Toggleable>. Writes the canonical "true" / "false" string variant so the wave-D <if eq="true"> body comparator and Signals::get_bool callers keep recognising it. Spawn-tick rows (is_added()) are skipped: the freshly-inserted component carries the widget’s spawn default, not a user edit, and pushing it would clobber a script’s signal(name, default) initial publish (authored markup attrs seed the store separately, if-absent, at spawn).