@specific.dev/spectest 0.131.6 → 0.131.7

package/dist/components/s3-runtime/README.md

@@ -16,6 +16,19 @@ uploads, multipart initiation and copies. Upstream currently drops these headers
 in `metadataHeaders`. The patch applies to the vendored, checksum-verified module;
 a failed patch stops the build. Recheck it when changing the upstream pin.
 
+`multipart.patch` adds SHA256 composite multipart integrity to the existing
+uploader: supplied part checksums are validated before storage, completion checks
+each part and its ordering, and the composite checksum survives HEAD/GET for
+reconciliation. Completion conditions use the backend's atomic conditional write.
+Overwriting an object does not inherit the previous object's checksum metadata.
+This patch supports SHA256/COMPOSITE; it does not implement every S3 checksum
+algorithm or streaming checksum trailers.
+
+Run `./test.sh` from this directory to exercise real HTTP requests against the
+same patched sources used in the image, including corrupt retries, conditional
+completion races, abort, metadata reconciliation and unchecksummed uploads.
+The test runs in a temporary vendor directory and enables Go's race detector.
+
 From `sdk`, run the real-image contract on a Linux Docker host:
 
 ```

package/dist/components/s3-runtime/main.go

@@ -11,6 +11,10 @@ import (
 )
 
 func main() {
+	log.Fatal(http.ListenAndServe(":9090", newServer()))
+}
+
+func newServer() http.Handler {
 	// VM snapshots include RAM: buckets, versions and in-flight multipart state
 	// fork together. A fresh process starts empty, as S3Mock did by default.
 	// Unlike the Bolt backend, s3mem also supports bucket versioning.
@@ -21,7 +25,7 @@ func main() {
 		gofakes3.WithAutoBucket(false),
 		gofakes3.WithLogger(gofakes3.GlobalLog()),
 	).Server()
-	log.Fatal(http.ListenAndServe(":9090", cors(server)))
+	return cors(server)
 }
 
 // Preserve S3Mock's permissive browser uploads, including arbitrary metadata

package/dist/components/s3-runtime/main_test.go

@@ -0,0 +1,199 @@
+package main
+
+import (
+	"bytes"
+	"crypto/sha256"
+	"encoding/base64"
+	"encoding/xml"
+	"fmt"
+	"io"
+	"net/http"
+	"net/http/httptest"
+	"strings"
+	"sync"
+	"testing"
+)
+
+type s3Response struct {
+	status int
+	header http.Header
+	body   []byte
+}
+type s3Probe struct {
+	t      *testing.T
+	server *httptest.Server
+}
+
+func newProbe(t *testing.T) *s3Probe {
+	t.Helper()
+	p := &s3Probe{t, httptest.NewServer(newServer())}
+	t.Cleanup(p.server.Close)
+	p.request("PUT", "/uploads", nil, nil, 200)
+	return p
+}
+func (p *s3Probe) request(method, path string, body []byte, headers map[string]string, want int) s3Response {
+	p.t.Helper()
+	req, err := http.NewRequest(method, p.server.URL+path, bytes.NewReader(body))
+	if err != nil {
+		p.t.Fatal(err)
+	}
+	for k, v := range headers {
+		req.Header.Set(k, v)
+	}
+	res, err := p.server.Client().Do(req)
+	if err != nil {
+		p.t.Fatal(err)
+	}
+	defer res.Body.Close()
+	data, err := io.ReadAll(res.Body)
+	if err != nil {
+		p.t.Fatal(err)
+	}
+	if res.StatusCode != want {
+		p.t.Fatalf("%s %s: got %d want %d: %s", method, path, res.StatusCode, want, data)
+	}
+	return s3Response{res.StatusCode, res.Header, data}
+}
+func sum(body []byte) string {
+	digest := sha256.Sum256(body)
+	return base64.StdEncoding.EncodeToString(digest[:])
+}
+func (p *s3Probe) start(key string, checksum bool) string {
+	p.t.Helper()
+	headers := map[string]string{"Cache-Control": "private, max-age=60"}
+	if checksum {
+		headers["x-amz-checksum-algorithm"] = "SHA256"
+		headers["x-amz-checksum-type"] = "COMPOSITE"
+	}
+	res := p.request("POST", "/uploads/"+key+"?uploads", nil, headers, 200)
+	var out struct {
+		UploadID string `xml:"UploadId"`
+	}
+	if err := xml.Unmarshal(res.body, &out); err != nil || out.UploadID == "" {
+		p.t.Fatalf("initiate: %s, %v", res.body, err)
+	}
+	return "/uploads/" + key + "?uploadId=" + out.UploadID
+}
+func (p *s3Probe) part(path string, number int, body []byte, checksum bool) string {
+	p.t.Helper()
+	headers := map[string]string{}
+	if checksum {
+		headers["x-amz-checksum-sha256"] = sum(body)
+	}
+	res := p.request("PUT", fmt.Sprintf("%s&partNumber=%d", path, number), body, headers, 200)
+	if checksum && res.header.Get("x-amz-checksum-sha256") != sum(body) {
+		p.t.Fatalf("part checksum acknowledgement: %v", res.header)
+	}
+	tag := res.header.Get("ETag")
+	if tag == "" {
+		p.t.Fatal("missing ETag")
+	}
+	digest := ""
+	if checksum {
+		digest = "<ChecksumSHA256>" + sum(body) + "</ChecksumSHA256>"
+	}
+	return fmt.Sprintf("<Part><PartNumber>%d</PartNumber><ETag>%s</ETag>%s</Part>", number, tag, digest)
+}
+func completion(parts ...string) []byte {
+	return []byte("<CompleteMultipartUpload>" + strings.Join(parts, "") + "</CompleteMultipartUpload>")
+}
+
+func TestMultipartSHA256IntegrityAndReconciliation(t *testing.T) {
+	p := newProbe(t)
+	path := p.start("large", true)
+	first := bytes.Repeat([]byte("a"), 8*1024*1024)
+	last := bytes.Repeat([]byte("b"), 1024*1024)
+	part1 := p.part(path, 1, first, true)
+	// A rejected retry must not replace the already acknowledged part.
+	res := p.request("PUT", path+"&partNumber=1", []byte("corrupt"), map[string]string{"x-amz-checksum-sha256": sum(first)}, 400)
+	if !bytes.Contains(res.body, []byte("BadDigest")) {
+		t.Fatalf("corrupt part: %s", res.body)
+	}
+	part2 := p.part(path, 2, last, true)
+	for _, parts := range [][]string{{part2, part1}, {part1, part1}, {strings.Replace(part1, "<PartNumber>1", "<PartNumber>-1", 1)}, {strings.Replace(part1, sum(first), sum(last), 1), part2}, {strings.Replace(part1, "<ETag>", "<ETag>bad", 1), part2}} {
+		p.request("POST", path, completion(parts...), nil, 400)
+	}
+	p.request("POST", path, completion(part1, part2), map[string]string{"x-amz-checksum-type": "FULL_OBJECT"}, 400)
+	p.request("POST", path, completion(part1, part2), map[string]string{"x-amz-checksum-sha256": "wrong"}, 400)
+	a, b := sha256.Sum256(first), sha256.Sum256(last)
+	expected := sum(append(a[:], b[:]...)) + "-2"
+	res = p.request("POST", path, completion(part1, part2), map[string]string{"If-None-Match": "*", "x-amz-checksum-type": "COMPOSITE", "x-amz-checksum-sha256": expected}, 200)
+	var completed struct {
+		ChecksumSHA256 string
+		ChecksumType   string
+	}
+	if err := xml.Unmarshal(res.body, &completed); err != nil {
+		t.Fatal(err)
+	}
+	if completed.ChecksumSHA256 != expected || completed.ChecksumType != "COMPOSITE" {
+		t.Fatalf("complete: %s", res.body)
+	}
+	// Reconcile using retained metadata after an unobserved completion response.
+	head := p.request("HEAD", "/uploads/large", nil, map[string]string{"x-amz-checksum-mode": "ENABLED"}, 200)
+	if head.header.Get("x-amz-checksum-sha256") != expected || head.header.Get("x-amz-checksum-type") != "COMPOSITE" || head.header.Get("Content-Length") != fmt.Sprint(len(first)+len(last)) || head.header.Get("Cache-Control") != "private, max-age=60" {
+		t.Fatalf("reconciliation: %v", head.header)
+	}
+	got := p.request("GET", "/uploads/large", nil, nil, 200)
+	if !bytes.Equal(got.body, append(first, last...)) {
+		t.Fatal("completed bytes differ")
+	}
+	p.request("PUT", path+"&partNumber=1", first, nil, 404)
+	// An ordinary overwrite must not inherit an obsolete composite checksum.
+	p.request("PUT", "/uploads/large", []byte("replacement"), nil, 200)
+	head = p.request("HEAD", "/uploads/large", nil, nil, 200)
+	if head.header.Get("x-amz-checksum-sha256") != "" || head.header.Get("x-amz-checksum-type") != "" {
+		t.Fatal("overwrite retained stale checksum")
+	}
+}
+
+func TestMultipartConditionalCompletionIsAtomic(t *testing.T) {
+	p := newProbe(t)
+	paths := []string{p.start("same", true), p.start("same", true)}
+	parts := []string{p.part(paths[0], 1, []byte("first"), true), p.part(paths[1], 1, []byte("second"), true)}
+	statuses := make(chan int, 2)
+	var wg sync.WaitGroup
+	for i := range paths {
+		wg.Add(1)
+		go func(i int) {
+			defer wg.Done()
+			req, _ := http.NewRequest("POST", p.server.URL+paths[i], bytes.NewReader(completion(parts[i])))
+			req.Header.Set("If-None-Match", "*")
+			res, err := p.server.Client().Do(req)
+			if err != nil {
+				statuses <- 0
+				return
+			}
+			defer res.Body.Close()
+			io.Copy(io.Discard, res.Body)
+			statuses <- res.StatusCode
+		}(i)
+	}
+	wg.Wait()
+	close(statuses)
+	counts := map[int]int{}
+	for s := range statuses {
+		counts[s]++
+	}
+	if counts[200] != 1 || counts[412] != 1 {
+		t.Fatalf("competing creates: %v", counts)
+	}
+	body := p.request("GET", "/uploads/same", nil, nil, 200).body
+	if string(body) != "first" && string(body) != "second" {
+		t.Fatalf("bad winner: %s", body)
+	}
+}
+
+func TestMultipartAbortAndLegacyUpload(t *testing.T) {
+	p := newProbe(t)
+	path := p.start("aborted", true)
+	part := p.part(path, 1, []byte("abc"), true)
+	p.request("DELETE", path, nil, nil, 204)
+	p.request("POST", path, completion(part), nil, 404)
+	p.request("HEAD", "/uploads/aborted", nil, nil, 404)
+	path = p.start("legacy", false)
+	part = p.part(path, 1, []byte("legacy"), false)
+	p.request("POST", path, completion(part), nil, 200)
+	if got := p.request("GET", "/uploads/legacy", nil, nil, 200); string(got.body) != "legacy" {
+		t.Fatal("legacy multipart changed")
+	}
+}

package/dist/components/s3-runtime/multipart.patch

@@ -0,0 +1,241 @@
+--- a/vendor/github.com/johannesboyne/gofakes3/gofakes3.go
++++ b/vendor/github.com/johannesboyne/gofakes3/gofakes3.go
+@@ -933,6 +933,14 @@
+ 		return err
+ 	}
+ 
++	if meta["X-Amz-Checksum-Algorithm"] == "SHA256" {
++		if kind := meta["X-Amz-Checksum-Type"]; kind != "" && kind != "COMPOSITE" {
++			return ErrInvalidArgument
++		}
++		meta["X-Amz-Checksum-Type"] = "COMPOSITE"
++		w.Header().Set("x-amz-checksum-algorithm", "SHA256")
++		w.Header().Set("x-amz-checksum-type", "COMPOSITE")
++	}
+ 	uploadID, err := g.uploader.CreateMultipartUpload(bucket, object, meta)
+ 	if err != nil {
+ 		return err
+@@ -983,12 +991,20 @@
+ 		}
+ 	}
+ 
++	var checksum *sha256PartReader
++	if expected := r.Header.Get("x-amz-checksum-sha256"); expected != "" {
++		checksum = newSHA256PartReader(rdr, expected)
++		rdr = checksum
++	}
+ 	etag, err := g.uploader.UploadPart(bucket, object, uploadID, int(partNumber), r.ContentLength, rdr)
+ 	if err != nil {
+ 		return err
+ 	}
+ 
+ 	w.Header().Add("ETag", etag)
++	if checksum != nil {
++		w.Header().Set("x-amz-checksum-sha256", checksum.sum())
++	}
+ 	return nil
+ }
+ 
+@@ -1009,6 +1025,13 @@
+ 		return err
+ 	}
+ 
++	var err error
++	in.Conditions, err = parsePutConditions(r.Header)
++	if err != nil {
++		return err
++	}
++	in.ChecksumSHA256 = r.Header.Get("x-amz-checksum-sha256")
++	in.ChecksumType = r.Header.Get("x-amz-checksum-type")
+ 	versionID, etag, err := g.uploader.CompleteMultipartUpload(bucket, object, uploadID, &in)
+ 	if err != nil {
+ 		return err
+@@ -1031,10 +1054,12 @@
+ 	}
+ 
+ 	return g.xmlEncoder(w).Encode(&CompleteMultipartUploadResult{
+-		ETag:     etag,
+-		Bucket:   bucket,
+-		Key:      object,
+-		Location: location,
++		ETag:           etag,
++		Bucket:         bucket,
++		Key:            object,
++		Location:       location,
++		ChecksumSHA256: in.ChecksumSHA256,
++		ChecksumType:   in.ChecksumType,
+ 	})
+ }
+ 
+--- a/vendor/github.com/johannesboyne/gofakes3/uploader.go
++++ b/vendor/github.com/johannesboyne/gofakes3/uploader.go
+@@ -3,6 +3,8 @@
+ import (
+ 	"bytes"
+ 	"crypto/md5"
++	"crypto/sha256"
++	"encoding/base64"
+ 	"encoding/hex"
+ 	"fmt"
+ 	"io"
+@@ -428,13 +430,26 @@
+ 		return "", "", ErrInvalidPart
+ 	}
+ 
+-	if !input.partsAreSorted() {
++	if len(input.Parts) == 0 || !input.partsAreSorted() {
+ 		return "", "", ErrInvalidPartOrder
+ 	}
+ 
+ 	var size int64
+ 
+-	for _, inPart := range input.Parts {
++	composite := sha256.New()
++	withSHA256 := mpu.Meta["X-Amz-Checksum-Algorithm"] == "SHA256"
++	if withSHA256 && input.ChecksumType != "" && input.ChecksumType != "COMPOSITE" {
++		return "", "", ErrBadDigest
++	}
++	previous := 0
++	for i, inPart := range input.Parts {
++		if inPart.PartNumber <= previous {
++			return "", "", ErrInvalidPartOrder
++		}
++		previous = inPart.PartNumber
++		if withSHA256 && inPart.PartNumber != i+1 {
++			return "", "", ErrInvalidPartOrder
++		}
+ 		if inPart.PartNumber >= mpuPartsLen || mpu.parts[inPart.PartNumber] == nil {
+ 			return "", "", ErrorMessagef(ErrInvalidPart, "unexpected part number %d in complete request", inPart.PartNumber)
+ 		}
+@@ -444,6 +459,13 @@
+ 			return "", "", ErrorMessagef(ErrInvalidPart, "unexpected part etag for number %d in complete request", inPart.PartNumber)
+ 		}
+ 
++		if withSHA256 {
++			digest := sha256.Sum256(upPart.Body)
++			if inPart.ChecksumSHA256 != base64.StdEncoding.EncodeToString(digest[:]) {
++				return "", "", ErrBadDigest
++			}
++			composite.Write(digest[:])
++		}
+ 		size += int64(len(upPart.Body))
+ 	}
+ 
+@@ -461,7 +483,20 @@
+ 
+ 	etag = fmt.Sprintf(`"%s-%d"`, hex.EncodeToString(hash.Sum(nil)), len(input.Parts))
+ 
+-	result, err := u.storage.PutObject(bucket, object, mpu.Meta, bytes.NewReader(body), int64(len(body)), nil)
++	if withSHA256 {
++		checksum := fmt.Sprintf("%s-%d", base64.StdEncoding.EncodeToString(composite.Sum(nil)), len(input.Parts))
++		if input.ChecksumSHA256 != "" && input.ChecksumSHA256 != checksum {
++			return "", "", ErrBadDigest
++		}
++		input.ChecksumSHA256 = checksum
++		input.ChecksumType = "COMPOSITE"
++		mpu.Meta["X-Amz-Checksum-Sha256"] = checksum
++		mpu.Meta["X-Amz-Checksum-Type"] = "COMPOSITE"
++	} else {
++		input.ChecksumSHA256 = ""
++		input.ChecksumType = ""
++	}
++	result, err := u.storage.PutObject(bucket, object, mpu.Meta, bytes.NewReader(body), int64(len(body)), input.Conditions)
+ 	if err != nil {
+ 		return "", "", err
+ 	}
+--- a/vendor/github.com/johannesboyne/gofakes3/messages.go
++++ b/vendor/github.com/johannesboyne/gofakes3/messages.go
+@@ -48,12 +48,16 @@
+ }
+ 
+ type CompletedPart struct {
+-	PartNumber int    `xml:"PartNumber"`
+-	ETag       string `xml:"ETag"`
++	ChecksumSHA256 string `xml:"ChecksumSHA256,omitempty"`
++	PartNumber     int    `xml:"PartNumber"`
++	ETag           string `xml:"ETag"`
+ }
+ 
+ type CompleteMultipartUploadRequest struct {
+-	Parts []CompletedPart `xml:"Part"`
++	Conditions     *PutConditions  `xml:"-"`
++	ChecksumSHA256 string          `xml:"-"`
++	ChecksumType   string          `xml:"-"`
++	Parts          []CompletedPart `xml:"Part"`
+ }
+ 
+ func (c CompleteMultipartUploadRequest) partsAreSorted() bool {
+@@ -70,10 +74,12 @@
+ }
+ 
+ type CompleteMultipartUploadResult struct {
+-	Location string `xml:"Location"`
+-	Bucket   string `xml:"Bucket"`
+-	Key      string `xml:"Key"`
+-	ETag     string `xml:"ETag"`
++	ChecksumSHA256 string `xml:"ChecksumSHA256,omitempty"`
++	ChecksumType   string `xml:"ChecksumType,omitempty"`
++	Location       string `xml:"Location"`
++	Bucket         string `xml:"Bucket"`
++	Key            string `xml:"Key"`
++	ETag           string `xml:"ETag"`
+ }
+ 
+ type Content struct {
+--- a/vendor/github.com/johannesboyne/gofakes3/checksum.go
++++ b/vendor/github.com/johannesboyne/gofakes3/checksum.go
+@@ -0,0 +1,32 @@
++package gofakes3
++
++import (
++	"crypto/sha256"
++	"encoding/base64"
++	"hash"
++	"io"
++)
++
++// Validate before UploadPart commits bytes to the existing multipart store.
++type sha256PartReader struct {
++	input    io.Reader
++	digest   hash.Hash
++	expected string
++}
++
++func newSHA256PartReader(input io.Reader, expected string) *sha256PartReader {
++	return &sha256PartReader{input: input, digest: sha256.New(), expected: expected}
++}
++
++func (r *sha256PartReader) sum() string {
++	return base64.StdEncoding.EncodeToString(r.digest.Sum(nil))
++}
++
++func (r *sha256PartReader) Read(p []byte) (int, error) {
++	n, err := r.input.Read(p)
++	r.digest.Write(p[:n])
++	if err == io.EOF && r.sum() != r.expected {
++		return n, ErrBadDigest
++	}
++	return n, err
++}
+--- a/vendor/github.com/johannesboyne/gofakes3/backend.go
++++ b/vendor/github.com/johannesboyne/gofakes3/backend.go
+@@ -3,6 +3,7 @@
+ import (
+ 	"encoding/hex"
+ 	"errors"
++	"strings"
+ 
+ 	"io"
+ 	"time"
+@@ -434,6 +435,11 @@
+ 	// carry over metadata if it exists
+ 	if existingObj != nil {
+ 		for k, v := range existingObj.Metadata {
++			// Integrity metadata belongs to the bytes being written, never a
++			// previous version of this key. CopyObject supplies its own metadata.
++			if strings.HasPrefix(k, "X-Amz-Checksum-") {
++				continue
++			}
+ 			// new metadata overwrites old but keep the rest
+ 			// TODO: check how metadata can be deleted?!
+ 			if _, ok := meta[k]; !ok {

package/dist/components/s3-runtime/test.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+# Exercise the exact vendored compatibility patches used by the runtime image.
+set -eu
+source_dir=$(CDPATH= cd -- "$(dirname -- "$0")" && pwd)
+test_dir=$(mktemp -d)
+trap 'rm -rf "$test_dir"' EXIT HUP INT TERM
+cp "$source_dir"/*.go "$source_dir/go.mod" "$source_dir/go.sum" "$source_dir"/*.patch "$test_dir/"
+cd "$test_dir"
+go mod vendor
+patch -p1 < metadata.patch
+patch -p1 < multipart.patch
+go test -mod=vendor -race ./...

package/dist/components/s3.js

@@ -8,11 +8,11 @@ const S3_DOCKERFILE = `
 FROM golang:1.27.2-alpine@sha256:f92b6ef800e499660581efdabdf25d9d817a9d124eaf900924f0504e7e27e12d AS build
 RUN apk add --no-cache patch
 WORKDIR /src
