<?php
require_once __DIR__.'/../web/lib/parametercatalog.class.php';
$config=lab_config();
if(!is_string($config['workspace']??null)||$config['workspace']==='') throw new RuntimeException('The shared workspace is not configured.');
if(class_exists('User',false)||is_file(__DIR__.'/../web/lib/user.class.php')) throw new RuntimeException('Account authentication remains enabled.');
foreach(['login.php','logout.php','register.php','profile.php'] as $route) if(is_file(__DIR__.'/../web/views/account/'.$route)) throw new RuntimeException('An account route remains.');
$valid=ParameterCatalog::validate(['model'=>[],'run'=>['steps'=>null],'parameters'=>[]]);
if(empty($valid['ok'])||$valid['spec']['run']['steps']!==null) throw new RuntimeException('Explicit full-year steps were not preserved.');
$invalid=ParameterCatalog::validate(['model'=>[],'run'=>[],'parameters'=>[],'command'=>[]]);
if(!empty($invalid['ok'])||!isset($invalid['errors']['command'])) throw new RuntimeException('Unknown spec sections were accepted.');
echo "single-workspace HTTP boundary checks passed\n";