Repository navigation

XL-2 PR1: v2.std.template — one Template<H>; ArgvTemplate = Template<OperationInputName> - #12987

Merged

briansrls merged 4 commits into

mainfrom

session/eager-koi-296

Oct 2, 2026

Commits on Oct 2, 2026
- v2.std.template: one literal-or-hole Template<H>; ArgvTemplate = Template<String> (XL-2 PR1)
  
  Brian Searls
  and
  claude
  committed
  5271ccb
- operation_argv: one OperationInputName identity for bindings, refusal causes, declared-input rows and template holes
  
  Brian Searls
  and
  claude
  committed
  77e94fc
- host_occupancy: enumerate the two UnitActivity wildcard arms the diff-scoped NFR check reaches through operation_argv
  
  Brian Searls
  and
  claude
  committed
  0c6ef04
- operation_argv: state OperationInputName's mint points accurately (review 74147)
  
  Brian Searls
  and
  claude
  committed
  e0c4dec