shen.typecheck triple-read fix + proof-carrying requests example#33

Merged

pyrex41 merged 7 commits into

mainfrom

examples/proof-carrying-requests

Jul 6, 2026

Commits on Jul 6, 2026

shen.typecheck: read the judgment as one 'EXPR : TYPE' triple

Reuben Brooks
and
claude
committed
examples: proof-carrying requests (pcr)

Reuben Brooks
and
claude
committed
examples/pcr: dynamic facts + revocation (PCR-Live)

Reuben Brooks
and
claude
committed
Merge origin/main (resolve .gitignore overlap)
Reuben Brooks
committed
examples/pcr: address PR review — variable-injection + silent write failures

Reuben Brooks
and
claude
committed
examples/pcr: address review findings A & B + header/test-seam hygiene

Reuben Brooks
and
claude
committed
examples: add strong-ideas.md; ignore built *.src.rock

Reuben Brooks
and
claude
committed