Files
zip/oneclaim_test.go
zeekayandHanzo Dev 5f71d2496b The router is three nouns, and every one of them is concrete
App, Group, Operation. A group is a prefix and what holds under it, an operation
is one typed route declared there, and the verb methods are generic methods —
which Go 1.27 allows on a concrete type and still refuses on an interface. So In
and Out come from the handler and the caller writes no type arguments:

	users := app.Group("/v1/users")
	users.Post("/", api.Create)

	mint := users.Group("/mint").With(middleware.Mint(gate))
	mint.Post("/deposit", api.Deposit)

A Group is a CLOSED HANDLE: two unexported fields, and no method that hands back
the app, the parent or the fiber underneath. A subsystem given the group at its
own prefix cannot reach above it, so confinement is a property of the type
instead of a rule something has to police — which is what a host needs in order
to hand out a bounded surface and know what comes back.

That is bought by giving up the router interface, deliberately. Router and
OpTarget are gone, and with them the ability to implement a route table outside
this package: a decorator is no longer a router, a gate is middleware on a group,
and a bound is a path. The five package-level verb functions go the same way —
a registration is a method on the thing it registers into.

Raw carries what is not a typed operation: a stream, an upgrade, a probe, a
foreign subtree. It names its method, and it is the longer spelling because
opting out of the typed model is the exception and should read like one.



Co-authored-by: Hanzo Dev <[email protected]>
2026-09-17 01:39:17 -07:00

102 lines
3.8 KiB
Go

package zip
import (
"context"
"strings"
"testing"
)
// ONE ADDRESS, ONE REGISTRATION — and that registration both declares and answers.
//
// v1.24.2 shipped App.Shadow(), a scope whose registrations yielded their
// address so that an op could be DECLARED in one place and ANSWERED in another.
// It was removed in v1.24.3. The shape it accommodated is a braid: a
// declaration and the handler that satisfies it, written apart, held together
// by a framework verb. Unbraiding costs nothing, because a typed registration
// is ALREADY both halves — the handler the router installs and the op every
// projection reads — so the two can simply be the same line.
//
// These tests pin both directions: the braid is refused, the unbraided program
// is complete.
// braidedImpl answers the address.
func braidedImpl() *App {
a := quiet("impl")
a.Raw("POST", "/v1/o11y/roles", func(c *Ctx) error { return c.String(200, "runtime") })
return a
}
// braidedTable declares the same address somewhere else. Two claims.
func braidedTable() *App {
t := quiet("table")
t.Group("/v1/o11y").Post("/roles", func(_ context.Context, in *roleIn) (*roleOut, error) {
return &roleOut{ID: in.Name}, nil
}, WithOperationID("CreateRole"))
return t
}
// TestDeclaringApartFromTheHandlerIsRefused: there is no scope, no option and
// no verb that makes two registrations at one address legal. The check has one
// behaviour and cannot be talked out of it.
func TestDeclaringApartFromTheHandlerIsRefused(t *testing.T) {
host := quiet("host")
host.Use(braidedImpl())
host.Use(braidedTable())
err := host.Build()
if err == nil {
t.Fatal("a declaration registered apart from its handler was accepted — " +
"two claims at one address must stay a refused program")
}
// Both parties named, in the words the check has always used.
for _, want := range []string{"POST /v1/o11y/roles", "declared by", "impl", "table"} {
if !strings.Contains(err.Error(), want) {
t.Errorf("the refusal does not mention %q: %v", want, err)
}
}
}
// TestOneRegistrationDeclaresAndAnswers is the same intent, unbraided: the op
// reaches the document under the id its author wrote, AND it is what answers
// the address. Nothing to keep in sync, because there is only one thing.
func TestOneRegistrationDeclaresAndAnswers(t *testing.T) {
svc := quiet("o11y")
svc.Group("/v1/o11y").Post("/roles", func(_ context.Context, in *roleIn) (*roleOut, error) {
return &roleOut{ID: in.Name}, nil
}, WithOperationID("CreateRole"))
host := quiet("host")
host.Use(svc)
if err := host.Build(); err != nil {
t.Fatalf("build: %v", err)
}
reg := host.Registry()
if len(reg) != 1 {
t.Fatalf("%d ops, want 1", len(reg))
}
if reg[0].OperationID != "CreateRole" || reg[0].Path != "/v1/o11y/roles" {
t.Fatalf("op = %s at %s, want CreateRole at /v1/o11y/roles", reg[0].OperationID, reg[0].Path)
}
if status, body := postJSON(t, host, "/v1/o11y/roles", `{"name":"admin"}`); status != 200 || !strings.Contains(body, `"admin"`) {
t.Fatalf("POST /v1/o11y/roles: status=%d body=%q — the declaration must also be what answers", status, body)
}
}
// TestGroupIsTheOnlyScopeARegistrationNeeds: Use and Group between them place a
// definition's ops wherever a host wants them, and the address check still sees
// exactly one claim per address. This is the whole replacement for Shadow.
func TestGroupIsTheOnlyScopeARegistrationNeeds(t *testing.T) {
host := quiet("host")
host.Group("/v1").Use(service()) // service() declares CreateRole at /roles
host.Raw("GET", "/v1/health", func(c *Ctx) error { return c.String(200, "ok") })
if err := host.Build(); err != nil {
t.Fatalf("build: %v", err)
}
reg := host.Registry()
if len(reg) != 1 || reg[0].OperationID != "CreateRole" || reg[0].Path != "/v1/roles" {
t.Fatalf("registry = %+v, want CreateRole at /v1/roles", reg)
}
}