PR #202 added resolution: func() -> u64 to the time interface in benches/gust/drivers/wit-os/gust-os.wit but did not update time-provider's impl Guest for P — an E0046 that broke cargo build for the time-provider crate and both the tl/ts-node dissolves. It shipped green because the PR's demonstrator drives the executor natively, not the dissolve path, so no gate exercised the provider build.
Ask: when a WIT interface changes, mechanically update (or fail CI on) every impl Guest of the touched interface. Options: a small check that greps each provider crate builds after a wit-os change, or wire the provider-dissolve probes (gust_os_tl_probe/gust_os_ts_probe) into a gate so the dissolve path is exercised on every PR. Fixed the immediate break in the syscall-seam PR.
PR #202 added
resolution: func() -> u64to thetimeinterface inbenches/gust/drivers/wit-os/gust-os.witbut did not updatetime-provider'simpl Guest for P— an E0046 that brokecargo buildfor the time-provider crate and both the tl/ts-node dissolves. It shipped green because the PR's demonstrator drives the executor natively, not the dissolve path, so no gate exercised the provider build.Ask: when a WIT interface changes, mechanically update (or fail CI on) every
impl Guestof the touched interface. Options: a small check that greps each provider crate builds after a wit-os change, or wire the provider-dissolve probes (gust_os_tl_probe/gust_os_ts_probe) into a gate so the dissolve path is exercised on every PR. Fixed the immediate break in the syscall-seam PR.