#!/usr/bin/env python3
"""exp14b/D38.5 — reseed: промоут НАПРАВЛЕННЫХ владельцем термов draft→approved (корень терм-
дрейфа, exp14b D38 §3 / D-лог:499). Воспроизводимый провенанс-трансформ (паттерн
exp13_seed_signoff), ИДЕМПОТЕНТЕН + байт-стабилен (D30.5). Сид ВНЕ git; промоут авторизован
владельцем (D37/D38, «Да» 12.07). НЕ промоутить лишнего — approved-инвариант.

Направлено (D-лог:499, сверено по сиду):
  - грейды 甲等/乙等/丙等/丁等 → dst «разряд X» ⇒ «класс X» (D37; развести с 转→«ранг») + draft→approved
  - 四代族长 → draft→approved (dst «Четвёртый глава рода» уже верна, D34/D37)
Остальные draft (南疆, 沈嬷嬷, гу-имена — D-лог:437) НЕ трогаем: «при желании владельца», не направлено.

Verify (ИСПОЛНЕНИЕМ): diff = ровно 5 термов; повторный прогон = байт-в-байт; approved +5;
enforce-зеркало memory.go:485-503(memConfirmed-only) + :615-641(suppressContained) на синт.чанке —
после промоута инъекция отдаёт 四代族长→«Четвёртый глава рода» и грейды, 族长 не съедается→«старейшина».
"""
from __future__ import annotations
import sys
import yaml
from pathlib import Path

BOOK = Path("/home/ubuntu/books/gu-zhenren")
SEED = BOOK / "guzhenren-seed-v2.yaml"
LOG = BOOK / "diag" / "glossary_v2_reseed_promote.md"
BAK = BOOK / "diag" / "guzhenren-seed-v2.pre-reseed.yaml"
DUMP = dict(allow_unicode=True, sort_keys=False, width=200)  # ТЕ ЖЕ параметры, что писали сид (байт-стабильность)
MARK = "[reseed:approved D38.5]"
GRADE_LETTER = {"甲等": "А", "乙等": "Б", "丙等": "В", "丁等": "Г"}
# Чистые авторские заметки грейдов (D38.5: стейл-хвост «Head разряд declines / owner may prefer
# «первый/высший разряд»» вычищен по указанию оркестратора — сид пере-снапшотится, стейл не запекаем).
GRADE_NOTE = {
    "А": "pinyin: jiǎděng; top aptitude grade (方正). Схема 甲乙丙丁 = класс А>Б>В>Г (все четыре); голова «класс» склоняется, буква инвариант.",
    "Б": "pinyin: yǐděng; 2nd aptitude grade (漠北, 赤城).",
    "В": "pinyin: bǐngděng; 3rd aptitude grade (方源).",
    "Г": "pinyin: dīngděng; lowest aptitude grade.",
}


DIRECTED = list(GRADE_LETTER) + ["四代族长"]  # ровно направленное владельцем (D-лог:499)


def load_path(p):
    return yaml.safe_load(Path(p).read_text(encoding="utf-8"))


def load():
    return load_path(SEED)


def n_approved(d):
    return sum(1 for t in d["terms"] if t.get("status") == "approved")


def summarize(pre, post):
    """Полная 5-термовая таблица pre→post для направленных (не «что мутировало в этот прогон»)."""
    a = {t["src"]: t for t in pre["terms"]}
    b = {t["src"]: t for t in post["terms"]}
    return [(s, f"{a[s]['dst']}/{a[s]['status']}", f"{b[s]['dst']}/{b[s]['status']}")
            for s in DIRECTED if s in a and s in b]


def grade_forms(letter):
    return [f"класса {letter}", f"классу {letter}", f"классом {letter}", f"классе {letter}"]


