Implement client-server result comparison and rejection logic
epic-expense-approval-workflow-core-logic-task-011 — In the Edge Function, compare the server-computed approval path against the client-submitted value. If the values differ, reject the request with HTTP 422 and a structured error response indicating tampered or stale client data. If they match, return HTTP 200 with the authoritative approval path. Log all mismatches to the audit log for security monitoring.
Acceptance Criteria
Technical Requirements
Execution Context
Tier 2 - 518 tasks
Can start after Tier 1 completes
Implementation Notes
Structure the Edge Function into three pure, testable layers: (a) `validateRequest(req)` — parse and validate the incoming JSON body, return typed DTO or throw 400; (b) `compareApprovalPaths(serverPath, clientPath)` — pure function returning a discriminated union `{ match: true } | { match: false, auditPayload: AuditEvent }`; (c) `buildResponse(compareResult, serverPath)` — construct the final Response object. Keep the audit log write in the handler layer, wrapped in try/catch so it never propagates. Use TypeScript strict mode. Define all interfaces in a shared `types.ts` within the Edge Function directory.
Avoid importing from the Flutter client — types must be duplicated or shared via a separate package if needed. For the audit log, prefer a direct `supabase.from('approval_audit_log').insert(payload)` over RPC to keep the call simple and auditable. Do NOT return the server-computed threshold value or business rule details in any error response.
Testing Requirements
Integration tests (covered by task-012) are primary. For this task, add unit tests using Deno's built-in test runner: (1) pure comparison function — assert HTTP 200 for matching paths, assert HTTP 422 for mismatched paths; (2) audit payload builder — assert all required fields are present and correctly typed; (3) error serializer — assert 422 body structure matches the typed interface. Mock the Supabase client in unit tests. Aim for 100% branch coverage on the comparison and serialization logic.
No golden image tests needed.
The ThresholdEvaluationService is described as shared Dart logic used both client-side and in the Edge Function. Supabase Edge Functions run Deno/TypeScript, not Dart, meaning the threshold logic must be maintained in two languages and can diverge, causing the server to reject legitimate client submissions.
Mitigation & Contingency
Mitigation: Implement the threshold logic as a single TypeScript module in the Edge Function and call it via a thin Dart HTTP client wrapper for client-side preview feedback only. The server is always authoritative; the client version is purely for UX (showing the user whether their claim will auto-approve before they submit).
Contingency: If dual-language maintenance is unavoidable, create a shared golden test file (JSON fixtures with inputs and expected outputs) that is run against both implementations in CI to detect divergence immediately.
A peer mentor could double-tap the submit button or a network retry could trigger a duplicate submission, causing the ApprovalWorkflowService to attempt two concurrent state transitions from draft→submitted for the same claim, potentially resulting in two audit events or conflicting statuses.
Mitigation & Contingency
Mitigation: Implement idempotency in the ApprovalWorkflowService using a database-level unique constraint on (claim_id, from_status, to_status) per transition, combined with a UI-level submission lock (disable button after first tap until response returns).
Contingency: Add a deduplication check at the start of every state transition method that returns the existing state if an identical transition is already in progress or completed within the last 10 seconds.
Claims with multiple expense lines (e.g., mileage + parking) must have their combined total evaluated against the threshold. If individual lines are added asynchronously or the evaluation runs before all lines are persisted, the auto-approval decision may be computed on an incomplete set of expense lines.
Mitigation & Contingency
Mitigation: The Edge Function always fetches all expense lines from the database (not from the client payload) before computing the threshold decision. Define a clear claim submission contract that requires all expense lines to be persisted before the submit action is called.
Contingency: Add a validation step in ApprovalWorkflowService that counts expected vs. persisted expense lines before allowing the transition, returning a validation error if lines are missing.