Repository navigation

v2: declaration-grade lowering of service declarations (gen-two census wall) - #12277

Merged

gunbai-bot[bot] merged 6 commits into

mainfrom

session/still-wolf-52

Sep 25, 2026

Commits on Sep 25, 2026
- v2: declaration-grade lowering of service declarations (interface onto existing connectives; realization and unmodeled interface members set aside, counted; full door refuses)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  5269897
- service lowering claims: supplied token streams + smaller fixtures (new-witness eval-step budget 72300)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d18aa2d
- Merge main: service lowering re-seated on MQ-4's typed BodyLowering (set-aside is a typed list; census grade admits, every other route refuses by construction, no reason scan)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  318ab07
- service lowering: a repeated operation name refuses located (body_lowering_reason_service_operation_repeated), not as an unlocated post-normalize well-formedness failure (the bmc/http.dag shape)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  e649114
- 03_normalize: drop the in-body annotation on the census service arm (the emitter admits module-item grain only; DESIGN 4c)
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  d94ca25
- Merge main (#12286 service config): config is realization, set aside; the config-only route claim refuses for its set-aside realization
  
  gunbc-ci-auto-heal
  and
  claude
  committed
  59688b3