[pizlonator]

I’ve thought about how to let folks prove to Fil-C that Fil-C’s checks are obviated by some higher level checks.

It’s a super hard problem! I don’t have a good answer, but I also can’t prove that it’s impossible

[actionfromafar]

Something something compile Fil-C to WASM64?

[pizlonator]

I don’t see how that would help

[pjmlp]

I guess it is the imaginary security that WebAssembly advocates tend to sell, without telling the part that linear memory segments don't have bounds checking within their internals.