[philipswood]

> When x is C source, a specific input always results in the same binary artifact being generated.

Umm. Nope: see GCC flags.

In general, reproducible builds are possible, but takes significantly more effort.

[lelanthran]

> > When x is C source, a specific input always results in the same binary artifact being generated.

> Umm. Nope: see GCC flags.

The flags are part of the input, so `f(x) -> y`. You don't get `f(x) -> P(y)`.

You do know the difference between `y` and `P(y)`, right?