More strict suggestions

app.py

@@ -84,12 +84,15 @@ with tabs[1]:
         st.code(f"{query}\n{AR}\n", language=None)
         EN, HR = garood.en_gen_enhr(garood.ar_gen_en(AR))
         c, s = garood.bh_gen_best(BH, EN, HR, True)
-        g = garood.state_to_str(s, EN)
-        st.code(f"{garood.en2ar(g)}\n{garood.g2v(g)}\n", language=None)
+        if c >= 0:
+            g = garood.state_to_str(s, EN)
+            st.code(f"{garood.en2ar(g)}\n{garood.g2v(g)}\n", language=None)
+        else:
+            st.error("الشطر لا يلتزم ببحر الكامل", icon="🚨")
 
 with tabs[2]:
     BH = garood.config()['bahr']['kamil_1']
-    query = "قد سامر الأصحاب في"
+    query = "كم حدث الأصحاب"
     cols = st.columns([6, 3, 3])
     with cols[0]:
         query = st.text_input(
@@ -102,7 +105,7 @@ with tabs[2]:
         AR = wisdom_extract.allam("allam/shakl.txt", {"input": query}).strip()    
         with st.spinner('جاري توليد الإقتراحات...'):
             poss = complete.gen(query)
-        with st.spinner(f"جاري وضع علامات التشكيل على {len(poss)} اقتراحا..."):
+        with st.spinner(f"جاري التصفية من {len(poss)} اقتراحا..."):
             pshak = complete.shakk(poss)
     for i, val in enumerate(complete.filter(pshak)):
         p, c, s, g = val

complete.py

@@ -26,10 +26,10 @@ def shakkil(p):
 def gen(input):
     print("SUGGESTING...")
     poss = set()
-    with ThreadPoolExecutor(max_workers=32) as executor:
+    with ThreadPoolExecutor(max_workers=8) as executor:
         futures = [
             executor.submit(suggest, input)
-            for i in range(3)
+            for _ in range(5)
         ]
         for future in as_completed(futures):
             for p in future.result(): poss.add(p)
@@ -39,7 +39,7 @@ def gen(input):
 def shakk(poss):
     print("TASHKEELING...")
     pshak = []
-    with ThreadPoolExecutor(max_workers=32) as executor:
+    with ThreadPoolExecutor(max_workers=8) as executor:
         futures = [
             executor.submit(shakkil, p)
             for p in poss

complete.tmp

@@ -1,58 +1,43 @@
 SUGGESTING...
-قد سامر الأصحاب في يوم الندى
-قد سامر الأصحاب في خيمة
-قد سامر الأصحاب في أرض الحمى
-قد سامر الأصحاب في بيت
-قد سامر الأصحاب في نجد العلى
-قد سامر الأصحاب في دهم الحيا
-قد سامر الأصحاب في دهم الدجى
-قد سامر الأصحاب في أرض الوغى
-قد سامر الأصحاب في نادي
-قد سامر الأصحاب في أرض العلا
-قد سامر الأصحاب في أرض الفلا
-قد سامر الأصحاب في دهر الصبا
-قد سامر الأصحاب في مقهى
-قد سامر الأصحاب في بستان
-قد سامر الأصحاب في دهم الثنا
+كم حدث الأصحاب عن كرمه
+كم حدث الأصحاب عن أهل القرى
+كم حدث الأصحاب عن جهاده
+كم حدث الأصحاب عن زمن مضى
+كم حدث الأصحاب عن سخافتي
+كم حدث الأصحاب عن محبتي
+كم حدث الأصحاب عن نبل فعله
+كم حدث الأصحاب عن أخلاقه
+كم حدث الأصحاب عن زمن السلام
+كم حدث الأصحاب عن شهامتي
+كم حدث الأصحاب عن زمن الردى
+كم حدث الأصحاب عن بلاهتي
+كم حدث الأصحاب عن أخباره
+كم حدث الأصحاب عن أقواله
+كم حدث الأصحاب عن ضراوتي
+كم حدث الأصحاب عن أشغاله
+كم حدث الأصحاب عن ورعه
+كم حدث الأصحاب عن يوم الوغى
+كم حدث الأصحاب عن ذكائه
+كم حدث الأصحاب عن أحواله
 TASHKEELING...
-قَدْ سَامَرَ الْأَصْحَابَ فِي بَيْتِ
-قَدْ سَامَرَ الْأَصْحَابَ فِي نَادِي
-قَدْ سَامَرَ الْأَصْحَابَ فِي بُسْتَانٍ
-قَدْ سَامَرَ الْأَصْحَابَ فِي أَرْضِ الْفَلَا
-قَدْ سَامَرَ الْأَصْحَابَ فِي أَرْضِ الْوَغَى
-قَدْ سَامَرْتُ الْأَصْحَابَ فِي أَرْضِ الْعُلَى
-قَدْ سَامَرَ الْأَصْحَابَ فِي أَرْضِ الْحِمَى
-قَدْ سَامَرَ الْأَصْحَابُ فِي دُهْمِ الْحَيَا
-قَدْ سَامَرَ الْأَصْحَابَ فِي دُهْمِ الدُّجَى
-قَدْ سَامَرَ الْأَصْحَابَ فِي مَقْهَى
-قَدْ سَامَرَ الْأَصْحَابَ فِي نَجْدِ الْعُلَى
-قَدْ سَامَرَ الْأَصْحَابُ فِي خَيْمَةٍ
-قَدْ سَامَرَ الْأَصْحَابُ فِي يَوْمِ النَّدَى
-قَدْ سَامَرْتُ الْأَصْحَابَ فِي دُهْمِ الثَّنَا
-قَدْ سَامَرَ الْأَصْحَابَ فِي دَهْرِ الصِّبَا
-EVALUATING...
-SUGGESTING...
-قد سامر الأصحاب في وقت مغرب
-قد سامر الأصحاب في ساعة السحر
-قد سامر الأصحاب في يوم طيب
-قد سامر الأصحاب في دار الكرى
-قد سامر الأصحاب في خيرة الفلا
-قد سامر الأصحاب في يوم الصفا
-قد سامر الأصحاب في روضة الحما
-قد سامر الأصحاب في ظل شجرة
-قد سامر الأصحاب في ليل الصفا
-قد سامر الأصحاب في ليل بهيم
-قد سامر الأصحاب في مجلس الندا
-TASHKEELING...
-قَدْ سَامَرَ الْأَصْحَابَ فِي مَجْلِسِ النِّدَا
-قَدْ سَامَرْتُ الْأَصْحَابَ فِي ظِلِّ شَجَرَةٍ
-قَدْ سَامَرَ الْأَصْحَابَ فِي رَوْضَةِ الْحَمَا
-قَدْ سَامَرَ الْأَصْحَابَ فِي خَيْرَةٍ الْفَلَا
-قَدْ سَامَرَ الْأَصْحَابَ فِي دَارِ الْكَرَى
-قَدْ سَامَرَ الْأَصْحَابُ فِي سَاعَةِ السِّحْرِ
-قَدْ سَامَرَ الْأَصْحَابُ فِي وَقْتِ مَغْرِبِ
-قَدْ سَامَرَ الْأَصْحَابُ فِي يَوْمٍ طَيِّبِ
-قَدْ سَامَرَ الْأَصْحَابُ فِي يَوْمِ الصَّفَا
-قَدْ سَامَرَ الْأَصْحَابُ فِي لَيْلِ الصِّفَا
-قَدْ سَامَرَ الْأَصْحَابُ فِي لَيْلٍ بَهِيْمِ
+كَمْ حَدَّثَ الْأَصْحَابُ عَنْ سُخَافَتِي
+كَمْ حَدَّثَ الْأَصْحَابَ عَن مَحَبَّتِي
+كَمْ حَدَثَ الْأَصْحَابَ عَنْ نَبْلِ فِعْلِهِ
+كَمْ حَدّثَ الْأَصْحَابُ عَنْ كَرَمِهِ
+كَمْ حَدَّثَ الْأَصْحَابُ عَنْ أَهْلِ الْقُرَى
+كَمْ حَدَّثَ الْأَصْحَابُ عَنْ زَمَنٍ مَضَى
+كَمْ حَدَّثَ الْأَصْحَابُ عَنْ ج��هَادِهِ
+كَمْ حَدَّثَ الْأَصْحَابُ عَنْ أَخْلَاقِهِ
+كَمْ حَدَثَ الْأَصْحَابُ عَنْ زَمَنِ السَّلَامِ
+كَمْ حَدَّثَ الْأَصْحَابُ عَنْ شَهَامَتِي
+كَمْ حَدَّثَ الْأَصْحَابُ عَنْ أَقْوَالِهِ
+كَمْ حَدَّثَ الْأَصْحَابُ عَنْ زَمَنِ الرَّدَى
+كَمْ حَدَّثَ الْأَصْحَابُ عَنْ أَخْبَارِهِ
+كَمْ حَدَّثَ الْأَصْحَابُ عَنْ ضَرَاوَتِي
+كَمْ حَدَثَ الْأَصْحَابُ عَنْ أَشْغَالِهِ
+كَمْ حَدَّثَ الْأَصْحَابُ عَنْ بَلَاهَتِي
+كَمْ حَدَّثَ الْأَصْحَابُ عَنْ وَرَعِهِ
+كَمْ حَدَثَ الْأَصْحَابُ عَنْ ذَكَائِهِ
+كَمْ حَدَّثَ الْأَصْحَابَ عَنْ يَوْمِ الْوَغَى
+كَمْ حَدَّثَ الْأَصْحَابُ عَنْ أَحْوَالِهِ
 EVALUATING...

garood.gold

@@ -34,3 +34,7 @@ None
 ḤT_TA_TKL_LMKL_ĀṢM_MA_L#_ĀG#_
 حَتَّى تَكَلَّمَ كَالْأَصَمِّ الْأَ
 None
+قَدْ سَامَرَ الْأَصْحَابَ فِي يَوْمِ الْحَرْبِ
+QD_SA_MRL_ĀṢ_ḤA_BFY_YW_ML_ḤRB_
+حَتَّى تَكَلَّمَ كَالْأَصَمِّ الْأَعْجَمِ الْأَعْجَمِ
+None

garood.py

@@ -151,7 +151,7 @@ def state_next(EN, HR, BH, s):
         if not HR[s.acts_i:].startswith("_") and not HR[s.acts_i:].startswith("x"): cost_skn = 10
         yield cost_skn, State(bh_i=s.bh_i+2, acts_i=s.acts_i+1, acts=(s.acts << AX_BITS) | AX_SKN) 
 
-    cost_hdf = 12
+    cost_hdf = 20
     if EN[s.acts_i:].startswith("A") and HR[s.acts_i+1:].startswith("_"): cost_hdf = 1
     yield cost_hdf, State(bh_i=s.bh_i, acts_i=s.acts_i+1, acts=(s.acts << AX_BITS) | AX_HDF)
 
@@ -166,7 +166,7 @@ def state_next(EN, HR, BH, s):
 
 
     if BH[s.bh_i:].startswith("??_") and not EN[s.acts_i:].startswith("A"):
-        cost_madd = 12
+        cost_madd = 15
         if s.acts_i == len(EN) - 1: cost_madd //= 4
         yield cost_madd, State(bh_i=s.bh_i+3, acts_i=s.acts_i+1, acts=(s.acts << AX_BITS) | AX_MDD) 
 
@@ -180,7 +180,7 @@ def state_search(EN, HR, BH):
     while len(q) > 0:
         c1, s1 = heapq.heappop(q)
         if best_c >= 0 and c1 > best_c: continue
-        if s1.bh_i == len(BH):
+        if s1.bh_i == len(BH) and s1.acts_i == len(EN):
             best_c = c1
             best.append(s1)
             continue
@@ -217,7 +217,7 @@ def bh_gen_best(combs, EN, HR, verbose=False):
     cost_list = list(ans.keys())
     if len(cost_list) < 1: return -1, None
     ans = ans[cost_list[0]]
-    if len(ans) != 1 or cost_list[0] > 40: return -1, None
+    if len(ans) != 1 or cost_list[0] > 45: return -1, None
     return cost_list[0], next(iter(ans))
 
 if __name__ == "__main__":
@@ -242,6 +242,8 @@ if __name__ == "__main__":
 حَتَّى تَكَلَّمَ كَالْأَصَمِّ الْأَعْجَ
 حَتَّى تَكَلَّمَ كَالْأَصَمِّ الْأَعْ
 حَتَّى تَكَلَّمَ كَالْأَصَمِّ الْأَ
+قَدْ سَامَرَ الْأَصْحَابَ فِي يَوْمِ الْحَرْبِ
+حَتَّى تَكَلَّمَ كَالْأَصَمِّ الْأَعْجَمِ الْأَعْجَمِ
 """.strip().split("\n")):
             EN, HR = en_gen_enhr(ar_gen_en(AR))
             c, s = bh_gen_best(BH, EN, HR, i==13)

garood.tmp

@@ -27,22 +27,14 @@ BL_ḤZ_NFṢ_ṢM_MA_NFL_MTṮL_LM#_
 عَسِراً عَلَيَّ طِلابُكِ اِبنةَ مَخرَمِ
 aia_aa_xixxoiixxaaxai
 GSRNGLYYṬLABKABNTMḪRM
- 35    GSRN_GLY_YṬLA_BKB_NTMḪ_RM#_
- 44    GSRN_GLY_YṬLA_BKA_BN_TḪ_RM#_
- 44    GSRN_GLY_YṬLA_BKA_BN_MḪ_RM#_
- 44    GSRN_GLY_YṬLA_BKB_NT_MḪ_RM#_
- 44    GSRN_GLY_YṬ_LA_BKB_NTMḪ_RM#_
- 44    GS_RN_GLY_YṬLA_BKB_NTMḪ_RM#_
- 53    GSRN_GLY_YṬ_LA_BKA_BN_TḪ_RM#_
- 53    GSRN_GLY_YṬ_LA_BKA_BN_MḪ_RM#_
- 53    GSRN_GLY_YṬ_LA_BKB_NT_MḪ_RM#_
- 53    GS_RN_GLY_YṬLA_BKA_BN_TḪ_RM#_
- 53    GS_RN_GLY_YṬLA_BKA_BN_MḪ_RM#_
- 53    GS_RN_GLY_YṬLA_BKB_NT_MḪ_RM#_
- 53    GS_RN_GLY_YṬ_LA_BKB_NTMḪ_RM#_
- 62    GS_RN_GLY_YṬ_LA_BKA_BN_TḪ_RM#_
- 62    GS_RN_GLY_YṬ_LA_BKA_BN_MḪ_RM#_
- 62    GS_RN_GLY_YṬ_LA_BKB_NT_MḪ_RM#_
+ 43    GSRN_GLY_YṬLA_BKB_NTMḪ_RM#_
+ 49    GSRN_GLY_YṬLA_BKA_BN_TM_ḪRM_
+ 52    GSRN_GLY_YṬ_LA_BKB_NTMḪ_RM#_
+ 52    GS_RN_GLY_YṬLA_BKB_NTMḪ_RM#_
+ 58    GSRN_GLY_YṬ_LA_BKA_BN_TM_ḪRM_
+ 58    GS_RN_GLY_YṬLA_BKA_BN_TM_ḪRM_
+ 61    GS_RN_GLY_YṬ_LA_BKB_NTMḪ_RM#_
+ 67    GS_RN_GLY_YṬ_LA_BKA_BN_TM_ḪRM_
 GSRN_GLY_YṬLA_BKB_NTMḪ_RM#_
 حَتَّى تَكَلَّمَ كَالْأَصَمِّ
 None
@@ -52,3 +44,7 @@ None
 ḤT_TA_TKL_LMKL_ĀṢM_MA_L#_ĀG#_
 حَتَّى تَكَلَّمَ كَالْأَصَمِّ الْأَ
 None
+قَدْ سَامَرَ الْأَصْحَابَ فِي يَوْمِ الْحَرْبِ
+QD_SA_MRL_ĀṢ_ḤA_BFY_YW_ML_ḤRB_
+حَتَّى تَكَلَّمَ كَالْأَصَمِّ الْأَعْجَمِ الْأَعْجَمِ
+None