docs(rfc): propose runtime evidence, and what a verifier may conclude without it - #277

Merged

imran-siddique merged 6 commits into

mainfrom

rfc/runtime-evidence-v03

Sep 9, 2026

Commits on Sep 3, 2026

docs(rfc): propose runtime evidence, and what a verifier may conclude without it

imran-siddique
and
claude
committed
3122360
fix(rfc): grade the model claim by recomputing, never by reading `binds`

imran-siddique
and
claude
committed
efad21c
test(rfc): register the runtime-evidence set, and measure what CI honestly can

imran-siddique
and
claude
committed
dddcc70
fix(rfc): grade an unimplemented format as unattested, and vector it

imran-siddique
and
claude
committed
d0fdf88

Commits on Sep 8, 2026

fix(rfc): close runtime evidence review boundaries
lywinged
committed
8f07a02
fix(rfc): test collateral rules and limit model claims
lywinged
committed
4272703