heaven/textmachine
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
textmachine/docs/archive/reports/BANK_CONSILIUM_INPUTS_2026-09-15/04-design-v2-and-owner-proposal.md

9.2 KiB
Raw Permalink Blame History

Предмет сверки: итоговое предложение по банку памяти (15.09)

⛔ ОТОЗВАНО 15.09 — АРХИВ-УЛИКА, НЕ ПЛАН. Предложение ниже расходится с 12 пунктами решённого, замеренного и собственного плана (05, synthesis.contradictions). Обращение «Сверщикам» — задание уже исполненной сверки 05, а не заказ. Инструкции ниже НЕ исполнять. Читать только вместе с README.md этого каталога.

Это то, что оркестратор уже предложил владельцу. Автор архитектуры — Fable 5 (вторая редакция после адверсариальной проверки), с двумя поправками оркестратора, которые Fable подтвердил. Сверщикам: найти в РЕПОЗИТОРИИ всё, что уже решено, запланировано, построено, исследовано, изобретено или опровергнуто по тем же предметам — и что делает предложение лишним, неполным или неверным.

А. Предложение владельцу (как отправлено)

Что сломано — три корня

  1. Банк пересчитывается, а не помнит: на каждой подписи и каждой покупке модель заново решает все термины, не видя своих прошлых решений; часть переводов меняется (12 из 69, 14 из 66), между томами разнобой.
  2. «Тот же ли это термин» решается в разных местах по-разному (подбор — по нормализованной форме; загрузка банка и уступка редактору — по сырой строке) → два закона на одно слово (ряд 330). Таблицы вариантов написания (китайская, японская) зашиты в ядро и применяются к любому языку.
  3. У решения нет честных исходов: «не могу решить» становится догадкой черновика законом; «не термин» выразить нельзя; сменить перевод или род с главы N одним действием нельзя, имя из списка владельца — нельзя вовсе.

Каким становится банк

  • Журнал решений: каждое решение записывается один раз (кто, на каких уликах, с каким исходом); при следующей покупке модель спрашивают только про новые термины; принятое не пересчитывается.
  • Одно определение «тот же термин» во всём движке; таблицы вариантов написания — данные исходного языка.
  • Честные исходы терминолога: закон · не термин · многозначный (решает человек) · не решено (перезапрос только при новых уликах, с пределом). «Не термин» и «не решено» закона не создают, видны и обратимы; имена из списка владельца под «не термин» не попадают.
  • Изменение по ходу книги — преемник: перевод или род с главы N; главы до N не трогаются. Автоматически — только предложения. Скрытый пол — только человек.
  • Улики — только из уже переведённой части книги.
  • Сигналы (споры черновиков с законом, «N глав до закона») видимы: платформа читает раздел предложений.

Трейдоффы

Первое решение живёт до правки человеком (INVENTED 17/66 в B) · до журнала сохраняется пере-решение · «имя против обычного слова» (方正) без человека не решается (оговорка в промте опровергнута экспериментом 18) · разовые цены: одна перекупка банковых вызовов на книгу, миграция банков в журнал.

Порядок

  1. Сейчас, $0: одно определение тождества на СУЩЕСТВУЮЩЕЙ NormalizeSourceKey во всех дверях (storeOrder, MinedDeltaSeedCollisions, loadAutoBank, уступка editorLines) → ряд 330 закрыт.
  2. Окно перенарезки глав (ряд 161, D39.245): окна банка по chapter-ID; вынос таблиц нормализации в данные языка (двигает NormVersion → идентичность глав, поэтому только там); рядом ряды 131 и 14.
  3. Журнал решений + честные исходы (сентинелы парсера) + since реверса = первое появление + читатель платформы proposed — после слова владельца.
  4. Преемник «с главы N» + глагол succeed двери (decisions v2, TermID без окна, минор контракта).

Вопросы владельцу

  1. Журнал и преемник — после перенарезки глав? Книги прогонов A/B не продолжаем?
  2. Снимает ли владелец прежние стопы: «не копить банк между прогонами» (ряд 130) и «не проектировать правки после прочтения» (D39.144 п.1)?
  3. Закон, решённый позже, на уже готовых главах: показывать «N глав до закона» со сметой и переделывать по заказу — или автоматически?
  4. Имя из списка владельца с главы N: правка перекрывает сид только для редактора (черновики со старым именем) — или переоплата черновиков глав ≥N?

Б. Архитектура (Fable v2, сжатие)

  • Identity = универсальные шаги + канал данных исходного языка configs/langpacks/<src>/identity.txt (1:N свёртки), хеш таблицы в memory_version (не pack.Version()), громкий отказ при объявленном и отсутствующем канале; хранимые ключи движка пере-выводятся миграцией.
  • Окна по chapter-ID; журнал движка — в инвентарь миграции перекроя.
  • Журнал движка <db>.bank-journal.yaml (append; Identity, sense, окно, исход, dst, gender, провенанс, отпечаток улик, прогон); auto-bank.yaml — выведенный вид; нота к онтологии 18 (источник движка долговечен; правило старшинства «событие владельца > закон движка»); терминолог только для Identity без закона в окне.
  • Исходы: сентинелы; исход без dst → строка без dst (инертна, §C2-7); not-a-term виден в proposed, обратим; допустим только при типе term и без детерминированной улики имени, иначе undecided; undecided с отпечатком улик и пределом перезапросов; род производит классификатор; $0-сверка «черновики против закона» тем же паком, что фильтр.
  • Преемник: старая until=N−1, новая since=N; TermID = hash(Identity, sense)+revision; для сид-терма — «событие владельца затеняет сид с главы N в обогащённом виде», черновики ≥N со старым именем, редактор приводит.
  • Закон задним числом: since = первое появление в начерненной границе; «юниты до закона» — числом и сметой, ре-мейк только пере-проходом.
  • Провод как D39.104, без оговорки; полисемия — человеку.
  • Сняты как механизмы: оговорка области употребления (эксп. 18), N=2-согласие, детектор местоимений в ядре (нужна кореференция), hidden от классификатора.