* chore(format): one Prettier config at the repository root Every formatting rule in this repository lived under Client/ and covered exactly two globs: Client/src/**/*.ts and Client/tests/**/*.ts. Root Markdown, all of docs/, every YAML and JSON, all CSS, the root scripts and tools/mcp-introspect were formatted by nothing. There was no .editorconfig. The obvious fix -- a second Prettier config at the root for "everything else" -- gives two configs and two ignore files that can silently disagree about the same file. So the root takes ownership instead: config, ignore file and gate move up, and Client/ folds in. Client's inline "prettier" block, its .prettierignore, its format/format:check scripts and its now-unused prettier devDependency are all deleted; knip would have failed client-check on that last one. The .prettierrc.json values are lifted byte-for-byte from Client/package.json, which is what keeps the reformat commit free of client TypeScript churn: 87 tracked files need reformatting and not one of them is under Client/src or Client/tests. .prettierignore carries only what .gitignore does not. Prettier 3 reads the root .gitignore by default, so node_modules/, dist/, coverage/, Client/src/generated/ and docs/security-findings/ need no entry. It does NOT read nested .gitignore files, which is why .remember/ is listed explicitly -- 38 untracked per-machine scratch files were otherwise able to turn a shared gate red. graphify-out/ is listed because its seven files are tracked and .graphify_labels.json is signed byte-for-byte by its .sig, so formatting it would silently invalidate the signature. check:hygiene is registered in scripts/run.mjs and folded into check and release:preflight. It deliberately contains no `gofmt -l` step: gofmt -l prints offenders and still exits 0, so it cannot fail a build. Go formatting is enforced separately. shellcheck and actionlint take their file lists from `git ls-files`, never a filesystem glob -- .claude/worktrees/ holds a gitignored pre-flatten copy of the tree with three .sh files a glob would happily lint. This commit leaves the tree non-conformant on purpose. The reformat is the next commit, so the 87-file diff is reviewable separately from the rule that caused it. Not included: editorconfig-checker. .editorconfig is the editor baseline the audit asked for; Prettier, gofmt and rustfmt already fail CI on the same indentation and newline rules, so a fourth tool checking them again is a gate with no failure mode of its own. Verified: `npx prettier --check .` names 87 tracked files and zero untracked ones; the same command listed 38 .remember/ scratch files before the ignore entry and none after. `node scripts/run.mjs --list` resolves check:hygiene to 8 shell targets and 4 workflow targets. Both package.json files parse. Refs RL-19 / L-13, S-05. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * chore(format): reformat the tree to the repository Prettier rules Mechanical. This commit is `npx prettier --write .` and nothing else -- the rule that caused it landed in the previous commit so this diff can be reviewed as a transformation rather than as 84 files of hunks. 84 tracked files: 54 Markdown, 7 .mjs, 7 JSON, 6 YAML, 4 .js, 3 CSS, 2 TypeScript (the two Playwright configs at Client's root, which the old Client/src + Client/tests globs never covered). No file under Client/src or Client/tests moves, because .prettierrc.json carries Client's former inline values byte-for-byte. Prettier rewrote 87 files, not 84. The three in .github/ISSUE_TEMPLATE/ had CRLF on disk and differ only in line endings, which .gitattributes (`* text=auto eol=lf`) already normalises, so their committed blobs are unchanged. Worth knowing before someone reconciles the two numbers. The largest single diff is .superpowers/findings-ledger.json at 7976 lines rewritten. That is safe to format: nothing writes the ledger programmatically -- render-ledger.mjs reads it and writes only FINDINGS.md -- so no tool will fight Prettier over its style on the next hunt. FINDINGS.md itself is ignored as generated. Verified: `npx prettier --check .` reports "All matched files use Prettier code style", so the pass is both complete and idempotent. All 7 reformatted JSON files were parsed before and after and compared as values: semantically identical, zero content changes. `node .superpowers/render-ledger.mjs --check` still reports 348 valid findings and leaves FINDINGS.md untouched. `node scripts/check-doc-counts.mjs` still passes its selftest and still agrees on 27 claims across 9 watched documents -- table realignment did not break the patterns it matches on. `node scripts/run.mjs --list` still parses. Refs RL-19 / L-13, S-05. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * chore(lint): enforce Go formatting in the Server linter S-05: repository-wide Go formatting was not a required gate. The only gofmt enforcement anywhere was .githooks/pre-commit, which is opt-in per clone (`npm run hooks:install`), only sees staged files, and warns-and-skips when gofmt is off PATH. The obvious fix -- a `gofmt -l` step in CI -- does not work: `gofmt -l` prints its offenders and still exits 0, so the step passes no matter what it finds. scripts/run.mjs has the same problem, which is why check:hygiene has no Go step either. So gofmt goes where it can actually fail something: Server/.golangci.yml. The file was already `version: "2"` but had no `formatters:` block at all, so the 19 enabled linters ran with zero formatters. In v2 gofmt/gofumpt/goimports moved out of `linters.enable` into their own section with its own exclusions. Adding it there means the gate reports through the Lint step of "Server Build & Test", which is already pinned as required on dev -- no new job and no new pin. Every tracked .go file is under Server/ (551 of them, one go.mod), so Server-scoped is repository-wide here. One file was genuinely misformatted: a one-space struct field alignment in Server/admin/handlers_users_broadcast_test.go, fixed in the same commit because a single line does not need its own reformat commit. Trap worth recording: `gofmt -l .` on a Windows working tree lists every file that has CRLF on disk, because gofmt normalises line endings. That reported 18 offenders here, 17 of them ghosts. The blobs are all LF -- .gitattributes forces `eol=lf` -- so CI never saw them, and the honest test is to run gofmt over `git show HEAD:<file>` rather than the working copy. Doing that across all 551 tracked Go files found exactly the one real offender above. Verified both directions with golangci-lint v2 locally: `golangci-lint run ./...` reports 0 issues on the formatted tree; appending a misformatted function to Server/auth/constants.go produces 2 gofmt findings; appending the same misformatted function to Server/db/dbgen/admin.sql.go produces 0, so the exclusion holds. Both files restored and verified clean afterwards. Refs RL-19 / L-13, S-05. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * fix(scripts): escape the NUL separator instead of embedding one The `tracked()` helper added earlier in this branch splits `git ls-files -z` output on NUL. The separator was written as a literal NUL byte rather than the two-character JavaScript escape, so scripts/run.mjs became a binary file: `git diff` refused to show it, `grep` reported "Binary file matches" instead of the line, and `* text=auto` in .gitattributes stops normalising line endings for a blob it detects as binary. The code worked -- splitting on a raw NUL and splitting on "\0" are the same operation -- which is exactly why this is worth fixing before it is inherited. A source file that tooling classifies as binary is a file nobody can review. Verified: zero NUL bytes remain, `grep -n "split("` now prints line 50 instead of "Binary file matches", `node scripts/run.mjs --list` still resolves the same 8 shell and 4 workflow targets, and prettier still reports the file clean. * chore(lint): enforce Rust formatting Rust had no formatting gate of any kind: no rustfmt.toml, no `cargo fmt` anywhere in CI, in scripts/run.mjs, in the Makefile or in the git hooks. Clippy was the only Rust gate, and clippy does not check layout. `cargo fmt --all -- --check` now runs in the rust-tests job, ahead of clippy: a formatting failure is cheap to produce and cheap to fix, and there is no reason to spend a clippy pass to surface one. The stable toolchain in that job requested `components: clippy` only, so rustfmt is added there. Only that job. ci.yml has a second, byte-identical `Install Rust` block in tauri-build; it stays clippy-only, because a full desktop build is the wrong place to discover a misplaced brace. No rustfmt.toml. The default profile is the point of a baseline -- a config file here would be a second opinion about style with nothing to say. Client/src-tauri is a single `[package]`, not a workspace, so `--all` is a safeguard against a future member rather than a fan-out today. Verified: `node scripts/run.mjs --list` resolves check:rust to three steps with `cargo fmt --all -- --check` first, `npm run format` now also runs `cargo fmt --all`, and prettier reports ci.yml, run.mjs and the ci-check skill clean. `cargo fmt --all -- --check` currently fails on 13 files -- that is the reformat, and it is the next commit. Refs RL-19 / L-13. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * chore(format): reformat the Rust crate to rustfmt defaults Mechanical. This commit is `cargo fmt --all` and nothing else; the gate that demands it landed in the previous commit so this diff is reviewable on its own. 13 of the 17 tracked .rs files, +343/-164. The crate had never been formatted, so the changes are the usual first-run set: aligned trailing comments collapsed to single spaces, single-element slice literals folded onto one line, long method chains broken across lines, closure bodies expanded into blocks. Verified: `cargo fmt --all -- --check` is clean, so the pass is complete and idempotent. `cargo clippy --all-targets -- -D warnings` finishes with no warnings, and `cargo test --lib` reports 115 passed / 0 failed -- identical to before the reformat, which is what "mechanical" has to mean for a commit that touches this much of the crate. Refs RL-19 / L-13. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * fix(scripts): make the root facade actually run on Windows Adding the first gate that a contributor would run from the repository root exposed two bugs in the facade, both of which made it silently wrong on the platform this project is developed on. 1. Every npm and npx step failed. bin() appends `.cmd` on Windows, but Node refuses to spawn a .cmd or .bat with shell:false -- the CVE-2024-27980 mitigation -- and fails with EINVAL and a *null* exit status. run.mjs only special-cased ENOENT, so the result was `FAILED: npx prettier --check . exited null` with nothing to explain it. check:client has three npm steps and has never been able to run here. Fixed by spawning only the npm shims through a shell. They are concatenated into a single command string rather than passed as an args array, because shell:true plus a separate array is deprecated (DEP0190) and prints a warning on every invocation; no argument in this file contains a space. 2. Every optional() step was skipped, always. onPath() shelled out to `where` on Windows, but where.exe lives in C:\WINDOWS\System32, which a Git Bash PATH does not necessarily contain -- on this machine PATH carries System32\Wbem, System32\WindowsPowerShell\v1.0 and System32\OpenSSH but not System32 itself. The probe could not start, `probe.status === 0` was false, and golangci-lint and sqlc reported as "not installed" while installed. Fixed by resolving against PATH and PATHEXT directly. No subprocess, and no dependency on which directories happen to be on PATH. A spawn error other than ENOENT now reports its code instead of surfacing as a null exit status. Verified: before, `node scripts/run.mjs check:hygiene` died with "exited null" and both optional steps printed SKIP with the tools present on PATH. After, the same command runs prettier, shellcheck and actionlint and prints "check:hygiene: passed", with no deprecation warning. `golangci-lint` is detected by the new onPath where the old one missed it. Refs RL-20 / L-14. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * chore(format): ignore build output that nested gitignores hide Prettier honours the root .gitignore and no other. Every build and scratch directory in this repository is ignored by a *nested* one -- Client/.gitignore, .serena/.gitignore, .superpowers/sdd/.gitignore -- so none of them were excluded from the new repository-wide gate. The effect is not subtle. Running `cargo test` once drops roughly 850 formattable files into Client/src-tauri/target/, and the hygiene gate goes from clean to "Code style issues found in 939 files". CI never sees it, because a fresh checkout has no build output; every contributor sees it on their second command. Mirrors the three nested files rather than inventing a list: dist, coverage, playwright-report, test-results, .vite, src-tauri/target and src-tauri/gen from Client/.gitignore, plus .serena/ and .superpowers/sdd/. node_modules needs no entry -- Prettier ignores it by default. Verified: `npx prettier --check .` reports "All matched files use Prettier code style" with a fully populated Client/src-tauri/target/ present on disk, and still names README.md when a misformatted table is appended to it. Refs RL-19 / L-13. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * chore(ci): shellcheck, actionlint, and a repository hygiene job The last two gates RL-19 asks for. Neither existed: the shell scripts were never linted, the workflows were never syntax-checked, and .githooks/pre-commit carried hand-written `# shellcheck disable=` directives that nothing had ever read. New `hygiene` job, ubuntu-only and root-scoped, modelled on docs-consistency for the same reason: every gate in it is platform-independent text analysis, and .gitattributes pins eol=lf so a second OS would only re-prove line endings. It runs `npm run check:hygiene` -- the same entry point a contributor runs, not a parallel copy of the commands. shellcheck ships in the runner image. actionlint does not, so it is pinned by version and verified by sha256: an installer script piped from a branch would be the one unverified download in a workflow file that pins every action by commit SHA. Prettier's step moves here from client-check, where it no longer belongs. Both linters found real defects. shellcheck, 3 findings in 8 scripts. Two are SC1125 errors in .githooks/pre-commit: `# shellcheck disable=SC2086 - repo paths contain no spaces` is not a valid directive. Trailing prose makes shellcheck discard the rest of the line, so neither suppression was ever in effect -- and one of the two was written earlier in this same branch, which is a fair demonstration of why the gate is worth having. The prose moves to its own line above. The third is SC2015 in start-server.sh, rewritten as an explicit if. actionlint, 5 findings, all inside `run:` blocks it shellchecks once shellcheck is on PATH. Three SC2015 in load-baseline.yml, rewritten as explicit ifs. Two SC2035 in release.yml, where `sha256sum *` should not become `sha256sum ./*`: the comment four lines above records that ParseChecksumFile exact-matches the last field, so a "./" prefix would strand every deployed server exactly as a "windows/" prefix would. `sha256sum -- *` satisfies the linter and leaves the output bytes identical. Verified all three gates in both directions with shellcheck 0.10.0 and actionlint 1.7.7 on PATH. Passing: `node scripts/run.mjs check:hygiene` prints "check:hygiene: passed" with all three steps run, not skipped. Failing: appending `bait_fn() { cat $1; }` to Server/scripts/voice-test.sh fails on SC2086; changing a runs-on to `ubunt-latest` fails on runner-label; appending a misformatted table to README.md fails prettier. All three files restored and confirmed clean afterwards. actionlint validates the new job in ci.yml itself. Refs RL-19 / L-13, S-05. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> * docs(plans): record B1 progress through B1-3 The header still read "B1-0 is complete; B1-1 is the next step" three merged phases later. A plan that misstates where it is costs a reader the same confusion whether it is stale by one phase or three. B1-0 (#1410), B1-1 (#1411), B1-2 (#1412) and B1-3 (this branch) are done; B1-4, dependency automation, is next. Verified: `node scripts/check-doc-counts.mjs` still agrees on 27 claims across 9 watched documents -- this file is one of them -- and prettier reports it clean. * chore(ci): pin Repository Hygiene as a required check on dev The second half of S-05. Its acceptance criterion is "tree is formatted AND a fast required gate fails future drift" -- a check that runs but is not pinned lets a formatting regression merge, so the gate is not a gate until this lands. The name was read off PR #1414 with `gh pr checks` after the job reported `pass` in 26s, not copied out of ci.yml. That order matters: the B0 script records that three pinned names exist in no workflow file at all, and that a required check which never reports blocks every PR forever. Extends the existing script rather than adding a second one, per the B1 plan. Also records, in the "deliberately NOT pinned" list, that Docs & Ledger Consistency reports and passes on a dev PR yet is unpinned. That reads as an oversight from the 2026-08-25 pass rather than a decision, but it belongs to G-04, so it is documented here and not changed. NOT APPLIED YET. Running this script now would pin a check that PR #1413 cannot report -- its branch predates the hygiene job, so the job does not exist in its workflow file and the check would never arrive. Run it after #1414 merges; #1413 needs a rebase onto dev regardless. Verified: shellcheck clean, the embedded JSON parses, and `check:hygiene` passes with prettier, shellcheck and actionlint all running. Refs S-05, RL-14 / G-03. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com> --------- Co-authored-by: Claude Opus 5 (1M context) <noreply@anthropic.com>
18 KiB
Plan: Remediate security-hardening review regressions
Status: COMPLETE — verified 2026-07-23, re-confirmed 2026-08-04 (branch feat/e2ee-identity-tofu): every item
has been implemented or superseded. W2-4 and both halves of W3-3 are the last to land.
W2-4: DONE 2026-07-23 — Server/db/attachment_queries.go:111
LinkAttachmentsToMessage links atomically and skips (not fails) already-linked,
non-owned, and missing ids; legacy uploader_id IS NULL rows claimable. Locked by
TestLinkAttachmentsToMessage_SkipsAlreadyLinked and
TestLinkAttachmentsToMessage_OwnershipGuard (Server/db/attachment_queries_test.go).
W3-3: DONE 2026-07-23 — two halves. (a) XFF CIDR pre-parse: trustedCIDRs parsed
once at middleware construction into []*net.IPNet; clientIPWithProxies takes the parsed
form, isTrustedProxy deleted (callers use ipInNets), invalid entries warn at startup not
per request. Locked by TestRateLimitMiddleware_InvalidCIDRWarnsAtConstructionNotPerRequest;
leftmost-valid XFF fallback + AdminIPRestrict fail-closed unchanged. (b) Update TOCTOU:
DownloadAndVerify returns the trusted hash; new updater.OpenVerifiedBinary/Commit
verify through one open handle and confirm via os.SameFile that the renamed file is the one
verified; O_EXCL 0600 staging refuses pre-planted paths. Locked by
TestOpenVerifiedBinary_SwapAfterVerifyDetectedAtCommit + TestDownloadFile_RefusesPreExistingDest
(Linux fd/tarball path is CI-verified). Server -race + -tags deadlock green.
Owner: TBD
Tracks: code review of branch fix/security-hardening-review (2026-07-17)
Estimated effort: 2–4 focused days
Staleness note (2026-07-23, closes audit A-2026-07-15): item bodies below predate two structural changes — the Postgres backend was deleted outright (P1, 2026-07-20) and the
Server/store/seam was removed in favor of direct narrow interfaces ondb(D3, 2026-07-19). ReadServer/store/postgres.go/sqlite.goreferences as historical; the Postgres halves of W1-3 are moot, and its atomic-link half is what W2-4 still needs.
Why
The fix/security-hardening-review branch lands a broad, well-intentioned
security pass (login timing fix, TOTP TOCTOU, X-Forwarded-For spoofing,
LiveKit webhook signature binding, plugin SSRF/DNS-rebinding, WASM CPU
budgets, attachment IDOR, ban authorization, WAF chunked-body inspection,
update-binary re-verification, and several rate limits). A recall-oriented
code review confirmed that most of it is sound, but that several of the
hardening changes introduced new correctness/availability regressions —
verified against the source, not just the diff.
This plan sequences the fixes. It is ordered by severity: availability- and backend-breaking bugs first, then behavioral regressions, then cleanup. Each item names the root cause, the fix at the right altitude, the files, and the verification that must pass. Every new fix ships with tests — several of the regressions below slipped through precisely because the new security code had no coverage (repo rule: "Target 80%+ coverage; TDD is the expected workflow").
Non-goals
- Not a redesign of the plugin runtime, the rate limiter, or the permission model — each fix stays local and generalizes only where a bandaid would otherwise recur.
- Not reverting the hardening. The security intent of every change is kept; only the regressions are corrected.
- Not implementing the Postgres backend beyond what is needed to stop the attachment path from hard-erroring (see W1-3).
Wave 1 — Availability & backend-breaking (HIGH)
W1-1. Plugin CPU budget must not permanently brick the module
- File:
Server/plugin/sandbox_wazero.go(~line 224,invokeCommand) - Root cause: the runtime is built
WithCloseOnContextDone(true)(line 72). The new per-callcontext.WithTimeoutwrapsallocate,command_dispatch, anddeallocate, so an expired deadline closes the module.inst.moduleis only cleared byplatformDeactivate, so nothing re-instantiates it — one over-budget command bricks the plugin for all users until admin disable/enable or restart. The budget is wall-clock, floored at 100 ms, so any host HTTP call (httpTimeout= 10 s) trips it. - Fix: after a
context.DeadlineExceededoverrun, mark the instance so the next dispatch re-instantiates the module (re-runactivateWithRuntimelazily), or resetinst.module = niland re-activate on demand. Separately, scope the deadline to the guest CPU call only — do not count host-call time (host functions should run under the parent ctx, or the budget clock should pause during host calls). Reconsider the floor so legitimate work isn't killed. - Verify: new test (build tag
wazero) that (a) a command exceeding the budget returns the budget error and a subsequent command on the same plugin still succeeds; (b) a command performing a host HTTP call withinhttpTimeoutis not killed by the CPU budget.
W1-2. E2EE key rotation drops peers in 7+ participant calls
- Files:
Server/ws/voice_e2ee.go(~line 151);Client/src/lib/livekitSession.ts(~lines 1317-1349) - Root cause: the
voice_e2ee_offerlimit is 5/sec, but the key holder loops over every peer sending one offer each, back-to-back, with no pacing and no retry onRATE_LIMITED. With 6+ peers, offers to the 6th+ peer are rejected and silently dropped — those peers never get the rotated key and their audio never decrypts. Fires on join/leave and the 5-minute periodic rotation. - Fix (choose one, prefer server-side):
- Server: exempt the fan-out relay from the tight per-message cap — rate limit the rotation event (one budget per rotation) rather than each per-peer offer; or scale the limit to channel size.
- Client: add bounded pacing + retry/backoff on
RATE_LIMITEDso all peers eventually receive the offer. - Preferred: server distinguishes "offer burst that belongs to one rotation" from spam, so a single user still can't spam unrelated offers.
- Verify: integration test with 8 voice participants confirming every peer receives the rotated key after a join/leave and after a periodic rotation.
W1-3. Attachment-ownership check breaks Postgres and isn't atomic
- Files:
Server/service/message.go(~line 183);Server/db/queries/*attachment*.sql+ regeneratedbgen/pgdbgen;Server/store/postgres.go,Server/store/sqlite.go - Root cause: the new per-attachment
GetAttachmentByIDloop (a) calls a method that returnsErrPostgresNotImplementedonPostgresStore(postgres.go:498), so every attachment-bearingSendMessagehard-errors on Postgres; (b) is a check-then-link TOCTOU (the race pattern this PR fixes elsewhere); (c) is an N+1 query on the hot send path; (d) rejects legacyuploader_id IS NULLrows and already-linked attachments on retry (W2-4). - Fix (right altitude): delete the loop. Enforce ownership atomically in
the shared link query — add
AND uploader_id = ?(and keepAND message_id IS NULL) toLinkAttachmentsToMessage, and returnErrForbiddenwhenRowsAffected != len(AttachmentIDs). Edit the SQL inServer/db/queries/and runmake sqlc-generate(never hand-editdbgen/pgdbgen); update the SQLite + Postgres migrations as a pair. This makes the check atomic, one query, and backend-agnostic, and removes the need for theMemStore.GetAttachmentByID(nil,nil)contortion. - Verify: service tests (SQLite and a Postgres path or a store fake that
implements the link semantics) covering: own unlinked attachment links;
another user's attachment is refused; nonexistent id is skipped; already
linked id is refused;
RowsAffectedmismatch → no message persisted.
W1-4. Ban authorization guards dead code
- Files:
Server/admin/handlers_users.go(handlePatchUser, ~line 112);Server/service/moderation.go - Root cause:
requireBanAuthority(BAN_MEMBERS + role hierarchy) is wired only intoModerationService.BanUser/UnbanUser, which have no production callers. The live ban path ishandlePatchUser, which runsUPDATE users SET banned = 1 ...directly with no BAN_MEMBERS/hierarchy check, so any admin-panel actor can ban an equal- or higher-ranked user (including the owner). - Fix: route
handlePatchUser's ban/unban branch throughModerationService.BanUser/UnbanUser(so the new authorization actually runs), or liftrequireBanAuthorityinto the handler. Keep the admin-IP/admin-auth perimeter; add the permission + hierarchy check on top. Move the target-existence check after authorization so a caller without BAN_MEMBERS can't enumerate user ids via NotFound-vs-Forbidden. - Verify: handler test — actor without BAN_MEMBERS is refused; actor of equal/lower rank than target is refused; owner-rank target can't be banned by a lower rank; authorized actor succeeds.
Wave 2 — Behavioral regressions (MED-HIGH → MED)
W2-1. Client-update rate limiter shares the auth bucket
- File:
Server/api/router.go(~line 257) - Root cause: it uses the empty-prefix
RateLimitMiddlewareon the sharedlimiter, colliding per-IP withverifyTOTP, the sensitive endpoints, and profile/password. A 30/min auto-poll drains the shared per-IP budget → spurious 429s on 2FA and password change. - Fix: give the client-update route a dedicated key prefix via
rateLimitMiddlewareWithPrefix(limiter, "client_update:", ...), mirroring the LiveKit proxy's"livekit_proxy:"prefix (router.go:192). - Verify: test that hammering
/client-updateto its limit does not 429 a subsequentverify-totp/password request from the same IP.
W2-2. ChangePassword reports failure after the password is committed
- Files:
Server/service/user.go(~line 60); callerServer/api/profile_handler.go(~line 231) - Root cause:
UpdateUserPasswordcommits first; ifDeleteOtherSessionsthen errors, the function returnsErrInternal, the caller emits 500, and thepassword_changeaudit entry is skipped. The user is told it failed while the new password is live; retrying with the old password fails and can trip the password-confirm lockout. - Fix: treat session-revocation failure as a partial success, not a total
failure. Log + audit the password change, return success with a
sessions_revoked/warning signal the client can surface, or perform a bounded compensating retry ofDeleteOtherSessions. Do not report a 5xx for an already-committed change; always write the audit row. - Verify: test that when
DeleteOtherSessionserrors, the audit row is still written and the handler does not return a 5xx that implies the password is unchanged.
W2-3. Plugin activation via RegisterCommand breaks in-place upgrades
- Files:
Server/plugin/sandbox_wazero.go(~line 140);Server/plugin/host_commands.go(~line 36);Server/plugin/registry.go(installFromDisk,InstallFromZip) - Root cause:
RegisterCommandrefuses whenexisting != instby pointer, butinstallFromDiskreplacesr.plugins[id]/r.byNamewith a fresh*Instancewithout clearing the old command bindings. Re-installing an enabled plugin leaves stale bindings that block re-registration; dispatch keeps routing to the orphaned old module until restart. The oldr.commands[cmd] = instoverwrote unconditionally. - Fix: compare ownership by plugin identity (name/id), not instance pointer — allow the same plugin to re-bind its own command — and/or clear a plugin's stale command bindings during reinstall/deactivation before re-activation. Preserve the cross-plugin hijack protection (a different plugin still can't claim an owned command).
- Verify: test that upgrading an enabled plugin in place rebinds its commands and dispatch routes to the new module; a different plugin claiming an owned command is still refused.
W2-4. Attachment check rejects legit retries and legacy uploads
- File:
Server/service/message.go(~line 191) - Root cause:
att.MessageID != nil → ErrForbiddenmeans a client retry of a send whose first attempt already linked the attachment can never succeed; the same branch rejects legacyuploader_id IS NULLrows. - Fix: subsumed by W1-3 — the atomic link UPDATE skips already-linked/ non-owned rows instead of failing the whole send. Decide explicit policy for legacy NULL-uploader rows (migrate/backfill vs. treat as unowned).
- Verify: covered by W1-3 tests (already-linked id → skipped, not fatal).
W2-5. XFF right-to-left walk collapses/spoofs on broad trusted CIDRs
- File:
Server/api/middleware.go(~line 227,clientIPWithProxies) - Root cause: the walk skips every entry inside
trustedCIDRs. With a broad config (e.g.trusted_proxies: 10.0.0.0/8covering LAN clients), the real client entry is skipped, the loop exhausts, and it falls back to the proxy's ownRemoteAddr— collapsing all clients into one lockout bucket (one user's failed logins lock out everyone), or letting a client at a trusted IP forge the key. - Fix: when the walk exhausts without a non-trusted candidate, return the
left-most valid XFF entry (the furthest-upstream client) rather than
RemoteAddr, so distinct clients keep distinct keys. Document thattrusted_proxiesshould list only proxy hops, and validate config on startup. Pre-parsetrustedCIDRsinto[]*net.IPNetonce (see W3-3). - Verify: test with
trusted_proxies=10.0.0.0/8, proxy at10.0.0.2, two LAN clients10.5.1.7/10.5.1.8behind it → distinct keys; a spoofed leftmost entry from an untrusted RemoteAddr is ignored.
W2-6. SSRF-hardened dialer loses multi-address fallback
- File:
Server/plugin/host_http.go(~line 115) - Root cause: after validating every resolved IP, it dials only
ips[0], dropping Happy-Eyeballs/next-record fallback. An allowlisted dual-stack or round-robin host whose first record is down now hard-fails. - Fix: loop over the vetted IPs and try each until one connects, keeping
the "dial only vetted concrete IPs" property. Also remove the redundant
rejectPrivateAddrspre-resolve at line 68 (keep the cheaphostAllowedallowlist) since the dial-time resolve+validate is authoritative — saves a second DNS round trip (W3-2). - Verify: test that a host resolving to
[unreachable, reachable]still connects via the reachable vetted address; a host resolving to a private IP is still refused.
W2-7. Plugin-broadcast gate omits the block check
- Files:
Server/ws/handlers_command.go(~line 107);Server/permissions/checker.go(~line 79) - Root cause:
requireChannelBroadcastAccessroutes throughRequireChannelAccess, whose DM branch checks only participant membership, while the real send path (checkSendPermission) also enforcesIsEitherBlocked. A blocked user's plugin broadcast can reach the person who blocked them. It also issues a rawGetRoleByIDper broadcast, bypassing the service-layer permission cache. - Fix: route the broadcast gate through the shared service-layer send check
(
MessageService.checkSendPermissionor an extracted equivalent) so DM block, slow-mode, and future policy apply uniformly and the perm cache is used. Avoids a fourth hand-rolled permission helper onHub. - Verify: test that a blocked user's plugin broadcast into a DM is refused.
Wave 3 — Cleanup, efficiency, hardening depth (LOW-MED)
W3-1. Updater text-asset cache: add coalescing + negative caching
- File:
Server/updater/updater.go(~line 729,FetchTextAssetCached) - Fix: guard refresh with
golang.org/x/sync/singleflightso a TTL-expiry burst issues one outbound fetch; briefly cache errors so an upstream outage doesn't re-fetch on every request. Evict superseded keys. - Verify: concurrent cold-cache test issues exactly one upstream fetch.
W3-2. De-duplicate the update binary hashing
- File:
Server/admin/update_handlers.go(~line 166,fileSHA256) - Fix:
fileSHA256duplicatesupdater.VerifyChecksum's hashing body and re-reads the just-verified binary. Export one hashing helper from the updater package (or haveDownloadAndVerifyreturn the checksum it already computed) and reuse it for the TOCTOU snapshot.
W3-3. Update TOCTOU guard depth + XFF CIDR pre-parsing
- Files:
Server/admin/update_handlers.go(~line 117);Server/api/middleware.go(isTrustedProxy) - Fix: the re-verify narrows but does not close the swap window (verify by
path, then rename+spawn by path). Real closure needs fd-based verification or
O_EXCLstaging in the updater package. Separately,isTrustedProxyre-parses every CIDR string per call on the request hot path — pre-parse into[]*net.IPNetonce at middleware construction.
W3-4. Cache-Control header contradiction
- File:
Server/api/upload_handler.go(~line 309) + test atupload_handler_test.go(~line 733) - Fix:
private, max-age=31536000, no-cacheis self-contradictory —no-cacheforces revalidation, so the year-longmax-ageis dead weight. Useprivate, no-cacheand update the test assertion.
W3-5. Restore test coverage lost to the MemStore change
- File:
Server/store/memstore.go(~line 693) - Fix: subsumed by W1-3 (atomic link removes the need for the
(nil,nil)stub). If MemStore keeps attachment stubs, ensure the ownership behavior is covered by a store that actually tracksuploader_id/message_idso the IDOR guard cannot silently regress in tests.
Sequencing
- W1 first (availability/backend-breaking). W1-3 unblocks W2-4 and W3-5.
- W2 next. W2-5 pairs with the CIDR pre-parse in W3-3. W2-6 pairs with the redundant-resolve removal.
- W3 last, or fold each item into the related Wave-1/2 change.
Cross-cutting requirements
- Tests: every fix ships with tests (repo rule: 80%+ coverage, TDD). Add
the missing coverage for the existing new security code too:
requireBanAuthority,FetchTextAssetCached,requireChannelBroadcastAccess, fail-closedDecryptTOTPSecret. - Build-tag matrix: W1-1/W2-3 touch
//go:build wazerocode — verify the default,otel,wazero, andotel,wazerovariants all still build. - Two backends: W1-3 changes queries — edit
Server/db/queries/+ both migration trees and runmake sqlc-generate; do not hand-editdbgen/pgdbgen. CI runsmake sqlc-verify. - CI gates:
go test -race,-tags deadlock,golangci-lint run,govulncheck ./...must pass before merge.