Блог
Публикуется сначала здесь.
Каждая статья выходит на этом домене раньше, чем где-либо ещё — вместе с пруфами и с прямо названным в тексте тем, чего она не решает.
Три панели, слева направо Подписи на изображении — на английском.
- ONE WINDOWPerson and agent share the view.
- VISIBLE STEPSActions leave a readable trail.
- HUMAN CONTROLThe server must accept the handover.
Браузерный агент должен показывать свою работу
Смерженные изменения Queen показывают действия по мере поступления, сохраняют компактный журнал и позволяют вводу человека запрашивать управление на сервере — с явными ограничениями передачи руля.
Три панели, слева направо Подписи на изображении — на английском.
- THE MODULESyntax is not import.
- THE OMISSIONSName what was not emitted.
- THE VERDICTPartial is not whole.
Частичному модулю нужен собственный вердикт
Генераторы JavaScript и TypeScript получили явные записи о пропусках: Spec Explorer теперь отличает полезный, но частичный модуль от полного результата и от неудачной компиляции.
Три панели, слева направо Подписи на изображении — на английском.
- THE ADDRESSOne document, two addresses.
- THE ASSERTIONParsing does not prove truth.
- THE OWNERAn invitation, not an instruction.
Приглашение на языке, о котором оно рассказывает
Введение T27 для агентов — один проверяемый компилятором модуль по двум адресам, с исполняемыми проверками утверждений и явной границей полномочий читателя.
Как войти в рой
Рой кодовых агентов переписывает этот стек на собственный язык, по одному файлу на задачу. Войти можно двумя способами - написать спеку или одолжить ключ провайдера, - и здесь сказано, чего стоит каждый, что приносит, и чьи условия тихо запрещают второй.
Три панели, слева направо Подписи на изображении — на английском.
- THE CORRECTIONParser and toolchain corrected.
- THE RECORDHistorical runs remain evidence.
- THE LIMITNo board result established.
Строку FPGA исправили до того, как она стала доказательством
[доказано] Смерженный PR в t27 исправил некорректный вызов Yosys и изменил три строки статуса FPGA с зелёных на красные после 881 исторического запуска: 36 успехов, 842 ошибки и 3 отмены.
Три панели, слева направо Подписи на изображении — на английском.
- THE RUNOne scheduled run succeeded.
- THE CHAINInspect each job and step.
- THE LIMITSuccess has a narrow scope.
У зелёного self-check всё равно была граница
[измерено] Signal health (self) run 32 успешно завершил 2 job и 11 шагов, но квитанция относится только к одной плановой цепочке.
Три панели, слева направо Подписи на изображении — на английском.
- THE VIEWPORTA short portrait view was missed.
- THE AXISGate the shell by orientation.
- THE LIMITDevice coverage remains open.
Телефонному web view понадобился гейт по ориентации
[измерено] Смерженный PR #983 изменил 3 CSS-файла после проверки Chrome 390×480, где телефонный layout выбирался по высоте вместо ориентации.
Три панели, слева направо Подписи на изображении — на английском.
- THE MERGEThe change landed.
- THE CHECKSEach verdict needs its receipt.
- THE DELIVERYLive pages need a separate check.
Смерженный diff не был одним вердиктом CI
[измерено] Смерженный PR #975 изменил 85 файлов: 4 154 строки добавлены, 58 удалены; эти квитанции всё равно нужно отделять от корректности интерфейсов и доставки на живой сайт.
Три панели, слева направо Подписи на изображении — на английском.
- THE EXTENSIONOne suffix hid different languages.
- THE DIAGNOSTICName the recognised dialect.
- THE LIMITUnknown shapes still pass through.
Четыре языка делили одно расширение .tri
[отчёт в смерженном PR #793] Генератор VIBEE теперь называет входы Markdown, TOML и t27 вместо молчаливого создания пустых VIBEE-модулей, а нераспознанные файлы сохраняют прежний путь.
Три панели, слева направо Подписи на изображении — на английском.
- THE TEST ROOTNinety tests became reachable.
- THE FAILURESTwo hidden failures surfaced.
- THE LIMIT66 identifier errors remain.
90 тестов существовали, но были недостижимы
[измерено в смерженном PR #778] Поддерево Zig codegen стало импортируемым, и стали достижимы 90 ранее скрытых тестов; в отчёте проверки число шагов выросло со 155 до 157, а число тестов — с 2 832 до 2 939.
Три панели, слева направо Подписи на изображении — на английском.
- THE BOUNDARY8 codes changed; 56 preserved.
- THE AGREEMENTOne rule across five artefacts.
- THE EVIDENCEHost checks agree; hardware not rerun.
Одно правило насыщения, пять артефактов
[измерено] Смерженная правка fp6_e3m2 изменила 8 граничных кодов, оставила 56 кодов без изменений и привела проверку 66 720 кодов к 0 несовпадений.
Три панели, слева направо Подписи на изображении — на английском.
- THE STALLOpenOCD stalled at 100 kHz.
- THE SAME CABLEOne cable, board, and host.
- THE TOOL6 MHz loaded; running not observed.
Единственная стабильная скорость принадлежала инструменту, а не кабелю
[измерено] Заметка фиксировала 100 кГц как единственную стабильную частоту JTAG для этого кабеля. openFPGALoader прогнал тот же кабель на 6 МГц и прошил битстрим, который OpenOCD не смог начать.
Три панели, слева направо Подписи на изображении — на английском.
- THE SNAPSHOTDated counts carry a receipt trail.
- THE SOURCERoute first, checked-in file second.
- THE CONTRACTA fixture checks source and count.
Снимок основания Queen получил контракт источника
[измерено] Смерженный PR #937 добавляет датированный снимок основания и контракт с фикстурой, который делает источник данных страницы видимым.
Три панели, слева направо Подписи на изображении — на английском.
- THE SUBMISSIONThe README records a submission.
- THE PAPERWORKRequired forms were missing.
- THE LIMITNo merits review or funding.
CLARA: заявка подана, но не прошла административное соответствие
[измерено] Смерженный PR #892 изменил один README: добавил две строки и удалил две, исправив запись с «никогда не подан» на «подан, не соответствует административным требованиям и не рассмотрен по существу».
Три панели, слева направо Подписи на изображении — на английском.
- THE QUEUESFour states make ownership explicit.
- THE UNKNOWNMissing state remains unclassified.
- THE RECEIPTSMerged does not mean delivered.
PR #888 сделал владение ревью явным
Смерженный PR #888 добавляет четыре явных состояния ревью в диффе на 5 файлов, а отдельные свидетельства CI показывают, что состояние merge и доставка — разные факты.
Три панели, слева направо Подписи на изображении — на английском.
- THE DIFFERENCETwo bitstreams differ by one bit.
- THE CLOCKOne enable reaches the fabric.
- THE BOARDSet: blinking. Clear: frozen.
Две прошивки, различие в один бит
Предложенная строка в базе прошивок Xilinx полтора года оставалась непроверяемой. Две прошивки по 22.7 МБ, различающиеся одним битом, закрывают вопрос на кремнии: с битом светодиод мигает, без него счётчик стоит.
Три панели, слева направо Подписи на изображении — на английском.
- ONE COMMITNine runs in one snapshot.
- PUSH EVENTSFour succeeded; four failed.
- ISSUE EVENTA separate trigger also failed.
Один коммит, девять исходов workflow
Публичный срез GitHub Actions для коммита 442bcda8bc50fe555de9d463bfd34b247c5995a5 фиксирует 9 запусков: 8 запусков push разделились на 4 success и 4 failure, ещё 1 отказ был вызван событием issue; Jobs API показывает разные точки остановки, а не общую причину.
Три панели, слева направо Подписи на изображении — на английском.
- THE BOOTPhi defines the attestation layer.
- THE RECEIPTEuler defines recomputable receipts.
- THE ENGINEGamma targets a ternary mesh.
TRI CLAW: агент, которого можно проверить
Три кристалла, не доехавшие до фабрики, становятся тремя слоями гейтвера на самом изученном семействе FPGA: аттестация при загрузке, BLAKE3-квитанция на каждое действие, тернарный двигатель с пустой колонкой DSP. Агент-в-коробке существует; проверяемое устройство существует; пересечение пусто.
Три панели, слева направо Подписи на изображении — на английском.
- THE CONTAINERInteger storage loses the fraction.
- THE CALCULATIONEleven simulation checks now pass.
- THE OTHER GATE380 syntax accepts, before and after.
Вещественное значение не должно проходить через целочисленный контейнер
Смерженная правка генератора Verilog перевела один симуляционный сценарий с 5 PASSED / 6 FAILED на 11 PASSED, а синтаксическая приемка осталась на 380 файлах — поэтому гейты формы и численного смысла должны быть раздельными.
Три панели, слева направо Подписи на изображении — на английском.
- THE LABELNOMINAL WIDTH: 16 BITS
- THE WIDTHPHYSICAL CONTAINER: 19 BITS
- THE COMPARISONMATCH CONTAINERS BEFORE COMPARING LATTICES.
Физическая ширина изменила вопрос
Сравнение по зафиксированным оракулам обнаружило ошибку номинальной ширины: TNF16, помеченный как 16-битный, занимает 19 физических бит, поэтому сначала сопоставляются контейнеры, а потом решётки значений.
Три панели, слева направо Подписи на изображении — на английском.
- THE GATEControls catch the faults they plant.
- THE PLANTED FAULTBoundary changes exposed missing cases.
- THE CONTROLFour operators cannot prove gate correctness.
Ничьи примеры
Негативный контроль гейта пишет тот, кто сажает дефект, который контроль должен поймать. Эта одна фраза объясняет почти всё, что граничный оператор мутаций нашёл в наборе, уже вычищенном тремя другими.
Три панели, слева направо Подписи на изображении — на английском.
- THE AUDITThe auditor needs negative controls too.
- THE ERASUREA plausible result can hide a defect.
- THE MIRRORThree times, the same wiring mistake.
Аудитор совершил ошибку, которую ищет
Мутационный инструмент довёл набор гейтов от четырёх без негативного контроля до нуля таких и от двадцати выживших мутантов до нуля. За ту же неделю он трижды совершил ровно ту ошибку, ради поиска которой написан.
Три панели, слева направо Подписи на изображении — на английском.
- THE WARNINGKnowing the failure did not help.
- THE RED GATESix targets never ran.
- FOUR MERGESFour pull requests merged past it.
Написал пост — и сделал то, о чём он
Два поста этой серии — про гейты, которые падают, ничьё поведение не меняя. За четверо суток после их написания я смержил четыре пул-реквеста мимо красного гейта, ни разу его не открыв.
Три панели, слева направо Подписи на изображении — на английском.
- THE SCANNERNo failure paths reported.
- FOUR PATHSFour ternaries were invisible.
- THE BLIND SPOTUnseen does not mean covered.
Сканер засчитал то, чего не видел
Мутационный инструмент сообщил, что у гейта нет путей отказа. Их четыре — все тернарники, форма, которой сканер не знал, и потому засчитал их покрытыми.
Три панели, слева направо Подписи на изображении — на английском.
- FOUR GREEN GATESA green gate may never have failed.
- THE NEGATIVEBreak one verdict return at a time.
- THE CONTRADICTIONThe control must detect a dead gate.
Контроль, который не мог упасть
Четыре гейта никогда не видели красными. Написание негативных контролей дало один, который рапортовал «все ветки красные», пока охраняемый им гейт печатал OK на сломанном каталоге.
Три панели, слева направо Подписи на изображении — на английском.
- THE REQUIREDA required job only printed a sentence.
- THE ECHOThe placeholder could not fail.
- THE UNWAITED TESTSThirteen local failures blocked no merge.
Обязательная проверка оказалась эхом
Одна из четырёх обязательных проверок — тех, мимо которых правило ветки не пропустит мерж — оказалась командой оболочки, печатающей предложение. Двадцать строк, никакой логики, зелёная на каждом пул-реквесте, обязательна месяцами. При этом тестовый набор, за который её принимали, никогда не блокировал мерж, и тринадцать тестов падают на главной ветке бессрочно, потому что их никто не ждал.
Три панели, слева направо Подписи на изображении — на английском.
- THE VERDICTThe gate named the violating lines.
- THE BROKEN LINKThe merge did not require its verdict.
- NOTHING STOPSThree merges passed a failing gate.
Гейт был прав, и ничто не остановилось
Гейт, охраняющий живые документы от отозванных чисел, поймал нарушение на том же пул-реквесте, который его и внёс — нужный файл, нужные строки, код 1 — и пул-реквест всё равно смержился, потому что он не обязателен. Третий вариант отказа по достижимости: не «не запускается» и не «запускается не на том диффе», а «запускается, падает, называет точные строки — и ответа никто не ждёт».
Три панели, слева направо Подписи на изображении — на английском.
- THE COUNT186 reported included 25 phantoms.
- THE SUMMARYSummary lines are not errors.
- THE RATCHETClassify the output before counting.
Храповик посчитал итог за ошибку
Гейт, написанный чтобы ошибки элаборации не возвращались, сообщил про 186 штук; 25 из них были собственной итоговой строкой компилятора о том, сколько ошибок он нашёл. Число уже успело уехать в коммиты и на страницу статуса. Доказательство, которое не могло получиться иначе, живой дефект эмиттера, прятавшийся внутри счёта, почему от починки число стало хуже, и одна починка, которую построили, измерили и выбросили.
Три панели, слева направо Подписи на изображении — на английском.
- THE THEOREMA cost model is not a hardware result.
- THE WIREPAM-3 signals on binary links.
- THE GATEThree levels halve the noise margin.
Троичность выиграла провод, но не вентиль
Экономичность основания — теорема, а не измерение: 5,66 процента в ламповой модели 1950 года, победа на проводе в USB4 v2 и GDDR7 и проигрыш на вентиле по запасу помехоустойчивости.
Три панели, слева направо Подписи на изображении — на английском.
- THE CORPUSInitially, none of 512 cases ran.
- THE SENTENCESFour hundred twelve carried no data.
- THREE VERDICTSSeparate execution, debt and aspiration.
Четыреста двенадцать тестов, которые были предложениями
Тридцать четыре файла conformance-векторов, 512 кейсов, ни один никогда не исполнялся — а когда посчитали, 412 из них не несли ни входов, ни ожидаемых значений. Как корпус становится декоративным, почему первый классификатор дал 147 там, где независимый проход дал 100, и трёхвердиктный реестр (исполняется / именованный долг / аспирационное), позволяющий заменить большое ложное число маленьким истинным.
Три панели, слева направо Подписи на изображении — на английском.
- THE OLD READINGA lead was read from unequal footing.
- EQUAL WIDTHThe same stored width for both sides.
- THE WITHDRAWALThe earlier lead was withdrawn, not defended.
Равная ширина хранения сняла выигрыш по точности
Повторное измерение при равной ширине хранения отозвало прежний выигрыш 2,1×/2,6× над takum и зафиксировало дефекты оракула и бюджета, изменившие интерпретацию.
Три панели, слева направо Подписи на изображении — на английском.
- THE COUNTA passing count says how many crossed.
- THE SPREADThe runs did not overlap at all.
- THE BLIND SPOTA rate hides the shape of the data.
Тридцать эпох выявили слепую зону доли отказов
Тридцатиэпоховый sweep на MNIST показал, почему рядом с порогом по доле отказов нужны значения по каждому seed: счёт «прошёл» может сосуществовать с неперекрывающимися прогонами.
Три панели, слева направо Подписи на изображении — на английском.
- THE GREEN LAMPA gate that could not go red.
- THE LAYERSSeven layers between it and a proof.
- THE FIRST VERDICTTwo units finally proved by a solver.
Формал был зелёным и ни разу не запускал солвер
Задача формальной верификации оставалась зелёной всю жизнь, пока три независимых механизма гарантировали, что красной она стать не может: псевдо-синтаксис конфигов, пайп, проверявший tee вместо инструмента, и continue-on-error поверх всего. Путь до первого настоящего доказательства занял семь именованных слоёв — включая RTL на четыре месяца старше тестируемого компилятора и property-файлы, никогда не инстанцировавшие DUT. Финал — первые настоящие формальные вердикты репозитория: fifo и mac, Status PASSED под z3.
Три панели, слева направо Подписи на изображении — на английском.
- THE ROWSFifteen instrumented rows.
- THE BANDFourteen fell inside the noise band.
- THE LIMITOne exception, one row uninstrumented.
Четырнадцать строк согласовались, одна — нет
Post-route CI-прогон дал пятнадцати инструментированным строкам FPGA-частот сравнение с источником: четырнадцать попали внутрь измеренного шума потока, а LNS16 осталось явным исключением и один дизайн по-прежнему не инструментирован.
Три панели, слева направо Подписи на изображении — на английском.
- THE WAVETwo agents, one repository.
- THE SILENT HUNKAn absence cannot conflict.
- THE LIMITThe name is still not checked.
Чистый merge — не семантический no-op
Два автономных агента, один репозиторий, волна в 643 коммита, влитая посреди полёта. Четыре текстовых конфликта оказались безопасной частью — три были конфликтами комментариев, а в четвёртом обе стороны чинили один и тот же баг. Дефект, доехавший до master, приехал в чисто слившемся хабе: смена устройства по умолчанию, на которое CI-workflow опирался отсутствием флага, — а отсутствие конфликтовать не может. Он прошёл place-and-route по чужой базе и упал на первом шаге, который ищет имя, а не доверяет пути.
Три панели, слева направо Подписи на изображении — на английском.
- THE RED JOBEleven days red.
- THE STACKThirteen stacked defects.
- THE BITSTREAMThe first real bitstream in its history.
Хвост, который никогда не исполнялся
Собирающая битстрим CI-задача была красной одиннадцать дней. Под этим — тринадцать слоёв дефектов, каждый невидим, пока не вылечен верхний: фальшивая база кристалла, список зависимостей, который никто не исполнял, и шаг успеха, отвергнувший первый настоящий битстрим в истории задачи. Теперь задача выдаёт битстрим xc7a100t в 3 822 704 байта через полностью открытый поток.
Три панели, слева направо Подписи на изображении — на английском.
- THE HOPSFour boards, two radio hops.
- THE SEALOne seal, three independent agreements.
- THE LIMITCommercial radios are plainly ahead.
Квитанции и печати покрытия через радиосеть
Байты прошли два радиоскачка между четырьмя платами и пришли байт-в-байт, а печать покрытия, пересчитанная независимо в трёх точках, сошлась во всех трёх. Что это доказывает, чего не доказывает, на чём всё это сделано и где серийные радиостанции откровенно впереди.
Три панели, слева направо Подписи на изображении — на английском.
- THE ADDERMagnitude-only became a full adder.
- THE ORACLE3000 oracle checks, 0 errors.
- THE LIMIT440 LUT after synthesis, not silicon.
Полный сумматор сделал сравнение цены сопоставимым
Смерженный PR в FPGA-репозитории заменяет сравнение только модулей полным сумматором и сообщает о 3000 проверках оракулом, 0 ошибках и результате 440 LUT после синтеза.
Три панели, слева направо Подписи на изображении — на английском.
- THE ALPHABETA two-bit balanced alphabet.
- THE FACTORA dot product is a scale factor apart.
- THE PRIOR ARTSomeone put it there first, in 2002.
Золотое сечение в этом формате — масштаб, а не информация
Формат, у которого φ в названии. Измерено: в двухбитном алфавите цифр φ вообще не наблюдаем, а скалярное произведение векторов GFTernary точно равно φ² на те же коды, прочитанные как сбалансированная троичная. Предшествующая работа поставила φ туда, где он несёт информацию, ещё в 2002-м.
Три панели, слева направо Подписи на изображении — на английском.
- THE FIRST REQUESTThe first request ever served.
- THE VERDICTIt reported a fault in a clean design.
- THE LIMITThe case that mattered was unreachable.
Инертный фильтр безопасен, пока не заработает
Первый запрос, который этот сервис обслужил, сообщил чистому дизайну, что у него кремниевый баг. Девять дефектов спустя отчёт верен — а главный из них был недостижим ровно столько, сколько был неверен.
Три панели, слева направо Подписи на изображении — на английском.
- THE FLOORA floor asserting five report lines.
- THE SHAPESThree of four normal shapes failed.
- THE LIMITThe label it waited for never existed.
Гейт, который отверг собственных пользователей
Порог, который я добавил, требовал пять строк отчёта и валил три из четырёх нормальных форм дизайна; воркфлоу открывался по метке, которой не существовало, поэтому каждая кнопка «Start a run» вела в никуда. Обе проверки были правы в том, что требовали, и молчали о том, выполнимо ли требование.
Три панели, слева направо Подписи на изображении — на английском.
- THE SELECTIONNine placements, chosen by margin.
- THE FAMILYThe selection family counts too.
- THE LIMITThe claim came out narrower.
Поправка на множественные сравнения изменила чтение развёртывания
Смерженная исследовательская заметка показывает, как выбор из девяти placements по среднему отступу становится более узким утверждением после учёта семейства сравнения.
Три панели, слева направо Подписи на изображении — на английском.
- THE WINDOWA window of two hundred runs.
- THE COUNTFrom 156 failures to 143.
- THE LIMITThe denominator is the claim.
Снимок здоровья изменил числа, но не контракт
Свежий коммит обновляет снимок здоровья CI: со 156 до 143 отказов в окне из 200 прогонов, одновременно фиксируя знаменатель и правила исключения.
Три панели, слева направо Подписи на изображении — на английском.
- THE VERDICTTwelve disagreements read as fixed.
- THE ABSENCEThe checkout never happened.
- THE LIMITTwo failures were plain plumbing.
У красного гейта не было входных данных
Смерженный аудит FPGA-репозитория показывает, как отсутствующий checkout превратил двенадцать непроверенных расхождений в видимость исправлений, а ещё два отказа оказались обычной проблемой раннера.
Три панели, слева направо Подписи на изображении — на английском.
- THE SIGNALEight gates reported failure.
- THE CAUSEA flag, a path, a missing link.
- THE LIMITA real defect looks the same.
Восемь сломанных гейтов за день, и ни один — из-за сломанного кода
Флаг, версия, раннер, модуль, скрипт, три спеки, два пути форматирования, пять ссылок на сабмодули и шаг, который запускал то, что называл сборкой. Каждый сообщал «failure» — ровно как сообщил бы настоящий дефект.
Три панели, слева направо Подписи на изображении — на английском.
- THE INSTALLThe tool could not be installed.
- THE NESTINGEach cause hid the next.
- THE LIMITRemoving the fourth created the fifth.
Пять причин, по которым сборка была красной, и пятая — моя
Наш CLI не мог поставить никто, а CI, который должен был об этом сказать, имел ноль успехов из тридцати прогонов. Каждая причина прятала следующую; удаление четвёртой породило пятую.
Три панели, слева направо Подписи на изображении — на английском.
- THE ARTIFACTA vendored file from April 2023.
- THE UPSTREAMIts generator was repaired in 2026.
- THE LIMITThe next regeneration undoes the patch.
Мы залатали руками сгенерированный файл, который апстрим починил пятью месяцами раньше
Вендоренный Verilog от апреля 2023 нёс дефект, который его генератор исправил в марте 2026. Ручная правка верна и временна: следующая регенерация её снесёт.
Три панели, слева направо Подписи на изображении — на английском.
- THE MEASUREFifteen builds, stated boundaries.
- THE SPLITMore time in bitstream than routing.
- THE LIMITByte-identical work, 25% spread.
Половина сборки — это генерация битстрима, а самым медленным оказался тривиальный дизайн
Пятнадцать сборок openXC7 с объявленными границами: у малых дизайнов на превращение FASM в битстрим уходит больше времени, чем на трассировку, blinky проиграл умножителю GF, а разброс на побайтово одинаковой работе — 25%.
Три панели, слева направо Подписи на изображении — на английском.
- THE READINGA striking reading on 67 targets.
- THE SPACEThe search family was enumerated.
- THE LIMITThe claim was withdrawn.
Пространство поиска отменило заявление о значимости
Смерженный аудит 67 целей снимает трактовку около 10σ после перечисления семейства поиска, в котором близкие совпадения часто возникают случайно.
Три панели, слева направо Подписи на изображении — на английском.
- THE ANSWERA returned value nobody read.
- THE DELAYThe placer knew since 2020.
- THE LIMITThe failure surfaced elsewhere.
Шесть с половиной лет в одном отброшенном значении
Четыре влитых исправления сделали CI демо-проектов openXC7 зелёным. Самое старое — bool, который никто не читал: с февраля 2020 плейсер знал, что размещение невалидно, и выбрасывал ответ.
Три панели, слева направо Подписи на изображении — на английском.
- THE GATETwelve runs, every verdict right.
- THE QUEUESix merges, sixteen hours unseen.
- THE LIMITCorrect is not the same as served.
Верный гейт с ручным лечением — это простой
Двенадцать прогонов публикатора подряд упали на проверке, которая каждый раз была права, а шесть смерженных pull request просидели шестнадцать часов невидимыми для читателя.
Три панели, слева направо Подписи на изображении — на английском.
- THE POOLOne hundred and forty pooled windows.
- THE REPLICATEFour model-level replicates.
- THE LIMITEleven verdicts became ties.
Одиннадцать вердиктов оказались окнами, а не чекпоинтами
Смерженная исследовательская правка заменяет 140 объединённых окон четырьмя репликами уровня модели и превращает одиннадцать видимых вердиктов в ничьи.
Три панели, слева направо Подписи на изображении — на английском.
- THE LOOPSSeven loops hid empty ticks.
- THE SILENCENo line did not mean stopped.
- ZERO BITSA constant reveals no state.
Фоновый цикл ломался месяцами, и никакое наблюдение не могло его поймать
Семь таймерных циклов ничего не писали при пустом тике. Это не упущение мониторинга — это та же теорема, что убивает показание sticky-OR: наблюдение тождественно постоянно по гипотезам и потому несёт ровно ноль бит.
Три панели, слева направо Подписи на изображении — на английском.
- THE NOTESSix open was a dated claim.
- THE QUERYThe query found twenty merges.
- THE UPSTREAMThree days, not measured impact.
Двадцать патчей слито апстримом за три дня
2026-08-09 в моих заметках стояло: шесть патчей открыты, ни один не слит. К 2026-08-11 openXC7 слил двадцать. Занятно не число, а то, что я не знал его, пока не запустил запрос.
Три панели, слева направо Подписи на изображении — на английском.
- THE SPLITOne directory, two repositories.
- THE CIRCLEEach half imported the other.
- THE LIMITUncompilable code reports nothing.
Каждая половина импортировала другую
Одну папку разделили на два репозитория, и обе сохранили плоские импорты друг друга. Не компилировалась ни одна — и именно невозможность собраться мешала любой из них сообщить о проблеме.
Три панели, слева направо Подписи на изображении — на английском.
- THE DECLARATIONSix hundred and forty tests declared.
- THE RUNNone of them executed.
- THE LIMITAnd the exit code was zero.
Ноль из шестисот сорока
Пакет объявлял 640 тестов и не выполнил ни одного, а код возврата был 0. Механизм самый обыкновенный, починка — одна строка на импорт, а под ней обнаружилась физическая константа, которую не даёт ни один вход.
Три панели, слева направо Подписи на изображении — на английском.
- THE TWINSSame six files, two repositories.
- THE REPAIRSixteen defects fixed in one copy.
- THE LIMITNo instrument could report why.
Шестнадцать дефектов исправлены, до потребителя не дошёл ни один
Два репозитория несли одни и те же шесть файлов под одними именами. Починка одного не изменила ничего внизу по цепочке, и ни один прибор не мог сказать почему — потому что каждая копия компилируется сама по себе.
Три панели, слева направо Подписи на изображении — на английском.
- THE COUNTHalf the GELU outputs are negative.
- THE ENERGYThey carry 1.8% of GELU energy.
- THE ALPHABETActivations gain; weights lose.
Энергия активаций несимметрична, и это не свойство данных
Стоимость положительной и отрицательной половины активаций различается устойчиво и в одну сторону. Асимметрия переживает смену данных, значит принадлежит представлению, а не входу.
Три панели, слева направо Подписи на изображении — на английском.
- THE IDENTITYExact algebra, not a numerical near-hit.
- SIX STEPSEach written step was checked.
- THE SEARCHNo non-golden solution in the search.
Тождество золотого сечения, проверенное машиной
φ² + 1/φ² = 3 — тождество, на котором стоит вся арифметика проекта. Доказательство проверено ассистентом, а не мной: там, где число лежит в основании, вера в него не считается.
Три панели, слева направо Подписи на изображении — на английском.
- THE MAPPINGCalibrate mapping before the run.
- THE STATESReport AND as well as OR.
- THE READOUTRepeat the baseline after the change.
Показание, которое нельзя прочесть неверно
Sticky-OR по окну несёт ровно ноль бит, если окно заведомо содержит высокий отсчёт. Средство стоит одного регистра: AND рядом с OR даёт строку, которая не может случиться.
Три панели, слева направо Подписи на изображении — на английском.
- THE FRAMEEvery edge must clear the eye.
- THE EXTREMEMargin grows as sqrt(log N).
- NO ACCUMULATIONUnder independent errors, nothing accumulates.
Закон запаса по длине кадра
Запас, при котором кадр ещё принимается, падает не с длиной, а с её логарифмом. Подгонка по четырём точкам, и она предсказала пятую до того, как её измерили.
Три панели, слева направо Подписи на изображении — на английском.
- THE OLD RECORDThe old counts had gone stale.
- THE APIFifteen merged on 11 August 2026.
- THE CREDITNine credits form a lower bound.
Пятнадцать смержено, девять атрибутировано: как выглядит вклад в чужой проект
У меня было записано: пять смерженных PR и ноль атрибутированных коммитов. Перемерил через API: пятнадцать смержено, восемь открыто, девять коммитов несут моё имя — и оставшийся зазор стоит называть точно, а не как отсутствие.
Три панели, слева направо Подписи на изображении — на английском.
- THE CONTEXTDoubling context lost the gain.
- THE RESONANCEA small-scale resonance claim.
- THE FORBIDDEN ZONEThe binary control is still missing.
Удвоение контекста ухудшило результат: троичное масштабирование это резонанс, а не степенной закон
ctx=18 даёт PPL 5.58, ctx=27 даёт 2.96, ctx=54 даёт 6.05 — хуже базы. Степени тройки это орбитали, а значения между ними — запрещённые зоны.
Три панели, слева направо Подписи на изображении — на английском.
- EIGHT THEOREMSFour held as standard results.
- THE MACHINETwo passes disputed no verdicts.
- THE HEADINGSThree headings overstated their results.
Я проверил машиной восемь своих теорем. Четыре устояли, три заголовка были неверны
Каждая теорема свода перепроверена против собственного доказательства. Четыре устояли. Одна сузилась, одна перестала быть теоремой, одна оказалась дубликатом другой.
Три панели, слева направо Подписи на изображении — на английском.
- THE SPECSStart from the specification.
- TWENTY-THREE23 models, not 23 formats.
- THE BIASFive bugs favored our format.
Двадцать три эталонные модели, потому что реализация конкурента по памяти всегда льстит
У каждого формата, с которым мы сравниваемся, своя эталонная реализация по его спецификации — после пяти ошибок, каждая из которых ослабляла конкурента и все в одну сторону.
Три панели, слева направо Подписи на изображении — на английском.
- THE FLOORNo matter the outcome, the signal stays below the floor.
- ZERO BITSThe readout carries exactly zero bits.
- BEFORE THE RUNThe verdict is knowable before the experiment.
Две теоремы, осуждающие эксперимент до его запуска
Порог обнаружимости n ≈ 3.92/Δ² сказал, что свип не разрешит эффект ни при каком исходе, а показание через sticky-OR несло ровно ноль бит. Оба известны заранее.
Три панели, слева направо Подписи на изображении — на английском.
- THE VERDICTPassing tests, every run.
- THE REACHTests prove what they touch.
- THE LIMITOne line exposed five hidden errors.
Зелёный CI не значит, что библиотека соберётся у вас
Пакет на Zig с проходящими тестами не мог собрать ни один потребитель. Ленивый анализ означает, что тесты доказывают лишь то, до чего дотянулись: одна строка вскрыла пять скрытых ошибок в одном пакете и шестнадцать в том, что под ним.
Три панели, слева направо Подписи на изображении — на английском.
- THE FIELDFour bits carried every scale measured.
- THE CHECKBit-identical, zero blocks truncated.
- THE LIMITPublished first by someone else.
Полю масштаба не нужны восемь бит, и сказали это не мы первыми
Четырёх бит хватает на общий масштаб во всех измеренных чекпоинтах — побитово идентично E8M0, ноль обрезанных блоков из 20 462 464. Наблюдение опубликовано раньше и не нами; нашим остаётся доказательство вокруг него, а константа не переживает встречи с активациями.
Три панели, слева направо Подписи на изображении — на английском.
- THE LINKGigabit RGMII, on real hardware.
- THE TOOLCHAINYosys, nextpnr-xilinx, Project X-Ray.
- THE OPEN BLOCKEROne blocker is still open.
Gigabit Ethernet на Artix-7 без вендорского тулчейна
RGMII на гигабите через Yosys, nextpnr-xilinx и Project X-Ray без вендорских инструментов — шесть блокеров, которые пришлось пропатчить, один оставшийся открытым, и во что обходится обходной путь.