"""Pure source-derived small-vector oracle; no runtime/env/SQL/HTTP/auth."""
from decimal import Decimal,ROUND_HALF_UP
from datetime import datetime,timedelta,timezone
import json
DAY='2026-10-11';TZ=timezone(timedelta(hours=8))
def bmi(weight,height):return (Decimal(str(weight))/(Decimal(str(height))/100)**2).quantize(Decimal('.01'),rounding=ROUND_HALF_UP)
def plan_states():
 start=datetime.fromisoformat(DAY).replace(tzinfo=TZ);end=start+timedelta(days=13)
 return {
  'manual':{'request_weight_type':'string','request_height_type':'string','weight_VARCHAR':'72.34','height_VARCHAR':'181.25','bmi_VARCHAR':str(bmi('72.34','181.25')),'staff_height_DECIMAL_text':'180.25','staff_weight_DECIMAL_text':'72.34','date_INT':int(start.timestamp()),'score':1,'score_log_rows':1,'bind_zhct_user_id':0,'health_weight':Decimal('72.34'),'health_bmi':bmi('72.34','181.25'),'main_INSERT':4,'sidecar_INSERT':2,'UPDATE':1},
  'goal':{'request_initial_weight_type':'number','request_target_weight_type':'string','weight_VARCHAR':'72.5','height_VARCHAR':'180.25','bmi_VARCHAR':str(bmi('72.5','180.25')),'staff_height_DECIMAL_text':'180.25','staff_weight_DECIMAL_text':'72.50','initial_weight_VARCHAR':'72.5','target_weight_VARCHAR':'71.50','dto_initial_weight':72.5,'dto_target_weight':'71.50','status_INT':3,'adjust_speed_INT':2,'start_date_INT':int(start.timestamp()),'end_date_INT':int(end.timestamp()),'end_date_fmt':end.strftime('%Y-%m-%d'),'score':1,'score_log_rows':1,'health_unchanged_from_manual':True,'INSERT':1,'UPDATE':2},
  'budget':{'prepare_INSERT':2,'formal_INSERT':7,'formal_UPDATE':3,'formal_HTTP':8,'writers':2,'readers':6,'committed_new_rows':9,'DELETE':0,'DDL':0}}
def jsonable(x):
 if isinstance(x,Decimal):return str(x)
 if isinstance(x,dict):return {k:jsonable(v) for k,v in x.items()}
 return x
if __name__=='__main__':
 s=plan_states();assert s['manual']['bmi_VARCHAR']=='22.02' and s['goal']['bmi_VARCHAR']=='22.31'
 assert s['goal']['start_date_INT']==1791648000 and s['goal']['end_date_INT']==1792771200
 assert type(s['goal']['dto_initial_weight']) is float and type(s['goal']['dto_target_weight']) is str
 assert s['manual']['staff_height_DECIMAL_text']!=s['manual']['height_VARCHAR']
 assert s['goal']['initial_weight_VARCHAR']!='72.50' and s['goal']['target_weight_VARCHAR']=='71.50'
 assert s['budget']['formal_INSERT']==s['manual']['main_INSERT']+s['manual']['sidecar_INSERT']+s['goal']['INSERT']
 print(json.dumps({'states':jsonable(s),'SQL':0,'HTTP':0,'Auth':0,'DMLDDL':0},ensure_ascii=False,indent=2))