founder
a88268b0cd
fatal_pre_apply мог означать «хост уже изменён». install-state.json пишется сразу после успешного preflight, до установки пакетов, но классификация отказа его не учитывала. Падение apt-get объявлялось как «на сервере ничего не изменено»: откат и обработка состояния пропускались, а маркер оставался на диске и ломал следующую установку по clean-host контракту. Ownership-флаги переформулированы с «шаг успешно завершился» на «операция могла начать менять систему» и взводятся перед мутирующим вызовом: apt-get умеет изменить систему и упасть. fatal_pre_apply теперь недостижим ни при одном взведённом флаге, включая stateWritten. Read-only guard PHASE 0 можно было обойти. Guard стоял на writeText, writeTextAtomic, runVisible, runHidden и runRawVisible, но не на универсальном run, через который в коде проходили и наблюдение (ss, systemctl is-active), и настоящие мутации (useradd, install -d, mkdir, cp -a, tar). Универсального раннера больше нет: runReadOnly/runReadOnlySecret без guard'а и runMutating* под guard'ом, выбор — явное решение на месте вызова. clean-host не замечал часть того, что удаляет purge. /var/lib/hysteria с ACME-состоянием Hysteria, /var/log/hy2xs, /usr/local/lib/hy2xs и /usr/local/bin/hy2xs-orchestrator не были маркерами: сервер, где остался только старый runtime-state Hysteria, проходил проверку и получал свежую установку поверх чужого состояния. Пути, которые install.sh создаёт между фазами, помечены как созданные установщиком, иначе PHASE 1 отказала бы на собственном оркестраторе. purge-v0.sh --keep-hysteria-binary противоречил установщику: скрипт сохранял /usr/local/bin/hysteria и сообщал «хост чист для установки HY2XS v1», хотя clean-host считает этот бинарник legacy-маркером. Флаг удалён. DNS проверялся на существование A-записи, но не на то, куда она ведёт. После принудительной смены IPv4 провайдером doctor отвечал успехом, хотя клиентская ссылка отправляла людей на чужую машину. Проверялся при этом HY2XS_DOMAIN, тогда как в hysteria2:// уезжает HY2XS_PUBLIC_HOST. Добавлен инвариант публичного endpoint: A-записи обязаны принадлежать множеству публичных IPv4, назначенных интерфейсам этого сервера. Проверка живёт в общем preflight, поэтому действует в install, reconfigure и doctor. Адрес определяется локально, без внешних сервисов определения IP. Строгость управляется HY2XS_PUBLIC_ENDPOINT_POLICY (strict по умолчанию); отсутствие A-записи фатально при любом значении. TS-санитайзер приведён к той же формулировке, что и Go: URL-значение определяется по самому значению, а не по имени ключа.
30 lines
1.1 KiB
TypeScript
30 lines
1.1 KiB
TypeScript
/**
|
|
* Build-time CLI: печатает контракт, СКОМПИЛИРОВАННЫЙ в оркестратор.
|
|
*
|
|
* Нужен, чтобы verify_versions_contract сравнивал versions.env не с текстом
|
|
* исходников (grep), а с фактическими константами, которые попадут в бинарь.
|
|
*
|
|
* bun run tools/print-contract.ts
|
|
*/
|
|
|
|
import {
|
|
ADMIN_API_BASE,
|
|
HY2XS_CONFIG_SCHEMA_VERSION,
|
|
HY2XS_RELEASE_LINE,
|
|
HY2XS_TARGET_ARCH,
|
|
HY2XS_TARGET_DEBIAN_VERSION,
|
|
HYSTERIA_MACHINE_AUTH_PATH
|
|
} from "../src/config/profile";
|
|
|
|
const lines = [
|
|
`HY2XS_CONFIG_SCHEMA_VERSION=${HY2XS_CONFIG_SCHEMA_VERSION}`,
|
|
`HY2XS_RELEASE_LINE=${HY2XS_RELEASE_LINE}`,
|
|
`HY2XS_TARGET_OS_VERSION=${HY2XS_TARGET_DEBIAN_VERSION}`,
|
|
`HY2XS_TARGET_ARCH=${HY2XS_TARGET_ARCH}`,
|
|
// API-контракт: сборка сверяет эти значения с шаблонами и с константами Go.
|
|
`HY2XS_ADMIN_API_BASE=${ADMIN_API_BASE}`,
|
|
`HY2XS_HYSTERIA_MACHINE_AUTH_PATH=${HYSTERIA_MACHINE_AUTH_PATH}`
|
|
];
|
|
|
|
process.stdout.write(`${lines.join("\n")}\n`);
|