Why
Inline claim highlighting in the editor (§9.3, §10). This is the concrete reason surf-core is kept I/O-free — it compiles to WASM and is reused by the editor without a reimplementation.
What
A VS Code (and/or JetBrains) extension that surfaces, per file, which spans are anchored and whether they're verified/diverged, backed by surf-core via WASM.
Why
Inline claim highlighting in the editor (§9.3, §10). This is the concrete reason
surf-coreis kept I/O-free — it compiles to WASM and is reused by the editor without a reimplementation.What
A VS Code (and/or JetBrains) extension that surfaces, per file, which spans are anchored and whether they're verified/diverged, backed by
surf-corevia WASM.