Files
SGF/scripts/sgf-install-fiscal-obligations.php
2026-11-11 09:00:17 +02:00

10 lines
3.9 KiB
PHP

<?php
$book='8085';require __DIR__.'/sgf-single-bootstrap.php';
foreach([$s['root'].'/fiscal-obligations-ui-20261110.json',$run['root'].'/private/receipt-composition-b4093c6f6707/single-integration/20261110-223845-a69d8003/fiscal-obligations-result.json',$run['root'].'/private/receipt-composition-b4093c6f6707/single-integration/20261110-224117-d4f04edc/fiscal-obligations-boundaries.json',$run['root'].'/private/receipt-composition-b4093c6f6707/fo-concurrency-1794343303801/result.json']as$file)if((json_decode(file_get_contents($file),true)['passed']??false)!==true)throw new LogicException('Affected proofs required');
$previous=json_decode(file_get_contents($s['root'].'/single-integration/20261110-222251-7c151972/payable-due-preservation.json'),true);$qualified=array_unique(array_merge($previous['identical_original_tables'],$previous['original_rows_preserved_with_authorized_append'],['native.pd_due_meta','native.pd_due_versions','native.pd_due_commands','host.fo_meta','host.fo_versions','host.fo_commands']));$before=[];$order=fn($table)=>in_array($table,['sr_outbox','sr_deliveries'],true)?'event_id':(in_array($table,['sc_catalogue_meta','pd_due_meta','fo_meta'],true)?'policy':'id');foreach($qualified as$key){[$name,$table]=explode('.',$key);$db=$name==='host'?$host:$native;$before[$name][$table]=$db->table($table)->orderBy($order($table))->get()->toJson();}$binding=hash_file('sha256',$s['root'].'/binding.json');file_put_contents($work.'/preservation-private.json',json_encode($before));
$files=['routes/web.php','app/Modules/Services/FiscalObligations.php','app/Modules/Services/Http/FiscalObligationsController.php','app/Modules/Identity/Services/IdentityWorkflow.php','app/Shared/Context/ModuleNavigation.php','resources/js/app.jsx','resources/js/WorkspaceNavigation.jsx','resources/js/FiscalObligationsWorkspace.jsx','resources/js/fiscal-obligations-view.js','database/sql/fiscal_obligations.sql'];foreach($files as$file)if(str_ends_with($file,'.php'))(new Symfony\Component\Process\Process([PHP_BINARY,'-l',$repo.'/'.$file]))->mustRun();$hashes=[];$copy=function($src,$file)use($s,$work,&$hashes){$dest=$s['app'].'/'.$file;$backup=$work.'/before/'.$file;if(is_file($dest)){if(!is_dir(dirname($backup)))mkdir(dirname($backup),0700,true);copy($dest,$backup);}if(!is_dir(dirname($dest)))mkdir(dirname($dest),0700,true);copy($src,$dest);$hashes[$file]=hash_file('sha256',$dest);};foreach($files as$file)$copy($repo.'/'.$file,$file);
$config=$work.'/fiscal_obligations.php';file_put_contents($config,"<?php\nreturn ".var_export(['enabled'=>true,'schema_sha256'=>hash_file('sha256',$repo.'/database/sql/fiscal_obligations.sql')],true).";\n");$copy($config,'config/fiscal_obligations.php');
$build=$run['root'].'/private/single-fiscal-obligations-build-20261110';$manifest=json_decode(file_get_contents($build.'/manifest.json'),true);$assets=[];foreach($manifest as$entry){$assets[]=$entry['file'];foreach($entry['css']??[]as$file)$assets[]=$file;}foreach(array_unique($assets)as$file){if(!preg_match('~^assets/[a-zA-Z0-9_.-]+$~D',$file))throw new LogicException('Asset path invalid');$copy($build.'/'.$file,'public/build/'.$file);}$copy($build.'/manifest.json','public/build/manifest.json');
$checks=[];foreach($before as$name=>$tables){$db=$name==='host'?$host:$native;foreach($tables as$table=>$json){if($db->table($table)->orderBy($order($table))->get()->toJson()!==$json)throw new LogicException('Original facts changed '.$table);$checks[]=$name.'.'.$table;}}if($binding!==hash_file('sha256',$s['root'].'/binding.json'))throw new LogicException('Binding changed');file_put_contents($work.'/fiscal-obligations-installation.json',json_encode(['passed'=>true,'hashes'=>$hashes,'identical_original_tables'=>$checks,'business_commands'=>0,'new_grants'=>0,'new_demo'=>false,'cache_cleared'=>false,'native_writes'=>0,'binding_unchanged'=>true],JSON_PRETTY_PRINT));echo json_encode(['passed'=>true,'proof'=>$work.'/fiscal-obligations-installation.json']).PHP_EOL;