-${["go.mod", "go.sum", "main.go", "metadata.patch"].map((file) => {
+${["go.mod", "go.sum", "main.go", "metadata.patch", "multipart.patch"].map((file) => {
     const data = readFileSync(new URL(`./s3-runtime/${file}`, import.meta.url)).toString("base64");
     return `RUN printf '%s' '${data}' | base64 -d > ${file}`;
 }).join("\n")}
-RUN go mod vendor && patch -p1 < metadata.patch
+RUN go mod vendor && patch -p1 < metadata.patch && patch -p1 < multipart.patch
 RUN CGO_ENABLED=0 go build -mod=vendor -trimpath -ldflags='-s -w' -o /s3-server .
 FROM scratch
 COPY --from=build /s3-server /s3-server

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@specific.dev/spectest",
-  "version": "0.131.6",
+  "version": "0.131.7",
   "description": "Spectest SDK for defining test environments in TypeScript.",
   "type": "module",
   "main": "./dist/index.js",

package/src/components/s3-runtime/README.md

@@ -16,6 +16,19 @@ uploads, multipart initiation and copies. Upstream currently drops these headers
 in `metadataHeaders`. The patch applies to the vendored, checksum-verified module;
 a failed patch stops the build. Recheck it when changing the upstream pin.
 
+`multipart.patch` adds SHA256 composite multipart integrity to the existing
+uploader: supplied part checksums are validated before storage, completion checks
+each part and its ordering, and the composite checksum survives HEAD/GET for
+reconciliation. Completion conditions use the backend's atomic conditional write.
+Overwriting an object does not inherit the previous object's checksum metadata.
+This patch supports SHA256/COMPOSITE; it does not implement every S3 checksum
+algorithm or streaming checksum trailers.
+
+Run `./test.sh` from this directory to exercise real HTTP requests against the
+same patched sources used in the image, including corrupt retries, conditional
+completion races, abort, metadata reconciliation and unchecksummed uploads.
+The test runs in a temporary vendor directory and enables Go's race detector.
+
 From `sdk`, run the real-image contract on a Linux Docker host:
 
 ```

package/src/components/s3-runtime/main.go

@@ -11,6 +11,10 @@ import (
 )
 
 func main() {
+	log.Fatal(http.ListenAndServe(":9090", newServer()))
+}
+
+func newServer() http.Handler {
 	// VM snapshots include RAM: buckets, versions and in-flight multipart state
 	// fork together. A fresh process starts empty, as S3Mock did by default.
 	// Unlike the Bolt backend, s3mem also supports bucket versioning.
@@ -21,7 +25,7 @@ func main() {
 		gofakes3.WithAutoBucket(false),
 		gofakes3.WithLogger(gofakes3.GlobalLog()),
 	).Server()
-	log.Fatal(http.ListenAndServe(":9090", cors(server)))
+	return cors(server)
 }
 
 // Preserve S3Mock's permissive browser uploads, including arbitrary metadata

package/src/components/s3-runtime/main_test.go

@@ -0,0 +1,199 @@
+package main
+
+import (
+	"bytes"
+	"crypto/sha256"
+	"encoding/base64"
+	"encoding/xml"
+	"fmt"
+	"io"
+	"net/http"
+	"net/http/httptest"
+	"strings"
+	"sync"
+	"testing"
+)
+
+type s3Response struct {
+	status int
+	header http.Header
+	body   []byte
+}
+type s3Probe struct {
+	t      *testing.T
+	server *httptest.Server
+}
+
+func newProbe(t *testing.T) *s3Probe {
+	t.Helper()
+	p := &s3Probe{t, httptest.NewServer(newServer())}
+	t.Cleanup(p.server.Close)
+	p.request("PUT", "/uploads", nil, nil, 200)
+	return p
+}
+func (p *s3Probe) request(method, path string, body []byte, headers map[string]string, want int) s3Response {
+	p.t.Helper()
+	req, err := http.NewRequest(method, p.server.URL+path, bytes.NewReader(body))
+	if err != nil {
+		p.t.Fatal(err)
+	}
+	for k, v := range headers {
+		req.Header.Set(k, v)
+	}
+	res, err := p.server.Client().Do(req)
+	if err != nil {
+		p.t.Fatal(err)
+	}
+	defer res.Body.Close()
+	data, err := io.ReadAll(res.Body)
+	if err != nil {
+		p.t.Fatal(err)
+	}
+	if res.StatusCode != want {
+		p.t.Fatalf("%s %s: got %d want %d: %s", method, path, res.StatusCode, want, data)
+	}
+	return s3Response{res.StatusCode, res.Header, data}
+}
+func sum(body []byte) string {
+	digest := sha256.Sum256(body)
+	return base64.StdEncoding.EncodeToString(digest[:])
+}
+func (p *s3Probe) start(key string, checksum bool) string {
+	p.t.Helper()
+	headers := map[string]string{"Cache-Control": "private, max-age=60"}
+	if checksum {
+		headers["x-amz-checksum-algorithm"] = "SHA256"
+		headers["x-amz-checksum-type"] = "COMPOSITE"
+	}
+	res := p.request("POST", "/uploads/"+key+"?uploads", nil, headers, 200)
+	var out struct {
+		UploadID string `xml:"UploadId"`
+	}
+	if err := xml.Unmarshal(res.body, &out); err != nil || out.UploadID == "" {
+		p.t.Fatalf("initiate: %s, %v", res.body, err)
+	}
+	return "/uploads/" + key + "?uploadId=" + out.UploadID
+}
+func (p *s3Probe) part(path string, number int, body []byte, checksum bool) string {
+	p.t.Helper()
+	headers := map[string]string{}
+	if checksum {
+		headers["x-amz-checksum-sha256"] = sum(body)
+	}
+	res := p.request("PUT", fmt.Sprintf("%s&partNumber=%d", path, number), body, headers, 200)
+	if checksum && res.header.Get("x-amz-checksum-sha256") != sum(body) {
+		p.t.Fatalf("part checksum acknowledgement: %v", res.header)
+	}
+	tag := res.header.Get("ETag")
+	if tag == "" {
+		p.t.Fatal("missing ETag")
+	}
+	digest := ""
+	if checksum {
+		digest = "<ChecksumSHA256>" + sum(body) + "</ChecksumSHA256>"
+	}
+	return fmt.Sprintf("<Part><PartNumber>%d</PartNumber><ETag>%s</ETag>%s</Part>", number, tag, digest)
+}
+func completion(parts ...string) []byte {
+	return []byte("<CompleteMultipartUpload>" + strings.Join(parts, "") + "</CompleteMultipartUpload>")
+}
+
+func TestMultipartSHA256IntegrityAndReconciliation(t *testing.T) {
+	p := newProbe(t)
+	path := p.start("large", true)
+	first := bytes.Repeat([]byte("a"), 8*1024*1024)
+	last := bytes.Repeat([]byte("b"), 1024*1024)
+	part1 := p.part(path, 1, first, true)
+	// A rejected retry must not replace the already acknowledged part.
+	res := p.request("PUT", path+"&partNumber=1", []byte("corrupt"), map[string]string{"x-amz-checksum-sha256": sum(first)}, 400)
+	if !bytes.Contains(res.body, []byte("BadDigest")) {
+		t.Fatalf("corrupt part: %s", res.body)
+	}
+	part2 := p.part(path, 2, last, true)
+	for _, parts := range [][]string{{part2, part1}, {part1, part1}, {strings.Replace(part1, "<PartNumber>1", "<PartNumber>-1", 1)}, {strings.Replace(part1, sum(first), sum(last), 1), part2}, {strings.Replace(part1, "<ETag>", "<ETag>bad", 1), part2}} {
+		p.request("POST", path, completion(parts...), nil, 400)
+	}
+	p.request("POST", path, completion(part1, part2), map[string]string{"x-amz-checksum-type": "FULL_OBJECT"}, 400)
+	p.request("POST", path, completion(part1, part2), map[string]string{"x-amz-checksum-sha256": "wrong"}, 400)
+	a, b := sha256.Sum256(first), sha256.Sum256(last)
+	expected := sum(append(a[:], b[:]...)) + "-2"
+	res = p.request("POST", path, completion(part1, part2), map[string]string{"If-None-Match": "*", "x-amz-checksum-type": "COMPOSITE", "x-amz-checksum-sha256": expected}, 200)
+	var completed struct {
+		ChecksumSHA256 string
+		ChecksumType   string
+	}
+	if err := xml.Unmarshal(res.body, &completed); err != nil {
+		t.Fatal(err)
+	}
+	if completed.ChecksumSHA256 != expected || completed.ChecksumType != "COMPOSITE" {
+		t.Fatalf("complete: %s", res.body)
+	}
+	// Reconcile using retained metadata after an unobserved completion response.
+	head := p.request("HEAD", "/uploads/large", nil, map[string]string{"x-amz-checksum-mode": "ENABLED"}, 200)
+	if head.header.Get("x-amz-checksum-sha256") != expected || head.header.Get("x-amz-checksum-type") != "COMPOSITE" || head.header.Get("Content-Length") != fmt.Sprint(len(first)+len(last)) || head.header.Get("Cache-Control") != "private, max-age=60" {
+		t.Fatalf("reconciliation: %v", head.header)
+	}
+	got := p.request("GET", "/uploads/large", nil, nil, 200)
+	if !bytes.Equal(got.body, append(first, last...)) {
+		t.Fatal("completed bytes differ")
+	}
+	p.request("PUT", path+"&partNumber=1", first, nil, 404)
+	// An ordinary overwrite must not inherit an obsolete composite checksum.
+	p.request("PUT", "/uploads/large", []byte("replacement"), nil, 200)
+	head = p.request("HEAD", "/uploads/large", nil, nil, 200)
+	if head.header.Get("x-amz-checksum-sha256") != "" || head.header.Get("x-amz-checksum-type") != "" {
+		t.Fatal("overwrite retained stale checksum")
+	}
+}
+
+func TestMultipartConditionalCompletionIsAtomic(t *testing.T) {
+	p := newProbe(t)
+	paths := []string{p.start("same", true), p.start("same", true)}
+	parts := []string{p.part(paths[0], 1, []byte("first"), true), p.part(paths[1], 1, []byte("second"), true)}
+	statuses := make(chan int, 2)
+	var wg sync.WaitGroup
+	for i := range paths {
+		wg.Add(1)
+		go func(i int) {
+			defer wg.Done()
+			req, _ := http.NewRequest("POST", p.server.URL+paths[i], bytes.NewReader(completion(parts[i])))
+			req.Header.Set("If-None-Match", "*")
+			res, err := p.server.Client().Do(req)
+			if err != nil {
+				statuses <- 0
+				return
+			}
+			defer res.Body.Close()
+			io.Copy(io.Discard, res.Body)
+			statuses <- res.StatusCode
+		}(i)
+	}
+	wg.Wait()
+	close(statuses)
+	counts := map[int]int{}
+	for s := range statuses {
+		counts[s]++
+	}
+	if counts[200] != 1 || counts[412] != 1 {
+		t.Fatalf("competing creates: %v", counts)
+	}
+	body := p.request("GET", "/uploads/same", nil, nil, 200).body
+	if string(body) != "first" && string(body) != "second" {
+		t.Fatalf("bad winner: %s", body)
+	}
+}
+
+func TestMultipartAbortAndLegacyUpload(t *testing.T) {
+	p := newProbe(t)
+	path := p.start("aborted", true)
+	part := p.part(path, 1, []byte("abc"), true)
+	p.request("DELETE", path, nil, nil, 204)
+	p.request("POST", path, completion(part), nil, 404)
+	p.request("HEAD", "/uploads/aborted", nil, nil, 404)
+	path = p.start("legacy", false)
+	part = p.part(path, 1, []byte("legacy"), false)
+	p.request("POST", path, completion(part), nil, 200)
+	if got := p.request("GET", "/uploads/legacy", nil, nil, 200); string(got.body) != "legacy" {
+		t.Fatal("legacy multipart changed")
+	}
+}

package/src/components/s3-runtime/multipart.patch

@@ -0,0 +1,241 @@
+--- a/vendor/github.com/johannesboyne/gofakes3/gofakes3.go
++++ b/vendor/github.com/johannesboyne/gofakes3/gofakes3.go
+@@ -933,6 +933,14 @@
+ 		return err
+ 	}
+ 
++	if meta["X-Amz-Checksum-Algorithm"] == "SHA256" {
++		if kind := meta["X-Amz-Checksum-Type"]; kind != "" && kind != "COMPOSITE" {
++			return ErrInvalidArgument
++		}
++		meta["X-Amz-Checksum-Type"] = "COMPOSITE"
++		w.Header().Set("x-amz-checksum-algorithm", "SHA256")
++		w.Header().Set("x-amz-checksum-type", "COMPOSITE")
++	}
+ 	uploadID, err := g.uploader.CreateMultipartUpload(bucket, object, meta)
+ 	if err != nil {
+ 		return err
+@@ -983,12 +991,20 @@
+ 		}
+ 	}
+ 
++	var checksum *sha256PartReader
++	if expected := r.Header.Get("x-amz-checksum-sha256"); expected != "" {
++		checksum = newSHA256PartReader(rdr, expected)
++		rdr = checksum
++	}
+ 	etag, err := g.uploader.UploadPart(bucket, object, uploadID, int(partNumber), r.ContentLength, rdr)
+ 	if err != nil {
+ 		return err
+ 	}
+ 
+ 	w.Header().Add("ETag", etag)
++	if checksum != nil {
++		w.Header().Set("x-amz-checksum-sha256", checksum.sum())
++	}
+ 	return nil
+ }
+ 
+@@ -1009,6 +1025,13 @@
+ 		return err
+ 	}
+ 
++	var err error
++	in.Conditions, err = parsePutConditions(r.Header)
++	if err != nil {
++		return err
++	}
++	in.ChecksumSHA256 = r.Header.Get("x-amz-checksum-sha256")
++	in.ChecksumType = r.Header.Get("x-amz-checksum-type")
+ 	versionID, etag, err := g.uploader.CompleteMultipartUpload(bucket, object, uploadID, &in)
+ 	if err != nil {
+ 		return err
+@@ -1031,10 +1054,12 @@
+ 	}
+ 
+ 	return g.xmlEncoder(w).Encode(&CompleteMultipartUploadResult{
+-		ETag:     etag,
+-		Bucket:   bucket,
+-		Key:      object,
+-		Location: location,
++		ETag:           etag,
++		Bucket:         bucket,
++		Key:            object,
++		Location:       location,
++		ChecksumSHA256: in.ChecksumSHA256,
++		ChecksumType:   in.ChecksumType,
+ 	})
+ }
+ 
+--- a/vendor/github.com/johannesboyne/gofakes3/uploader.go
++++ b/vendor/github.com/johannesboyne/gofakes3/uploader.go
+@@ -3,6 +3,8 @@
+ import (
+ 	"bytes"
+ 	"crypto/md5"
++	"crypto/sha256"
++	"encoding/base64"
+ 	"encoding/hex"
+ 	"fmt"
+ 	"io"
+@@ -428,13 +430,26 @@
+ 		return "", "", ErrInvalidPart
+ 	}
+ 
+-	if !input.partsAreSorted() {
++	if len(input.Parts) == 0 || !input.partsAreSorted() {
+ 		return "", "", ErrInvalidPartOrder
+ 	}
+ 
+ 	var size int64
+ 
+-	for _, inPart := range input.Parts {
++	composite := sha256.New()
++	withSHA256 := mpu.Meta["X-Amz-Checksum-Algorithm"] == "SHA256"
++	if withSHA256 && input.ChecksumType != "" && input.ChecksumType != "COMPOSITE" {
++		return "", "", ErrBadDigest
++	}
++	previous := 0
++	for i, inPart := range input.Parts {
++		if inPart.PartNumber <= previous {
++			return "", "", ErrInvalidPartOrder
++		}
++		previous = inPart.PartNumber
++		if withSHA256 && inPart.PartNumber != i+1 {
++			return "", "", ErrInvalidPartOrder
++		}
+ 		if inPart.PartNumber >= mpuPartsLen || mpu.parts[inPart.PartNumber] == nil {
+ 			return "", "", ErrorMessagef(ErrInvalidPart, "unexpected part number %d in complete request", inPart.PartNumber)
+ 		}
+@@ -444,6 +459,13 @@
+ 			return "", "", ErrorMessagef(ErrInvalidPart, "unexpected part etag for number %d in complete request", inPart.PartNumber)
+ 		}
+ 
++		if withSHA256 {
++			digest := sha256.Sum256(upPart.Body)
++			if inPart.ChecksumSHA256 != base64.StdEncoding.EncodeToString(digest[:]) {
++				return "", "", ErrBadDigest
++			}
++			composite.Write(digest[:])
++		}
+ 		size += int64(len(upPart.Body))
+ 	}
+ 
+@@ -461,7 +483,20 @@
+ 
+ 	etag = fmt.Sprintf(`"%s-%d"`, hex.EncodeToString(hash.Sum(nil)), len(input.Parts))
+ 
+-	result, err := u.storage.PutObject(bucket, object, mpu.Meta, bytes.NewReader(body), int64(len(body)), nil)
++	if withSHA256 {
++		checksum := fmt.Sprintf("%s-%d", base64.StdEncoding.EncodeToString(composite.Sum(nil)), len(input.Parts))
++		if input.ChecksumSHA256 != "" && input.ChecksumSHA256 != checksum {
++			return "", "", ErrBadDigest
++		}
++		input.ChecksumSHA256 = checksum
++		input.ChecksumType = "COMPOSITE"
++		mpu.Meta["X-Amz-Checksum-Sha256"] = checksum
++		mpu.Meta["X-Amz-Checksum-Type"] = "COMPOSITE"
++	} else {
++		input.ChecksumSHA256 = ""
++		input.ChecksumType = ""
++	}
++	result, err := u.storage.PutObject(bucket, object, mpu.Meta, bytes.NewReader(body), int64(len(body)), input.Conditions)
+ 	if err != nil {
+ 		return "", "", err
+ 	}
+--- a/vendor/github.com/johannesboyne/gofakes3/messages.go
++++ b/vendor/github.com/johannesboyne/gofakes3/messages.go
+@@ -48,12 +48,16 @@
+ }
+ 
+ type CompletedPart struct {
+-	PartNumber int    `xml:"PartNumber"`
+-	ETag       string `xml:"ETag"`
++	ChecksumSHA256 string `xml:"ChecksumSHA256,omitempty"`
++	PartNumber     int    `xml:"PartNumber"`
++	ETag           string `xml:"ETag"`
+ }
+ 
+ type CompleteMultipartUploadRequest struct {
+-	Parts []CompletedPart `xml:"Part"`
++	Conditions     *PutConditions  `xml:"-"`
++	ChecksumSHA256 string          `xml:"-"`
++	ChecksumType   string          `xml:"-"`
++	Parts          []CompletedPart `xml:"Part"`
+ }
+ 
+ func (c CompleteMultipartUploadRequest) partsAreSorted() bool {
+@@ -70,10 +74,12 @@
+ }
+ 
+ type CompleteMultipartUploadResult struct {
+-	Location string `xml:"Location"`
+-	Bucket   string `xml:"Bucket"`
+-	Key      string `xml:"Key"`
+-	ETag     string `xml:"ETag"`
++	ChecksumSHA256 string `xml:"ChecksumSHA256,omitempty"`
++	ChecksumType   string `xml:"ChecksumType,omitempty"`
++	Location       string `xml:"Location"`
++	Bucket         string `xml:"Bucket"`
++	Key            string `xml:"Key"`
++	ETag           string `xml:"ETag"`
+ }
+ 
+ type Content struct {
+--- a/vendor/github.com/johannesboyne/gofakes3/checksum.go
++++ b/vendor/github.com/johannesboyne/gofakes3/checksum.go
+@@ -0,0 +1,32 @@
++package gofakes3
++
++import (
++	"crypto/sha256"
++	"encoding/base64"
++	"hash"
++	"io"
++)
++
++// Validate before UploadPart commits bytes to the existing multipart store.
++type sha256PartReader struct {
++	input    io.Reader
++	digest   hash.Hash
++	expected string
++}
++
++func newSHA256PartReader(input io.Reader, expected string) *sha256PartReader {
++	return &sha256PartReader{input: input, digest: sha256.New(), expected: expected}
++}
++
++func (r *sha256PartReader) sum() string {
++	return base64.StdEncoding.EncodeToString(r.digest.Sum(nil))
++}
++
++func (r *sha256PartReader) Read(p []byte) (int, error) {
++	n, err := r.input.Read(p)
++	r.digest.Write(p[:n])
++	if err == io.EOF && r.sum() != r.expected {
++		return n, ErrBadDigest
++	}
++	return n, err
++}
+--- a/vendor/github.com/johannesboyne/gofakes3/backend.go
++++ b/vendor/github.com/johannesboyne/gofakes3/backend.go
+@@ -3,6 +3,7 @@
+ import (
+ 	"encoding/hex"
+ 	"errors"
++	"strings"
+ 
+ 	"io"
+ 	"time"
+@@ -434,6 +435,11 @@
+ 	// carry over metadata if it exists
+ 	if existingObj != nil {
+ 		for k, v := range existingObj.Metadata {
++			// Integrity metadata belongs to the bytes being written, never a
++			// previous version of this key. CopyObject supplies its own metadata.
++			if strings.HasPrefix(k, "X-Amz-Checksum-") {
++				continue
++			}
+ 			// new metadata overwrites old but keep the rest
+ 			// TODO: check how metadata can be deleted?!
+ 			if _, ok := meta[k]; !ok {

package/src/components/s3-runtime/test.sh

@@ -0,0 +1,12 @@
+#!/bin/sh
+# Exercise the exact vendored compatibility patches used by the runtime image.
+set -eu
+source_dir=$(CDPATH= cd -- "$(dirname -- "$0")" && pwd)
+test_dir=$(mktemp -d)
+trap 'rm -rf "$test_dir"' EXIT HUP INT TERM
+cp "$source_dir"/*.go "$source_dir/go.mod" "$source_dir/go.sum" "$source_dir"/*.patch "$test_dir/"
+cd "$test_dir"
+go mod vendor
+patch -p1 < metadata.patch
+patch -p1 < multipart.patch
+go test -mod=vendor -race ./...

package/src/components/s3.ts

@@ -52,11 +52,11 @@ const S3_DOCKERFILE = `
 FROM golang:1.27.2-alpine@sha256:f92b6ef800e499660581efdabdf25d9d817a9d124eaf900924f0504e7e27e12d AS build
 RUN apk add --no-cache patch
 WORKDIR /src
-${["go.mod", "go.sum", "main.go", "metadata.patch"].map((file) => {
+${["go.mod", "go.sum", "main.go", "metadata.patch", "multipart.patch"].map((file) => {
   const data = readFileSync(new URL(`./s3-runtime/${file}`, import.meta.url)).toString("base64");
   return `RUN printf '%s' '${data}' | base64 -d > ${file}`;
 }).join("\n")}
-RUN go mod vendor && patch -p1 < metadata.patch
+RUN go mod vendor && patch -p1 < metadata.patch && patch -p1 < multipart.patch
 RUN CGO_ENABLED=0 go build -mod=vendor -trimpath -ldflags='-s -w' -o /s3-server .
 FROM scratch
 COPY --from=build /s3-server /s3-server