Bind proofs to the target's model and measure the parse surface - #18

Merged

jserv merged 11 commits into

mainfrom

verify-profiles

Sep 2, 2026

Commits on Sep 2, 2026

Measure the parse surface instead of guessing
jserv
committed
96a19a2
Read a comma-separated prover argument as a list
jserv
committed
c24e412
Prove under the target's model, not this server's
jserv
committed
157dded
Count the tool surface instead of writing it down
jserv
committed
c2ccce6
Refuse a panicking macro
jserv
committed
75b6bf2
Format the test harness with cargo fmt
jserv
committed
ccea308
Name an extensionless header compiler cannot find
jserv
committed
4287dfa
Refuse profile that doesn't fit the loaded project
jserv
committed
ff71446
Bound parse probes per server, not per call
jserv
committed
161484e
Read an include directive however it is spaced
jserv
committed
b6f30c3
Refuse what is not the target's evidence
jserv
committed
d38d0a8