✓
Passing This code compiles and runs correctly.
Code
// Pins the refusal: a vendored tree whose contents no longer match `vendor.lock`
// does not compile, and the diagnostic names the FILE that drifted — not just
// the binding, and not just a hash mismatch.
//
// The lock here records a hash for `main.zig` that the file on disk does not
// have. That is the shape of a supply-chain swap: the source moved under a
// dependency the program already trusts.
~import std/vendor
~std/vendor:bindings {
koru/vaxis: ./vendored/vaxis
}
~tor main {}
~proc main|zig {
}
~main()
Must fail at runtime:
Program must error when executed.
Flows
flow ~bindings click a branch to expand · @labels scroll to their anchor
bindings (source: koru/vaxis: ./vendored/vaxis)
flow ~main click a branch to expand · @labels scroll to their anchor
main
Test Configuration
Expected Error:
drifted from its pin: changed `main.zig`