diff --git a/REFACTORING-AUDIT.md b/REFACTORING-AUDIT.md
index bfd4f00..96b1878 100644
--- a/REFACTORING-AUDIT.md
+++ b/REFACTORING-AUDIT.md
@@ -435,3 +435,4 @@ Migration order implied by the map: isolate shared infrastructure constructors (
 - Pricing, order lifecycle, settlement, contract generation, and external adapter composition remain for subsequent W007 increments.
 - ICO available-amount validation now uses `application/market.ValidateAvailableAmount` with application-level sentinel errors mapped to existing gRPC error codes by the market adapter. Focused market tests pass in `bbb3443`.
 - Market display-to-raw amount conversion now uses `application/market.RawAmount`, preserving exact fixed-point conversion and positive-amount checks. Focused market tests pass in `d217623`.
+- Market pricing arithmetic now uses typed `application/market.CalculationInput`/`CalculationResult`; the gRPC adapter maps commission persistence values and protobuf fields at the boundary. Existing maker/taker and base/asset side behavior is covered by focused market tests in `e21ecf2`.
diff --git a/REFACTORING-TODO.md b/REFACTORING-TODO.md
index 8ff0d74..a5943fd 100644
--- a/REFACTORING-TODO.md
+++ b/REFACTORING-TODO.md
@@ -326,4 +326,4 @@ Append one row whenever a task changes status. Existing rows are never rewritten
 | 2026-08-30 | W013 | `TODO` | `STARTED` | Removed automatic federation creation and federation lookup from wallet initialization; new wallet records no longer receive a federation assignment; full Wallet tests pass in `97dd9d9`. Remaining schema/API/transaction-field cleanup is pending. |
 | 2026-08-30 | W013 | `STARTED` | `DONE` | Removed federation persistence/model code, wallet and transaction federation fields, federation protobuf messages, stale API route/docs, and remaining runtime references; regenerated Wallet contracts for Wallet/Auth/API; Wallet, Auth, and API tests pass. Wallet `a38501d`/`7ae90cc`, Auth `446e875`, API `c450264`/`c2c076c`. |
 | 2026-08-30 | W006 | `TODO` | `STARTED` | Added `application/withdrawal`, `application/deposit`, `application/transfer`, and `application/transaction`; routed IRT reconciliation, IPG conversion/settlement/payer identity, transfer validation, transaction construction/completion, balance-change display policy, insufficient-balance failure policy, Stellar status updates, and transaction-event support through application boundaries; focused Wallet tests pass in `d10ff42`. Balance coordination and business failure/refund orchestration remain. |
-| 2026-08-30 | W007 | `TODO` | `STARTED` | Added `application/market.AgreementAmountMatches`, `ValidateAvailableAmount`, and `RawAmount` with canonical fixed-point tolerance/exactness/error coverage; market ICO validation and amount conversion delegate through compatibility wrappers. Focused market tests pass in `d217623`. Pricing, order lifecycle, settlement, and adapter extraction remain. |
+| 2026-08-30 | W007 | `TODO` | `STARTED` | Added typed `application/market` policies for agreement tolerance, available amount, raw conversion, and market pricing calculation; market ICO validation/calculation delegates through compatibility mapping. Focused market tests pass in `e21ecf2`. Order lifecycle, settlement, contract generation, and adapter extraction remain. |