Philippe Loulidi 6bbc1fbd7a Adopt LLP: design docs in llp/, @ref annotations, ref-check in CI (#38) ...

Retrofit of https://github.com/ccheever/llp. Ten LLP docs capture the
design rationale (trust model, engine pipeline, runtimes, config,
verification, sources/reporters, CLI, templates); 161 @ref comments link
code to the sections that explain it. ref-check (copied from upstream,
dependency-free) validates refs and metadata on every push and PR.
Every rationale claim is tagged [observed] with its evidence.

2026-07-31 01:20:51 -06:00

..

consistency.md

Adopt LLP: design docs in llp/, @ref annotations, ref-check in CI (#38)

2026-07-31 01:20:51 -06:00

correctness.md

Adopt LLP: design docs in llp/, @ref annotations, ref-check in CI (#38)

2026-07-31 01:20:51 -06:00

security.md

Adopt LLP: design docs in llp/, @ref annotations, ref-check in CI (#38)

2026-07-31 01:20:51 -06:00