fix(identity): reject stale profile updates with ETag/If-Match instead of losing the write - #1387
marcelo-maciel wants to merge 13 commits into
Conversation
…1333 is open `NU1903` / `GHSA-q939-rpr3-3284` on `SSH.NET` 2025.1.0, pulled transitively by Testcontainers, fails `restore` for the whole solution under `TreatWarningsAsErrors` — on `main` too. It is not introduced here and the fix belongs to fullstackhero#1333, which is still open. Carried byte-identical to fullstackhero#1333's version of the file, comment included, so both stay mergeable in either order and this copy can simply be dropped once fullstackhero#1333 lands.
`PUT /identity/profile` is a full-representation update: every field is assigned from the request, so a caller working from a stale read blanks whatever changed in between. Nothing on the request said which version the caller had edited, so the server could not tell a deliberate overwrite from a lost update and accepted both. `AspNetUsers.ConcurrencyStamp` is already mapped as an EF concurrency token and Identity's store rotates it on every `UserManager.UpdateAsync`, so the version marker exists — it just was not on the wire. `GET /identity/profile` now publishes it as a strong `ETag`, and `PUT /identity/profile` honours `If-Match`: a token that no longer matches gets `412 Precondition Failed` instead of silently winning. No migration and no schema change. The header stays optional — absent means today's behaviour, so existing clients keep working. A `ponytail:` comment marks the future path where it becomes required and a missing header answers `428`. Details worth calling out: - The precondition is checked immediately after the user is loaded, before the storage calls. Any later and a rejected update would already have uploaded an orphan blob or, on the `deleteCurrentImage` path, deleted the avatar for a request that then fails and changes nothing in the database. - `IdentityResult`'s `ConcurrencyFailure` is mapped to the same 412. Identity's store returns it rather than throwing, so a race lost one layer down used to surface as a generic 500. - `RefreshSignInAsync` now runs after the success guard. It used to refresh the sign-in even when the update had failed. - `*` in `If-Match` asks only that the resource exist. Weak validators can never satisfy the strong comparison the header mandates, so they answer 412. A malformed header answers 400: 412 would send a client into a refetch-and-retry loop it can never win, since the broken header is its own bug. Tests: integration coverage for the ETag shape, matching/stale/list/`*`/weak/ malformed preconditions, token rotation and the avatar-survives-412 case, plus a handler unit test that the tokens reach the service.
The avatar case only checked the image URL. `SetPhoneNumberAsync` persists on its own, ahead of the final `UserManager.UpdateAsync`, so a precondition checked too late would let a field through on a request that then answers 412. Asserting the name as well pins that down, and the comment now says what the test proves rather than claiming the storage call itself is observed.
`updateMyProfile` reads the profile, merges the edited fields and PUTs the whole representation back. Nothing tied that write to the version it was built from, so a concurrent change — another tab, a phone, a slow save racing a fast one — was silently overwritten. The read now also picks up the profile's `ETag` and the PUT echoes it in `If-Match`, so the server can answer 412 instead of accepting a stale representation. A 412 is retried once from a fresh read: the token rotates on writes the user never thinks of as profile edits (a password change, a failed sign-in, a new avatar), and turning those into a failed save would be noise. A second 412 propagates. `apiFetch` grew an `onResponse` hook, because it returns the parsed body and there was no way to reach a response header from a caller. Note for anyone running the API on a separate origin (the dev setup does — the page is on 5174 and the API on 7030): `ETag` is not a CORS-safelisted response header, so the browser hides it from JS unless the API also sends `Access-Control-Expose-Headers: ETag`, and `If-Match` has to be an allowed request header. The framework's CORS policy does neither today, which is a separate change in protected code. Until it lands this path degrades to the old behaviour — the client reads no tag and sends no precondition. Same-origin deployments (the shipped `apiBase: ""` default) are unaffected.
The dashboard specs mock `Access-Control-Expose-Headers: ETag`, which the API does
not send: `FSH.Framework.Web.Cors` never calls `WithExposedHeaders`. A browser
therefore hides the tag from JS on any cross-origin call, the client stops sending
`If-Match`, and the endpoint silently falls back to the lost-update behaviour this
branch set out to fix -- with every test still green.
Assert it instead of describing it in a comment. The test is skipped so the suite
stays green until the framework change lands (protected code, needs approval);
the skip reason names exactly what has to change to un-skip it.
Verified: un-skipped it fails on the missing header; with `WithExposedHeaders("ETag")`
added locally to the AllowAll branch it passes. That temporary edit was reverted --
`src/BuildingBlocks` is untouched by this branch.
Refs fullstackhero#1359
…itions `ETag` is not a CORS-safelisted response header, so a browser hid it from JS on every cross-origin call -- which is every dev run, since both React apps point `apiBase` at the API's own origin. A front-end that cannot read the validator cannot send `If-Match`, so the optimistic-concurrency precondition on `PUT /identity/profile` degraded straight back to the lost update it exists to prevent, with the whole suite still green. Exposed for both policy branches: neither `AllowAnyHeader` nor `WithHeaders` implies exposure, and the header carries no data of its own, only a validator. `if-match` joins `AllowedHeaders` in both shipped appsettings for the mirror-image reason: with `AllowAll: false` the request header is stripped before it reaches the endpoint. Gates: `CorsPolicyTests` covers both branches at the policy level and `GetProfile_Should_ExposeETagToCrossOriginCallers_When_ProfileIsRead` covers it end to end, so the front-end mocks can no longer hide a server that stops sending the header. Verified by mutation -- dropping the argument turns all three red; restored and re-run green. Refs fullstackhero#1359
…advisories `dotnet restore` fails for the whole solution under `TreatWarningsAsErrors`, on `main` and on every open PR alike. Advisory-database drift, not a regression from any change: a commit green on 2026-08-10 is red today with no edits. - `Testcontainers.PostgreSql` / `.Redis` / `.Minio` 4.11.0 -> 4.14.0 (NU1903, GHSA-q939-rpr3-3284). 4.11.0 depends on `SSH.NET` 2025.1.0; 4.14.0 already depends on the patched 2026.0.0, so the advisory clears with no transitive pin to remember to remove later. Same fix as fullstackhero#1369, so the two do not conflict. - `Microsoft.SourceLink.GitHub` 8.0.0 -> 10.0.401 (NU1902, GHSA-23fw-v26w-5fgq). 8.0.0 drags in `Microsoft.Build.Tasks.Git` 8.0.0 and the 8.x line has no patched release, so a transitive pin cannot fix it; the package itself has to move. 10.0.401 depends on `Microsoft.Build.Tasks.Git` 10.0.401, past the patched 10.0.303. Build-time only (`PrivateAssets="all"`), referenced only where `IsPackable == true`, which is the CLI alone - and `src/Tools/**` is excluded from the template, so the scaffold never sees it. Verified: `dotnet restore src/FSH.Starter.slnx` exits 0 with no NU19xx, and `dotnet build src/FSH.Starter.slnx -c Release -warnaserror` reports 0 warnings and 0 errors.
MinIO withdrew `minio/minio` from Docker Hub. Docker Hub's API now answers
`object not found` for the repository, and a pull fails with:
pull access denied for minio/minio, repository does not exist or may
require 'docker login'
That takes down every Testcontainers-backed integration test (the harness boots
a MinIO container per fixture, so all 724 tests in `Integration.Tests` fail at
container start), the Aspire AppHost, and the Docker Compose deployment. The
image is still published at `quay.io/minio/minio`:
- `Integration.Tests` and `Integration.Middleware.Tests` harnesses
- `AppHost.cs`, via Aspire's `WithImageRegistry` / `WithImageTag`
- `deploy/docker/docker-compose.yml` and the image table in its README
The tag is pinned to `RELEASE.2025-09-07T16-13-09Z` rather than `:latest`. quay
has not moved `:latest` since 2025-09-07, so the two resolve to the same digest
today; pinning only removes the surprise of a silent move later, and keeps the
test harness off a floating tag. Whether to track a newer release, or a different
S3-compatible image, is a separate call.
While in the README's image table: `postgres` and `redis` rows had drifted from
what compose actually ships (`postgres:18-alpine`, `valkey/valkey:9.1.0-alpine`).
Verified: `docker pull minio/minio:latest` fails with the error above;
`docker pull quay.io/minio/minio:RELEASE.2025-09-07T16-13-09Z` succeeds
(`sha256:14cea493d9a34af32f524e538b8346cf79f3321eff8e708c1e2960462bd8936e`, the
same digest `:latest` resolves to). `dotnet test Integration.Tests -c Release`
passes against the pinned image, and the Aspire manifest renders the container
as `quay.io/minio/minio:RELEASE.2025-09-07T16-13-09Z`.
…ed with The save read the profile again and used that read's ETag as If-Match. A tag fetched at save time is current by construction, so it matched whatever a concurrent writer had just stored and the PUT went through: the endpoint gained 412 handling while the client could never trigger it. The lost update the PR set out to stop happens between the user seeing the values and pressing save, and nothing was watching that gap. The ETag now travels with the profile the form was seeded from, held in a ref so a background refetch cannot advance it to a version the user never saw. The 412 retry is gone with it: the only body available is the one typed against the old values, so resending it against a fresh tag performs exactly the overwrite the 412 prevented. The page warns, keeps the typed edits on screen, adopts the current version, and waits for a deliberate second save. Two consequences fell out of getting there. The refetch after a conflict has to pass staleTime 0, or the client's 30s default hands back the cached copy carrying the tag the server just rejected. And Save is now disabled until the profile read lands, since a save carries that read's unedited fields and version — previously the save built its own body, so it could run without one. The topbar and the security page share this query key, so they read through the same ETag-carrying function: one key, one shape. Gates: the two new specs fail on the previous client (the save sent the post-change tag; the retry overwrote) and pass after. profile.spec 9/9, tsc and lint clean. Full dashboard suite 151/153 with 2 failures that pass on their own run and touch none of this — a pre-existing flake under 6 workers, reported separately.
|
Follow-ups this PR does not carry: Merge order against #1384. This PR changes the Docs (AGENTS.md rule 10): present, and the wrong line is now fixed. fullstackhero/docs#246 already documents the precondition, so the rule is satisfied. It does, however, tell clients to "refetch and retry once on Test-suite note. Full dashboard Playwright run on this branch: 152 passed, 1 failed ( |
The page told clients to refetch and retry once on 412, and the changelog said the tenant dashboard does exactly that. Both recreate the bug the status code prevents: the only body a client holds is the one built from the values the user saw, so resending it against a freshly fetched tag performs the overwrite the 412 rejected. Replaced with what fullstackhero/dotnet-starter-kit#1387 actually ships: take the tag from the read that populated the form, never from a read inside the save, and on 412 keep the user's edits, adopt the current version, and ask for a deliberate re-save.
… form Three defects an independent review found in the concurrency work, all of them on paths a normal user walks. **A compressing edge makes the profile permanently unsavable.** The endpoint only emits a strong validator, but Cloudflare (and any edge that re-encodes a response) downgrades the tag it forwards to `W/"..."` by default. The client stored and echoed that verbatim, the server dropped it under the strong comparison `If-Match` mandates, and every save answered 412 — on a profile nobody else was touching, with the UI blaming a concurrent editor. The client strips the `W/` prefix: a weak tag can only be a transport artefact here. **Changing the avatar guaranteed a 412 on the next save.** Setting the image is a second write to the same row, so Identity rotates the concurrency stamp, but the image mutation only invalidated the query — the form kept the pre-image tag. It adopts the new version instead, which also refreshes the cached copy the topbar avatar reads. **A lost race on the delete-avatar path could destroy the blob.** The `If-Match` guard is not the last word: another writer can still land between it and `UpdateAsync`, which then fails with `ConcurrencyFailure` and maps to 412. The old blob had already been removed by then, leaving `AspNetUsers.ImageUrl` pointing at something that no longer exists — unrecoverable, and invisible until the next page load. The delete now runs only after the database write succeeds. Both client fixes are mutation-checked: reverting either turns its new spec red. The third has no automated test — reproducing it needs a real race between `FindByIdAsync` and `UpdateAsync` inside one request — so it is inspection plus the existing 17 profile integration tests staying green.
The MinIO carve-out this branch carries only moved `minio/minio`. `minio/mc` is gone from Docker Hub as well (`hub.docker.com/v2/repositories/minio/mc/` answers 404), and it is what `minio-init` runs: without it `dotnet run --project src/Host/FSH.Starter.AppHost` and `docker compose up` both die on the image pull, and the `fsh` bucket is never created, so the first upload fails with NoSuchBucket. Same pinned tag as fullstackhero#1388, which owns the fix, so the copy stays byte-identical to it and can be dropped once that lands.
The pin's own comment says "Testcontainers 4.11.0 and 4.13.0 both depend on 2025.1.0, so bumping Testcontainers does not help", but the branch also bumps Testcontainers to 4.14.0, whose nuspec declares `SSH.NET >= 2026.0.0`. The two statements cannot both be true, and the bump is the one that is: with the pin removed, `dotnet restore src/FSH.Starter.slnx --force` reports zero NU1902/NU1903 and exits 0. It was carrying a transitive pin that no longer pins anything. The MessagePack pin above it stays: that one is still load-bearing (removing it brings GHSA-hv8m-jj95-wg3x straight back, verified in the same probe).
- `onSuccess` fired `adoptCurrentVersion()` without awaiting it, so `isPending` dropped before the new tag was in hand: the button re-enabled over a spent tag and a quick second save 412'd against the user's own write, with a toast blaming someone else. A failed refetch was also an unhandled rejection that left the form stranded on a tag the server had already rejected. - `if-match` in `CorsOptions:AllowedHeaders` had no gate. `CorsPolicyTests` builds its configuration in memory, so removing the header from the shipped appsettings kept the suite green while the restricted policy stripped the precondition off every PUT — the feature would degrade back to the lost update it exists to prevent, silently. The new test loads the shipped files the way the host does, for both environments. - The disabled-save path (profile read failing) was described in the PR body as one of the two latent bugs fixed, and had no test. It has one now.
|
Merge order for the three PRs that share the Identity profile path. #1381, #1382 and #1387 all touch the same eight files. None of the three declared an order against the others, so this is what the merges actually do, measured rather than guessed. #1381 + #1382 is clean. Same series, and #1382 carries #1381's changes to those files verbatim ( #1387 conflicts with both, on all eight: Twelve hunks, and every one is additive: one PR adds The part worth knowing about is not in the conflicts. Recommended order: #1387 → #1381 → #1382 → #1383 → #1384. Three reasons, in order of weight. #1387 is the fix for a silent lost update, and it should not queue behind a four-part feature. #1384 already declares it depends on #1387 landing first, so any other order serializes the same way with an extra step. And the side that rebases re-applies its own changes: #1381's footprint in the shared files is Verified end to end on a scratch worktree off One follow-up that is not a merge problem. |
What
PUT /identity/profileis a full-representation update with no concurrency token, so twooverlapping self-updates silently lose one another's changes (#1359). This adds an optimistic
precondition:
GET /identity/profilereturns a strongETag,PUThonoursIf-Match, and astale token is answered with
412 Precondition Failedinstead of overwriting the newer write.Closes #1359.
The token is already there — no migration
The issue's own suggested fix proposed a new
RowVersion/xmincolumn. That isn't needed:AspNetUsers.ConcurrencyStampis already mappedIsConcurrencyToken()in the snapshot, andASP.NET Identity's
UserStore.UpdateAsyncrotates it on every write. It can serve as thevalidator directly, which keeps this change at zero schema impact and avoids carrying two
concurrency tokens on one entity.
The stamp is exposed as the
ETagand never as a body field ([JsonIgnore]onUserDto.ConcurrencyStamp), so it stays out of the OpenAPI contract and cannot be spoofedthrough the request body.
Behaviour
If-MatchIf-Matchmatching the stored stampIf-Match: *If-Match412, nothing written.W/"...")412—If-Matchmandates the strong comparison function. The client never sends one: see the follow-up below, because a compressing edge produces weak tags the client did not ask for.400, not412: a412would send a well-behaved client into a refetch-and-retry loop it can never win, since the malformed header is its own bug.Two smaller fixes fell out of this:
UserManager.UpdateAsyncanswers a lost race withIdentityResult.Failed(ConcurrencyFailure())rather than throwing, so it used to surface as a generic
500. It now maps to the same412.RefreshSignInAsyncran before the success check, refreshing the sign-in even when the updatehad failed. It now runs only on success.
Ordering matters
The precondition is checked immediately after
FindByIdAsync, ahead of the storage calls andahead of
SetPhoneNumberAsync. Anywhere later and a412would already have orphaned an upload,or — on the
deleteCurrentImagepath — deleted the avatar with no database change to show for it.UpdateProfile_Should_KeepAvatar_When_IfMatchIsStaleAndDeleteCurrentImageRequestedcovers exactlythat; I confirmed it goes red if the guard is moved down.
Worth naming for reviewers:
SetPhoneNumberAsyncis a second database write and itsIdentityResultis discarded (pre-existing, untouched here). The handler is therefore not atomicacross the two writes. A phone-number race is still reported, because the subsequent
UpdateAsyncalso fails and that failure now maps to
412— but the mechanism is that mapping, not atomicity.Client
clients/dashboardreads the profile throughgetMyProfileWithETag, seeds the form from thatread, and sends that same read's tag as
If-Matchon save. Both halves matter: the tag has to comefrom the read the user actually saw, because the lost update this guards against happens between
that moment and the save. A tag fetched inside the save is never stale and so never catches
anything.
A
412is not retried. An earlier revision of this PR retried once against a fresh read, on thetheory that the stamp also rotates on writes the user never perceives as a profile edit (a password
change, a new avatar). Review removed it: the only body the client holds is the one built against
the values the user saw, so resending it against a freshly fetched tag performs exactly the
overwrite the
412rejected. The save now keeps the user's edits on screen, adopts the currentversion, and asks for a deliberate re-save.
Two latent bugs surfaced once the tests drove that path for real: the client's global
staleTime: 30_000made the post-412fetchQueryhand back the cached copy carrying the very tagthe server had just rejected (now
staleTime: 0), and a save attempted before the profile readlanded was silently a no-op (the button is disabled until the read succeeds, with the reason on
screen).
clients/adminhas noPUT /identity/profilecaller onmain, so nothing to change there. (Theissue text claims both apps write the profile — that part of my own report was wrong.)
The CORS piece — why this PR touches BuildingBlocks
An
ETag/If-Matchcontract is a no-op in the browser unless CORS cooperates, and it did not:ETagis not a CORS-safelisted response header.FSH.Framework.Web.Corsnever calledWithExposedHeaders, so a browser hid the tag from JS on every cross-origin call — which isevery dev run, since both React apps point
apiBaseat the API's own origin. The client thenread
null, stopped sendingIf-Match, and the endpoint degraded straight back to the lostupdate it now prevents. One
WithExposedHeaderscall (plus a four-line comment), placed after thebranch so it covers both policies — neither
AllowAnyHeadernorWithHeadersimplies exposure.if-matchis not a safelisted request header either. It joinsAllowedHeadersin bothshipped
appsettings, otherwiseAllowAll: falsestrips the precondition before the endpointsees it.
I know
src/BuildingBlocksis protected, so this is deliberately the smallest possible change andkept in its own commit (
feat(cors): expose ETag and allow If-Match…) — easy to drop or reworkwithout touching the rest. Happy to split it into its own PR if you'd rather review it separately.
Both directions are gated rather than described in a comment:
CorsPolicyTestsasserts the exposureat the policy level for both branches, and
GetProfile_Should_ExposeETagToCrossOriginCallers_When_ProfileIsReadasserts it end to end againsta cross-origin request. The front-end specs mock the header, so without a server-side gate nothing
would notice the policy dropping it. Verified by mutation: removing the argument turns all three
red.
Separately and not fixed here: the
tenantheader both front-ends send on every request isalso missing from
AllowedHeaders, so anyone enabling the restricted policy today is alreadybroken. Filed as #1367 rather than folded into this one.
Also in this PR
Directory.Packages.propscarries the Testcontainers and SourceLink bumps thatrestoreneeds onmaintoo. It used to carry an explicitSSH.NETpin as well; that pin is gone, because Testcontainers 4.14.0 already depends on the patched version. See the note at the end.Verification
0(~1057 tests)clients/dashboardPlaywright: 152 passed, 1 failed —tests/chat/chat.spec.ts:107, apre-existing flake under worker contention that passes 5/5 in isolation and touches none of the
changed files.
tsc -bclean andeslint .exit0(12 pre-existingreact-refreshwarnings,none in touched files)
moving it below the storage calls turns the avatar test red; dropping the CORS exposure turns
the three new CORS gates red.
Docs + changelog: fullstackhero/docs#246. It used
to advise clients to refetch and retry once on
412, which is the overwrite this PR's clientdeliberately refuses to perform. Corrected in fullstackhero/docs@632e8d87, which also documents that
the tag must come from the read that populated the form.
Review follow-ups
An independent review of this PR found three defects on paths a normal user walks. All fixed here:
validator, but Cloudflare — and any edge that re-encodes the response — downgrades the tag it
forwards to
W/"..."by default, and this stack documents Cloudflare Tunnel as a supported edge.The client stored and echoed that verbatim, the server dropped it under the strong comparison, and
every save answered 412 while the UI blamed a concurrent editor. The client strips the
W/prefixnow: the server never emits a weak tag, so one arriving can only be a transport artefact. The table
row above was treating the default production path as a client bug.
the same row, so Identity rotates the stamp — but the image mutation only invalidated the query,
and the form kept the pre-image tag. It adopts the new version now.
If-Matchguard is not thelast word: another writer can land between it and
UpdateAsync, which then fails withConcurrencyFailureand maps to 412 — after the old blob had already been removed, leavingAspNetUsers.ImageUrlpointing at something that no longer exists. The delete now runs only afterthe database write succeeds. This one has no automated test: reproducing it needs a real race
inside one request between
FindByIdAsyncandUpdateAsync. Stated rather than papered over.The two client fixes are mutation-checked (reverting either turns its new spec red) and the 17
profile integration tests stay green.
Infra carve-outs, corrected after review. Two things in the out-of-topic hunks were wrong and
are fixed on the branch:
minio/minioto quay.io.minio/mcis gone from Docker Hub too(
hub.docker.com/v2/repositories/minio/mc/answers 404) and it is whatminio-initruns, so bothdotnet run --project src/Host/FSH.Starter.AppHostanddocker compose updied on the pull and thefshbucket was never created. Now pinned to the same quay tag #1388 uses.SSH.NETpin is gone: it pinned nothing. Its own comment claimed bumping Testcontainersdoes not help, but 4.14.0 — which this branch also carries — declares
SSH.NET >= 2026.0.0.Measured rather than argued: with the pin removed,
dotnet restore src/FSH.Starter.slnx --forcereports zero NU1902/NU1903 and exits 0. (The MessagePack pin next to it stays; removing that one
does bring its advisory straight back.)
With both applied,
deploy/docker/docker-compose.ymlandsrc/Directory.Packages.propsare nowgenuinely byte-identical to #1388 (
git diff --exit-code, checked today), which the earlier claimwas not.
Second review round, three gaps.
onSuccessfiredadoptCurrentVersion()without awaiting it, soisPendingdropped before thenew tag was in hand: the button re-enabled over a spent tag, and a quick second save answered
412 against the user's own write with a toast blaming someone else. A failed refetch was also an
unhandled rejection that left the form stranded on a tag the server had already rejected.
if-matchinCorsOptions:AllowedHeadershad no gate.CorsPolicyTestsbuilds itsconfiguration in memory, so removing the header from the shipped
appsettingswould keep thesuite green while the restricted policy stripped the precondition off every PUT, degrading the
feature back to the lost update it exists to prevent, silently.
CorsHeaderConfigurationTestsloads the shipped files the way the host does, for both environments.
bugs this PR fixes, and had no test. It has one now.