Repository navigation

v2: a service operation call resolves to the operation's declaration path; no implicit prefix or parent scope (D13 b-pre) - #12961

Merged

gunbai-bot[bot] merged 38 commits into

mainfrom

session/sleek-boar-665-service-call-resolve

Oct 3, 2026

Commits on Oct 1, 2026

WIP service spine: dotted service names lower to a namespace-body spine; graft merges same-named marked bodies
gunbc-ci-auto-heal
committed
b6d5c07
WIP service spine: service lowering test reads operations at segment paths
gunbc-ci-auto-heal
committed
54fe611
WIP service spine: controls (distinct paths, marked-only merge, no scope)
gunbc-ci-auto-heal
committed
115c9ec
WIP service spine: retire the dotted-label frontier receipt
gunbc-ci-auto-heal
committed
136d18c
service spine: typed empty initial list in the namespace-body merge

gunbc-ci-auto-heal
and
claude
committed
20012c4
service spine: merge a found pair through a typed helper (the emitter could not type the matched edge)

gunbc-ci-auto-heal
and
claude
committed
8c5102c
Service operation calls resolve to the operation's declaration path; no implicit scope from a prefix or a parent module (D13 b-pre)

gunbc-ci-auto-heal
and
claude
committed
e222d1f
service spine: keep a marked namespace body as a module member (flatten dropped it as parse machinery); spine facts are warm-shared producers

gunbc-ci-auto-heal
and
claude
committed
bde4d83
service spine review 73940: namespace-body merge is one keyed pass (linear), not a quadratic scan-and-rebuild

gunbc-ci-auto-heal
and
claude
committed
6e8fc53
service spine: the repeated-name refusal reads its edge through a typed parameter (emitter: no field 'target' on T)

gunbc-ci-auto-heal
and
claude
committed
4cdda5d
Merge remote-tracking branch 'origin/main' into session/eager-heron-413-service-spine
gunbc-ci-auto-heal
committed
5495807
Merge remote-tracking branch 'origin/main' into session/sleek-boar-665-service-call-resolve
gunbc-ci-auto-heal
committed
903f7e6

Commits on Oct 2, 2026

service spine: the spine controls fill the index from the normalized tree's binding source

gunbc-ci-auto-heal
and
claude
committed
1eb2eda
Merge commit '1eb2edaf8' into session/sleek-boar-665-service-call-resolve
gunbc-ci-auto-heal
committed
ec96dca
service spine review 73974: member lists built by prepend-and-reverse (linear); stale repeated_name_edges citations updated

gunbc-ci-auto-heal
and
claude
committed
42f2e64
service call resolve: diagnostic probes splitting the positive by cause (import form resolves; absolute form resolves; reference carried)

gunbc-ci-auto-heal
and
claude
committed
7e71e60
service spine: prepend through a typed helper (emitter: List<Edge> vs FreeMonoid branch)

gunbc-ci-auto-heal
and
claude
committed
30c662d
service call resolve: probe controls (an ordinary absolute fn call, untyped and typed; a typed operation call)

gunbc-ci-auto-heal
and
claude
committed
bc0572e
service spine review 73998: delete the unconsumed member reader and the per-Edge reverse/prepend copies; the member step is written over FreeMonoid<Edge> and reversed with list_reverse; specimen on…

gunbc-ci-auto-heal
and
claude
committed
86b2457
carrier_alias_refuses_its_own_carriers_constructor: emitter if-branch specimen (gunbc#12949)

gunbc-ci-auto-heal
and
claude
committed
a02b90a
service call resolve: the harness takes reference_closure's proven shape (v2.std.logic, typed fns, full language model) plus a harness control; probes folded back

gunbc-ci-auto-heal
and
claude
committed
0f1734b
Merge remote-tracking branch 'origin/main' into session/eager-heron-413-service-spine
gunbc-ci-auto-heal
committed
048f0af
service call resolve: the importing form is a whole-module import (the corpus's form); empty-prelude model now that Bool comes from the fixture's logic module

gunbc-ci-auto-heal
and
claude
committed
4fa306f
Merge commit '048f0af4c' into session/sleek-boar-665-service-call-resolve
gunbc-ci-auto-heal
committed
5571dc5
Merge remote-tracking branch 'origin/main' into session/sleek-boar-665-service-call-resolve
gunbc-ci-auto-heal
committed
76b09b2
service lowering claims: each census fixture is one warm nullary producer read by its claims (floor new-witness budget)

gunbc-ci-auto-heal
and
claude
committed
0a01e01
service call resolve: the claims move to the resolve boundary (real resolve_node over an index symbol_index_fill builds from a spine-shaped root)

gunbc-ci-auto-heal
and
claude
committed
702d6d6
Merge commit '0a01e01016c' into session/sleek-boar-665-service-call-resolve
gunbc-ci-auto-heal
committed
865ab80
service lowering census count: one unmodeled interface member after PR2c-ii lowered the io default

gunbc-ci-auto-heal
and
claude
committed
8dbd877
Merge commit '8dbd877dafb' into session/sleek-boar-665-service-call-resolve
gunbc-ci-auto-heal
committed
abc56dc
service spine: a service namespace is a lookup boundary for the unqualified walk (side-chat P1, the nesting ban)

gunbc-ci-auto-heal
and
claude
committed
cf0db63
Merge commit 'cf0db63aa' into session/sleek-boar-665-service-call-resolve
gunbc-ci-auto-heal
committed
49873b5
Merge remote-tracking branch 'origin/main' into session/sleek-boar-665-service-call-resolve
gunbc-ci-auto-heal
committed
2643bbf
service call resolve: importing-module control through the real multi-root fill (s -> t.svc.s import row), paired with the same caller without the row

gunbc-ci-auto-heal
and
claude
committed
75d49b6
service call resolve: the importing control uses the qualified form (an import binds the module: svc -> t.svc, call svc.s.F.Run)

gunbc-ci-auto-heal
and
claude
committed
b713d34
service call resolve: drop the importing control (imports never bind a service bare); rename the bare-prefix REDs so they claim nothing about import gating

gunbc-ci-auto-heal
and
claude
committed
d8923dc
Merge remote-tracking branch 'origin/main' into session/sleek-boar-665-service-call-resolve
gunbc-ci-auto-heal
committed
e4bbde5
Merge origin/main into service call resolve (#12949 landed); the claims' hand root follows the EdgeLabel cut (Authored names, structural header edges)

gunbc-ci-auto-heal
and
claude
committed
2d2302e