011 vendor gate is the compiled tree

✓ Passing This code compiles and runs correctly.

Code

// Pins WHICH of the two recorded trees the build is checked against: the compiled
// one, never the copied one.
//
// The tree on disk here hashes to exactly `as-copied` — it is byte-for-byte what
// upstream sent. That is still a refusal, because the program is declared to
// build from the patched tree and someone has reverted it. A gate that accepted
// either side would let a build silently lose a patch it depends on.

import std/io
import std/vendor

std/vendor:bindings {
    koru/vaxis: ./vendored/vaxis
}

import koru/vaxis

koru/vaxis:greet(): v |> std/io:print.ln("{{ v:s }}")

input.k

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 ~greet click a branch to expand · @labels scroll to their anchor

greet

Imported Files

~pub tor greet {} -> string

~proc greet|zig {
    return "upstream vaxis";
}

vendored/vaxis/index.kz

Test Configuration

Expected Error:

drifted from its pin: changed `index.kz`

← 010 vendor patch survives sync 001 kjs extension import →