test: lock F4 multi-act lifecycle invariants

2026-09-08 09:08:58 -03:00
parent 5bd392dcb4
commit 0e2b524a26
1 changed files with 47 additions and 0 deletions
@@ -0,0 +1,47 @@
+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 closing = read('src/inspection-closing/inspection-closing.service.ts');
+const lifecycle = read('src/inspection-visits/inspection-visit-lifecycle.service.ts');
+const actEntity = read('src/database/entities/inspection-act.entity.ts');
+
+test('F4 keeps finalized acts irreversible', () => {
+  const reopenBody = closing.slice(closing.indexOf('  async reopen('), closing.indexOf('  async signInspector('));
+  assert.match(reopenBody, /INSPECTION_ACT_LOCK_IS_IMMUTABLE/);
+  assert.match(reopenBody, /throw new ConflictException/);
+  assert.doesNotMatch(reopenBody, /UPDATE inspection_acts/);
+  assert.doesNotMatch(reopenBody, /InspectionActStatus\.DRAFT/);
+});
+
+test('F4 permits multiple acts per inspection but only one simultaneous draft', () => {
+  assert.match(actEntity, /uq_inspection_acts_one_draft_per_visit/);
+  assert.match(actEntity, /where: "status = 'DRAFT'"/);
+  assert.doesNotMatch(actEntity, /uq_inspection_acts_visit['"]/);
+});
+
+test('F4 act locking is independent from inspection-wide verification completion', () => {
+  const prepareBody = closing.slice(closing.indexOf('  async prepare('), closing.indexOf('  async reopen('));
+  assert.doesNotMatch(prepareBody, /inspection_finding_verification_visits/);
+  assert.doesNotMatch(prepareBody, /INSPECTION_VERIFICATION_RESULTS_REQUIRED/);
+  assert.match(prepareBody, /status='LOCKED'/);
+});
+
+test('F4 inspection close is the aggregate gate for sealed acts and verification results', () => {
+  const closeBody = lifecycle.slice(lifecycle.indexOf('  async close('), lifecycle.indexOf('  async cancel('));
+  assert.match(closeBody, /status<>'CANCELLED'/);
+  assert.match(closeBody, /act\.status !== 'SEALED'/);
+  assert.match(closeBody, /INSPECTION_ACTS_NOT_SEALED/);
+  assert.match(closeBody, /assertVerificationResultsComplete\(manager, id\)/);
+  assert.match(closeBody, /InspectionVisitStatus\.CLOSED/);
+});
+
+test('F4 prevents cancelling an inspection that already has a sealed act', () => {
+  const cancelBody = lifecycle.slice(lifecycle.indexOf('  async cancel('), lifecycle.indexOf('  private async lockVisit('));
+  assert.match(cancelBody, /status='SEALED'/);
+  assert.match(cancelBody, /INSPECTION_WITH_SEALED_ACT_CANNOT_CANCEL/);
+});