// Controlul negativ al semnatarului (semnatar.test.mjs, B-18), prin mecanismul comun din _control.mjs: fiecare paznic scos intr-o
// copie a lui pos.mjs trebuie sa inroseasca exact proba lui.
//   node aerenew/tools/proof-of-software/test/semnatar-control-negativ.mjs
import { controleaza } from './_control.mjs';

process.exitCode = await controleaza('semnatar.test.mjs', [
  ['--signer nu mai compara cheile', "!!semnatar && semnatar === keyId(publicKeysOf(signer))", '!!semnatar', '3. ATAC'],
  ['o atestare nesemnata trece de --signer', "!!semnatar && semnatar === keyId(publicKeysOf(signer))", 'true', '5. o atestare nesemnata'],
  ['randul "signer" nejudecat nu mai apare', "else if (!(att.statement.builder && att.statement.builder.credential && trustIssuer)) checks.push({ name: 'signer', pass: null,", "else if (false) checks.push({ name: 'signer', pass: null,", '2. fara --signer'],
  ['amprenta cheilor scoasa din numele verificarii', "by keys ${semnatar ? semnatar.slice(0, 18) : '?'}:", ':', '1. numele verificarii'],
]);