carlos / platform Public

sec-mail-user-boundary: census overlay via census-propose (approval card)

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>
claude agent, operated by paul@keymail.dev 7f4eed6df1c9c33cc667dd31e00228cb7b76ac94 parent 96ed894
3 files changed, +20 −34
  • docs/superpowers/notes/census-proposal-sec-mail-user-boundary.md +13 −34
  • internal/provision/testdata/plan14-root-reads-chain.tsv +1 −0
  • internal/provision/testdata/plan14-root-reads-sec-mail-user-boundary.tsv +6 −0

CI passed — run details

CI log
=== gate ===
.amadan/test-gate.sh
=== launchctx (0 s)
ok  	amadan.net/carlos/platform.git/launchctx	0.013s
?   	amadan.net/carlos/platform.git/launchctx/controlname	[no test files]
?   	amadan.net/carlos/platform.git/launchctx/wireid	[no test files]
=== vet (8 s)
=== gofmt (0 s)
gofmt -l .: clean
=== rest (162 s)
?   	github.com/carlosframework/platform/cmd/changelog	[no test files]
ok  	github.com/carlosframework/platform/cmd/console	3.316s
ok  	github.com/carlosframework/platform/cmd/moveprobe	11.600s
ok  	github.com/carlosframework/platform/cmd/zddprobe	0.741s
ok  	github.com/carlosframework/platform/internal/activator	58.884s
ok  	github.com/carlosframework/platform/internal/agentsock	0.028s
ok  	github.com/carlosframework/platform/internal/alerting	0.006s
ok  	github.com/carlosframework/platform/internal/analytics	0.026s
ok  	github.com/carlosframework/platform/internal/appconfig	2.589s
ok  	github.com/carlosframework/platform/internal/apperr	0.112s
ok  	github.com/carlosframework/platform/internal/applog	0.167s
ok  	github.com/carlosframework/platform/internal/awsinv	0.004s
ok  	github.com/carlosframework/platform/internal/boxchoice	0.007s
ok  	github.com/carlosframework/platform/internal/boxid	1.016s
?   	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.010s
ok  	github.com/carlosframework/platform/internal/caps	0.013s
ok  	github.com/carlosframework/platform/internal/certwarm	0.004s
ok  	github.com/carlosframework/platform/internal/cgroup	0.745s
ok  	github.com/carlosframework/platform/internal/changelog	0.394s
ok  	github.com/carlosframework/platform/internal/claimactivation	1.012s
ok  	github.com/carlosframework/platform/internal/clamd	0.058s
?   	github.com/carlosframework/platform/internal/cliflag	[no test files]
?   	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	7.960s
ok  	github.com/carlosframework/platform/internal/dbdoor/dbdoortest	0.013s
ok  	github.com/carlosframework/platform/internal/dbquery	0.009s
ok  	github.com/carlosframework/platform/internal/dbreads	2.115s
?   	github.com/carlosframework/platform/internal/dbreads/dbreadstest	[no test files]
ok  	github.com/carlosframework/platform/internal/dbverify	0.004s
ok  	github.com/carlosframework/platform/internal/dnsrec	0.004s
ok  	github.com/carlosframework/platform/internal/docsite	0.008s
ok  	github.com/carlosframework/platform/internal/domains	2.573s
ok  	github.com/carlosframework/platform/internal/doorkey	0.009s
ok  	github.com/carlosframework/platform/internal/economics	0.005s
ok  	github.com/carlosframework/platform/internal/edge	45.294s
?   	github.com/carlosframework/platform/internal/edgeproof	[no test files]
ok  	github.com/carlosframework/platform/internal/edgesfile	0.009s
ok  	github.com/carlosframework/platform/internal/fleetapi	0.162s
ok  	github.com/carlosframework/platform/internal/gate	1.680s
ok  	github.com/carlosframework/platform/internal/genselect	0.018s
ok  	github.com/carlosframework/platform/internal/geo	0.016s
ok  	github.com/carlosframework/platform/internal/geoip	0.033s
ok  	github.com/carlosframework/platform/internal/historyreadback	0.194s
ok  	github.com/carlosframework/platform/internal/host	142.362s
ok  	github.com/carlosframework/platform/internal/hostactors	5.933s
ok  	github.com/carlosframework/platform/internal/hostactors/awsmembership	0.006s
ok  	github.com/carlosframework/platform/internal/hostbox	2.987s
ok  	github.com/carlosframework/platform/internal/hostclaim	0.824s
ok  	github.com/carlosframework/platform/internal/hostenv	0.009s
ok  	github.com/carlosframework/platform/internal/hostevidence	0.008s
ok  	github.com/carlosframework/platform/internal/hostexec	5.329s
ok  	github.com/carlosframework/platform/internal/hostfence	0.046s
ok  	github.com/carlosframework/platform/internal/hostfiles	10.305s
ok  	github.com/carlosframework/platform/internal/hostfloor	0.031s
ok  	github.com/carlosframework/platform/internal/hostguard	1.048s
ok  	github.com/carlosframework/platform/internal/hostops	1.986s
?   	github.com/carlosframework/platform/internal/hostops/fencerelease	[no test files]
ok  	github.com/carlosframework/platform/internal/hostops/internal/fencerelease	0.004s
ok  	github.com/carlosframework/platform/internal/hostquarantine	0.004s
ok  	github.com/carlosframework/platform/internal/hostrelocate	0.661s
ok  	github.com/carlosframework/platform/internal/hostresolve	0.215s
ok  	github.com/carlosframework/platform/internal/hostwrite	0.003s
ok  	github.com/carlosframework/platform/internal/infraview	0.002s
ok  	github.com/carlosframework/platform/internal/instancectl	5.236s
ok  	github.com/carlosframework/platform/internal/instanceexec	2.761s
ok  	github.com/carlosframework/platform/internal/instancefs	0.006s
ok  	github.com/carlosframework/platform/internal/instancekey	0.007s
ok  	github.com/carlosframework/platform/internal/instanceupdates	0.010s
ok  	github.com/carlosframework/platform/internal/layout	1.746s
ok  	github.com/carlosframework/platform/internal/lbhealth	0.008s
ok  	github.com/carlosframework/platform/internal/lease	10.116s
ok  	github.com/carlosframework/platform/internal/lease/leasetest	0.541s
ok  	github.com/carlosframework/platform/internal/ledger	0.023s
ok  	github.com/carlosframework/platform/internal/mail	0.212s
ok  	github.com/carlosframework/platform/internal/maintenance	0.085s
ok  	github.com/carlosframework/platform/internal/maintenanceexec	5.557s
ok  	github.com/carlosframework/platform/internal/maintenanceguard	0.093s
ok  	github.com/carlosframework/platform/internal/metrics	0.013s
ok  	github.com/carlosframework/platform/internal/moves	21.350s
ok  	github.com/carlosframework/platform/internal/moves/archive	1.010s
ok  	github.com/carlosframework/platform/internal/objstore	0.309s
ok  	github.com/carlosframework/platform/internal/ops	0.207s
ok  	github.com/carlosframework/platform/internal/park	0.261s
ok  	github.com/carlosframework/platform/internal/plans	0.006s
ok  	github.com/carlosframework/platform/internal/privatefile	0.004s
ok  	github.com/carlosframework/platform/internal/provision	17.250s
ok  	github.com/carlosframework/platform/internal/publicrelease	0.014s
?   	github.com/carlosframework/platform/internal/regionname	[no test files]
ok  	github.com/carlosframework/platform/internal/registry	5.586s
ok  	github.com/carlosframework/platform/internal/relay	7.222s
ok  	github.com/carlosframework/platform/internal/release	25.099s
ok  	github.com/carlosframework/platform/internal/rollout	3.905s
ok  	github.com/carlosframework/platform/internal/rolloutwords	0.008s
ok  	github.com/carlosframework/platform/internal/rootaws	0.011s
ok  	github.com/carlosframework/platform/internal/rootparticipation	0.059s
ok  	github.com/carlosframework/platform/internal/rootstate	0.027s
ok  	github.com/carlosframework/platform/internal/runs	0.611s
ok  	github.com/carlosframework/platform/internal/s3compat	0.005s
ok  	github.com/carlosframework/platform/internal/safefile	0.005s
ok  	github.com/carlosframework/platform/internal/schedule	2.696s
ok  	github.com/carlosframework/platform/internal/seeds	0.011s
ok  	github.com/carlosframework/platform/internal/sim/engines	2.651s
ok  	github.com/carlosframework/platform/internal/sim/hostlife	10.420s
ok  	github.com/carlosframework/platform/internal/sim/litestreamfacts	3.786s
ok  	github.com/carlosframework/platform/internal/status	0.094s
ok  	github.com/carlosframework/platform/internal/steering	0.009s
ok  	github.com/carlosframework/platform/internal/stopevidence	0.258s
ok  	github.com/carlosframework/platform/internal/svcrole	0.004s
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.006s
ok  	github.com/carlosframework/platform/internal/unixdial	0.003s
ok  	github.com/carlosframework/platform/internal/updatewords	0.006s
ok  	github.com/carlosframework/platform/internal/usage	0.006s
ok  	github.com/carlosframework/platform/internal/version	0.002s
ok  	github.com/carlosframework/platform/internal/vet	1.664s
=== internal_console@0 (87 s)
ok  	github.com/carlosframework/platform/internal/console	85.943s
=== internal_console@1 (42 s)
ok  	github.com/carlosframework/platform/internal/console	41.267s
=== internal_console@2 (41 s)
ok  	github.com/carlosframework/platform/internal/console	39.462s
=== internal_console@3 (40 s)
ok  	github.com/carlosframework/platform/internal/console	38.706s
=== internal_console@4 (42 s)
ok  	github.com/carlosframework/platform/internal/console	40.519s
=== internal_console@5 (40 s)
ok  	github.com/carlosframework/platform/internal/console	38.743s
=== internal_console@6 (36 s)
ok  	github.com/carlosframework/platform/internal/console	34.831s
=== internal_console@7 (46 s)
ok  	github.com/carlosframework/platform/internal/console	44.746s
=== root@0 (109 s)
ok  	github.com/carlosframework/platform	107.672s
=== root@1 (84 s)
ok  	github.com/carlosframework/platform	82.929s
=== root@2 (91 s)
ok  	github.com/carlosframework/platform	89.606s
=== 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
linux/arm64 carlos binary: 50528418 bytes (ceiling 52000000)
--- 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: downloading https://github.com/minio/minio/releases/download/RELEASE.2025-09-07T16-13-09Z/minio.linux-arm64.RELEASE.2025-09-07T16-13-09Z
  minio: downloaded, digest verified
  mc: downloading https://github.com/minio/mc/releases/download/RELEASE.2025-08-13T08-35-41Z/mc.linux-arm64.RELEASE.2025-08-13T08-35-41Z
  mc: downloaded, 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.024s
