Repository navigation

T-Lens API - #679

Merged

briansrls merged 14 commits into

mainfrom

session/clever-owl-421

Apr 24, 2026

Merged

T-Lens API#679
briansrls merged 14 commits into
mainfrom
session/clever-owl-421

Commits on Apr 24, 2026
- WIP: T-Lens API
  briansrls
  committed
  485bb2c
- chore: apply cargo fmt
  briansrls
  committed
  417c14c
- WIP: T-Lens API
  briansrls
  committed
  2314f61
- WIP: T-Lens API
  briansrls
  committed
  d9e1040
- chore(v3): stage r1_gates after verification in build.rs only
  briansrls
  committed
  8ace8aa
- fix(v3): lens bootstrap via build.rs; gate test reads TestClaim fields
  briansrls
  committed
  bda40a5
- WIP: T-Lens API
  briansrls
  committed
  41fc194
- WIP: T-Lens API
  briansrls
  committed
  ce5f8e6
- WIP: T-Lens API
  briansrls
  committed
  7aeb5fb
- test(v3): derive user lens compile from TestClaim; ratchet vs on-disk
  briansrls
  committed
  1b02bc6
- fix(v3): refresh parse corpus manifest; SG-0 census for lens gate test
  briansrls
  committed
  68a0157
- docs(v3): document executable Compiles receipt for user lens gate test
  briansrls
  committed
  0f0f5da
- Merge remote-tracking branch 'origin/main' into session/clever-owl-421
  briansrls
  committed
  f2f79de
- Merge remote-tracking branch 'origin/main' into session/clever-owl-421
  briansrls
  committed
  39c7c74