|
|
|
@@ -0,0 +1,83 @@
|
|
|
|
|
<?php
|
|
|
|
|
// Only the specifically authorised 110000 and seven grants; preserve 120000 and all operational guards.
|
|
|
|
|
require __DIR__.'/../vendor/autoload.php';$app=require __DIR__.'/../bootstrap/app.php';$app->make(\Illuminate\Contracts\Console\Kernel::class)->bootstrap();
|
|
|
|
|
use Illuminate\Support\Facades\{DB,Artisan};
|
|
|
|
|
use App\Modules\Identity\Services\{LocalDatabaseGuard,Permissions,Audit};
|
|
|
|
|
use App\Modules\Workshop\{WorkshopBilling,WorkshopWorkflow,DirectCosts};
|
|
|
|
|
use App\Modules\Industry\{IndustrialCosts,IndustrialBudgets};
|
|
|
|
|
use App\Modules\Services\{ServiceReceivables,ServiceInvoicing};
|
|
|
|
|
use App\Shared\Context\CompanyContext;
|
|
|
|
|
function ensureIbInstall(bool $ok,string $why): void {if(!$ok)throw new RuntimeException($why);}
|
|
|
|
|
function ibFingerprint(string $table,?int $max=null): array {
|
|
|
|
|
ensureIbInstall((bool)preg_match('/^[a-z_]+$/D',$table),'Invalid table identifier.');
|
|
|
|
|
$where=$max===null?'':' WHERE id <= '.$max;
|
|
|
|
|
$row=DB::selectOne('SELECT count(*) AS n, md5(COALESCE(string_agg(row_to_json(t)::text,E\'\\n\' ORDER BY row_to_json(t)::text),\'\')) AS h FROM (SELECT * FROM "'.$table.'"'.$where.') t');
|
|
|
|
|
return [(int)$row->n,$row->h]; // Record contents and fingerprints are not exported.
|
|
|
|
|
}
|
|
|
|
|
ensureIbInstall(LocalDatabaseGuard::allows(),'Own SGF application connection required.');
|
|
|
|
|
ensureIbInstall($argv===[$argv[0],'--apply-confirmed-110000-and-seven-grants'],'Exact authorised operation required.');
|
|
|
|
|
$migration='2026_10_28_110000_create_industrial_budgets';
|
|
|
|
|
$preserved='2026_10_28_120000_create_workshop_billing_drafts';
|
|
|
|
|
ensureIbInstall(!DB::table('migrations')->where('migration',$migration)->exists(),'110000 already installed; review instead of replaying.');
|
|
|
|
|
ensureIbInstall(DB::table('migrations')->where('migration',$preserved)->exists(),'Expected 120000 installation missing.');
|
|
|
|
|
foreach(['2026_10_27_100000_create_industrial_cost_simulation','2026_10_27_080000_create_workshop_resource_records'] as $prerequisite)ensureIbInstall(DB::table('migrations')->where('migration',$prerequisite)->exists(),'Migration prerequisite missing.');
|
|
|
|
|
$newTables=['ib_budgets','ib_decisions','ib_comparisons','ib_commands','ib_events','ib_outbox'];
|
|
|
|
|
$tables=array_map(fn($r)=>$r->tablename,DB::select("SELECT tablename FROM pg_tables WHERE schemaname='public' ORDER BY tablename"));
|
|
|
|
|
ensureIbInstall(!array_intersect($tables,$newTables),'Unexpected existing conversion tables.');
|
|
|
|
|
$rights=[1=>['industrial_budgets.view','industrial_budgets.prepare','industrial_budget_comparisons.view','industrial_budget_comparisons.prepare'],2=>['industrial_budgets.view','industrial_budgets.validate','industrial_budget_comparisons.view']];
|
|
|
|
|
$checkScope=function()use($rights): void {
|
|
|
|
|
ensureIbInstall(DB::table('companies')->where(['id'=>1,'tenant_id'=>1,'name'=>'Tempo Lda'])->exists(),'Company differs.');
|
|
|
|
|
ensureIbInstall(DB::table('units')->where(['id'=>1,'tenant_id'=>1,'company_id'=>1,'name'=>'SEGI'])->exists(),'Unit differs.');
|
|
|
|
|
foreach($rights as $user=>$permissions){
|
|
|
|
|
ensureIbInstall(DB::table('users')->where('id',$user)->exists()&&DB::table('company_memberships')->where(['user_id'=>$user,'tenant_id'=>1,'company_id'=>1])->exists(),'Existing account/member required.');
|
|
|
|
|
foreach(['company.view'] as $permission)app(Permissions::class)->require($user,1,1,$permission);
|
|
|
|
|
app(Permissions::class)->require($user,1,1,'unit.view',1);
|
|
|
|
|
foreach($permissions as $permission)ensureIbInstall(!DB::table('permission_grants')->where(['user_id'=>$user,'tenant_id'=>1,'company_id'=>1,'unit_id'=>1,'permission'=>$permission])->exists(),'Proposed grant already present; review required.');
|
|
|
|
|
}
|
|
|
|
|
foreach([1,2] as $user)app(Permissions::class)->require($user,1,1,'industrial_costs.view',1);
|
|
|
|
|
ensureIbInstall(!DB::table('permission_grants')->where(fn($q)=>$q->where('permission','like','industrial_budgets.%')->orWhere('permission','like','industrial_budget_comparisons.%'))->exists(),'Unexpected conversion rights.');
|
|
|
|
|
};
|
|
|
|
|
$checkScope();$baseline=[];foreach($tables as $t)$baseline[$t]=ibFingerprint($t);
|
|
|
|
|
$max=[];foreach(['permission_grants','identity_audit'] as $t)$max[$t]=(int)DB::table($t)->max('id');
|
|
|
|
|
$ledger=DB::table('migrations')->orderBy('id')->get()->map(fn($r)=>(array)$r)->all();
|
|
|
|
|
$sources=[];foreach(['app/Modules/Industry/IndustrialBudgets.php','app/Modules/Workshop/WorkshopBilling.php','app/Modules/Workshop/WorkshopWorkflow.php','app/Modules/Workshop/DirectCosts.php','app/Modules/Industry/IndustrialCosts.php','app/Modules/Services/ServiceInvoicing.php','app/Modules/Services/ServiceReceivables.php','app/Modules/Services/ServiceWorkflow.php'] as $path)$sources[$path]=hash_file('sha256',base_path($path));
|
|
|
|
|
$secrets=json_decode(file_get_contents('C:/laragon/data/sgf-tempo/secrets/database.json'),true,32,JSON_THROW_ON_ERROR);
|
|
|
|
|
$owner=config('database.connections.'.config('database.default'));$owner['username']='sgf_dev_owner';$owner['password']=$secrets['dev_owner'];$owner['url']=null;
|
|
|
|
|
config(['database.connections.sgf_ib_install_owner'=>$owner]);unset($secrets,$owner);
|
|
|
|
|
$application=DB::getDefaultConnection();$grants=[];$denials=[];
|
|
|
|
|
$checkBlocks=function()use(&$denials): void {
|
|
|
|
|
foreach([1,2] as $actor){app(CompanyContext::class)->selectFor($actor,1,1,1);$list=app(IndustrialBudgets::class)->listing($actor);ensureIbInstall($list['blocked']&&$list['lots']===[],'Budget listing must remain blocked.');$conversion=app(WorkshopBilling::class)->listing($actor);ensureIbInstall($conversion['blocked']&&$conversion['orders']===[],'Conversion listing must remain blocked.');}
|
|
|
|
|
foreach(['budget','budget_propose','budget_decide','budget_compare','conversion','prepare','review','generate','workshop','direct_cost','industrial_cost','receivables','issuance'] as $entry){
|
|
|
|
|
try{match($entry){'budget'=>IndustrialBudgets::guard(),'budget_propose'=>app(IndustrialBudgets::class)->propose(0,1,[],'blocked-probe'),'budget_decide'=>app(IndustrialBudgets::class)->decide(0,2,[],'blocked-probe'),'budget_compare'=>app(IndustrialBudgets::class)->compare(0,1,[],'blocked-probe'),'conversion'=>WorkshopBilling::guard(),'prepare'=>app(WorkshopBilling::class)->prepare(0,1,[],'blocked-probe'),'review'=>app(WorkshopBilling::class)->review(0,2,[],'blocked-probe'),'generate'=>app(WorkshopBilling::class)->generate(0,1,[],'blocked-probe'),'workshop'=>WorkshopWorkflow::guard(),'direct_cost'=>DirectCosts::guard(),'industrial_cost'=>IndustrialCosts::guard(),'receivables'=>ServiceReceivables::guard(),'issuance'=>ServiceInvoicing::guard()};throw new RuntimeException('Operational guard did not refuse.');}
|
|
|
|
|
catch(\Symfony\Component\HttpKernel\Exception\HttpExceptionInterface $e){ensureIbInstall($e->getStatusCode()===403,'Expected 403.');$denials[$entry]=403;}
|
|
|
|
|
}
|
|
|
|
|
foreach(['ic','wo','dc','sr'] as $prefix){
|
|
|
|
|
try{DB::transaction(fn()=>DB::select('SELECT sgf_'.$prefix.'_environment()'));throw new RuntimeException('SQL environment guard allowed development.');}
|
|
|
|
|
catch(\Illuminate\Database\QueryException $e){ensureIbInstall(str_contains($e->getMessage(),'SGF_'.strtoupper($prefix).'_TEST_DATABASE_ONLY'),'Unexpected SQL guard refusal.');}
|
|
|
|
|
}
|
|
|
|
|
};
|
|
|
|
|
try{
|
|
|
|
|
$connection=DB::connection('sgf_ib_install_owner');
|
|
|
|
|
$id=$connection->selectOne('SELECT current_database() AS db,current_user AS role,inet_server_port() AS port,rolsuper,rolcreatedb,rolcreaterole,rolbypassrls FROM pg_roles WHERE rolname=current_user');
|
|
|
|
|
ensureIbInstall($id->db==='sgf_tempo_dev'&&$id->role==='sgf_dev_owner'&&(int)$id->port===55432&&!$id->rolsuper&&!$id->rolcreatedb&&!$id->rolcreaterole&&!$id->rolbypassrls,'Unexpected owner/destination.');
|
|
|
|
|
DB::setDefaultConnection('sgf_ib_install_owner');
|
|
|
|
|
$connection->transaction(function()use($migration,$preserved,$checkScope,$rights,$baseline,$max,$ledger,$newTables,$checkBlocks,&$grants){
|
|
|
|
|
DB::table('companies')->where('id',1)->lockForUpdate()->firstOrFail();$checkScope();
|
|
|
|
|
$code=Artisan::call('migrate',['--database'=>'sgf_ib_install_owner','--path'=>'database/migrations/'.$migration.'.php','--force'=>true,'--no-interaction'=>true]);ensureIbInstall($code===0,'Targeted migration failed.');
|
|
|
|
|
foreach($rights as $user=>$permissions)foreach($permissions as $permission){$g=['user_id'=>$user,'tenant_id'=>1,'company_id'=>1,'unit_id'=>1,'permission'=>$permission];DB::table('permission_grants')->insert($g+['created_at'=>now(),'updated_at'=>now()]);Audit::record('industrial_budgets.initial_grant',null,1,1,1,subject:$user,details:['permission'=>$permission,'reason'=>'Seven specifically authorised grants; operational use remains blocked.']);$grants[]=$g;}
|
|
|
|
|
foreach($baseline as $t=>$fp)if($t!=='migrations')ensureIbInstall(ibFingerprint($t,$max[$t]??null)===$fp,'Existing records changed: '.$t);
|
|
|
|
|
ensureIbInstall(DB::table('permission_grants')->where('id','>',$max['permission_grants'])->count()===7,'Exactly seven new grants required.');
|
|
|
|
|
ensureIbInstall(DB::table('identity_audit')->where('id','>',$max['identity_audit'])->count()===7&&DB::table('identity_audit')->where('id','>',$max['identity_audit'])->where('action','industrial_budgets.initial_grant')->count()===7,'Exactly seven audited grants required.');
|
|
|
|
|
$actual=DB::table('permission_grants')->where('id','>',$max['permission_grants'])->get(['user_id','tenant_id','company_id','unit_id','permission'])->map(fn($r)=>(array)$r)->all();$sort=fn($a,$b)=>[$a['user_id'],$a['permission']]<=>[$b['user_id'],$b['permission']];usort($actual,$sort);$expected=$grants;usort($expected,$sort);ensureIbInstall($actual===$expected,'Grant scope differs.');
|
|
|
|
|
$after=DB::table('migrations')->orderBy('id')->get()->map(fn($r)=>(array)$r)->all();ensureIbInstall(count($after)===count($ledger)+1&&array_slice($after,0,count($ledger))===$ledger&&end($after)['migration']===$migration,'Unexpected migration delta.');
|
|
|
|
|
ensureIbInstall(DB::table('migrations')->where('migration',$preserved)->exists(),'120000 must remain installed.');
|
|
|
|
|
foreach($newTables as $t)ensureIbInstall(DB::table($t)->count()===0,'New table not empty.');
|
|
|
|
|
$checkBlocks();
|
|
|
|
|
});
|
|
|
|
|
}finally{DB::setDefaultConnection($application);DB::purge('sgf_ib_install_owner');config(['database.connections.sgf_ib_install_owner'=>null]);}
|
|
|
|
|
ensureIbInstall(LocalDatabaseGuard::allows(),'Application must remain sgf_dev_app.');$checkBlocks();
|
|
|
|
|
foreach($newTables as $t)ensureIbInstall(DB::table($t)->count()===0,'New table not empty after installation.');
|
|
|
|
|
foreach($sources as $path=>$hash)ensureIbInstall(hash_file('sha256',base_path($path))===$hash,'Functional source changed.');
|
|
|
|
|
$proof=['date'=>'2026-10-28','database'=>'sgf_tempo_dev','migration_applied'=>$migration,'only_one_migration_added'=>true,'migration_120000_preserved'=>true,'preexisting_tables_checked'=>count($baseline),'prior_records_and_accesses_preserved'=>true,'new_empty_tables'=>$newTables,'new_grants'=>$grants,'audited_new_grants'=>7,'application_role'=>'sgf_dev_app','budget_and_conversion_listings_blocked'=>true,'entry_denials'=>$denials,'sql_environment_guards_refused'=>true,'functional_sources_unchanged'=>true,'real_operations_created'=>false];
|
|
|
|
|
file_put_contents(storage_path('app/private/industrial-budget-dev-install-proof.json'),json_encode($proof,JSON_PRETTY_PRINT|JSON_THROW_ON_ERROR));
|
|
|
|
|
echo 'Applied only 110000 and seven audited grants; '.count($baseline)." previous tables preserved, six new tables empty, 120000 preserved, operational guards verified.\n";
|
