← Lattice Forecourt — Rule-Based Pricing Workflow
TECHNICAL METHODOLOGY & VERIFICATION SPECIFICATION

Lattice Forecourt: Mathematical Model, Units & Reproducible Benchmarks

Role & Domain Intent: Rule-based pricing automation (Deterministic specialist checks; not a chatbot or autonomous LLM agents.)

1. GOVERNING FORMULATION

Equations, Variables & Dimensional Rules

Deterministic fuel-pricing workflow with specialist checks, margin floors, change caps and rounding.

p_market = median(M); p_floor = c_mills + m_min; p_capped = clamp(p_target, p_0 − Δ_max, p_0 + Δ_max); p_final = round_to_tick(max(p_capped, p_floor), τ_mills)

Declared Units: All monetary prices, costs, margins, caps, and rounding ticks in integer mills per litre (1,000 mills = 1.00 currency unit); volume in millilitres (mL).

2. REPRODUCIBLE WORKED EXAMPLE

Step-by-Step Numerical Verification

Case 1 (Current price p_0 = 1,600 mills/L, wholesale cost c = 1,400 mills/L, competitor market = [1,610, 1,640, 1,650] mills/L, min margin = 100 mills/L, max change cap = 100 mills/L, rounding tick = 10 mills/L): Market median is 1,640 mills/L. Margin floor requires ≥ 1,500 mills/L (passed). Change cap allows [1,500, 1,700] mills/L (passed). Tick rounding at 10 mills preserves 1,640 mills/L, so the deterministic gate status is 'Clear' with Proposal = 1,640 mills/L.

Verified benchmark cases from the Lattice Forecourt browser edition
Case IDCost (mills)Current (mills)Market MedianFloor / Cap RuleProposed (mills)Gate Status
Case 1 (Standard Clear)1,4001,6001,640Floor 1,500 / Cap ±1001,640Clear
Case 2 (Cap Bound)1,4501,5801,720Floor 1,550 / Cap ±801,660Capped
Case 3 (Floor Conflict)1,5601,6001,620Floor 1,680 / Cap ±50BlockedFloor vs Cap Conflict
3. DATA PROVENANCE & OPERATIONAL BOUNDARIES

Validation Status, Scope Exclusions & Disclaimers