def apply_promote(data):
    """Мутирует data на месте. Возвращает список (src, старое, новое). Идемпотентно."""
    applied = []
    for t in data["terms"]:
        src = t.get("src")
        if src in GRADE_LETTER:
            letter = GRADE_LETTER[src]
            new_dst = f"класс {letter}"
            old = (t.get("dst"), t.get("status"), t.get("note"))
            # авторская чистая заметка (не наследуем стейл-хвост «разряд declines / первый/высший»)
            new_note = (f"{MARK} грейд {src}→«класс {letter}» (D37: развести с 转→«ранг»; "
                        f"было «разряд», draft→approved). {GRADE_NOTE[letter]}")
            t["dst"] = new_dst
            t["type"] = "title"
            t["decl"] = {"invariant": False, "forms": grade_forms(letter)}
            t["status"] = "approved"
            t["note"] = new_note
            if old != (new_dst, "approved", new_note):
                applied.append((src, f"{old[0]}/{old[1]}", f"{new_dst}/approved"))
        elif src == "四代族长":
            old = (t.get("dst"), t.get("status"))
            note0 = t.get("note") or ""
            t["status"] = "approved"
            if MARK not in note0:
                t["note"] = (f"{MARK} 四代族长 draft→approved (D38 §3: approved-длинный выигрывает "
                             f"longest-match над вложенным 族长 → 族长 больше не съедается неверно). " + note0)
            if old[1] != "approved" or MARK not in note0:
                applied.append((src, f"{old[0]}/{old[1]}", f"{old[0]}/approved"))
    return applied


# ── enforce-зеркало (ТАРГЕТНЫЙ порт memory.go; при расхождении верить Go) ───────────────
def spoiler_blocked(entry, chapter):
    return chapter < int(entry.get("since_ch", 0))  # since_ch=0 у всех наших → никогда не блок


def find_matches(chunk, entries):
    """[(start,end,idx)] по rune-индексам, прямой подстрокой (Han-ключи — без word-boundary,
    suppressUnboundedPhonetic на Han не применяется, memory.go:651-654)."""
    ms = []
    for idx, e in enumerate(entries):
        src = e["src"]
        start = 0
        while True:
            i = chunk.find(src, start)
            if i < 0:
                break
            ms.append((i, i + len(src), idx))
            start = i + 1
    return ms


def suppress_contained(ms, entries, chapter):
    """Порт memory.go:615-641. m отсеян, если есть o: содержит m, строго длиннее, validSuppressor(o)."""
    def valid_suppressor(o):
        return not spoiler_blocked(entries[o[2]], chapter)
    kept = []
    for i, m in enumerate(ms):
        contained = any(
            j != i and o[0] <= m[0] and o[1] >= m[1] and (o[1] - o[0]) > (m[1] - m[0]) and valid_suppressor(o)
            for j, o in enumerate(ms))
        if not contained:
            kept.append(m)
    return kept


def render_block(ms, entries, chapter):
    """Порт memory.go:485-503. memConfirmed ≈ status==approved (чистый одиночный матч, без
    коллизий/post-check-неоднозначности — упрощение для синт.чанка). Дедуп по dst."""
    lines, seen = [], set()
    for (s, e, idx) in ms:
        ent = entries[idx]
        confirmed = (ent.get("status") == "approved") and not spoiler_blocked(ent, chapter)
        if not confirmed:
            continue
        dst = (ent.get("dst") or "").strip()
        if not dst or dst in seen:
            continue
        seen.add(dst)
        lines.append(f"- «{dst}»")
    return lines


def enforce_mirror(data, chunk, chapter):
    entries = data["terms"]
    ms = find_matches(chunk, entries)
    ms = suppress_contained(ms, entries, chapter)
    return render_block(ms, entries, chapter)


# синт. чанк (МОЙ конструкт, НЕ из книги — копирайт): 四代族长, standalone 族长, 家老, грейды
CHUNK = "第四代族长传承五转之力。当代族长古月博坐镇村中，家老古月漠尘辅之。方源乃丙等资质，其兄方正甲等。"
CHAPTER = 15  # 四代族长 recurs 節15; все термы since_ch:0 → не спойлер-блок


