Опубликованный пакет / CLIR

`lefschetz.degree_two_1924`

v0.1.0

Lefschetz (1,1)-theorem (1924), proof via Kodaira-Spencer (1953): the rational/integral Hodge conjecture holds for degree 2 (k=1) -- established_by_source for cmi.hodge::HodgeConjectureDegree2Claim, NOT for the general (any k) claim

Обложка пакета lefschetz.degree_two_1924: 9 узлов CLIR по семьям

Авторская метадата / не выводится

Этикетка

Издатель: S. Lefschetz (1924); K. Kodaira and D.C. Spencer, Proc. Nat. Acad. Sci. (1953)
Юрисдикция: без суверена — норма не издана властью
Род инструмента: трактат
Состояние: доктрина, не акт власти
Что закреплено: закреплена неофициальная копия

сверено Текст пакета сверен с закреплённым источником вручную.

Состояние сохранности

неофициальная копия1 редакция
Закреплена копия из доступного источника: байты зафиксированы хэшем, но официальной публикацией не являются.

Глубина формализации

EXECUTABLE 1: на фрагмент ссылается выводящий узел — из него что-то выводится
ANCHORED 0: адресуем семантическим узлом, но вывода нет
SOURCE_ONLY 0: текст закреплён и адресуем, ссылок нет

Уровни вычислены из CLIR, авторской разметки они не имеют: разметка руками означала бы, что ошибка автора молча меняет отчёт о полноте. Это не доля акта: доля документа, покрытая фрагментами, измеряется против байтов закреплённой публикации и здесь не считается.

Источники

Lefschetz (1,1)-theorem (1924), proved here via the Kodaira-Spencer (1953) exponential-sequence argument, as reproduced in Deligne's official CMI Hodge conjecture description · https://www.claymath.org/wp-content/uploads/2022/06/hodge.pdf#remark-iii · редакций: 1

Испытать

Этот пакет в рабочий стол не вложен, и кнопки «испытать» у него нет: она открывала бы пустоту. Вложенные выбраны под механику, которую показывают, а не по важности акта — исполнить любой другой пакет можно, открыв его каталог в рабочем столе с диска.

faraid.shares — Фараид — наследственный расчёт исламского права
intl.turkic.nakhchivan_2009 — Закон Республики Казахстан от 23 мая 2025 года № 191-VIII «О ратификации Протокола о внесении изменений в Нахичеванское соглашение о создании Совета сотрудничества тюркоязычных государств»
kz.corpus.capital_status — Конституционный закон Республики Казахстан «О статусе столицы Республики Казахстан»
kz.corpus.pinningexample — Положение о порядке учёта обращений
kz.corpus.socialassistance — Адресная социальная помощь (учебный срез)
kz.corpus.tuystyq — Туыстық жүйе — казахская система родства

Сослаться

Адрес нормы неизменен: contentHash посчитан по каноническим байтам , и любая правка пакета даёт другой хэш. Ссылка ниже указывает не на «последнюю версию», а на конкретные байты — то, чего требует цитирование и чего не даёт номер версии.

Lefschetz (1,1)-theorem (1924), proof via Kodaira-Spencer (1953): the rational/integral Hodge conjecture holds for degree 2 (k=1) -- established_by_source for cmi.hodge::HodgeConjectureDegree2Claim, NOT for the general (any k) claim · LEFSCHETZ_KODAIRA_SPENCER_EXPOSITION · lefschetz.degree_two_1924@0.1.0 · sha256:55a4adc798200de8a500f4b62ffeb7d4cf32009ff7fabda8eab7a5967b00711f