Skip to content

Process gap: a WIT interface change must update every Guest impl of that interface (a dissolve-path build break shipped silently in #202) #214

Description

@avrabe

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.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions