Repository navigation

apply_lens_self_application_demonstrated - #2827

Merged

briansrls merged 76 commits into

mainfrom

session/bright-raven-420

May 13, 2026

Commits on May 13, 2026
- feat(v3): gate #58 apply_lens_self_application_demonstrated
  briansrls
  committed
  db5d11c
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  0593d34
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  d7b9f78
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  c9c019e
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  8c0b274
- test(v3): prove gate #58 timing EnforcedApplication runs
  
  briansrls
  and
  cursoragent
  committed
  e692582
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  b24d30c
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  252a5a8
- ci(sg0): fix PR #2827 hand-path delta to match census
  briansrls
  committed
  cf95b1f
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  34acb6a
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  fe980ef
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  54fa0a3
- chore(v3): rustfmt enforced_lens_application imports
  briansrls
  committed
  9c77a4a
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  949bf22
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  bf4b936
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  d0dd45f
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  a4a867e
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  12fcb72
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  ab9622d
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  0664206
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  9e3bc07
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  06e0825
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  bc672ff
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  ab8df5c
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  aec3f78
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  889005e
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  a928a7e
- refactor(v3): generalize std staging load-order edges in build.rs
  
  briansrls
  and
  cursoragent
  committed
  be1063d
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  ebdd9c6
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  94d15e2
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  3e144cc
- test(v3): assert gate #58 timing receipt structurally, not prose
  
  briansrls
  and
  cursoragent
  committed
  446a22a
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  1c2971c
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  afc0f6c
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  e0845b7
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  ba8bdc0
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  fc0b4b4
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  d2fe6eb
- fix(ci): make PR #2827 P5 append one receipt per INVARIANTS (b)
  
  briansrls
  and
  cursoragent
  committed
  e06a285
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  0c13138
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  1adec6b
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  2bff73a
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  d2f703d
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  3d0890e
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  bcfdbbc
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  c171def
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  251aeb9
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  36b8bb3
- docs: sync gate #58 P5 receipts with import-derived std staging
  
  briansrls
  and
  cursoragent
  committed
  e0b5b33
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  64dcef1
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  0551495
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  b5dd99b
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  07a4073
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  7252ea5
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  908031a
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  3447dca
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  8abedf9
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  53abe8a
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  f5a3426
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  0f11bc2
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  2019baa
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  e0d1206
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  4f03252
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  b5ed8fb
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  ab706f5
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  9ef1e0f
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  378b2d2
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  6d6dc7e
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  96a0029
- docs(std): Practice-4 traffic light for TimingEnforcementProjected; clarify gate #58 receipt vs Workflow thesis
  
  briansrls
  and
  cursoragent
  committed
  3caa3de
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  f850957
- docs(INVARIANTS): gate #58 SG-0 row names 3-param EnforcedApplication carrier
  
  briansrls
  and
  cursoragent
  committed
  dda35d8
- Merge remote-tracking branch 'origin/main' into session/bright-raven-420
  briansrls
  committed
  cd2e8fb
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  e4a05e7
- WIP: apply_lens_self_application_demonstrated
  briansrls
  committed
  d78a710
- docs(v3-compiler): gate #58 rustdoc names 3-param EnforcedApplication carrier
  
  briansrls
  and
  cursoragent
  committed
  14ce880

Commits

Commits on May 13, 2026