009 vendor lock v1 still pins

✓ Passing This code compiles and runs correctly.

Code

// Pins that a version-1 lock — one manifest at the top of the entry, written
// before the copied/compiled split existed — still gates a build.
//
// A v1 entry loads as the COMPILED side only. It records what its author last
// accepted and says nothing about what upstream ever held, so `as-copied` stays
// absent rather than being backfilled from it, which would assert a zero-line
// patch nobody verified.

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

Actual

upstream vaxis

Expected output

upstream vaxis

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";
}

// MY PATCH

vendored/vaxis/index.kz

Test Configuration

MUST_RUN

← 008 vendor binding agrees with path 010 vendor patch survives sync →