=== RUN   TestT4StorageProbeMinio
2026/10/24 19:20:48 moves: T4: STORE: list: operation error S3: ListObjectsV2, https response error StatusCode: 403, RequestID: 18E18D7250E5E87D, 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.022s
=== RUN   TestS3StoreMinioContract
=== RUN   TestS3StoreMinioContract/conditional_get_and_etag_listing
=== RUN   TestS3StoreMinioContract/bump_through_every_mutation_path
--- PASS: TestS3StoreMinioContract (0.02s)
    --- PASS: TestS3StoreMinioContract/conditional_get_and_etag_listing (0.01s)
    --- PASS: TestS3StoreMinioContract/bump_through_every_mutation_path (0.02s)
PASS
ok  	github.com/carlosframework/platform/internal/release	0.031s
Bucket created successfully `local/dbf-deploy`.
Bucket created successfully `local/dbf-data-ie`.
Bucket created successfully `local/dbf-data-uk`.
local/dbf-deploy versioning is enabled
Created policy `dbf-console` successfully.
Created policy `dbf-ukbox` successfully.
Added user `dbfconsole` successfully.
Added user `dbfukbox` successfully.
Attached Policies: [dbf-console]
To User: dbfconsole
Attached Policies: [dbf-ukbox]
To User: dbfukbox
=== RUN   TestDBForwardMinio
2026/10/24 19:20:51 INFO replica sync system=store db=source.db replica=file txid.replica=0000000000000000 txid.db=0000000000000001
2026/10/24 19:20:51 INFO ltx file uploaded system=store db=source.db replica=file level=0 minTXID=0000000000000001 maxTXID=0000000000000001 size=720
2026/10/24 19:20:51 INFO replica sync system=store db=source.db replica=file txid.replica=0000000000000001 txid.db=0000000000000001
2026/10/24 19:20:51 INFO replica sync system=store db=source.db replica=file txid.replica=0000000000000001 txid.db=0000000000000002
2026/10/24 19:20:51 INFO ltx file uploaded system=store db=source.db replica=file level=0 minTXID=0000000000000002 maxTXID=0000000000000002 size=370
2026/10/24 19:20:51 INFO replica sync system=store db=source.db replica=file txid.replica=0000000000000002 txid.db=0000000000000002
2026/10/24 19:20:51 INFO replica sync system=store db=source.db replica=file txid.replica=0000000000000002 txid.db=0000000000000003
2026/10/24 19:20:51 INFO ltx file uploaded system=store db=source.db replica=file level=0 minTXID=0000000000000003 maxTXID=0000000000000003 size=454
2026/10/24 19:20:51 INFO replica sync system=store db=source.db replica=file txid.replica=0000000000000003 txid.db=0000000000000003
2026/10/24 19:20:51 INFO replica sync system=store db=source.db replica=file txid.replica=0000000000000000 txid.db=0000000000000001
2026/10/24 19:20:51 INFO ltx file uploaded system=store db=source.db replica=file level=0 minTXID=0000000000000001 maxTXID=0000000000000001 size=720
2026/10/24 19:20:51 INFO replica sync system=store db=source.db replica=file txid.replica=0000000000000001 txid.db=0000000000000001
2026/10/24 19:20:51 console: CARLOS_SECRETS_PUBKEY is unset, so no region outside the home can be chosen automatically
2026/10/24 19:20:51 console: could not notify member@example.com of a CLI token issue: keymail: lookup member@example.com: keymail: GET /api/federation/lookup?addr=member%40example.com&from=console%40127.0.0.1%3A38149: could not determine target mailbox
    agent.go:135: dbreads: dbr_x7kyzbpft2qi7r2xxcypu47m6u: planned 3 files (1544 bytes) and restored to 3 in 9ms
    agent.go:135: dbreads: dbr_x7kyzbpft2qi7r2xxcypu47m6u: output 5 bytes in 1 confirmed chunks in 1ms
