Harbor ASI
Deliverable 04 · 1 open matter

Audit & Notice Defense

Hearthstone received a Notice of Determination from the CDTFA. Harbor ingested the notice, re-derived the correct liability for each contested issue from California's formalised statutes, identified where the state overreached and where a genuine lapse exists, and produced a petition strategy with proof exhibits.

California Department of Tax and Fee Administration (CDTFA)
Notice of Determination — Sales & Use Tax Audit
SR-AS 037-948821 · Period Q1 2023 – Q4 2025 (12 quarters)
Response due
June 27, 2026
Received May 28, 2026

CDTFA conducted a sales-and-use tax field audit of Hearthstone's California operations (Moreno Valley DC + 41 stores + ca.hearthstone.com). The auditor used a markup/observation test on a 4-quarter sample, projected an error rate across the full 12-quarter period, and asserts under-collection on (1) interior-design services, (2) delivery charges, (3) protection plans, and (4) gift-basket food bundles, plus a 10% negligence penalty. Harbor re-derived each issue from the formalised California statutes and the client's transaction data.

Total Assessed
$3.2M
Tax $2.4M + pen/int
Defensible Reduction
$2.1M
67% of assessment
Genuinely Owed
$126K
Concede to build credibility
Issues Analyzed
5
Each with a proof exhibit

Issue-by-issue analysis

State asserts
$1,310,000
Harbor finds owed
$0
Defended away
$1,310,000
State's position

Auditor treated $14.8M of in-home design fees as taxable sales of tangible personal property, asserting the 'true object' of each engagement was the furniture ultimately purchased. Proposed tax: $1,310,000.

Harbor's finding

California does NOT tax stand-alone professional design services. The design fee is separately contracted and separately invoiced from any merchandise; the true object is professional advice. Only the merchandise (already taxed) is TPP. The $1.31M is state overreach.

Authority & proof
§ Cal. Rev. & Tax. Code § 6006; Reg. 1501 (service enterprises — 'true object' test)Harbor.Notice.CA.designServices.not_taxable
Plain-English proof (back-translation)

Under California Regulation 1501, when the true object of a transaction is the performance of a service, the transaction is not a taxable sale of tangible personal property even if some TPP is transferred incidentally. Hearthstone's design engagements are separately contracted, the fee is fixed regardless of whether the client buys merchandise, and clients frequently purchase nothing. The true object is professional advice. Therefore the design fees are not taxable, and the proposed $1,310,000 is unsupported.

notice_CA_ISS1.lean
Lean 4 · kernel-checked
-- Harbor ASI · Notice defense formalisation
-- California SR-AS 037-948821
-- Issue ISS-1: interior-design services
namespace Harbor.Notice.CA.designServices

structure Engagement where
  feeSeparatelyContracted : Prop
  feeFixedRegardlessOfPurchase : Prop
  trueObjectIsService : Prop

/-- Reg. 1501: a service transaction is not a taxable sale of TPP
    when the true object is the service. (axiom from formalised CA corpus) -/
axiom reg1501 : ∀ (e : Engagement),
  e.trueObjectIsService → ¬ TaxableAsTPP e

def hearthstoneDesign : Engagement :=
  { feeSeparatelyContracted := True,
    feeFixedRegardlessOfPurchase := True,
    trueObjectIsService := True }

theorem designServices_not_taxable : ¬ TaxableAsTPP hearthstoneDesign := by
  apply reg1501
  exact True.intro   -- true object established by separate contract + fixed fee

#check @designServices_not_taxable
end Harbor.Notice.CA.designServices

Defense strategy

  1. 1File a timely Petition for Redetermination before the 2026-06-27 deadline to preserve all appeal rights and stop the assessment from becoming final.
  2. 2Lead with the two pure-overreach issues (interior-design services and the negligence penalty) — together $1.55M — supported by the Regulation 1501 'true object' proof and the corrected sample projection.
  3. 3Concede the genuinely-owed amounts up front (warranty repair parts ~$22K, own-fleet delivery ~$57K, gift-basket décor ~$38K). Conceding real liability builds credibility with the auditor and isolates the contested overreach.
  4. 4Demand correction of the sample-projection base: removing the invalid theories drops the projected error rate ~71% and collapses the interest and penalty that ride on the inflated tax.
  5. 5Attach Harbor's per-issue proof exhibits (Lean formalisation + plain-English back-translation + statutory citations) as the technical appendix to the petition — an audit-defensible determination trail, not merely a CPA opinion.
  6. 6Request a pre-hearing conference with the auditor's supervisor to settle the conceded items and narrow the contested record before formal appeal.

Action items

Draft and file Petition for Redetermination with Harbor proof exhibitshigh
Jordan Reyes, CPA (Pramaana)·due 2026-06-24
Authorize concession of $117K genuinely-owed liability; sign engagement for appealhigh
Hearthstone Tax (M. Okafor, VP Tax)·due 2026-06-18
Produce corrected sample-projection workpaper removing invalid theorieshigh
Pramaana Advisory·due 2026-06-20
Remediate AvaTax item-code mappings (apparel, food, delivery) to stop go-forward errorsmedium
Hearthstone IT·due 2026-07-15
Accrue and remit use tax on warranty repair parts prospectivelymedium
Hearthstone Tax·due 2026-07-01