<?php
// Verificador independiente: PHP 8.4, sin Laravel, Composer ni base de datos.
declare(strict_types=1);

try {
    if (! isset($argv[1])) { throw new RuntimeException('Uso: php tools/verify-draw.php acta.json'); }
    $contents = file_get_contents($argv[1]);
    if ($contents === false) { throw new RuntimeException('No se puede leer el acta.'); }
    $act = json_decode($contents, true, flags: JSON_THROW_ON_ERROR);
    if (($act['algorithm'] ?? '') !== 'php84-xoshiro256ss-shuffle-v1') { throw new RuntimeException('Algoritmo no compatible.'); }
    if (PHP_MAJOR_VERSION !== 8 || PHP_MINOR_VERSION !== 4) { throw new RuntimeException('Usa PHP 8.4 para reproducir esta versión del algoritmo.'); }
    if (! preg_match('/^[a-f0-9]{64}$/D', $act['seed'] ?? '')) { throw new RuntimeException('Semilla hexadecimal inválida.'); }
    $seed = hex2bin($act['seed']);
    if (! hash_equals($act['seed_hash'], hash('sha256', $seed))) { throw new RuntimeException('La semilla no coincide con su compromiso.'); }
    if (! hash_equals($act['entries_hash'], hash('sha256', $act['snapshot_json']))) { throw new RuntimeException('La lista no coincide con su compromiso.'); }
    $snapshot = json_decode($act['snapshot_json'], true, flags: JSON_THROW_ON_ERROR);
    $tickets = array_column($snapshot, 'ticket');
    if (count(array_unique($tickets)) !== count($snapshot)) { throw new RuntimeException('Hay papeletas repetidas o incompletas.'); }
    $prizes = $act['prizes'];
    if ($prizes === [] || count($snapshot) < count($prizes)) { throw new RuntimeException('No hay suficientes papeletas para los premios.'); }
    $ordered = (new Random\Randomizer(new Random\Engine\Xoshiro256StarStar($seed)))->shuffleArray($snapshot);
    $expected = []; $cursor = 0;
    for ($rank = 0; $rank <= $act['alternates_per_prize']; $rank++) {
        foreach ($prizes as $prize) {
            if (! isset($ordered[$cursor])) { break 2; }
            $expected[] = ['position' => (int) $prize['position'], 'rank' => $rank, 'ticket' => $ordered[$cursor++]['ticket']];
        }
    }
    $actual = array_map(fn ($w) => ['position' => (int) $w['position'], 'rank' => (int) $w['rank'], 'ticket' => $w['ticket']], $act['winners']);
    $sort = fn ($a, $b) => [$a['rank'], $a['position']] <=> [$b['rank'], $b['position']];
    usort($actual, $sort); usort($expected, $sort);
    if ($actual !== $expected) { throw new RuntimeException('Las asignaciones no coinciden con el cálculo reproducido.'); }
    fwrite(STDOUT, "Compromisos y asignaciones verificados.\n");
} catch (Throwable $e) {
    fwrite(STDERR, $e->getMessage()."\n"); exit(1);
}