Repository navigation

T6 skeleton: real Arrow.body → translated TS emit (value-expression vetting consumer #4623) - #4627

Merged

briansrls merged 90 commits into

mainfrom

session/lively-badger-242

Jun 11, 2026

Merged

T6 skeleton: real Arrow.body → translated TS emit (value-expression vetting consumer #4623)#4627
briansrls merged 90 commits into
mainfrom
session/lively-badger-242

Commits on Jun 10, 2026
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  f0a3e54
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  b99a2c1
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  07a34d6
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  512f654
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  7d0cd9a
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  2a7dbdc
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  111f8f8
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  b4f879b
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  d64e847
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  3f05bef
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  98cbd18
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  2755b19
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  e64751a
- fix: bump glob_discovered_smoke_marker_count for comprep bodied emit claim
  
  Brian Searls
  and
  cursoragent
  committed
  4923d23
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  d0af774
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  279707c
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  f659a2b
- fix: merge main and bump glob marker count to 82 for CI substrate gate
  
  Brian Searls
  and
  cursoragent
  committed
  3b8fc6e
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  002af54
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  fddad66
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  825b265
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  bad9e6d
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  b596ea3
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  f7e39bd
- fix: bodied-arrow translate E-9 fallback and minus-catalog comprep lex
  
  Brian Searls
  and
  cursoragent
  committed
  4d9b643
- fix: narrow comprep emit claim to E-10 emit-source consumer
  
  Brian Searls
  and
  cursoragent
  committed
  d3154e9
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  b119611
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  81cb7d6
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  c1b53c8
- fix: E-9 body-scope atom carrier in translate_mvp1 coercion fallback
  
  Brian Searls
  and
  cursoragent
  committed
  a0b8d09
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  0fda8dd
- fix: wire CanonicalOperation algebra_field witness end-to-end
  
  Brian Searls
  and
  cursoragent
  committed
  48dd0f3
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  a28b6d5
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  8e9e55b
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  26fa379
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  f16e9fb
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  48e048d
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  801f2fd
- fix: fail-closed value-expr wire decode and comprep emit diagnostics
  
  Brian Searls
  and
  cursoragent
  committed
  c3ec8a3
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  2eee0be
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  0e09967
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  7acf585
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  c47083f
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  688d671
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  0b415b2
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  4f7f778
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  7d7c6cd
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  5e494d9
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  6660e9c
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  a2303e4
- fix: land operator catalog lookup in value_expression (unblocks compile)
  
  Brian Searls
  and
  cursoragent
  committed
  85fa1e9
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  5b08166
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  71f1050
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  de14f33
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  fd90931
- fix: Atom-rooted wire decoders for operator shape and binding refs
  
  Brian Searls
  and
  cursoragent
  committed
  0025133
- fix: tag E-9 structural-carry fallback when grounding witness is ungrounded
  
  Brian Searls
  and
  cursoragent
  committed
  e0c556e
- Merge remote-tracking branch 'origin/main' into session/lively-badger-242
  Brian Searls
  committed
  79bf0f9
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  871cf3b
- Merge remote-tracking branch 'origin/main' into session/lively-badger-242
  
  Brian Searls
  and
  cursoragent
  committed
  87352eb
- fix(ci): use release profile for parity lib-test compile guard
  
  Brian Searls
  and
  cursoragent
  committed
  dbdb762
Commits on Jun 11, 2026
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  dbb45ed
- fix: resolve glob_discovery merge conflict markers (pin → 90)
  
  Brian Searls
  and
  cursoragent
  committed
  cc3616c
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  18de443
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  55ad855
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  35aa219
- fix: land T6 value-expression substrate fold for emit tokens
  
  Brian Searls
  and
  cursoragent
  committed
  bb376f9
- merge main into session/lively-badger-242 for #4627
  
  Brian Searls
  and
  cursoragent
  committed
  611764c
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  7e033fd
- fix(#4627): route wave1 slot validation through declared inhabitants; carve translate
  
  Brian Searls
  and
  cursoragent
  committed
  eec8045
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  7669d59
- fix(#4627): dedupe wave-1 signature authority; drop bodied-scaffold decode dead code
  
  Brian Searls
  and
  cursoragent
  committed
  d976bb4
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  8fcc772
- fix(#4627): dissolve :215 via arrow_domain_named_param_bindings membership
  
  Brian Searls
  and
  cursoragent
  committed
  b540bea
- WIP: RUNTIME commits on #4627 (session/lively-badger-242 @ d976bb43): body_pr
  Brian Searls
  committed
  7cfd87b
- fix(#4627): Practice-10 disposition on predicate consumers; Outcome bind path
  
  Brian Searls
  and
  cursoragent
  committed
  dbc8285
- fix(#4627): dissolve eval_wave1_argument_binding_key via arrow_domain_named_param_bindings
  
  Brian Searls
  and
  claude
  committed
  fe7dd88
- Merge origin/session/lively-badger-242 into warm-moth-eval-dissolution
  Brian Searls
  committed
  2f980af
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  8b9d295
- fix(#4627): dissolve indexed-list walker via list_at_optional
  
  Brian Searls
  and
  cursoragent
  committed
  397b389
- Merge remote-tracking branch 'origin/main' into session/lively-badger-242
  Brian Searls
  committed
  7437c37
- fix(target_model): dissolve operator catalog lookup via PassingCandidateFold
  
  Brian Searls
  and
  cursoragent
  committed
  8bfa1bb
- fix(target_model): witness operator-catalog fail-open skip semantics
  
  Brian Searls
  and
  cursoragent
  committed
  2e7b0b0
- merge: rebase session/lively-badger-242 on main (unified substrate)
  
  Brian Searls
  and
  cursoragent
  committed
  c015291
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  3d6ba8b
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  70ed97e
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  c1ac6ae
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  00f8851
- WIP: T6 SKELETON-IMPLEMENTER: real Arrow.body -> translated TS -> Node -> add
  Brian Searls
  committed
  f135e3f
- Merge remote-tracking branch 'origin/main' into session/lively-badger-242
  Brian Searls
  committed
  005f699

Commits

Commits on Jun 10, 2026

Commits on Jun 11, 2026