From df73459ea540e2bbb39df6dcad83fdd92d65492d Mon Sep 17 00:00:00 2001 From: Crimson Date: Sun, 30 Aug 2026 18:29:54 +0500 Subject: [PATCH] =?UTF-8?q?test(guard):=20=D0=B7=D0=B0=D0=BA=D1=80=D0=B5?= =?UTF-8?q?=D0=BF=D0=B8=D1=82=D1=8C=20=D1=81=D0=BE=D0=B7=D0=B4=D0=B0=D0=BD?= =?UTF-8?q?=D0=B8=D0=B5=20=D0=BA=D0=B0=D1=82=D0=B0=D0=BB=D0=BE=D0=B3=D0=B0?= =?UTF-8?q?=20=D0=BA=D0=B0=D0=BA=20=D0=B7=D0=B0=D0=BF=D0=B8=D1=81=D1=8C=20?= =?UTF-8?q?=D0=BF=D0=BE=D0=B4=20read-only=20guard?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ensureDir — такой же примитив записи lib/fs, как writeText и writeTextAtomic, и guard обязан покрывать его наравне с ними. /var/lib/hy2xs, созданный до успешной PHASE 0, уже делает хост изменённым: следующая чистая установка опознает его содержимое как чужую установку. Покрытие guard'ом всех примитивов ФС собрано в одном файле: непокрытый примитив — это дыра в границе PHASE 0, и заметить её можно только там, где проверяется весь набор. --- orchestrator/test/install-boundary.test.ts | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/orchestrator/test/install-boundary.test.ts b/orchestrator/test/install-boundary.test.ts index 39d40cb..08ea941 100644 --- a/orchestrator/test/install-boundary.test.ts +++ b/orchestrator/test/install-boundary.test.ts @@ -1,7 +1,7 @@ import { afterEach, describe, expect, test } from "bun:test"; import { classifyFailure } from "../src/commands/install"; import { disableReadOnlyGuard, enableReadOnlyGuard, isReadOnlyGuardActive } from "../src/lib/guard"; -import { writeText, writeTextAtomic } from "../src/lib/fs"; +import { ensureDir, writeText, writeTextAtomic } from "../src/lib/fs"; import { runMutating, runMutatingHidden, @@ -40,6 +40,9 @@ describe("read-only guard (PHASE 0)", () => { expect(isReadOnlyGuardActive()).toBe(false); }); + // Guard обязан покрывать ВСЕ примитивы записи lib/fs, а не только те, что + // существовали на момент его появления: непокрытый примитив — это дыра в + // границе PHASE 0, и заметить её можно только здесь. test("под guard'ом запись в файл невозможна", async () => { enableReadOnlyGuard("test phase"); await expect(writeText("/tmp/hy2xs-guard-probe", "x")).rejects.toThrow(/read-only guard violation/); @@ -48,6 +51,16 @@ describe("read-only guard (PHASE 0)", () => { ).rejects.toThrow(/read-only guard violation/); }); + // Создание каталога — тоже запись. /var/lib/hy2xs, созданный до успешной + // PHASE 0, уже делает хост изменённым: следующая чистая установка опознает + // его содержимое как чужую установку. + test("под guard'ом создание каталога невозможно", async () => { + enableReadOnlyGuard("test phase"); + await expect(ensureDir("/tmp/hy2xs-guard-probe-dir", { mode: 0o755 })).rejects.toThrow( + /read-only guard violation/ + ); + }); + test("под guard'ом мутирующие раннеры недоступны", async () => { enableReadOnlyGuard("test phase"); await expect(runMutating`true`).rejects.toThrow(/read-only guard violation/);