Repository navigation

[codex] close function-valued data gap - #2692

Merged

briansrls merged 39 commits into

mainfrom

session/royal-lark-749

May 11, 2026

Merged

[codex] close function-valued data gap#2692
briansrls merged 39 commits into
mainfrom
session/royal-lark-749

Commits on May 11, 2026
- close function-valued data gap
  briansrls
  committed
  7f465c6
- avoid orphan lambda declarations for function data
  briansrls
  committed
  f9d9592
- register function data test in sg0 census
  briansrls
  committed
  b905d8d
- rerun ci after sg0 body receipt
  briansrls
  committed
  a0eb16a
- fix sg0 ci body gate
  briansrls
  committed
  bddb606
- cite r3 authority in p5 receipt
  briansrls
  committed
  628dd05
- fail closed recursive data lambdas
  briansrls
  committed
  cc60621
- WIP: substrate_gap_function_valued_data_closed
  briansrls
  committed
  c4156e7
- WIP: substrate_gap_function_valued_data_closed
  briansrls
  committed
  53fb9b2
- format data lambda cycle gate
  briansrls
  committed
  15c0f35
- avoid diagnostic text assertions
  briansrls
  committed
  8bd6bfa
- tighten function data receipts
  briansrls
  committed
  3a1b073
- Merge remote-tracking branch 'origin/main' into session/royal-lark-749
  briansrls
  committed
  a8d7136
- WIP: substrate_gap_function_valued_data_closed
  briansrls
  committed
  1f505eb
- poison rejected data lambdas
  briansrls
  committed
  46a5f4f
- poison malformed data lambdas
  briansrls
  committed
  a5457b8
- preserve rejected data lambda arity
  briansrls
  committed
  ad53720
- Merge remote-tracking branch 'origin/main' into session/royal-lark-749
  briansrls
  committed
  42cac47
- WIP: substrate_gap_function_valued_data_closed
  briansrls
  committed
  9ab890b
- assert data lambda cycle poison shape
  briansrls
  committed
  f7af6d9
- Merge remote-tracking branch 'origin/main' into session/royal-lark-749
  briansrls
  committed
  117f8e8
- split data lambda cycle scan
  briansrls
  committed
  fd2ec49
- Merge remote-tracking branch 'origin/main' into session/royal-lark-749
  briansrls
  committed
  c357b2f
- WIP: substrate_gap_function_valued_data_closed
  briansrls
  committed
  791dd2f
- WIP: substrate_gap_function_valued_data_closed
  briansrls
  committed
  6fad8ef
- WIP: substrate_gap_function_valued_data_closed
  briansrls
  committed
  aaa9a0d
- WIP: substrate_gap_function_valued_data_closed
  briansrls
  committed
  0033079
- WIP: substrate_gap_function_valued_data_closed
  briansrls
  committed
  f52c1d5
- Merge remote-tracking branch 'origin/main' into session/royal-lark-749
  briansrls
  committed
  36be013
- reuse data lambda type annotation
  briansrls
  committed
  abf0a62
- Keep v3 CI full-suite heartbeat alive
  briansrls
  committed
  09f4140
- WIP: substrate_gap_function_valued_data_closed
  briansrls
  committed
  27a1e3c
- WIP: substrate_gap_function_valued_data_closed
  briansrls
  committed
  ae1a654
- Reduce data lowering argument count
  briansrls
  committed
  b0f56bf
- Merge remote-tracking branch 'origin/main' into session/royal-lark-749
  briansrls
  committed
  10f832e
- Merge remote-tracking branch 'origin/main' into session/royal-lark-749
  briansrls
  committed
  bf9c097
- Merge remote-tracking branch 'origin/main' into session/royal-lark-749
  briansrls
  committed
  34bd347
- Respect data lambda parameter shadowing
  briansrls
  committed
  5f2a8f7
- Merge remote-tracking branch 'origin/main' into session/royal-lark-749
  briansrls
  committed
  30b4a4f

Commits

Commits on May 11, 2026