def main():
    dry = "--dry" in sys.argv
    # заморозить пре-reseed состояние ОДИН раз — иммутабельная истина «до» (устойчиво к повторным прогонам)
    if not dry and not BAK.exists():
        BAK.write_text(SEED.read_text(encoding="utf-8"), encoding="utf-8")
    pre = load_path(BAK) if BAK.exists() else load()  # пре-reseed истина (не текущий, возможно уже промоутнутый, сид)
    before = enforce_mirror(pre, CHUNK, CHAPTER)
    n_appr_before = n_approved(pre)

    data = load()                              # текущий сид (мог быть уже промоутнут прошлым прогоном)
    applied = apply_promote(data)              # идемпотентно; applied = что реально мутировало В ЭТОТ прогон
    missing = [s for s in DIRECTED if s not in {t.get("src") for t in data["terms"]}]
    new_bytes = yaml.dump(data, **DUMP)
    n_appr_after = n_approved(data)

    if not dry:
        SEED.write_text(new_bytes, encoding="utf-8")

    after = enforce_mirror(data, CHUNK, CHAPTER)
    table = summarize(pre, data)               # ПОЛНАЯ 5-термовая провенанс-таблица pre(BAK)→post

    # ── лог/провенанс ──
    lg = ["# Глоссарий v2 — RESEED промоут грейдов + 四代族长 (D38.5, 2026-07-12)", "",
          f"Направлено (D-лог:499): грейды 甲乙丙丁→«класс А/Б/В/Г»+draft→approved, 四代族长 draft→approved.",
          f"Провенанс: `eval/exp14b/exp14b_reseed_promote.py` (идемпотентен, байт-стабилен D30.5). Пре-снапшот: `{BAK.name}`.",
          f"approved до/после: {n_appr_before} → {n_appr_after} (Δ={n_appr_after - n_appr_before}). "
          f"Мутаций в последний прогон: {len(applied)} (0 = уже применено, идемпотентно).", "",
          "| src | было (dst/status, пре-reseed) | стало |", "|---|---|---|"]
    for s, o, n in table:
        lg.append(f"| {s} | {o} | **{n}** |")
    if missing:
        lg += ["", "⚠ НЕ найдены в сиде (проверить): " + ", ".join(missing)]
    delta = [x for x in after if x not in before]
    lg += ["", "## Enforce-верификация (зеркало memory.go:485-503 + :615-641; при расхождении верить Go)",
           f"Синт. чанк (МОЙ конструкт, не из книги): `{CHUNK}`", "",
           "**editor-constraint блок ДО промоута** (грейды/四代族长 = draft → memConfirmed-фильтр их режет; "
           "в 四代族长-контексте главы рода нет якоря — рядом только 家老→«старейшина»; standalone 族长→«глава клана»):",
           "```", *(before or ["(пусто)"]), "```",
           "**ПОСЛЕ промоута** (四代族长/грейды approved → инъектятся):",
           "```", *(after or ["(пусто)"]), "```",
           f"**Δ (появилось ТОЛЬКО после промоута):** {', '.join(delta) or '—'}",
           "→ 四代族长-контекст теперь заякорен на «Четвёртый глава рода» (а не оставлен «старейшине»); "
           "грейды инъектятся «класс А/Б/В/Г»; 转-семья (五转) рендерится «ранг» — развести соблюдено."]
    if not dry:
        LOG.write_text("\n".join(lg), encoding="utf-8")

    # ── консоль (self-review) ──
    print(f"{'[DRY] ' if dry else ''}мутаций-в-прогон={len(applied)} missing={missing} approved {n_appr_before}→{n_appr_after}")
    print("промоут-таблица (пре-reseed → пост):")
    for s, o, n in table:
        print(f"  {s}: {o} → {n}")
    print("\n-- enforce ДО (пре-reseed BAK) --"); [print("  " + x) for x in (before or ["(пусто)"])]
    print("-- enforce ПОСЛЕ --"); [print("  " + x) for x in (after or ["(пусто)"])]
    print("-- Δ (только после) --"); [print("  " + x) for x in (delta or ["(пусто)"])]

    # ── ассерты само-проверки (падаем громко) ──
    assert len(applied) <= 5 and not missing, f"scope-нарушение: applied={applied} missing={missing}"
    assert len(table) == 5 and all(n.endswith("/approved") for _, _, n in table), f"таблица не 5-approved: {table}"
    # фикс проявляется ТОЛЬКО после промоута (были draft-невидимы):
    assert "- «Четвёртый глава рода»" in after and "- «Четвёртый глава рода»" not in before, "四代族长 не заякорен после промоута / был виден до"
    assert "- «класс А»" in after and "- «класс В»" in after, "грейды не инъектятся после промоута"
    assert "- «класс А»" not in before, "грейд был виден до промоута (ожидался draft-невидим)"
    # 族长/家老 — approved, корректны в ОБОИХ (家老=старейшина легитимно; НЕ должно исчезать):
    assert "- «глава клана»" in after, "standalone 族长 должен инъектить «глава клана»"
    print("\nOK: enforce-инварианты выполнены — 四代族长/грейды видны ТОЛЬКО после промоута; standalone 族长 цел.")


if __name__ == "__main__":
    main()
