feat(codegen): accept ^x of C values as variadic arguments

2026-10-22T13:59:48Z

In a variadic EXTERN position, ^x now passes the address of x as a plain pointer when x has a C type or is a C struct, like C's f(n, &x). The address of a pseudocode-typed value keeps the "must be a C value" error. Co-Authored-By: Claude Opus 5.5

test(extern): cover C library calls and EXTERN diagnostics

2026-10-17T15:12:01Z

Co-Authored-By: Claude Opus 5.5

cie-pseudocode-compiler.git/tests/iii/extern-variadic-type/case.json, branch main

feat(codegen): accept ^x of C values as variadic arguments

test(extern): cover C library calls and EXTERN diagnostics