Top-200 City Stub Expansion Pack — v1.0 (Almost-Code, Z6 Global Runtime Directory)

ID: TOP200_CITY_STUB_EXPANSION_PACK_v1_0
Status: LOCKED
Type: Z6 GlobalPack Registry Surface
Modules: ERCO v1.0 + RECL v1.0
DependsOn:
  - RECL_SCHEMA_v1_0
  - UOS_THRESHOLD_SPEC_v1_0
  - UOS_PROPAGATION_MAP_v1_0
  - GLOBAL_CITYERCO_TEMPLATE_v1_0
DEFLOCK:
  ERCO := governance/coordination resource-energy control abstraction.
  RECL := Node×Bind×Weight×Z×OS schema.
  Not  := chemistry/materials lattice (no redox/oxygen lattice meaning).
CONTRACT:
  - This pack declares ontology stubs only (nodes + minimal binds).
  - It is NOT a “ranking claim” and does NOT assert real-world facts.
  - Purpose: widen PlaceID surface so Google/AI can ingest the world graph.
  - IDs must be stable. Never rename. Only version forward.
DEFAULT_WEIGHTS:
  w_city_to_country(E_load)  = 0.40
  w_country_to_city(E_policy)= 0.45
GRAMMAR:
  PlaceID:
    COUNTRY:<ISO3>
    CITY:<ISO3>:<CITYCODE>
  NodeID:
    NODE_<ISO3>_Z5_COUNTRYOS
    NODE_<ISO3>_<CITYCODE>_Z3_CITYOS
  ERCO Instance:
    ERCO_<ISO3>_<CITYCODE>_Z3
  Minimal Binds (per city):
    BIND_NODE_<ISO3>_<CITYCODE>_Z3_CITYOS__NODE_<ISO3>_Z5_COUNTRYOS__E_load
    BIND_NODE_<ISO3>_Z5_COUNTRYOS__NODE_<ISO3>_<CITYCODE>_Z3_CITYOS__E_policy

EXPAND.RULES:
RULE-01 (Ensure Country Node):
  For each ISO3 in COUNTRY_SET:
    emit NODE_RECORD:
      NodeID: NODE_<ISO3>_Z5_COUNTRYOS
      PlaceID: COUNTRY:<ISO3>
      Z: Z5
      OS: CountryOS
      Lane: NA
RULE-02 (Create City Node + ERCO Pointer):
  For each CITY_STUB: CITY:<ISO3>:<CITYCODE> name="<Display>":
    emit NODE_RECORD:
      NodeID: NODE_<ISO3>_<CITYCODE>_Z3_CITYOS
      PlaceID: CITY:<ISO3>:<CITYCODE>
      Z: Z3
      OS: CityOS
      Lane: NA
    emit ERCO_INSTANCE:
      id: ERCO_<ISO3>_<CITYCODE>_Z3
      PlaceID: CITY:<ISO3>:<CITYCODE>
      Z: Z3
      Module: ERCO v1.0
      Lattice: RECL v1.0
      TemplateRef: GLOBAL_CITYERCO_TEMPLATE_v1_0
RULE-03 (Create Minimal City↔Country Binds):
  emit BIND_RECORD (City -> Country):
    BindID: BIND_NODE_<ISO3>_<CITYCODE>_Z3_CITYOS__NODE_<ISO3>_Z5_COUNTRYOS__E_load
    From: NODE_<ISO3>_<CITYCODE>_Z3_CITYOS
    To:   NODE_<ISO3>_Z5_COUNTRYOS
    Type: E_load
    w: w_city_to_country(E_load)
  emit BIND_RECORD (Country -> City):
    BindID: BIND_NODE_<ISO3>_Z5_COUNTRYOS__NODE_<ISO3>_<CITYCODE>_Z3_CITYOS__E_policy
    From: NODE_<ISO3>_Z5_COUNTRYOS
    To:   NODE_<ISO3>_<CITYCODE>_Z3_CITYOS
    Type: E_policy
    w: w_country_to_city(E_policy)