2026/10/24 19:20:52 console: db read dbr_x7kyzbpft2qi7r2xxcypu47m6u: relayed 1 chunks (102 bytes) in 1.004s, ended done
    agent.go:135: dbreads: dbr_tkjrn7icvd3xycxylwpvfqovoi: planned 1 files (720 bytes) and restored to 1 in 9ms
    agent.go:135: dbreads: dbr_tkjrn7icvd3xycxylwpvfqovoi: output 5 bytes in 1 confirmed chunks in 1ms
2026/10/24 19:20:53 console: db read dbr_tkjrn7icvd3xycxylwpvfqovoi: relayed 1 chunks (102 bytes) in 1.003s, ended done
    agent.go:135: dbreads: dbr_absvisek5ove3634qxb5cldbwm: planned 3 files (1544 bytes) and held through 3 in 8ms
    agent.go:135: dbreads: dbr_absvisek5ove3634qxb5cldbwm: output 1544 bytes in 1 confirmed chunks in 1ms
2026/10/24 19:20:54 console: db read dbr_absvisek5ove3634qxb5cldbwm: relayed 1 chunks (1641 bytes) in 1.003s, ended done
=== RUN   TestDBForwardMinio/by_disconnect
=== NAME  TestDBForwardMinio
    agent.go:135: dbreads: dbr_hfufn4ahjj7fr7vcbcqfoxsokq: planned 3 files (1544 bytes) and restored to 3 in 10ms
