Commits

Branch selector

 main

User selector

All users

All time

Commit history

Commits on Jul 14, 2026

• Merge pull request #37 from pyrex41/stdlib/from-source-lib-stlib

  Show description for c58746e
  pyrex41

  authored
  c58746e

  Copy full SHA for c58746e

• stdlib: load the standard library from S-lineage lib/StLib sources

  Show description for 3e2bfcb
  

  Reuben Brooks

  and

  claude

  committed
  3e2bfcb

  Copy full SHA for 3e2bfcb

• Merge pull request #36 from pyrex41/kernel/tarver-s41-refresh-20260711

  Show description for ec38866
  pyrex41

  authored
  ec38866

  Copy full SHA for ec38866

• provenance: cite pyrex41/shen-s41.1 mirror as canonical source

  Show description for 915e183
  

  Reuben Brooks

  and

  claude

  committed
  915e183

  Copy full SHA for 915e183

• Update vendored kernel to Tarver's S41.2 (2026-07-11 refresh)

  Show description for 4ca5dff
  

  Reuben Brooks

  and

  claude

  committed
  4ca5dff

  Copy full SHA for 4ca5dff

Commits on Jul 6, 2026

• Merge pull request #35 from pyrex41/docs/pcr-showboat-demo

  Show description for 8f0cd05
  pyrex41

  authored
  8f0cd05

  Copy full SHA for 8f0cd05

• examples/pcr: add executable showboat demo

  Show description for 172cf0c
  

  Reuben Brooks

  and

  claude

  committed
  172cf0c

  Copy full SHA for 172cf0c

• Merge pull request #34 from pyrex41/docs/readme-example-parity

  Show description for bf7102e
  pyrex41

  authored
  bf7102e

  Copy full SHA for bf7102e

• docs: sync root README example table; pcr README precision

  Show description for 4a34240
  

  Reuben Brooks

  and

  claude

  committed
  4a34240

  Copy full SHA for 4a34240

• Merge pull request #33 from pyrex41/examples/proof-carrying-requests

  Show description for 4fafcd0
  pyrex41

  authored
  4fafcd0

  Copy full SHA for 4fafcd0

• examples: add strong-ideas.md; ignore built *.src.rock

  Show description for 0e3b2ea
  

  Reuben Brooks

  and

  claude

  committed
  0e3b2ea

  Copy full SHA for 0e3b2ea

• examples/pcr: address review findings A & B + header/test-seam hygiene

  Show description for 5eefbf8
  

  Reuben Brooks

  and

  claude

  committed
  5eefbf8

  Copy full SHA for 5eefbf8

• examples/pcr: address PR review — variable-injection + silent write failures

  Show description for 80f4e3c
  

  Reuben Brooks

  and

  claude

  committed
  80f4e3c

  Copy full SHA for 80f4e3c

• Merge origin/main (resolve .gitignore overlap)

  Show description for 57e4dfa
  

  Reuben Brooks

  committed
  57e4dfa

  Copy full SHA for 57e4dfa

• examples/pcr: dynamic facts + revocation (PCR-Live)

  Show description for 680a282
  

  Reuben Brooks

  and

  claude

  committed
  680a282

  Copy full SHA for 680a282

• examples: proof-carrying requests (pcr)

  Show description for 3f03114
  

  Reuben Brooks

  and

  claude

  committed
  3f03114

  Copy full SHA for 3f03114

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

  Show description for 9477a92
  

  Reuben Brooks

  and

  claude

  committed
  9477a92

  Copy full SHA for 9477a92

Commits on Jul 2, 2026

• Merge pull request #31 from pyrex41/claude/backpressure-authz-durable-0wu27q

  Show description for c340b64
  pyrex41

  authored
  c340b64

  Copy full SHA for c340b64

• Merge remote-tracking branch 'origin/main' into claude/backpressure-authz-durable-0wu27q

  Show description for 72f08d2
  claude

  committed
  72f08d2

  Copy full SHA for 72f08d2

• authz example: address review — no silent wipe, consistent witness, fail closed

  Show description for b12cb21
  claude

  committed
  b12cb21

  Copy full SHA for b12cb21

• authz example: make local identity the default, cosocket opt-in for opaque tokens

  Show description for 49258b6
  claude

  committed
  49258b6

  Copy full SHA for 49258b6

Commits on Jul 1, 2026

• Merge pull request #29 from pyrex41/claude/shen-lua-kernel-boot-y3s671

  Show description for 0a78832
  pyrex41

  authored
  0a78832

  Copy full SHA for 0a78832

• Merge pull request #30 from pyrex41/examples/typed-kernel-trio

  Show description for 17c1c6e
  pyrex41

  authored
  17c1c6e

  Copy full SHA for 17c1c6e

• typecheck_native: harden the deferred driver translation

  Show description for 6de1bbb
  

  Reuben Brooks

  and

  claude

  committed
  6de1bbb

  Copy full SHA for 6de1bbb

• examples: address GPT-5.5 review of the typed-kernel trio

  Show description for 80c5b53
  

  Reuben Brooks

  and

  claude

  committed
  80c5b53

  Copy full SHA for 80c5b53

• examples: add typed-kernel trio (configc, policy, crdt)

  Show description for 4673bad
  

  Reuben Brooks

  and

  claude

  committed
  4673bad

  Copy full SHA for 4673bad

• authz example: resolve identity over a cosocket (ngx.socket.tcp), tested

  Show description for 8774275
  claude

  committed
  8774275

  Copy full SHA for 8774275

• authz example: test the lua-resty-lmdb adapter in-process, assert backend parity

  Show description for ad590c4
  claude

  committed
  ad590c4

  Copy full SHA for ad590c4

• Add durable multi-tenant authz example (Prolog proof chain + event-sourced store)

  Show description for a82b1d3
  claude

  committed
  a82b1d3

  Copy full SHA for a82b1d3

• Native `hash` to halve initialise (and speed all dict ops)

  Show description for ce0a934
  claude

  committed
  ce0a934

  Copy full SHA for ce0a934

• Defer typecheck driver translation to first typecheck (halve warm boot)

  Show description for 122e1f6
  claude

  committed
  122e1f6

  Copy full SHA for 122e1f6

Commits on Jun 29, 2026

• Merge pull request #28 from pyrex41/claude/shen-openresty-app-i1v5ao

  Show description for 904c75f
  pyrex41

  authored
  904c75f

  Copy full SHA for 904c75f

• openresty example: share one rules.shen across server and browser, shaken for fast client load

  Show description for 59b76b6
  

  Reuben Brooks

  and

  claude

  committed
  59b76b6

  Copy full SHA for 59b76b6

• Add OpenResty web app example (Shen backend, typed validation)

  Show description for 6c24400
  claude

  committed
  6c24400

  Copy full SHA for 6c24400

Commits on Jun 15, 2026

• Merge pull request #26 from pyrex41/fix/hush-file-write

  Show description for 38b1c8a
  pyrex41

  authored
  38b1c8a

  Copy full SHA for 38b1c8a