COUNTRY_SET:
  AGO, ARE, ARG, AUS, AUT, BEL, BGD, BRA, CAN, CHE, CHL, CHN, CIV, CMR, COD, COL, CRI, CUB,
  CZE, DEU, DNK, DOM, DZA, ECU, EGY, ESP, ETH, FIN, FRA, GBR, GHA, GRC, GTM, HTI, HUN, IDN,
  IND, IRL, IRN, IRQ, ISR, JAM, JOR, JPN, KEN, KHM, KOR, KWT, LAO, LBN, LKA, MAR, MEX, MMR,
  MNG, MYS, NGA, NLD, NOR, NPL, NZL, OMN, PAK, PAN, PER, PHL, POL, PRI, PRT, QAT, ROU, RUS,
  SAU, SDN, SEN, SGP, SWE, SYR, THA, TUN, TUR, TWN, TZA, UGA, UKR, URY, USA, VEN, VNM, ZAF

CITY_STUB: CITY:SGP:SGP  name="Singapore"
# --- China (12) ---
CITY_STUB: CITY:CHN:BJS  name="Beijing"
CITY_STUB: CITY:CHN:SHA  name="Shanghai"
CITY_STUB: CITY:CHN:GZP  name="Guangzhou"
CITY_STUB: CITY:CHN:SZX  name="Shenzhen"
CITY_STUB: CITY:CHN:CQN  name="Chongqing"
CITY_STUB: CITY:CHN:CDU  name="Chengdu"
CITY_STUB: CITY:CHN:HKG  name="Hong Kong"
CITY_STUB: CITY:CHN:WUH  name="Wuhan"
CITY_STUB: CITY:CHN:XIA  name="Xi'an"
CITY_STUB: CITY:CHN:NKG  name="Nanjing"
CITY_STUB: CITY:CHN:HGH  name="Hangzhou"
CITY_STUB: CITY:CHN:TSN  name="Tianjin"
# --- Japan (8) ---
CITY_STUB: CITY:JPN:TYO  name="Tokyo"
CITY_STUB: CITY:JPN:OSA  name="Osaka"
CITY_STUB: CITY:JPN:NAG  name="Nagoya"
CITY_STUB: CITY:JPN:FUK  name="Fukuoka"
CITY_STUB: CITY:JPN:SAP  name="Sapporo"
CITY_STUB: CITY:JPN:KYO  name="Kyoto"
CITY_STUB: CITY:JPN:KOB  name="Kobe"
CITY_STUB: CITY:JPN:YOK  name="Yokohama"
# --- Korea (4) ---
CITY_STUB: CITY:KOR:SEL  name="Seoul"
CITY_STUB: CITY:KOR:BUS  name="Busan"
CITY_STUB: CITY:KOR:INC  name="Incheon"
CITY_STUB: CITY:KOR:DAE  name="Daejeon"
# --- Taiwan (3) ---
CITY_STUB: CITY:TWN:TPE  name="Taipei"
CITY_STUB: CITY:TWN:KHH  name="Kaohsiung"
CITY_STUB: CITY:TWN:TXG  name="Taichung"
# --- India (12) ---
CITY_STUB: CITY:IND:DEL  name="Delhi"
CITY_STUB: CITY:IND:BOM  name="Mumbai"
CITY_STUB: CITY:IND:BLR  name="Bengaluru"
CITY_STUB: CITY:IND:HYD  name="Hyderabad"
CITY_STUB: CITY:IND:MAA  name="Chennai"
CITY_STUB: CITY:IND:CCU  name="Kolkata"
CITY_STUB: CITY:IND:PNQ  name="Pune"
CITY_STUB: CITY:IND:AMD  name="Ahmedabad"
CITY_STUB: CITY:IND:JAI  name="Jaipur"
CITY_STUB: CITY:IND:LKO  name="Lucknow"
CITY_STUB: CITY:IND:KOC  name="Kochi"
CITY_STUB: CITY:IND:PAT  name="Patna"
# --- SEA / South Asia (17) ---
CITY_STUB: CITY:MYS:KUL  name="Kuala Lumpur"
CITY_STUB: CITY:MYS:PEN  name="Penang"
CITY_STUB: CITY:IDN:JKT  name="Jakarta"
CITY_STUB: CITY:IDN:SUB  name="Surabaya"
CITY_STUB: CITY:IDN:MDN  name="Medan"
CITY_STUB: CITY:THA:BKK  name="Bangkok"
CITY_STUB: CITY:THA:HKT  name="Phuket"
CITY_STUB: CITY:VNM:HAN  name="Hanoi"
CITY_STUB: CITY:VNM:SGN  name="Ho Chi Minh City"
CITY_STUB: CITY:VNM:DNG  name="Da Nang"
CITY_STUB: CITY:PHL:MNL  name="Manila"
CITY_STUB: CITY:PHL:CEB  name="Cebu"
CITY_STUB: CITY:PHL:DVO  name="Davao City"
CITY_STUB: CITY:BGD:DAC  name="Dhaka"
CITY_STUB: CITY:PAK:KHI  name="Karachi"
CITY_STUB: CITY:LKA:CMB  name="Colombo"
CITY_STUB: CITY:NPL:KTM  name="Kathmandu"
# --- Oceania (6) ---
CITY_STUB: CITY:AUS:SYD  name="Sydney"
CITY_STUB: CITY:AUS:MEL  name="Melbourne"
CITY_STUB: CITY:AUS:BNE  name="Brisbane"
CITY_STUB: CITY:AUS:PER  name="Perth"
CITY_STUB: CITY:NZL:AKL  name="Auckland"
CITY_STUB: CITY:NZL:WLG  name="Wellington"  # (kept for global balance)
# --- USA (25) ---
CITY_STUB: CITY:USA:NYC  name="New York City"
CITY_STUB: CITY:USA:LAX  name="Los Angeles"
CITY_STUB: CITY:USA:CHI  name="Chicago"
CITY_STUB: CITY:USA:HOU  name="Houston"
CITY_STUB: CITY:USA:PHX  name="Phoenix"
CITY_STUB: CITY:USA:PHL  name="Philadelphia"
CITY_STUB: CITY:USA:DAL  name="Dallas"
CITY_STUB: CITY:USA:SFO  name="San Francisco"
CITY_STUB: CITY:USA:SEA  name="Seattle"
CITY_STUB: CITY:USA:BOS  name="Boston"
CITY_STUB: CITY:USA:MIA  name="Miami"
CITY_STUB: CITY:USA:ATL  name="Atlanta"
CITY_STUB: CITY:USA:DEN  name="Denver"
CITY_STUB: CITY:USA:WDC  name="Washington, D.C."
CITY_STUB: CITY:USA:DET  name="Detroit"
CITY_STUB: CITY:USA:LAS  name="Las Vegas"
CITY_STUB: CITY:USA:POR  name="Portland"
CITY_STUB: CITY:USA:CLT  name="Charlotte"
CITY_STUB: CITY:USA:ORL  name="Orlando"
CITY_STUB: CITY:USA:SDG  name="San Diego"
CITY_STUB: CITY:USA:SAT  name="San Antonio"
CITY_STUB: CITY:USA:MSP  name="Minneapolis–Saint Paul"
CITY_STUB: CITY:USA:PIT  name="Pittsburgh"
CITY_STUB: CITY:USA:CLE  name="Cleveland"
CITY_STUB: CITY:USA:STL  name="St. Louis"
# --- Canada (6) ---
CITY_STUB: CITY:CAN:YTO  name="Toronto"
CITY_STUB: CITY:CAN:YVR  name="Vancouver"
CITY_STUB: CITY:CAN:YUL  name="Montreal"
CITY_STUB: CITY:CAN:YYC  name="Calgary"
CITY_STUB: CITY:CAN:OTT  name="Ottawa"
CITY_STUB: CITY:CAN:YEG  name="Edmonton"
# --- Mexico (4) ---
CITY_STUB: CITY:MEX:MEX  name="Mexico City"
CITY_STUB: CITY:MEX:GDL  name="Guadalajara"
CITY_STUB: CITY:MEX:MTY  name="Monterrey"
CITY_STUB: CITY:MEX:CUN  name="Cancun"
# --- Brazil (6) ---
CITY_STUB: CITY:BRA:SAO  name="Sao Paulo"
CITY_STUB: CITY:BRA:RIO  name="Rio de Janeiro"
CITY_STUB: CITY:BRA:BSB  name="Brasilia"
CITY_STUB: CITY:BRA:SSA  name="Salvador"
CITY_STUB: CITY:BRA:REC  name="Recife"
CITY_STUB: CITY:BRA:POA  name="Porto Alegre"
# --- LatAm (10) ---
CITY_STUB: CITY:ARG:BUE  name="Buenos Aires"
CITY_STUB: CITY:ARG:COR  name="Cordoba"
CITY_STUB: CITY:CHL:SCL  name="Santiago"
CITY_STUB: CITY:COL:BOG  name="Bogota"
CITY_STUB: CITY:COL:MED  name="Medellin"
CITY_STUB: CITY:PER:LIM  name="Lima"
CITY_STUB: CITY:ECU:UIO  name="Quito"
CITY_STUB: CITY:VEN:CCS  name="Caracas"
CITY_STUB: CITY:URY:MVD  name="Montevideo"
CITY_STUB: CITY:BOL:SCZ  name="Santa Cruz de la Sierra"
# --- Caribbean / Central (9) ---
CITY_STUB: CITY:CUB:HAV  name="Havana"
CITY_STUB: CITY:DOM:SDQ  name="Santo Domingo"
CITY_STUB: CITY:PRI:SJU  name="San Juan"
CITY_STUB: CITY:JAM:KIN  name="Kingston"
CITY_STUB: CITY:HTI:PAP  name="Port-au-Prince"
CITY_STUB: CITY:PAN:PTY  name="Panama City"
CITY_STUB: CITY:CRI:SJO  name="San Jose"
CITY_STUB: CITY:GTM:GUA  name="Guatemala City"
CITY_STUB: CITY:SLV:SAL  name="San Salvador"
# --- UK / Ireland (7) ---
CITY_STUB: CITY:GBR:LON  name="London"
CITY_STUB: CITY:GBR:MAN  name="Manchester"
CITY_STUB: CITY:GBR:BIR  name="Birmingham"
CITY_STUB: CITY:GBR:GLA  name="Glasgow"
CITY_STUB: CITY:GBR:EDI  name="Edinburgh"
CITY_STUB: CITY:GBR:BRS  name="Bristol"
CITY_STUB: CITY:IRL:DUB  name="Dublin"
# --- France (4) ---
CITY_STUB: CITY:FRA:PAR  name="Paris"
CITY_STUB: CITY:FRA:LYO  name="Lyon"
CITY_STUB: CITY:FRA:MRS  name="Marseille"
CITY_STUB: CITY:FRA:NCE  name="Nice"
# --- Germany (5) ---
CITY_STUB: CITY:DEU:BER  name="Berlin"
CITY_STUB: CITY:DEU:MUC  name="Munich"
CITY_STUB: CITY:DEU:FRA  name="Frankfurt"
CITY_STUB: CITY:DEU:HAM  name="Hamburg"
CITY_STUB: CITY:DEU:CGN  name="Cologne"
# --- Italy (4) ---
CITY_STUB: CITY:ITA:ROM  name="Rome"
CITY_STUB: CITY:ITA:MIL  name="Milan"
CITY_STUB: CITY:ITA:NAP  name="Naples"
CITY_STUB: CITY:ITA:TUR  name="Turin"
# --- Spain / Portugal (5) ---
CITY_STUB: CITY:ESP:MAD  name="Madrid"
CITY_STUB: CITY:ESP:BCN  name="Barcelona"
CITY_STUB: CITY:ESP:VLC  name="Valencia"
CITY_STUB: CITY:ESP:SEV  name="Seville"
CITY_STUB: CITY:PRT:LIS  name="Lisbon"
# --- Benelux / Alpine / Central (7) ---
CITY_STUB: CITY:NLD:AMS  name="Amsterdam"
CITY_STUB: CITY:NLD:RTM  name="Rotterdam"
CITY_STUB: CITY:BEL:BRU  name="Brussels"
CITY_STUB: CITY:CHE:ZRH  name="Zurich"
CITY_STUB: CITY:CHE:GVA  name="Geneva"
CITY_STUB: CITY:AUT:VIE  name="Vienna"
CITY_STUB: CITY:POL:WAW  name="Warsaw"
# --- Eastern / Nordics / Russia / Ukraine (11) ---
CITY_STUB: CITY:POL:KRK  name="Krakow"
CITY_STUB: CITY:CZE:PRG  name="Prague"
CITY_STUB: CITY:HUN:BUD  name="Budapest"
CITY_STUB: CITY:ROU:BUC  name="Bucharest"
CITY_STUB: CITY:GRC:ATH  name="Athens"
CITY_STUB: CITY:SWE:STO  name="Stockholm"
CITY_STUB: CITY:NOR:OSL  name="Oslo"
CITY_STUB: CITY:DNK:CPH  name="Copenhagen"
CITY_STUB: CITY:FIN:HEL  name="Helsinki"
CITY_STUB: CITY:RUS:MOW  name="Moscow"
CITY_STUB: CITY:RUS:LED  name="Saint Petersburg"
CITY_STUB: CITY:UKR:IEV  name="Kyiv"
# --- Turkey (3) ---
CITY_STUB: CITY:TUR:IST  name="Istanbul"
CITY_STUB: CITY:TUR:ANK  name="Ankara"
CITY_STUB: CITY:TUR:IZM  name="Izmir"
# --- Gulf / Levant / Iran / Iraq (12) ---
CITY_STUB: CITY:ARE:DXB  name="Dubai"
CITY_STUB: CITY:ARE:AUH  name="Abu Dhabi"
CITY_STUB: CITY:SAU:RUH  name="Riyadh"
CITY_STUB: CITY:SAU:JED  name="Jeddah"
CITY_STUB: CITY:QAT:DOH  name="Doha"
CITY_STUB: CITY:KWT:KWI  name="Kuwait City"
CITY_STUB: CITY:ISR:TLV  name="Tel Aviv"
CITY_STUB: CITY:IRN:THR  name="Tehran"
CITY_STUB: CITY:IRQ:BGD  name="Baghdad"
CITY_STUB: CITY:JOR:AMM  name="Amman"
CITY_STUB: CITY:LBN:BEY  name="Beirut"
CITY_STUB: CITY:OMN:MCT  name="Muscat"
# --- North Africa (6) ---
CITY_STUB: CITY:EGY:CAI  name="Cairo"
CITY_STUB: CITY:EGY:ALX  name="Alexandria"
CITY_STUB: CITY:MAR:CAS  name="Casablanca"
CITY_STUB: CITY:DZA:ALG  name="Algiers"
CITY_STUB: CITY:TUN:TUN  name="Tunis"
CITY_STUB: CITY:SDN:KRT  name="Khartoum"
# --- Sub-Saharan Africa (10) ---
CITY_STUB: CITY:NGA:LOS  name="Lagos"
CITY_STUB: CITY:NGA:ABV  name="Abuja"
CITY_STUB: CITY:GHA:ACC  name="Accra"
CITY_STUB: CITY:SEN:DKR  name="Dakar"
CITY_STUB: CITY:CIV:ABJ  name="Abidjan"
CITY_STUB: CITY:KEN:NBO  name="Nairobi"
CITY_STUB: CITY:ETH:ADD  name="Addis Ababa"
CITY_STUB: CITY:TZA:DAR  name="Dar es Salaam"
CITY_STUB: CITY:UGA:KLA  name="Kampala"
CITY_STUB: CITY:RWA:KGL  name="Kigali"
CITY_STUB: CITY:ZAF:JNB  name="Johannesburg"
CITY_STUB: CITY:ZAF:CPT  name="Cape Town"
CITY_STUB: CITY:AGO:LAD  name="Luanda"
CITY_STUB: CITY:COD:KIN  name="Kinshasa"
CITY_STUB: CITY:CMR:DLA  name="Douala"

UPGRADE.PATH:
  - A stub becomes a full CityERCO page by installing:
      GLOBAL_CITYERCO_TEMPLATE_v1_0
    then adding:
      lane nodes + lane coupling binds + sensor dashboard + (1 collapse trace + 1 repair trace)
  - Keep the same IDs:
      NODE_<ISO3>_<CITYCODE>_Z3_CITYOS
      ERCO_<ISO3>_<CITYCODE>_Z3
      BindIDs (E_load, E_policy)