carlos / platform Public

Instance key provision (region HA L21): the platform mints CARLOS_INSTANCE_KEY create-only and durably into <host>.env on every launch path once configuration is delivered, gates every replica launch on its home's verified key, adds the writer-bound adoption verb (unmounted until O6/O7) and a legacy-box startup backfill, and carries the key byte for byte through re-render and moves. Rastrillo's carlos.InstanceKey consumes it. Effectively dormant until apps adopt the helper; rollout has pre-roll checks.

Squashed from instance-key-build into main.

Paul Campbell pushed by claude 1 week ago 43da77c2f4f1ad73147eeea9e4b093f047d90fd5 parent 5da1cc9

60 files changed, +11026 −625

docs/superpowers/plans/2026-10-10-instance-key-provision.md +4354 −521
docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-BRIEF-2.md +29 −0
docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-BRIEF-3.md +27 −0
docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-BRIEF-4.md +13 −0
docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-BRIEF-5.md +23 −0
docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-BRIEF-6.md +14 −0
docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-BRIEF-7.md +16 −0
docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R1.md +56 −0
docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R2.md +52 −0
docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R3.md +42 −0
docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R4.md +33 −0
docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R5.md +36 −0
docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R6.md +35 −0
docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R7.md +37 −0
docs/superpowers/plans/CODEX-REVIEW-INSTANCE-KEY-BUILD-BRIEF.md +21 −0
docs/superpowers/plans/CODEX-REVIEW-INSTANCE-KEY-BUILD.md +32 −0
docs/superpowers/plans/INSTANCE-KEY-PLAN-REPORT-R2.md +51 −0
docs/superpowers/plans/INSTANCE-KEY-PLAN-REPORT-R3.md +136 −0
internal/activator/admintoken.go +21 −14
internal/activator/backend_exec.go +93 −6
internal/activator/backend_exec_test.go +32 −0
internal/activator/claim_instancekey_test.go +157 −0
internal/activator/claim_snapshot.go +116 −25
internal/activator/claimretry_instancekey_linux_test.go +71 −0
internal/activator/instancekey.go +591 −0
internal/activator/instancekey_delivery_test.go +361 −0
internal/activator/instancekey_linux_test.go +162 −0
internal/activator/instancekey_test.go +1004 −0
internal/activator/keyadoption.go +175 −0
internal/activator/keyadoption_linux_test.go +49 −0
internal/activator/keyadoption_test.go +157 −0
internal/activator/ownenv_other.go +33 −0
internal/activator/ownenv_unix.go +47 −0
internal/activator/prepare.go +18 −1
internal/activator/replica_instancekey_linux_test.go +217 −0
internal/activator/replica_instancekey_test.go +461 −0
internal/activator/replicakey.go +140 −0
internal/activator/replicakey_race_test.go +94 −0
internal/appconfig/instancekey.go +34 −0
internal/appconfig/instancekey_test.go +42 −0
internal/appconfig/syncexec_instancekey_test.go +63 −0
internal/host/agent.go +33 −27
internal/host/claim_instancekey_test.go +180 −0
internal/host/claim_replica_instancekey_test.go +186 −0
internal/host/claimmoveaccess.go +3 −2
internal/host/claimowners.go +13 −0
internal/host/claimproduction.go +54 −25
internal/host/configguard.go +11 −4
internal/host/instancekey_adoption_test.go +103 −0
internal/host/instancekeys.go +107 −0
internal/host/instancekeys_test.go +163 −0
internal/host/layoutleg.go +43 −0
internal/host/replicahomekeys.go +131 −0
internal/host/replicahomekeys_test.go +187 −0
internal/hostfiles/relay.go +99 −0
internal/hostfiles/relay_test.go +112 −0
internal/instancekey/instancekey.go +241 −0
internal/instancekey/instancekey_test.go +153 −0
internal/moves/archive/instancekey_test.go +30 −0
internal/moves/envreport_instancekey_test.go +32 −0

