Delete dbp-audit.js

dbp-audit.js

@@ -1,218 +0,0 @@
-const $ = (id) => document.getElementById(id);
-const escapeHtml = (value) => String(value ?? '').replace(/[&<>"']/g, (character) => ({'&':'&amp;','<':'&lt;','>':'&gt;','"':'&quot;',"'":'&#39;'}[character]));
-const finiteNumber = (value) => value !== null && value !== '' && Number.isFinite(Number(value)) ? Number(value) : null;
-const integer = (value) => finiteNumber(value) === null ? null : Math.trunc(Number(value));
-const countFormat = (value) => finiteNumber(value) === null ? 'Not reported' : Number(value).toLocaleString('en-US',{maximumFractionDigits:0});
-const metricFormat = (value,digits=3) => finiteNumber(value) === null ? 'N/A' : Number(value).toLocaleString('en-US',{minimumFractionDigits:digits,maximumFractionDigits:digits});
-const runtimeLabel = (runtime) => ({cpp:'C++',java:'Java',python:'Python'}[runtime] || String(runtime || 'Unknown'));
-const successfulStatus = (value) => ['ok','complete','passed'].includes(normalizeStatus(value));
-const PAGE_SIZE = 100;
-const EXPECTED_RUNTIMES = ['cpp','java','python'];
-const EXPECTED_COMPLETE_SUMMARY = {dataset_receipt_count:169,measured_dataset_count:162,n_a_dataset_count:7,schema_aggregate_count:4190,nonempty_aggregate_count:4096,n_a_aggregate_count:94};
-const REQUIRED_EVIDENCE_SHA_FIELDS = ['scope_sha256','source_column_inventory_sha256','runtime_artifact_manifest_sha256','campaign_binding_sha256','frame_verification_receipt_sha256','compact_collection_receipt_sha256','input_scope_receipt_sha256','campaign_run_receipt_sha256','campaign_progress_sha256','environment_receipt_sha256','source_evidence_chain_sha256'];
-const REQUIRED_COLUMN_SHA_FIELDS = ['frame_sequence_sha256','expected_sequence_chain_sha256','result_sha256','receipt_sha256','source_manifest_receipt_sha256','source_aggregates_sha256','source_blocks_sha256','source_block_catalog_sha256','runtime_artifact_manifest_sha256','source_column_inventory_sha256','scope_sha256'];
-const SHA256_PATTERN = /^[0-9a-f]{64}$/;
-
-let audit=null;
-let columns=[];
-let datasetReceipts=[];
-let filteredColumns=[];
-let page=1;
-
-function normalizeStatus(value) {
-  const text=String(value??'').trim().toLowerCase().replace(/[\s/-]+/g,'_');
-  return text||'unknown';
-}
-function statusLabel(value) {
-  const status=normalizeStatus(value);
-  if(status==='n_a'||status==='na')return 'N/A';
-  return status.replaceAll('_',' ').replace(/\b\w/g,letter=>letter.toUpperCase());
-}
-function statusChip(value) {
-  const status=normalizeStatus(value),css=status.replaceAll('_','-');
-  return `<span class="status-chip status-${escapeHtml(css)}">${escapeHtml(statusLabel(status))}</span>`;
-}
-function normalizeDtype(value,width) {
-  const text=String(value??'').toLowerCase();
-  if(text.includes('32')||Number(width)===4)return 'float32';
-  if(text.includes('64')||Number(width)===8)return 'float64';
-  return text||'unknown';
-}
-function normalizeColumn(row) {
-  const valid=integer(row.valid_count??row.verified_values),nativeBytes=integer(row.native_bytes??row.original_bytes),frameBytes=integer(row.frame_bytes??row.compressed_bytes??row.codec_wire_bytes);
-  const encodeTotal=finiteNumber(row.encode_ns),decodeTotal=finiteNumber(row.decode_ns);
-  return {...row,
-    status:normalizeStatus(row.status),runtime:String(row.runtime??row.implementation_language??''),dataset:String(row.dataset??row.dataset_id??''),column:String(row.column??row.source_column??row.aggregate_id??''),aggregate_id:String(row.aggregate_id??''),dtype:normalizeDtype(row.dtype,row.width),
-    rows:integer(row.rows??row.row_count),valid_count:valid,missing_count:integer(row.missing_count),native_bytes:nativeBytes,frame_bytes:frameBytes,
-    compression_rate:finiteNumber(row.compression_rate??(nativeBytes>0&&frameBytes!==null?frameBytes/nativeBytes:null)),
-    encode_ns_per_value:finiteNumber(row.encode_ns_per_value??row.compression_time_ns_per_point??(valid>0&&encodeTotal!==null?encodeTotal/valid:null)),
-    decode_ns_per_value:finiteNumber(row.decode_ns_per_value??row.decompression_time_ns_per_point??(valid>0&&decodeTotal!==null?decodeTotal/valid:null)),
-    blocks:integer(row.blocks),scaled_blocks:integer(row.scaled_blocks),raw_blocks:integer(row.raw_blocks),validity_bytes:integer(row.validity_bytes),header_bytes:integer(row.header_bytes),verified_values:integer(row.verified_values),
-    frame_sequence_sha256:String(row.frame_sequence_sha256??''),receipt_sha256:String(row.receipt_sha256??''),message:String(row.message??'')};
-}
-function normalizeDatasetReceipt(row) {
-  return {...row,dataset:String(row.dataset??row.dataset_id??''),runtime:String(row.runtime??''),status:normalizeStatus(row.status),reason:String(row.reason??row.message??''),receipt_sha256:String(row.receipt_sha256??'')};
-}
-function uniqueAggregateKey(row) {
-  return row.aggregate_id||`${row.dataset}\0${row.column}\0${row.dtype}`;
-}
-function groupBy(items,keyFn) {
-  const groups=new Map();
-  for(const item of items){const key=keyFn(item);if(!groups.has(key))groups.set(key,[]);groups.get(key).push(item);}
-  return groups;
-}
-function summaryObservation(columnRows=columns,receiptRows=datasetReceipts) {
-  const datasetGroups=groupBy(receiptRows.filter(row=>row.dataset),row=>row.dataset);
-  const aggregateGroups=groupBy(columnRows.filter(row=>uniqueAggregateKey(row)),uniqueAggregateKey);
-  return {
-    dataset_receipt_count:datasetGroups.size,
-    measured_dataset_count:[...datasetGroups.values()].filter(rows=>rows.some(row=>successfulStatus(row.status))).length,
-    n_a_dataset_count:[...datasetGroups.values()].filter(rows=>rows.length&&rows.every(row=>row.status==='n_a')).length,
-    schema_aggregate_count:aggregateGroups.size,
-    nonempty_aggregate_count:[...aggregateGroups.values()].filter(rows=>rows.some(row=>(row.valid_count??0)>0&&successfulStatus(row.status))).length,
-    n_a_aggregate_count:[...aggregateGroups.values()].filter(rows=>rows.length&&rows.every(row=>row.status==='n_a')).length,
-  };
-}
-function renderSummary() {
-  const declared=audit.summary||{},observed=summaryObservation();
-  const definitions=[['Dataset receipts','dataset_receipt_count'],['Measured datasets','measured_dataset_count'],['Dataset N/A','n_a_dataset_count'],['Schema aggregates','schema_aggregate_count'],['Nonempty aggregates','nonempty_aggregate_count'],['Aggregate N/A','n_a_aggregate_count']];
-  $('audit-summary').innerHTML=definitions.map(([label,key])=>{const detail=integer(observed[key]),reported=integer(declared[key]),value=detail??reported,suffix=detail!==null&&reported!==null&&detail!==reported?` · JSON summary ${countFormat(reported)}`:'';return `<div><strong>${countFormat(value)}</strong><span>${escapeHtml(label+suffix)}</span></div>`;}).join('');
-}
-function auditValidationErrors(auditData,columnRows,receiptRows) {
-  const errors=[],add=(message)=>{if(errors.length<500)errors.push(message);},declared=auditData.summary||{},observed=summaryObservation(columnRows,receiptRows),complete=normalizeStatus(auditData.status)==='complete';
-  if(auditData.schema_version!=='dbp-native-float-audit-v1')add('schema_version is not dbp-native-float-audit-v1');
-  for(const key of Object.keys(EXPECTED_COMPLETE_SUMMARY)){const expected=integer(declared[key]),actual=integer(observed[key]);if(expected!==null&&actual!==null&&expected!==actual)add(`${key}: summary ${expected}, detail ${actual}`);}
-  if(!complete)return errors;
-  for(const [key,value] of Object.entries(EXPECTED_COMPLETE_SUMMARY)){if(integer(declared[key])!==value)add(`${key}: complete scope requires ${value}`);}
-  const runtimeRows=Array.isArray(auditData.runtimes)?auditData.runtimes:[],runtimeIds=runtimeRows.map(row=>String(row.runtime??''));
-  if(runtimeRows.length!==3||new Set(runtimeIds).size!==3||!EXPECTED_RUNTIMES.every(runtime=>runtimeIds.includes(runtime)))add('complete audit requires exactly C++, Java, and Python runtime receipts');
-  for(const row of runtimeRows){if(normalizeStatus(row.status)!=='complete')add(`${runtimeLabel(row.runtime)} runtime status is not complete`);if(!SHA256_PATTERN.test(String(row.result_sha256??'')))add(`${runtimeLabel(row.runtime)} runtime result chain SHA is absent`);}
-  const byDataset=groupBy(receiptRows.filter(row=>row.dataset),row=>row.dataset);
-  if(receiptRows.length!==507||byDataset.size!==169)add('complete audit requires 507 runtime receipts for 169 unique datasets');
-  for(const [dataset,rows] of byDataset){const ids=rows.map(row=>row.runtime);if(rows.length!==3||new Set(ids).size!==3||!EXPECTED_RUNTIMES.every(runtime=>ids.includes(runtime)))add(`${dataset}: dataset receipts are not exactly C++, Java, and Python`);if(rows.some(row=>!['ok','n_a'].includes(row.status)))add(`${dataset}: dataset receipt has a nonfinal status`);if(new Set(rows.map(row=>row.status)).size!==1)add(`${dataset}: runtime dataset statuses differ`);if(rows.some(row=>!SHA256_PATTERN.test(row.receipt_sha256)))add(`${dataset}: dataset run receipt SHA is absent`);}
-  const aggregateGroups=groupBy(columnRows.filter(row=>row.aggregate_id),row=>row.aggregate_id);
-  if(columnRows.length!==12570||aggregateGroups.size!==4190)add('complete audit requires 12,570 runtime rows for 4,190 unique aggregates');
-  const exactFields=['status','dataset','column','dtype','width','max_point','rows','valid_count','missing_count','native_bytes','frame_bytes','validity_bytes','header_bytes','blocks','scaled_blocks','raw_blocks','verified_values','frame_sequence_sha256','expected_sequence_chain_sha256','receipt_sha256','source_manifest_receipt_sha256','source_aggregates_sha256','source_blocks_sha256','source_block_catalog_sha256','runtime_artifact_manifest_sha256','source_column_inventory_sha256','scope_sha256'];
-  for(const row of columnRows){
-    const id=row.aggregate_id||'(missing aggregate_id)',width=row.dtype==='float32'?4:row.dtype==='float64'?8:null,expectedStatus=(row.valid_count??0)>0?'ok':'n_a';
-    if(!row.aggregate_id)add('a complete column row is missing aggregate_id');
-    if(!byDataset.has(row.dataset))add(`${id}: column dataset is absent from dataset receipts`);
-    for(const field of ['width','max_point','rows','valid_count','missing_count','native_bytes','frame_bytes','validity_bytes','header_bytes','encode_ns','decode_ns','blocks','scaled_blocks','raw_blocks','verified_values'])if(finiteNumber(row[field])===null)add(`${id} ${runtimeLabel(row.runtime)}: ${field} is absent or invalid`);
-    if(row.status!==expectedStatus)add(`${id} ${runtimeLabel(row.runtime)}: status does not match valid_count`);
-    if(!width||row.native_bytes!==width*row.valid_count)add(`${id} ${runtimeLabel(row.runtime)}: native-byte accounting differs`);
-    if(row.rows!==row.valid_count+row.missing_count)add(`${id} ${runtimeLabel(row.runtime)}: row accounting differs`);
-    if(row.header_bytes!==10*row.blocks)add(`${id} ${runtimeLabel(row.runtime)}: header-byte accounting differs`);
-    if(row.verified_values!==row.valid_count)add(`${id} ${runtimeLabel(row.runtime)}: verified value count differs`);
-    if(row.scaled_blocks+row.raw_blocks!==row.blocks)add(`${id} ${runtimeLabel(row.runtime)}: mode counts differ`);
-    if(row.valid_count>0&&(finiteNumber(row.compression_rate)===null||finiteNumber(row.encode_ns_per_value)===null||finiteNumber(row.decode_ns_per_value)===null))add(`${id} ${runtimeLabel(row.runtime)}: measured rate or timing is absent`);
-    for(const field of REQUIRED_COLUMN_SHA_FIELDS)if(!SHA256_PATTERN.test(String(row[field]??'')))add(`${id} ${runtimeLabel(row.runtime)}: ${field} is absent or invalid`);
-  }
-  for(const [aggregateId,rows] of aggregateGroups){const ids=rows.map(row=>row.runtime);if(rows.length!==3||new Set(ids).size!==3||!EXPECTED_RUNTIMES.every(runtime=>ids.includes(runtime)))add(`${aggregateId}: result rows are not exactly C++, Java, and Python`);for(const field of exactFields)if(new Set(rows.map(row=>JSON.stringify(row[field]??null))).size!==1)add(`${aggregateId}: ${field} differs across runtimes`);}
-  const evidence=auditData.evidence||{};
-  for(const field of REQUIRED_EVIDENCE_SHA_FIELDS)if(!SHA256_PATTERN.test(String(evidence[field]??'')))add(`evidence.${field} is absent or invalid`);
-  const runtimeChains=evidence.runtime_result_chain_sha256||{};for(const runtime of EXPECTED_RUNTIMES)if(!SHA256_PATTERN.test(String(runtimeChains[runtime]??'')))add(`evidence.runtime_result_chain_sha256.${runtime} is absent or invalid`);
-  if(integer(auditData.measurement?.repeats)!==1||integer(auditData.measurement?.warmup_blocks)!==20||integer(auditData.measurement?.header_bytes_per_block)!==10)add('complete audit measurement contract differs');
-  if(auditData.environment?.shared_server!==true||integer(auditData.environment?.cpu?.passed_receipts_at_capture)!==169)add('complete audit environment receipt does not cover all 169 dataset receipts');
-  return errors;
-}
-function validateScope() {
-  const errors=auditValidationErrors(audit,columns,datasetReceipts);
-  const complete=normalizeStatus(audit.status)==='complete';
-  $('scope-validation').className=`documentation-status ${errors.length&&complete?'audit-validation-error':'audit-validation-ok'}`;
-  $('scope-validation').textContent=errors.length?(complete?`Completed receipt has ${errors.length} consistency issue${errors.length===1?'':'s'}. ${errors.slice(0,3).join(' · ')}${errors.length>3?' · …':''}`:`Audit status is ${statusLabel(audit.status)}; ${errors.length} completeness check${errors.length===1?'':'s'} remain unresolved.`):'Loaded summary, runtime, dataset, aggregate, and cross-runtime frame-hash receipts are internally consistent.';
-  const rawPageStatus=normalizeStatus(audit.status),state=$('audit-state');state.textContent=errors.length&&complete?'Failed · inconsistent':successfulStatus(rawPageStatus)&&!complete?'Incomplete · invalid status':statusLabel(rawPageStatus);state.className=`status-chip status-${errors.length&&complete||rawPageStatus==='failed'?'failed':complete?'complete':'incomplete'}`;
-}
-function metadataValue(value) {
-  if(value===null||value===undefined||value==='')return 'Not reported';
-  if(Array.isArray(value))return value.join(', ');
-  if(typeof value==='object')return JSON.stringify(value);
-  return String(value);
-}
-function renderDefinitionList(target,entries) {
-  target.innerHTML=entries.map(([label,value])=>`<dt>${escapeHtml(label)}</dt><dd>${escapeHtml(metadataValue(value))}</dd>`).join('');
-}
-function renderMetadata() {
-  const measurement=audit.measurement||{},environment=audit.environment||{};
-  renderDefinitionList($('measurement-meta'),[
-    ['Context',measurement.context],['Repetitions',measurement.repetitions??measurement.repeats],['Warmup blocks',measurement.warmup_blocks],['Header bytes per block',measurement.header_bytes_per_block],['Clock',measurement.clock??environment.clock],['Encode timing',measurement.encode_boundary],['Decode timing',measurement.decode_boundary],['Ranking integration',measurement.ranking_integration],['Notes',measurement.notes]
-  ]);
-  renderDefinitionList($('environment-meta'),[
-    ['Hardware',environment.hardware],['CPU',environment.cpu],['CPU affinity',environment.cpu_affinity],['Operating system',environment.os],['Concurrent load',environment.concurrent_load??environment.load],['Shared server',environment.shared_server===true?'Yes':environment.shared_server===false?'No':null],['Captured at',environment.captured_at]
-  ]);
-}
-function renderRuntimeStatus() {
-  const runtimes=Array.isArray(audit.runtimes)?audit.runtimes:[];
-  $('runtime-status').innerHTML=runtimes.length?runtimes.map(row=>`<article class="runtime-status-card"><header><h3>${escapeHtml(runtimeLabel(row.runtime))}</h3>${statusChip(row.status)}</header>${row.version?`<p>${escapeHtml(row.version)}</p>`:''}${row.message?`<p>${escapeHtml(row.message)}</p>`:''}${row.result_sha256?`<p class="source-code">Result ${escapeHtml(String(row.result_sha256).slice(0,16))}…</p>`:''}</article>`).join(''):'<p class="documentation-empty">No runtime status receipts are available.</p>';
-}
-function populateFilters() {
-  const runtimeIds=[...new Set([...(audit.runtimes||[]).map(row=>row.runtime),...columns.map(row=>row.runtime)].filter(Boolean))];
-  $('audit-runtime').innerHTML='<option value="all">All runtimes</option>'+runtimeIds.map(runtime=>`<option value="${escapeHtml(runtime)}">${escapeHtml(runtimeLabel(runtime))}</option>`).join('');
-  const statuses=[...new Set(columns.map(row=>row.status).filter(status=>['ok','n_a'].includes(status)))].sort();
-  $('audit-status').innerHTML='<option value="all">All statuses</option>'+statuses.map(status=>`<option value="${escapeHtml(status)}">${escapeHtml(statusLabel(status))}</option>`).join('');
-}
-function filterState() {
-  return {runtime:$('audit-runtime').value,dtype:$('audit-dtype').value,status:$('audit-status').value,search:$('audit-search').value.trim().toLowerCase()};
-}
-function applyFilters(resetPage=true) {
-  const filters=filterState();
-  filteredColumns=columns.filter(row=>(filters.runtime==='all'||row.runtime===filters.runtime)&&(filters.dtype==='all'||row.dtype===filters.dtype)&&(filters.status==='all'||row.status===filters.status)&&(!filters.search||`${row.dataset} ${row.column} ${row.aggregate_id}`.toLowerCase().includes(filters.search)));
-  if(resetPage)page=1;
-  renderColumnTable();renderDatasetReceipts();
-}
-function renderColumnTable() {
-  const totalPages=Math.max(1,Math.ceil(filteredColumns.length/PAGE_SIZE));if(page>totalPages)page=totalPages;
-  const start=(page-1)*PAGE_SIZE,visible=filteredColumns.slice(start,start+PAGE_SIZE),tbody=$('audit-table').querySelector('tbody');
-  tbody.innerHTML=visible.length?visible.map(row=>`<tr><td>${statusChip(row.status)}</td><td>${escapeHtml(runtimeLabel(row.runtime))}</td><td>${escapeHtml(row.dataset||'Unknown')}</td><td>${escapeHtml(row.column||row.aggregate_id||'Unknown')}</td><td class="numeric">${escapeHtml(row.dtype)}</td><td class="numeric">${countFormat(row.native_bytes)}</td><td class="numeric">${countFormat(row.frame_bytes)}</td><td class="numeric">${metricFormat(row.compression_rate,4)}</td><td class="numeric">${metricFormat(row.encode_ns_per_value,2)}</td><td class="numeric">${metricFormat(row.decode_ns_per_value,2)}</td><td class="numeric">${countFormat(row.scaled_blocks)} scaled<span class="mode-count">${countFormat(row.raw_blocks)} raw · ${countFormat(row.blocks)} total</span></td><td class="numeric">${countFormat(row.verified_values)}</td></tr>`).join(''):'<tr><td colspan="12" class="empty-cell">No column result matches these filters.</td></tr>';
-  $('column-result-count').textContent=`${countFormat(filteredColumns.length)} of ${countFormat(columns.length)} runtime / column rows shown${filteredColumns.length?` · rows ${countFormat(start+1)}–${countFormat(Math.min(start+PAGE_SIZE,filteredColumns.length))}`:''}`;
-  $('audit-page').textContent=`Page ${page} of ${totalPages}`;$('audit-prev').disabled=page<=1;$('audit-next').disabled=page>=totalPages;$('download-column-json').disabled=!filteredColumns.length;$('download-column-csv').disabled=!filteredColumns.length;
-}
-function renderDatasetReceipts() {
-  const filters=filterState();
-  const visible=datasetReceipts.filter(row=>(filters.runtime==='all'||row.runtime===filters.runtime)&&(filters.status==='all'||row.status===filters.status)&&(!filters.search||`${row.dataset} ${row.label??''} ${row.reason}`.toLowerCase().includes(filters.search)));
-  $('dataset-receipt-count').textContent=`${countFormat(visible.length)} of ${countFormat(datasetReceipts.length)} runtime receipts · ${countFormat(new Set(visible.map(row=>row.dataset)).size)} datasets`;
-  $('dataset-receipts').innerHTML=visible.length?visible.map(row=>`<article class="dataset-receipt-card"><header><div><strong>${escapeHtml(row.label||row.dataset)}</strong><small>${escapeHtml(runtimeLabel(row.runtime))}${row.label&&row.label!==row.dataset?` · ${escapeHtml(row.dataset)}`:''}</small></div>${statusChip(row.status)}</header>${row.reason?`<p>${escapeHtml(row.reason)}</p>`:''}<p>${integer(row.schema_aggregate_count)!==null?`${countFormat(row.schema_aggregate_count)} schema · `:''}${integer(row.nonempty_aggregate_count)!==null?`${countFormat(row.nonempty_aggregate_count)} nonempty · `:''}${integer(row.n_a_aggregate_count)!==null?`${countFormat(row.n_a_aggregate_count)} N/A`:''}</p>${row.receipt_sha256?`<p class="source-code">Receipt ${escapeHtml(row.receipt_sha256.slice(0,16))}…</p>`:''}</article>`).join(''):'<p class="documentation-empty">No dataset receipt matches these filters.</p>';
-}
-function csvCell(value) {
-  let text=String(value??'');if(/^[=+@-]/.test(text))text=`'${text}`;return `"${text.replaceAll('"','""')}"`;
-}
-function downloadBlob(filename,type,text) {
-  const url=URL.createObjectURL(new Blob([text],{type})),anchor=document.createElement('a');anchor.href=url;anchor.download=filename;anchor.click();setTimeout(()=>URL.revokeObjectURL(url),1000);
-}
-const DOWNLOAD_FIELDS=[
-  'status','runtime','dataset','column','source_column','aggregate_id','dtype','width','max_point','rows','valid_count','missing_count',
-  'native_bytes','frame_bytes','validity_bytes','header_bytes','compression_rate','encode_ns','decode_ns','encode_ns_per_value','decode_ns_per_value',
-  'blocks','scaled_blocks','raw_blocks','verified_values','frame_sequence_sha256','expected_sequence_chain_sha256','result_sha256','receipt_sha256',
-  'source_manifest_receipt_sha256','source_aggregates_sha256','source_blocks_sha256','source_block_catalog_sha256','runtime_artifact_manifest_sha256',
-  'source_column_inventory_sha256','scope_sha256','message'
-];
-function downloadCsv() {
-  const rows=filteredColumns.map(row=>DOWNLOAD_FIELDS.map(field=>csvCell(row[field])).join(','));downloadBlob('THULab-DBP-audit-columns-filtered.csv','text/csv;charset=utf-8','\ufeff'+[DOWNLOAD_FIELDS.join(','),...rows].join('\r\n'));
-}
-function downloadJson() {
-  downloadBlob('THULab-DBP-audit-columns-filtered.json','application/json;charset=utf-8',JSON.stringify({schema_version:audit.schema_version,status:audit.status,filters:filterState(),columns:filteredColumns.map(row=>Object.fromEntries(DOWNLOAD_FIELDS.map(field=>[field,row[field]??null])))},null,2)+'\n');
-}
-function setupEvents() {
-  for(const id of ['audit-runtime','audit-dtype','audit-status'])$(id).addEventListener('change',()=>applyFilters(true));$('audit-search').addEventListener('input',()=>applyFilters(true));
-  $('audit-prev').addEventListener('click',()=>{if(page>1){page--;renderColumnTable();}});$('audit-next').addEventListener('click',()=>{if(page*PAGE_SIZE<filteredColumns.length){page++;renderColumnTable();}});
-  $('download-column-csv').addEventListener('click',downloadCsv);$('download-column-json').addEventListener('click',downloadJson);
-}
-function setupTheme() {
-  let stored;try{stored=localStorage.getItem('thulab-theme');}catch{}
-  const query=new URLSearchParams(location.search).get('__theme'),theme=stored||(['dark','light'].includes(query)?query:matchMedia('(prefers-color-scheme:dark)').matches?'dark':'light');document.documentElement.dataset.theme=theme;$('theme').textContent=theme==='dark'?'Light mode':'Dark mode';
-  $('theme').addEventListener('click',()=>{const next=document.documentElement.dataset.theme==='dark'?'light':'dark';document.documentElement.dataset.theme=next;$('theme').textContent=next==='dark'?'Light mode':'Dark mode';try{localStorage.setItem('thulab-theme',next);}catch{}});
-}
-function initialize() {
-  columns=(Array.isArray(audit.columns)?audit.columns:Array.isArray(audit.results)?audit.results:[]).map(normalizeColumn);datasetReceipts=(Array.isArray(audit.datasets)?audit.datasets:[]).map(normalizeDatasetReceipt);
-  $('audit-generated').textContent=audit.generated_at?`Generated ${String(audit.generated_at).replace('T',' ').replace('Z',' UTC')}`:'Generation time not reported';
-  renderSummary();renderMetadata();renderRuntimeStatus();populateFilters();setupEvents();applyFilters(true);validateScope();document.documentElement.dataset.ready='true';
-}
-
-async function loadAudit() {
-  try {
-    const response=await fetch('./dbp-audit.json?v=20261009-dbp-audit-v1',{cache:'no-cache'});if(!response.ok)throw new Error(`Audit request returned ${response.status}`);audit=await response.json();if(!audit||typeof audit!=='object'||!audit.summary||!audit.measurement||!audit.environment)throw new Error('The audit JSON does not match the required top-level schema.');initialize();
-  } catch(error) {
-    $('load-error').hidden=false;$('load-error').textContent=`The independent DBP audit is not available yet. No completed result is inferred. ${error.message}`;$('audit-state').textContent='Unavailable';$('audit-state').className='status-chip status-incomplete';$('audit-generated').textContent='dbp-audit.json was not loaded';$('audit-table').querySelector('tbody').innerHTML='<tr><td colspan="12" class="empty-cell">Audit results unavailable.</td></tr>';$('scope-validation').textContent='The historical leaderboard remains unchanged.';
-  }
-}
-if(typeof document!=='undefined'){setupTheme();loadAudit();}
-if(typeof module!=='undefined'&&module.exports)module.exports={auditValidationErrors,normalizeColumn,normalizeDatasetReceipt,summaryObservation};