carlos / platform Public

Fleet-internal engines (#335): spec rev 14 (approved, rulings R1-R5) and Plan 1, the internal/sim/engines simulation with its mutation harness and census overlay

Squashed from design-fleet-internal-engines into main.

claude 3 days ago 3c34fe0262bd7142d841adc94732ee3c4e7aae4a parent 4d6f0e6

31 files changed, +8548 −0

docs/superpowers/notes/census-proposal-design-fleet-internal-engines.md +19 −0
docs/superpowers/plans/2026-10-21-engines-1-simulation.md +354 −0
docs/superpowers/specs/2026-10-21-fleet-internal-engines-design.md +1153 −0
docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R1.md +63 −0
docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R10.md +51 −0
docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R11.md +52 −0
docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R12.md +65 −0
docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R13.md +69 −0
docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R2.md +53 −0
docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R3.md +42 −0
docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R4.md +49 −0
docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R5.md +48 −0
docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R6.md +47 −0
docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R7.md +49 −0
docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R8.md +51 −0
docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R9.md +45 −0
docs/superpowers/specs/CODEX-REVIEW-BRIEF-ENGINES.md +74 −0
internal/provision/plan14_root_reads_test.go +19 −0
internal/provision/testdata/plan14-root-reads-design-fleet-internal-engines.tsv +6 −0
internal/sim/engines/calls_test.go +850 −0
internal/sim/engines/classify_test.go +592 −0
internal/sim/engines/dedicated_test.go +508 −0
internal/sim/engines/edge_test.go +315 −0
internal/sim/engines/expected-outcomes.txt +12 −0
internal/sim/engines/invariants_test.go +359 −0
internal/sim/engines/launch_test.go +489 −0
internal/sim/engines/mutate.sh +196 −0
internal/sim/engines/rules_test.go +95 −0
internal/sim/engines/sim_test.go +348 −0
internal/sim/engines/witness_test.go +2105 −0
internal/sim/engines/world_test.go +370 −0

CI passed — run details

CI log

=== gate ===
.amadan/test-gate.sh
=== launchctx (0 s)
ok  	amadan.net/carlos/platform.git/launchctx	0.015s
?   	amadan.net/carlos/platform.git/launchctx/controlname	[no test files]
?   	amadan.net/carlos/platform.git/launchctx/wireid	[no test files]
=== vet (2 s)
=== gofmt (0 s)
gofmt -l .: clean
=== rest (146 s)
?   	github.com/carlosframework/platform/cmd/changelog	[no test files]
ok  	github.com/carlosframework/platform/cmd/console	4.757s
ok  	github.com/carlosframework/platform/cmd/moveprobe	11.653s
ok  	github.com/carlosframework/platform/cmd/zddprobe	0.742s
ok  	github.com/carlosframework/platform/internal/activator	59.687s
ok  	github.com/carlosframework/platform/internal/agentsock	0.022s
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.805s
ok  	github.com/carlosframework/platform/internal/apperr	0.085s
ok  	github.com/carlosframework/platform/internal/applog	0.134s
ok  	github.com/carlosframework/platform/internal/awsinv	0.004s
ok  	github.com/carlosframework/platform/internal/boxchoice	0.005s
ok  	github.com/carlosframework/platform/internal/boxid	0.505s
?   	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.015s
ok  	github.com/carlosframework/platform/internal/certwarm	0.002s
ok  	github.com/carlosframework/platform/internal/cgroup	0.707s
ok  	github.com/carlosframework/platform/internal/changelog	0.350s
ok  	github.com/carlosframework/platform/internal/claimactivation	0.898s
ok  	github.com/carlosframework/platform/internal/clamd	0.055s
?   	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	6.564s
ok  	github.com/carlosframework/platform/internal/dbdoor/dbdoortest	0.010s
ok  	github.com/carlosframework/platform/internal/dbverify	0.005s
ok  	github.com/carlosframework/platform/internal/dnsrec	0.003s
ok  	github.com/carlosframework/platform/internal/docsite	0.008s
ok  	github.com/carlosframework/platform/internal/domains	2.819s
ok  	github.com/carlosframework/platform/internal/doorkey	0.006s
ok  	github.com/carlosframework/platform/internal/economics	0.007s
ok  	github.com/carlosframework/platform/internal/edge	45.318s
?   	github.com/carlosframework/platform/internal/edgeproof	[no test files]
ok  	github.com/carlosframework/platform/internal/edgesfile	0.008s
ok  	github.com/carlosframework/platform/internal/fleetapi	0.136s
ok  	github.com/carlosframework/platform/internal/gate	1.709s
ok  	github.com/carlosframework/platform/internal/genselect	0.014s
ok  	github.com/carlosframework/platform/internal/geo	0.014s
ok  	github.com/carlosframework/platform/internal/geoip	0.029s
ok  	github.com/carlosframework/platform/internal/historyreadback	0.158s
ok  	github.com/carlosframework/platform/internal/host	140.607s
ok  	github.com/carlosframework/platform/internal/hostactors	5.606s
ok  	github.com/carlosframework/platform/internal/hostactors/awsmembership	0.006s
ok  	github.com/carlosframework/platform/internal/hostbox	3.274s
ok  	github.com/carlosframework/platform/internal/hostclaim	0.831s
ok  	github.com/carlosframework/platform/internal/hostenv	0.011s
ok  	github.com/carlosframework/platform/internal/hostevidence	0.008s
ok  	github.com/carlosframework/platform/internal/hostexec	5.644s
ok  	github.com/carlosframework/platform/internal/hostfence	0.041s
ok  	github.com/carlosframework/platform/internal/hostfiles	10.297s
ok  	github.com/carlosframework/platform/internal/hostfloor	0.037s
ok  	github.com/carlosframework/platform/internal/hostguard	1.060s
ok  	github.com/carlosframework/platform/internal/hostops	2.170s
?   	github.com/carlosframework/platform/internal/hostops/fencerelease	[no test files]
ok  	github.com/carlosframework/platform/internal/hostops/internal/fencerelease	0.002s
ok  	github.com/carlosframework/platform/internal/hostquarantine	0.003s
ok  	github.com/carlosframework/platform/internal/hostrelocate	0.640s
ok  	github.com/carlosframework/platform/internal/hostresolve	0.187s
ok  	github.com/carlosframework/platform/internal/hostwrite	0.005s
ok  	github.com/carlosframework/platform/internal/infraview	0.006s
ok  	github.com/carlosframework/platform/internal/instancectl	5.258s
ok  	github.com/carlosframework/platform/internal/instanceexec	2.811s
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.014s
ok  	github.com/carlosframework/platform/internal/layout	1.829s
ok  	github.com/carlosframework/platform/internal/lbhealth	0.004s
ok  	github.com/carlosframework/platform/internal/lease	10.228s
ok  	github.com/carlosframework/platform/internal/lease/leasetest	0.653s
ok  	github.com/carlosframework/platform/internal/ledger	0.020s
ok  	github.com/carlosframework/platform/internal/mail	0.299s
ok  	github.com/carlosframework/platform/internal/maintenance	0.083s
ok  	github.com/carlosframework/platform/internal/maintenanceexec	5.587s
ok  	github.com/carlosframework/platform/internal/maintenanceguard	0.128s
ok  	github.com/carlosframework/platform/internal/metrics	0.007s
ok  	github.com/carlosframework/platform/internal/moves	21.511s
ok  	github.com/carlosframework/platform/internal/moves/archive	0.998s
ok  	github.com/carlosframework/platform/internal/objstore	0.322s
ok  	github.com/carlosframework/platform/internal/ops	0.187s
ok  	github.com/carlosframework/platform/internal/park	0.270s
ok  	github.com/carlosframework/platform/internal/plans	0.007s
ok  	github.com/carlosframework/platform/internal/privatefile	0.007s
ok  	github.com/carlosframework/platform/internal/provision	13.742s
ok  	github.com/carlosframework/platform/internal/publicrelease	0.008s
?   	github.com/carlosframework/platform/internal/regionname	[no test files]
ok  	github.com/carlosframework/platform/internal/registry	5.699s
ok  	github.com/carlosframework/platform/internal/relay	7.238s
ok  	github.com/carlosframework/platform/internal/release	25.170s
ok  	github.com/carlosframework/platform/internal/rollout	3.846s
ok  	github.com/carlosframework/platform/internal/rolloutwords	0.004s
ok  	github.com/carlosframework/platform/internal/rootaws	0.009s
ok  	github.com/carlosframework/platform/internal/rootparticipation	0.064s
ok  	github.com/carlosframework/platform/internal/rootstate	0.028s
ok  	github.com/carlosframework/platform/internal/runs	0.562s
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.792s
ok  	github.com/carlosframework/platform/internal/seeds	0.011s
ok  	github.com/carlosframework/platform/internal/sim/engines	2.731s
ok  	github.com/carlosframework/platform/internal/sim/hostlife	11.011s
ok  	github.com/carlosframework/platform/internal/sim/litestreamfacts	3.603s
ok  	github.com/carlosframework/platform/internal/status	0.075s
ok  	github.com/carlosframework/platform/internal/steering	0.010s
ok  	github.com/carlosframework/platform/internal/stopevidence	0.203s
ok  	github.com/carlosframework/platform/internal/svcrole	0.002s
ok  	github.com/carlosframework/platform/internal/telemetry	0.005s
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.005s
ok  	github.com/carlosframework/platform/internal/usage	0.008s
ok  	github.com/carlosframework/platform/internal/version	0.002s
ok  	github.com/carlosframework/platform/internal/vet	1.679s
=== internal_console@0 (80 s)
ok  	github.com/carlosframework/platform/internal/console	77.854s
=== internal_console@1 (37 s)
ok  	github.com/carlosframework/platform/internal/console	34.992s
=== internal_console@2 (43 s)
ok  	github.com/carlosframework/platform/internal/console	40.986s
=== internal_console@3 (37 s)
ok  	github.com/carlosframework/platform/internal/console	35.285s
=== internal_console@4 (37 s)
ok  	github.com/carlosframework/platform/internal/console	35.273s
=== internal_console@5 (35 s)
ok  	github.com/carlosframework/platform/internal/console	33.291s
=== internal_console@6 (37 s)
ok  	github.com/carlosframework/platform/internal/console	35.243s
=== internal_console@7 (43 s)
ok  	github.com/carlosframework/platform/internal/console	41.301s
=== root@0 (33 s)
ok  	github.com/carlosframework/platform	30.744s
=== root@1 (45 s)
ok  	github.com/carlosframework/platform	42.490s
=== root@2 (45 s)
ok  	github.com/carlosframework/platform	43.257s
=== 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: 50069666 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: 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.024s
=== RUN   TestT4StorageProbeMinio
2026/10/21 22:35:46 moves: T4: STORE: list: operation error S3: ListObjectsV2, https response error StatusCode: 403, RequestID: 18E0AC5846E40AEC, 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
minio contract: PASS

docs/superpowers/notes/census-proposal-design-fleet-internal-engines.md

Loading diff…

docs/superpowers/plans/2026-10-21-engines-1-simulation.md

Loading diff…

docs/superpowers/specs/2026-10-21-fleet-internal-engines-design.md

Loading diff…

docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R1.md

Loading diff…

docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R10.md

Loading diff…

docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R11.md

Loading diff…

docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R12.md

Loading diff…

docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R13.md

Loading diff…

docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R2.md

Loading diff…

docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R3.md

Loading diff…

docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R4.md

Loading diff…

docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R5.md

Loading diff…

docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R6.md

Loading diff…

docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R7.md

Loading diff…

docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R8.md

Loading diff…

docs/superpowers/specs/CODEX-FINDINGS-ENGINES-R9.md

Loading diff…

docs/superpowers/specs/CODEX-REVIEW-BRIEF-ENGINES.md

Loading diff…

internal/provision/plan14_root_reads_test.go

Loading diff…

internal/provision/testdata/plan14-root-reads-design-fleet-internal-engines.tsv

Loading diff…

internal/sim/engines/calls_test.go

Loading diff…

internal/sim/engines/classify_test.go

Loading diff…

internal/sim/engines/dedicated_test.go

Loading diff…

internal/sim/engines/edge_test.go

Loading diff…

internal/sim/engines/expected-outcomes.txt

Loading diff…

internal/sim/engines/invariants_test.go

Loading diff…

internal/sim/engines/launch_test.go

Loading diff…

internal/sim/engines/mutate.sh

Loading diff…

internal/sim/engines/rules_test.go

Loading diff…

internal/sim/engines/sim_test.go

Loading diff…

internal/sim/engines/witness_test.go

Loading diff…

internal/sim/engines/world_test.go

Loading diff…