2026/10/24 19:20:54 console: db read dbr_hfufn4ahjj7fr7vcbcqfoxsokq: relayed 0 chunks (0 bytes) in 24ms, ended client gone
    agent.go:135: dbreads: dbr_hfufn4ahjj7fr7vcbcqfoxsokq: output 5 bytes in 1 confirmed chunks in 104ms
=== RUN   TestDBForwardMinio/by_timeout
=== NAME  TestDBForwardMinio
    agent.go:135: dbreads: dbr_dm4yh43nxneejbq7prydyaoogm: planned 3 files (1544 bytes) and restored to 3 in 9ms
2026/10/24 19:21:14 console: db read dbr_dm4yh43nxneejbq7prydyaoogm: relayed 0 chunks (0 bytes) in 19.535s, ended no-result
    agent.go:135: dbreads: dbr_dm4yh43nxneejbq7prydyaoogm: output 5 bytes in 1 confirmed chunks in 19.512s
--- PASS: TestDBForwardMinio (22.98s)
    --- PASS: TestDBForwardMinio/by_disconnect (0.22s)
    --- PASS: TestDBForwardMinio/by_timeout (19.64s)
PASS
ok  	github.com/carlosframework/platform/internal/console	22.996s
minio contract: PASS
diff --git a/docs/superpowers/notes/census-proposal-sec-mail-user-boundary.md b/docs/superpowers/notes/census-proposal-sec-mail-user-boundary.md
index 4a097c702..08fcb5472 100644
--- a/docs/superpowers/notes/census-proposal-sec-mail-user-boundary.md
+++ b/docs/superpowers/notes/census-proposal-sec-mail-user-boundary.md
@@ -1,11 +1,18 @@
-# Census: email sending users get a permissions boundary
+# Census approval: sec-mail-user-boundary
-Status: PROPOSED. The one row carries `rev3=PROPOSED-sec-mail-user-boundary`.
-The ruling is asked of the census owner on #280.
+Ruling `census-ruling-sec-mail-user-boundary`. Every change below keeps the disposition it already has, so it needs an approval, not a decision.
-Branch `sec-mail-user-boundary`, cut from main at 0d9e81dc.
+| unit | change | read sites | what changed |
+|---|---|---|---|
+| `cmd/console/main.go` `serve` | body | unchanged (3) | reads CARLOS_MAIL_USER_BOUNDARY (an environment variable, not a file) and log.Fatals when the mail region is set without a valid boundary ARN; passes it to mail.NewAWSProvisioner through a closure; with CARLOS_MAIL_BOUNDARY_SWEEP=1 starts sweepMailBoundaries (IAM calls only, refused under CARLOS_HOST_CLAIM before any backend call); no file or bucket read is added, the same three /data literals moved |
-## What changed
+Envelopes re-pinned: `cmd/console`, `internal/mail`.
+
+Seal: `09e20ea4bbc534710334e632e903878656dabfb5817d4d96c6e7c56508172148` → `0704f610da881f419f2bc7138a69429c1ceeb1d220b5de24cfda9c0ab91aea02`.
+
+Overlay: `internal/provision/testdata/plan14-root-reads-sec-mail-user-boundary.tsv`, appended to `internal/provision/testdata/plan14-root-reads-chain.tsv`.
+
+## Branch context
The console's AWS role may call `iam:CreateUser`, `iam:PutUserPolicy` and
`iam:CreateAccessKey` on `user/carlos-mail/*`, and `internal/mail`'s AWS
@@ -40,36 +47,8 @@ None of this runs as root. The changed code runs in the console
root `carlos` binary links neither `internal/console` nor `internal/mail`
(`TestRootBinaryLinksNoConsoleOrMail`). No root read is added.
-## Root-read census (TestPlan14RootReadCensus)
-
-Overlay `internal/provision/testdata/plan14-root-reads-sec-mail-user-boundary.tsv`,
-loaded last, after `plan14-root-reads-wake-latency-1.tsv`. Without it the
-test reports 4 discrepancies; with it, none.
-
-### Changed unit, re-frozen at main's disposition
-
-It keeps main's basis (last set by `census-ruling-db-region-forward-2`), with
-this branch's identity and change appended.
-
-| unit | change | sites |
-|---|---|---|
-| `cmd/console/main.go` `serve` | reads `CARLOS_MAIL_USER_BOUNDARY` (an environment variable, not a file), `log.Fatal` when the mail region is set without a valid one, hands `mail.NewAWSProvisioner` the boundary through a closure passed to `mailBackends`, and with `CARLOS_MAIL_BOUNDARY_SWEEP=1` starts `sweepMailBoundaries` (IAM calls only; refused under `CARLOS_HOST_CLAIM` with no backend call, as `sweepLegacyMail`) | the same three `/data` literals, each moved 282 bytes (4077, 5178, 5415 to 4359, 5460, 5697) |
-
-`mailUserBoundary` and `sweepMailBoundaries` (new, `cmd/console/main.go`),
-`internal/mail/boundarysweep.go` and every changed `internal/mail/aws.go`
-function make no read the scanner counts, so they have
-no rows.
-
-### Envelopes re-pinned
-
-| envelope | why |
-|---|---|
-| `cmd/console` | `serve`, the new `mailUserBoundary` and `sweepMailBoundaries`, the header doc comment, `mailDeployment`'s doc comment, `TestMailUserBoundary` and `TestSweepMailBoundariesReports` |
-| `internal/mail` | `aws.go`: the boundary field, `checkUserBoundary`/`CheckUserBoundary`, `ErrNoUserBoundary`, `CreateUser`'s field, `backfillBoundary`, `PutUserPermissionsBoundary` and `ListUsers` on `iamAPI`, the stricter ARN check, `MintKey`'s backfill; the new `boundarysweep.go`; and the new `aws_iam_test.go` |
-Seal: `09e20ea4bbc534710334e632e903878656dabfb5817d4d96c6e7c56508172148`
-(wake-latency-1, checked first) to
-`26225dd10a15c83b5057fbb18153b5426dfc0be45b97745475ac8317f6fbed20`.
+Envelopes re-pinned: `cmd/console` (serve, mailUserBoundary, sweepMailBoundaries, doc comments, tests) and `internal/mail` (aws.go boundary handling, new boundarysweep.go, new aws_iam_test.go).
## Claim authority census (TestClaimAuthoritySourceCensus)
diff --git a/internal/provision/testdata/plan14-root-reads-chain.tsv b/internal/provision/testdata/plan14-root-reads-chain.tsv
index 786c30395..9b02c3c9d 100644
--- a/internal/provision/testdata/plan14-root-reads-chain.tsv
+++ b/internal/provision/testdata/plan14-root-reads-chain.tsv
@@ -1,3 +1,4 @@
# Census chain manifest: overlays loaded after rootReadChain's own, in order.
# One per line: <overlay file name under testdata>\t<the seal it leaves>.
# make census-propose appends here; nothing else edits this file.
+plan14-root-reads-sec-mail-user-boundary.tsv 0704f610da881f419f2bc7138a69429c1ceeb1d220b5de24cfda9c0ab91aea02
diff --git a/internal/provision/testdata/plan14-root-reads-sec-mail-user-boundary.tsv b/internal/provision/testdata/plan14-root-reads-sec-mail-user-boundary.tsv
new file mode 100644
index 000000000..e9de3c791
--- /dev/null
+++ b/internal/provision/testdata/plan14-root-reads-sec-mail-user-boundary.tsv
@@ -0,0 +1,6 @@
+# Census overlay sec-mail-user-boundary, written by census-propose (#369). census-ruling-sec-mail-user-boundary, approved by the census owner before the merge; the approval card is docs/superpowers/notes/census-proposal-sec-mail-user-boundary.md.
+# 1 body, 0 sites, 2 envelope: each changed unit re-frozen at its existing disposition with its claim appended.
+@legacy 02f3fd186a4a42fee179d49ea0321ea83c59bbe23e340b9b6b586e1ddab973cd cmd/console/main.go serve legacy accepted-legacy accepted-legacy;rev3=PROPOSED-scan-demand-revival;basis=Console service wires the optional callback signer and starts the claim-guarded queue worker. The same three data path literals move; it does not add a privileged reader.;rev3=PROPOSED-email-signin;identity=the console (cmd/console serve under console.service, user carlos-console);basis=passes CARLOS_CONSOLE_NAME to NewServer as Config.ConsoleName, the name the console's emails use; the same three /data literals at the same offsets; no read added;rev3=PROPOSED-s3-change-index;identity=the console (cmd/console serve under console.service, user carlos-console);basis=arms the record view when CARLOS_CHANGE_INDEX=read (armChangeIndex) for the run and seed sweeps and starts its backstop loop; the same three /data literals at the same offsets; no read added;rev3=census-ruling-db-region-forward-2;identity=the console (cmd/console serve under console.service, user carlos-console);basis=parses CARLOS_DB_FORWARD (dbForward) into Config.DBForward and builds its http.Server with console.NewHTTPServer, the same two timeouts; the same three /data literals at the same offsets; no read added;rev3=census-ruling-sec-mail-user-boundary;basis=reads CARLOS_MAIL_USER_BOUNDARY (an environment variable, not a file) and log.Fatals when the mail region is set without a valid boundary ARN; passes it to mail.NewAWSProvisioner through a closure; with CARLOS_MAIL_BOUNDARY_SWEEP=1 starts sweepMailBoundaries (IAM calls only, refused under CARLOS_HOST_CLAIM before any backend call); no file or bucket read is added, the same three /data literals moved data-literal@4359,data-literal@5460,data-literal@5697 d0d626616de3c53e94b5853bb6154e0c3efb733fbce99165bfdbd1527bdb9df7
+cmd/console/main.go serve legacy accepted-legacy accepted-legacy;rev3=PROPOSED-scan-demand-revival;basis=Console service wires the optional callback signer and starts the claim-guarded queue worker. The same three data path literals move; it does not add a privileged reader.;rev3=PROPOSED-email-signin;identity=the console (cmd/console serve under console.service, user carlos-console);basis=passes CARLOS_CONSOLE_NAME to NewServer as Config.ConsoleName, the name the console's emails use; the same three /data literals at the same offsets; no read added;rev3=PROPOSED-s3-change-index;identity=the console (cmd/console serve under console.service, user carlos-console);basis=arms the record view when CARLOS_CHANGE_INDEX=read (armChangeIndex) for the run and seed sweeps and starts its backstop loop; the same three /data literals at the same offsets; no read added;rev3=census-ruling-db-region-forward-2;identity=the console (cmd/console serve under console.service, user carlos-console);basis=parses CARLOS_DB_FORWARD (dbForward) into Config.DBForward and builds its http.Server with console.NewHTTPServer, the same two timeouts; the same three /data literals at the same offsets; no read added;rev3=census-ruling-sec-mail-user-boundary;basis=reads CARLOS_MAIL_USER_BOUNDARY (an environment variable, not a file) and log.Fatals when the mail region is set without a valid boundary ARN; passes it to mail.NewAWSProvisioner through a closure; with CARLOS_MAIL_BOUNDARY_SWEEP=1 starts sweepMailBoundaries (IAM calls only, refused under CARLOS_HOST_CLAIM before any backend call); no file or bucket read is added, the same three /data literals moved data-literal@4359,data-literal@5460,data-literal@5697 d0d626616de3c53e94b5853bb6154e0c3efb733fbce99165bfdbd1527bdb9df7
+@coverage cmd/console 655e1cf47dea7740e4d3598075627b6bf015a7434f14389bc8ba8d27cc1ae9f1
+@coverage internal/mail 82a7f2590ced5c1ad6a72b0e62305b4cc157eeade4e8a3159366a41bc3eaca88