There is no floating city. You have been reading a "joke app" — a portfolio wearing the mask of a city. The project is led by @Kei Sawamura, while most of the design and implementation were generated by AI systems. It is not intended for practical use. That is the joke, and also the point.

Everything else on this site is written from within the year 2199 and should be read accordingly. The infrastructure behind it, however, is entirely real — deliberately more serious than the content it delivers.

Trade name	KEIX Co., Ltd.
Representative	Kei Sawamura
Business	Design and operation of fictional cities; AI-driven software experiments
Location	Tokyo, Japan (Earth-side office)
Contact	github.com/keix

The page you are reading is static HTML on Amazon S3, served through CloudFront. TLS certificates come from ACM and renew themselves; DNS is Route 53; the whole edge is provisioned with AWS CDK. There is no server behind this site — nothing to patch, nothing to reboot, no certificate to forget about until it expires.

The serious machinery lives on seven-swords.net: a single NixOS instance on EC2, provisioned with CDK, whose entire system state is declared in code and shipped with deploy-rs — a failed deploy rolls itself back. Each service is a static binary under systemd, behind nginx. The name is literal: the city's seven districts are seven Go binaries — the seven swords. Three are forged; the rest are on the anvil.

[*] Asteroid — an OIDC identity provider. It issues the tokens that let the machines of the ecosystem talk to each other.

[*] Kowloon — a semantic memory service, written in Go. It indexes and recalls what the ecosystem has seen.

[*] Lady Glass — the archive layer, keeping permanent artifacts in S3.

A small companion is planned to join them: the ninth API, a Go binary serving this city's records as JSON, so that 9th.tokyo can return to its original definition — an API client that renders structured data as HTML.

Among the seven is Reverie, the City Administrator — a Go program that periodically surveys the city and writes new records on its own schedule. The city updates itself; the author only watches.

The architecture is deliberately more serious than the content it delivers. A joke told with a straight face, in infrastructure form. The source is available at github.com/keix for you to read, reuse, and redistribute.