CI passed — run details

CI log

=== gate ===
cd launchctx && go vet ./... && go test ./... -count=1
ok  	amadan.net/carlos/platform.git/launchctx	0.012s
?   	amadan.net/carlos/platform.git/launchctx/controlname	[no test files]
?   	amadan.net/carlos/platform.git/launchctx/wireid	[no test files]
go vet ./...
gofmt -l .: clean
go test ./... -count=1 -timeout 30m
ok  	github.com/carlosframework/platform	372.506s
?   	github.com/carlosframework/platform/cmd/changelog	[no test files]
ok  	github.com/carlosframework/platform/cmd/console	3.377s
ok  	github.com/carlosframework/platform/internal/activator	206.337s
ok  	github.com/carlosframework/platform/internal/agentsock	0.020s
ok  	github.com/carlosframework/platform/internal/alerting	0.005s
ok  	github.com/carlosframework/platform/internal/analytics	0.019s
ok  	github.com/carlosframework/platform/internal/appconfig	2.331s
ok  	github.com/carlosframework/platform/internal/apperr	0.074s
ok  	github.com/carlosframework/platform/internal/applog	0.136s
ok  	github.com/carlosframework/platform/internal/awsinv	0.004s
ok  	github.com/carlosframework/platform/internal/boxchoice	0.004s
ok  	github.com/carlosframework/platform/internal/boxid	0.477s
?   	github.com/carlosframework/platform/internal/boxid/boxidtest	[no test files]
?   	github.com/carlosframework/platform/internal/boxid/internal/signtest	[no test files]
ok  	github.com/carlosframework/platform/internal/boxvolumes	0.008s
ok  	github.com/carlosframework/platform/internal/caps	0.012s
ok  	github.com/carlosframework/platform/internal/certwarm	0.002s
ok  	github.com/carlosframework/platform/internal/cgroup	0.192s
ok  	github.com/carlosframework/platform/internal/changelog	0.273s
ok  	github.com/carlosframework/platform/internal/clamd	0.054s
?   	github.com/carlosframework/platform/internal/cliflag	[no test files]
ok  	github.com/carlosframework/platform/internal/console	339.725s
?   	github.com/carlosframework/platform/internal/controlname	[no test files]
?   	github.com/carlosframework/platform/internal/controlsock	[no test files]
ok  	github.com/carlosframework/platform/internal/dbdoor	6.298s
ok  	github.com/carlosframework/platform/internal/dbdoor/dbdoortest	0.015s
ok  	github.com/carlosframework/platform/internal/dbverify	0.014s
ok  	github.com/carlosframework/platform/internal/dnsrec	0.015s
ok  	github.com/carlosframework/platform/internal/docsite	0.014s
ok  	github.com/carlosframework/platform/internal/domains	2.041s
ok  	github.com/carlosframework/platform/internal/doorkey	0.015s
ok  	github.com/carlosframework/platform/internal/economics	0.014s
ok  	github.com/carlosframework/platform/internal/edge	26.079s
?   	github.com/carlosframework/platform/internal/edgeproof	[no test files]
ok  	github.com/carlosframework/platform/internal/edgesfile	0.014s
ok  	github.com/carlosframework/platform/internal/fleetapi	0.134s
ok  	github.com/carlosframework/platform/internal/gate	1.655s
ok  	github.com/carlosframework/platform/internal/genselect	0.016s
ok  	github.com/carlosframework/platform/internal/geo	0.019s
ok  	github.com/carlosframework/platform/internal/geoip	0.032s
ok  	github.com/carlosframework/platform/internal/host	46.998s
ok  	github.com/carlosframework/platform/internal/hostactors	0.334s
ok  	github.com/carlosframework/platform/internal/hostbox	1.412s
ok  	github.com/carlosframework/platform/internal/hostclaim	0.237s
ok  	github.com/carlosframework/platform/internal/hostevidence	0.020s
ok  	github.com/carlosframework/platform/internal/hostexec	0.325s
ok  	github.com/carlosframework/platform/internal/hostfence	0.044s
ok  	github.com/carlosframework/platform/internal/hostfiles	4.151s
ok  	github.com/carlosframework/platform/internal/hostfloor	0.032s
ok  	github.com/carlosframework/platform/internal/hostguard	0.154s
ok  	github.com/carlosframework/platform/internal/hostops	1.295s
ok  	github.com/carlosframework/platform/internal/hostquarantine	0.002s
ok  	github.com/carlosframework/platform/internal/hostresolve	0.131s
ok  	github.com/carlosframework/platform/internal/hostwrite	0.002s
ok  	github.com/carlosframework/platform/internal/infraview	0.002s
ok  	github.com/carlosframework/platform/internal/instancectl	1.703s
ok  	github.com/carlosframework/platform/internal/instanceexec	2.697s
ok  	github.com/carlosframework/platform/internal/instancefs	0.005s
ok  	github.com/carlosframework/platform/internal/instancekey	0.005s
ok  	github.com/carlosframework/platform/internal/instanceupdates	0.007s
ok  	github.com/carlosframework/platform/internal/layout	1.390s
ok  	github.com/carlosframework/platform/internal/lease	9.454s
ok  	github.com/carlosframework/platform/internal/lease/leasetest	0.008s
ok  	github.com/carlosframework/platform/internal/ledger	0.011s
ok  	github.com/carlosframework/platform/internal/mail	0.177s
ok  	github.com/carlosframework/platform/internal/maintenance	0.090s
ok  	github.com/carlosframework/platform/internal/maintenanceexec	5.538s
ok  	github.com/carlosframework/platform/internal/maintenanceguard	0.080s
ok  	github.com/carlosframework/platform/internal/metrics	0.005s
ok  	github.com/carlosframework/platform/internal/moves	21.272s
ok  	github.com/carlosframework/platform/internal/moves/archive	0.758s
ok  	github.com/carlosframework/platform/internal/objstore	0.187s
ok  	github.com/carlosframework/platform/internal/ops	0.156s
ok  	github.com/carlosframework/platform/internal/park	0.201s
ok  	github.com/carlosframework/platform/internal/privatefile	0.004s
ok  	github.com/carlosframework/platform/internal/provision	3.227s
ok  	github.com/carlosframework/platform/internal/publicrelease	0.007s
ok  	github.com/carlosframework/platform/internal/registry	3.589s
ok  	github.com/carlosframework/platform/internal/relay	7.218s
ok  	github.com/carlosframework/platform/internal/release	18.255s
ok  	github.com/carlosframework/platform/internal/rollout	1.518s
ok  	github.com/carlosframework/platform/internal/rolloutwords	0.003s
ok  	github.com/carlosframework/platform/internal/rootaws	0.007s
ok  	github.com/carlosframework/platform/internal/s3compat	0.005s
ok  	github.com/carlosframework/platform/internal/safefile	0.004s
ok  	github.com/carlosframework/platform/internal/schedule	2.257s
ok  	github.com/carlosframework/platform/internal/sim/hostlife	2.590s
ok  	github.com/carlosframework/platform/internal/sim/litestreamfacts	3.718s
ok  	github.com/carlosframework/platform/internal/status	0.038s
ok  	github.com/carlosframework/platform/internal/steering	0.006s
ok  	github.com/carlosframework/platform/internal/stopevidence	0.091s
ok  	github.com/carlosframework/platform/internal/svcrole	0.002s
ok  	github.com/carlosframework/platform/internal/telemetry	0.004s
ok  	github.com/carlosframework/platform/internal/termfence	0.004s
ok  	github.com/carlosframework/platform/internal/tunnelclient	0.004s
ok  	github.com/carlosframework/platform/internal/unixdial	0.003s
ok  	github.com/carlosframework/platform/internal/updatewords	0.003s
ok  	github.com/carlosframework/platform/internal/usage	0.004s
ok  	github.com/carlosframework/platform/internal/version	0.002s
ok  	github.com/carlosframework/platform/internal/vet	1.559s
=== cross ===
--- shard 0 of 5 ---
cross-compiling darwin/arm64
--- shard 1 of 5 ---
cross-compiling darwin/amd64
--- shard 2 of 5 ---
cross-compiling linux/arm64
--- shard 3 of 5 ---
cross-compiling windows/amd64
--- shard 4 of 5 ---
cross-compiling windows/arm64
=== minio-contract ===
minio contract: arm64, minio RELEASE.2025-09-07T16-13-09Z, mc RELEASE.2025-08-13T08-35-41Z
  minio: cached, digest verified
  mc: cached, digest verified
  minio healthy on 127.0.0.1:20999
