feat(gates): measure capture drift between runs and anchor reachability (#422)

User-Visible: no
Issue: #422
This commit is contained in:
Codex
2026-09-02 22:10:16 +03:00
parent 8ed8ecc3fd
commit d59ceee905
12 changed files with 365 additions and 62 deletions
+41
View File
@@ -0,0 +1,41 @@
import test from 'node:test';
import assert from 'node:assert/strict';
import { wholePixelClip } from '../demo/docs/clip.mjs';
// #410/#422: обрезка обязана быть целой и обязана СОДЕРЖАТЬ цель целиком.
// Округление к ближайшему выглядит естественнее, но срезает край на половине
// входов — именно поэтому здесь floor для начала и ceil для конца.
test('дробный прямоугольник расширяется до целого, а не округляется', () => {
const clip = wholePixelClip({ x: 233.3359375, y: 431.5, width: 322.015625, height: 158 });
assert.deepEqual(clip, { x: 233, y: 431, width: 323, height: 159 });
});
test('обрезка не теряет ни полпикселя по краю', () => {
const rect = { x: 10.9, y: 20.1, width: 5.2, height: 7.8 };
const clip = wholePixelClip(rect);
assert.ok(clip.x <= rect.x, 'левый край не заходит внутрь цели');
assert.ok(clip.y <= rect.y, 'верхний край не заходит внутрь цели');
assert.ok(clip.x + clip.width >= rect.x + rect.width, 'правый край покрывает цель');
assert.ok(clip.y + clip.height >= rect.y + rect.height, 'нижний край покрывает цель');
});
test('целый прямоугольник остаётся собой', () => {
const rect = { x: 4, y: 8, width: 16, height: 32 };
assert.deepEqual(wholePixelClip(rect), rect);
});
test('все стороны целые на любом дробном входе', () => {
for (const seed of [0.1, 0.49, 0.5, 0.51, 0.99]) {
const clip = wholePixelClip({ x: seed, y: seed, width: 100 + seed, height: 50 + seed });
for (const [side, value] of Object.entries(clip)) {
assert.equal(value, Math.trunc(value), `${side} должна быть целой при сдвиге ${seed}`);
}
}
});
test('отсутствующая область проходит насквозь', () => {
assert.equal(wholePixelClip(null), null);
assert.equal(wholePixelClip(undefined), undefined);
});
+73 -1
View File
@@ -3,7 +3,7 @@ import assert from 'node:assert/strict';
import { readFileSync } from 'node:fs';
import {
ANCHOR_MARKER, REVIEW_DOC_ALLOWLIST, REVIEW_HEADER_LINES, citedMaterialShas, danglingMaterialRefusal, materialAnchorBlock, materialAnchorsFrom, parseSpecList, pathsOutsideAllowlist, reviewDocPushRefusal, withMaterialAnchors,
ANCHOR_MARKER, REVIEW_DOC_ALLOWLIST, anchorLiveness, REVIEW_HEADER_LINES, citedMaterialShas, danglingMaterialRefusal, materialAnchorBlock, materialAnchorsFrom, parseSpecList, pathsOutsideAllowlist, reviewDocPushRefusal, withMaterialAnchors,
} from '../scripts/review-doc-guard.mjs';
// #365. 28.08 шаг публикации ревью-дока запушил в dev коммит bb2919f с тридцатью
@@ -202,3 +202,75 @@ test('осиротевший SHA и мёртвые якоря — по-преж
assert.equal(typeof verdict, 'string');
assert.match(verdict, /не достижим ни из одной ссылки origin/);
});
// --- #422: живость якоря — достижимость, а не наличие объекта -------------
/** Подставная проба git: описывает мир, а не запускает его. */
const gitProbe = ({ type, reachableTrees = [], blobFound = false, refFound = false }) => (args) => {
if (args[0] === 'cat-file') return { status: type ? 0 : 1, stdout: type || '' };
if (args[0] === 'log' && args.includes('--format=%T')) {
return { status: 0, stdout: `${reachableTrees.join('\n')}\n` };
}
if (args[0] === 'log') return { status: 0, stdout: blobFound ? 'c0ffee\n' : '' };
if (args[0] === 'for-each-ref') return { status: 0, stdout: refFound ? 'refs/remotes/origin/dev\n' : '' };
return { status: 1, stdout: '' };
};
test('якорь-дерево, существующий локально, но недостижимый, живым не считается', () => {
const object = 'a'.repeat(40);
assert.equal(anchorLiveness(object, gitProbe({ type: 'tree', reachableTrees: ['b'.repeat(40)] })), false);
});
test('якорь-дерево, достижимый из origin, считается живым', () => {
const object = 'a'.repeat(40);
assert.equal(anchorLiveness(object, gitProbe({ type: 'tree', reachableTrees: [object] })), true);
});
test('якорь-блоб проверяется поиском по достижимым коммитам', () => {
const object = 'c'.repeat(40);
assert.equal(anchorLiveness(object, gitProbe({ type: 'blob', blobFound: false })), false);
assert.equal(anchorLiveness(object, gitProbe({ type: 'blob', blobFound: true })), true);
});
test('якорь-коммит проверяется тем же способом, что и SHA раунда', () => {
const object = 'd'.repeat(40);
assert.equal(anchorLiveness(object, gitProbe({ type: 'commit', refFound: false })), false);
assert.equal(anchorLiveness(object, gitProbe({ type: 'commit', refFound: true })), true);
});
test('неизвестный тип объекта и отсутствующий объект живыми не считаются', () => {
const object = 'e'.repeat(40);
assert.equal(anchorLiveness(object, gitProbe({ type: 'tag' })), false);
assert.equal(anchorLiveness(object, gitProbe({ type: '' })), false);
});
test('областью поиска служат origin и теги, а не --all', () => {
const seen = [];
const probe = (args) => {
seen.push(args.join(' '));
return args[0] === 'cat-file' ? { status: 0, stdout: 'blob' } : { status: 0, stdout: '' };
};
anchorLiveness('f'.repeat(40), probe);
const search = seen.find((line) => line.startsWith('log'));
assert.ok(search.includes('--remotes=origin'), search);
assert.ok(search.includes('--tags'), search);
assert.ok(!search.includes('--all'), 'локальные ветки автора не считаются доказательством');
});
test('недостижимый якорь не смягчает отказ на осиротевшем SHA раунда (#422)', () => {
const anchor = 'd'.repeat(40);
const document = withMaterialAnchors(
'- Материал: спец-файл на `HEAD = 83005c3c`\n',
{ sha: 'c'.repeat(40), tree: anchor, branch: 'issue/422-x', specs: [] },
);
const orphaned = () => new Map([['83005c3c', null]]);
const dead = (object) => anchorLiveness(object, gitProbe({ type: 'tree', reachableTrees: [] }));
const alive = (object) => anchorLiveness(object, gitProbe({ type: 'tree', reachableTrees: [anchor] }));
const refusal = danglingMaterialRefusal(document, orphaned, REVIEW_HEADER_LINES, dead);
assert.equal(typeof refusal, 'string', 'мёртвый якорь обязан оставить жёсткий отказ');
assert.match(refusal, /не достижим ни из одной ссылки origin/);
const softened = danglingMaterialRefusal(document, orphaned, REVIEW_HEADER_LINES, alive);
assert.ok(softened && softened.warning, 'живой якорь по-прежнему смягчает отказ (#414)');
});