carlos / platform Public

docs: fleets create flag order; seed header matches placement reality

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>

Paul Campbell 2 months ago 83841dd91ff35f1a99c12a89f1305371e7ef2a50 parent 357d965

2 files changed, +7 −8

diff --git a/infra/dev/region-pi.md b/infra/dev/region-pi.md

index e33d00c83..be74ce399 100644

--- a/infra/dev/region-pi.md

+++ b/infra/dev/region-pi.md

@@ -26,11 +26,11 @@ Follow infra/remote-host.md with these dev-platform values:

CARLOS_TUNNEL_NAME=pi/pi-box

`CARLOS_FLEET_BOX` is optional and defaults from `CARLOS_TUNNEL_NAME`'s

label half.

-- Fleet registration: `carlos fleets create pi -bucket pi-fleet-640012953448`

- (idempotent on the console) and `carlos fleets add-box pi pi-box` mint the

- fleet and box token (token shown once; rotation is NOT revocation — a

- compromised box needs detach). The dev edge picks up channels within ~2s,

- no restart required.

+- Fleet registration: `carlos fleets create -bucket pi-fleet-640012953448 pi`

+ (a repeat answers 409 "that name is taken", safe but visibly errors) and

+ `carlos fleets add-box pi pi-box` mint the fleet and box token (token shown

+ once; rotation is NOT revocation — a compromised box needs detach). The dev

+ edge picks up channels within ~2s, no restart required.

- No live fallback: no other host gets IAM on the pi bucket. A dark Pi

shows UNREACHABLE in the fleet view and `carlos status -live`; instances

resume when it re-dials. This is the approved demo posture.

diff --git a/scripts/seed-pi-demo.sh b/scripts/seed-pi-demo.sh

index 47d1e12cb..f1374bcec 100755

--- a/scripts/seed-pi-demo.sh

+++ b/scripts/seed-pi-demo.sh

@@ -1,8 +1,7 @@

#!/usr/bin/env bash

# Seed the Pi demo fleet on the dev platform: N resident + M parked demo

-# instances, all resident in region "pi" (the Pi's own data bucket — no

-# placement machinery, residency IS placement), edge routes backed by the

-# Pi's reverse channel.

+# instances, all fleet-placed at create (-place fleet/pi). The fleet's boxes

+# are the only activators on its bucket, so placement IS residency, per-fleet.

# The console API's app-create limiter is 10/address/day, so run this in

# daily batches: seed-pi-demo.sh <start-index> <count>. State is the dev