55 lines
2.8 KiB
TypeScript
55 lines
2.8 KiB
TypeScript
import assert from 'node:assert/strict';
|
|
import fs from 'node:fs';
|
|
import path from 'node:path';
|
|
import test from 'node:test';
|
|
|
|
const root = process.cwd();
|
|
const read = (relative: string) => fs.readFileSync(path.join(root, relative), 'utf8');
|
|
|
|
const migration = read('src/database/migrations/1790000600000-f4-align-document-lifecycle-constraints.ts');
|
|
const closing = read('src/inspection-closing/inspection-closing.service.ts');
|
|
const reports = read('src/inspection-reports/inspection-reports.service.ts');
|
|
|
|
test('F4 PostgreSQL accepts the active Act and report lifecycle states emitted by services', () => {
|
|
assert.match(migration, /status IN \('WORKING','OFFICIALIZED','FROZEN','CANCELLED'\)/);
|
|
assert.match(migration, /status IN \('DRAFT','LOCKED','SEALED','READY','CLOSED','CANCELLED','RECTIFIED'\)/);
|
|
assert.match(reports, /'WORKING'/);
|
|
assert.match(closing, /status='LOCKED'/);
|
|
assert.match(closing, /status='SEALED'/);
|
|
});
|
|
|
|
test('F4 PostgreSQL accepts LOCKED and SEALED in the immutable Act version ledger', () => {
|
|
assert.match(migration, /event IN \('CREATED','UPDATED','LOCKED','SEALED','READY','REOPENED','CLOSED','CANCELLED'\)/);
|
|
assert.match(closing, /InspectionActVersionEvent\.LOCKED/);
|
|
assert.match(closing, /InspectionActVersionEvent\.SEALED/);
|
|
});
|
|
|
|
test('F4 signature trigger binds signatures to the immutable LOCKED snapshot', () => {
|
|
const up = migration.slice(migration.indexOf(' public async up('), migration.indexOf(' public async down('));
|
|
assert.match(up, /dhv2_guard_act_signature_ready/);
|
|
assert.match(up, /current_status <> 'LOCKED'/);
|
|
assert.match(up, /current_sha IS DISTINCT FROM NEW\.prepared_sha256/);
|
|
assert.match(up, /OLD\.status IN \('SEALED','CLOSED','RECTIFIED'\)/);
|
|
});
|
|
|
|
test('F4 SEALED rows require closure metadata at database level', () => {
|
|
const up = migration.slice(migration.indexOf(' public async up('), migration.indexOf(' public async down('));
|
|
assert.match(up, /status NOT IN \('SEALED','CLOSED'\)/);
|
|
assert.match(up, /closed_at IS NOT NULL/);
|
|
assert.match(up, /closed_by IS NOT NULL/);
|
|
assert.match(up, /closure_sha256 ~ '\^\[0-9a-f\]\{64\}\$'/);
|
|
});
|
|
|
|
test('F4 lifecycle rollback translates new states before restoring legacy CHECKs', () => {
|
|
const down = migration.slice(migration.indexOf(' public async down('));
|
|
const guardRestore = down.indexOf("OLD.status IN ('CLOSED','RECTIFIED')");
|
|
const actTranslation = down.indexOf('UPDATE inspection_acts');
|
|
assert.ok(guardRestore >= 0);
|
|
assert.ok(actTranslation > guardRestore, 'Debe restaurarse primero la guarda D5 para poder traducir SEALED a CLOSED');
|
|
assert.match(down, /WHEN status='LOCKED' THEN 'READY'/);
|
|
assert.match(down, /WHEN status='SEALED' THEN 'CLOSED'/);
|
|
assert.match(down, /WHEN event='LOCKED' THEN 'READY'/);
|
|
assert.match(down, /WHEN event='SEALED' THEN 'CLOSED'/);
|
|
assert.match(down, /SET status='FROZEN'/);
|
|
});
|