Added `local` successfully.
Bucket created successfully `local/contract-bucket`.
Bucket created successfully `local/denied-bucket`.
Created policy `contract-only` successfully.
Added user `scopeduser` successfully.
Attached Policies: [contract-only]
To User: scopeduser
  buckets and scoped user ready
=== RUN   TestDeliveredContractMinio
=== RUN   TestDeliveredContractMinio/put
=== RUN   TestDeliveredContractMinio/get_round-trips_the_body
=== RUN   TestDeliveredContractMinio/list_shows_the_key
=== RUN   TestDeliveredContractMinio/head_and_list_agree_on_the_version
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_its_own_object
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_its_own_object/not_by_PutObjectTagging
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_its_own_object/and_not_by_x-amz-tagging_on_upload
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/not_by_CreateMultipartUpload
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/not_by_CopyObject_with_a_REPLACE_tagging_directive
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/but_multipart_itself_is_allowed
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/and_copy_itself_is_allowed
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/a_POST-policy_forged_tag_with_a_matching_version_is_still_not_a_verdict
=== RUN   TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/and_an_ordinary_tagged-with-something-else_upload_is_allowed
=== RUN   TestDeliveredContractMinio/delete_removes_it
=== RUN   TestDeliveredContractMinio/cross-bucket_denial
--- PASS: TestDeliveredContractMinio (0.02s)
    --- PASS: TestDeliveredContractMinio/put (0.00s)
    --- PASS: TestDeliveredContractMinio/get_round-trips_the_body (0.00s)
    --- PASS: TestDeliveredContractMinio/list_shows_the_key (0.00s)
    --- PASS: TestDeliveredContractMinio/head_and_list_agree_on_the_version (0.00s)
    --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_its_own_object (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_its_own_object/not_by_PutObjectTagging (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_its_own_object/and_not_by_x-amz-tagging_on_upload (0.00s)
    --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route (0.01s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/not_by_CreateMultipartUpload (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/not_by_CopyObject_with_a_REPLACE_tagging_directive (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/but_multipart_itself_is_allowed (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/and_copy_itself_is_allowed (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/a_POST-policy_forged_tag_with_a_matching_version_is_still_not_a_verdict (0.00s)
        --- PASS: TestDeliveredContractMinio/the_app_cannot_tag_by_any_other_route/and_an_ordinary_tagged-with-something-else_upload_is_allowed (0.00s)
    --- PASS: TestDeliveredContractMinio/delete_removes_it (0.00s)
    --- PASS: TestDeliveredContractMinio/cross-bucket_denial (0.00s)
PASS
ok  	github.com/carlosframework/platform/internal/objstore	0.025s
=== RUN   TestT4StorageProbeMinio
2026/10/11 20:30:40 moves: T4: STORE: list: operation error S3: ListObjectsV2, https response error StatusCode: 403, RequestID: 18DD93B6E914F855, HostID: 7c420053e0fbcd7f41653fdd92ffa2802c903d05303b1aa15adc2e8bb65d183f, api error SignatureDoesNotMatch: The request signature we calculated does not match the signature you provided. Check your key and signing method.
--- PASS: TestT4StorageProbeMinio (0.01s)
PASS
ok  	github.com/carlosframework/platform/internal/host	0.016s
minio contract: PASS

docs/superpowers/plans/2026-10-10-instance-key-provision.md

Loading diff…

docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-BRIEF-2.md

Loading diff…

docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-BRIEF-3.md

Loading diff…

docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-BRIEF-4.md

Loading diff…

docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-BRIEF-5.md

Loading diff…

docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-BRIEF-6.md

Loading diff…

docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-BRIEF-7.md

Loading diff…

docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R1.md

Loading diff…

docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R2.md

Loading diff…

docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R3.md

Loading diff…

docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R4.md

Loading diff…

docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R5.md

Loading diff…

docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R6.md

Loading diff…

docs/superpowers/plans/CODEX-PLAN-INSTANCE-KEY-R7.md

Loading diff…

docs/superpowers/plans/CODEX-REVIEW-INSTANCE-KEY-BUILD-BRIEF.md

Loading diff…

docs/superpowers/plans/CODEX-REVIEW-INSTANCE-KEY-BUILD.md

Loading diff…

docs/superpowers/plans/INSTANCE-KEY-PLAN-REPORT-R2.md

Loading diff…

docs/superpowers/plans/INSTANCE-KEY-PLAN-REPORT-R3.md

Loading diff…

internal/activator/admintoken.go

Loading diff…

internal/activator/backend_exec.go

Loading diff…

internal/activator/backend_exec_test.go

Loading diff…

internal/activator/claim_instancekey_test.go

Loading diff…

internal/activator/claim_snapshot.go

Loading diff…

internal/activator/claimretry_instancekey_linux_test.go

Loading diff…

internal/activator/instancekey.go

Loading diff…

internal/activator/instancekey_delivery_test.go

Loading diff…

internal/activator/instancekey_linux_test.go

Loading diff…

internal/activator/instancekey_test.go

Loading diff…

internal/activator/keyadoption.go

Loading diff…

internal/activator/keyadoption_linux_test.go

Loading diff…

internal/activator/keyadoption_test.go

Loading diff…

internal/activator/ownenv_other.go

Loading diff…

internal/activator/ownenv_unix.go

Loading diff…

internal/activator/prepare.go

Loading diff…

internal/activator/replica_instancekey_linux_test.go

Loading diff…

internal/activator/replica_instancekey_test.go

Loading diff…

internal/activator/replicakey.go

Loading diff…

internal/activator/replicakey_race_test.go

Loading diff…

internal/appconfig/instancekey.go

Loading diff…

internal/appconfig/instancekey_test.go

Loading diff…

internal/appconfig/syncexec_instancekey_test.go

Loading diff…

internal/host/agent.go

Loading diff…

internal/host/claim_instancekey_test.go

Loading diff…

internal/host/claim_replica_instancekey_test.go

Loading diff…

internal/host/claimmoveaccess.go

Loading diff…

internal/host/claimowners.go

Loading diff…

internal/host/claimproduction.go

Loading diff…

internal/host/configguard.go

Loading diff…

internal/host/instancekey_adoption_test.go

Loading diff…

internal/host/instancekeys.go

Loading diff…

internal/host/instancekeys_test.go

Loading diff…

internal/host/layoutleg.go

Loading diff…

internal/host/replicahomekeys.go

Loading diff…

internal/host/replicahomekeys_test.go

Loading diff…

internal/hostfiles/relay.go

Loading diff…

internal/hostfiles/relay_test.go

Loading diff…

internal/instancekey/instancekey.go

Loading diff…

internal/instancekey/instancekey_test.go

Loading diff…

internal/moves/archive/instancekey_test.go

Loading diff…

internal/moves/envreport_instancekey_test.go

Loading diff…