IMPERIAL RFQ-to-Quote Synthetic Proof

Truth boundary: synthetic evaluation demo — not a client delivery and not an electrical-parts production deployment.

Previously recorded core-matching verification: 10/10 checks PASS on Val Town.

What this proves

Exact normalized product-code and unit matching; prices sourced only from an approved versioned price list; unknown codes, unit mismatches and ambiguous/missing prices are routed to human review; a complete quotation total is withheld while exceptions remain.

Current demo result

${JSON.stringify(proof, null, 2)}

PDF to Excel: executable synthetic example

A fixed text-PDF fixture is extracted and exported to an actual Excel workbook with Quote Draft, Review and Evidence sheets. Recorded file-pipeline verification: ${verification.checks} checks passed at ${verification.verified_at}. This does not establish compatibility with a buyer PDF layout.

Download synthetic input PDF · Download generated Excel draft · File-pipeline evidence

Paid-test boundary

A real paid test requires adapting and verifying this prototype against the buyer’s agreed PDF layout, catalogue, price list and workbook format, then adding the native n8n workflow, independent QA and one revision against written acceptance criteria.

Excluded unless separately scoped: OCR/scans, catalogue cleansing, ERP, automatic email, dashboards, tax/currency rules, additional layouts and production hosting.

Machine-readable demo evidence

`;\n return new Response(html, { headers: { 'content-type': 'text/html; charset=utf-8' } });\n}\n",[],[188],"fa0bd708-3714-4d6e-9db1-4fcf4df673a9","file_verification.json","e3bf6780-af95-11f1-8274-1607ee4eb77e",17,["D",1789319373100],"{\n \"status\": \"PASS\",\n \"checks\": 28,\n \"tests\": [\n \"actual_pdf_extracted\",\n \"exact_price_arithmetic\",\n \"unknown_code_review\",\n \"unit_mismatch_review\",\n \"review_blocks_total\",\n \"hashes_bound\",\n \"real_xlsx_readable\",\n \"all_rows_exported\",\n \"review_sheet_two_exceptions\",\n \"money_exact_text\",\n \"withheld_total_exported\",\n \"clean_total_exact\",\n \"unparsed_rows_retained\",\n \"unparsed_rows_block_total\",\n \"duplicate_catalogue_review\",\n \"mixed_currency_review\",\n \"mixed_price_versions_block_total\",\n \"missing_column_header_rejected\",\n \"negative_price_rejected\",\n \"empty_price_version_rejected\",\n \"non_pdf_rejected\",\n \"oversize_pdf_rejected\",\n \"no_extractable_text_rejected\",\n \"unrecognized_document_header\",\n \"page_limit\",\n \"empty_line_items_block_total\",\n \"formula_injection_remains_text\",\n \"input_bytes_not_detached\"\n ],\n \"verified_at\": \"2026-09-13T17:08:33.282Z\",\n \"fixture\": \"SYNTHETIC_NOT_CLIENT_DATA\",\n \"sample_evidence\": {\n \"pdf_sha256\": \"d952f47a9d20346b622fc47d80472a17f2fcea0e1567d23e8cd8d588bc84a15d\",\n \"xlsx_sha256\": \"0dddc6ff3624ced329aec9327a6fd48526223795b780e8f2aac8f34f3903032e\",\n \"pages\": 1,\n \"format\": \"IMPERIAL RFQ DEMO V1\",\n \"client_delivery_ready\": false\n },\n \"output_bytes\": 22403,\n \"client_delivery\": false\n}",[],[195],"01ee05ef-683c-4cbb-9634-6d3df054f09e","file_pipeline_test.ts","cfad161c-af94-11f1-9634-1607ee4eb77e",16,["D",1789319310110],4,"import * as XLSX from \"https://cdn.sheetjs.com/xlsx-0.20.3/package/xlsx.mjs\";\nimport {sample} from \"./core.ts\";\nimport {processPdfQuote,readPdfRows,parseRows,quoteParsed,FORMAT,COLUMNS} from \"./file_pipeline.ts\";\nimport {makePdf} from \"./synthetic_pdf.ts\";\nconst checks:string[]=[];\nfunction check(name:string,ok:unknown){if(!ok)throw Error(\"FAIL:\"+name);checks.push(name);}\nasync function rejects(name:string,fn:()=>any){let rejected=false;try{await fn();}catch{rejected=true;}check(name,rejected);}\nconst pdf=await makePdf(),run=await processPdfQuote(pdf,sample.catalogue,sample.prices);\ncheck(\"actual_pdf_extracted\",run.evidence.pages===1&&run.quote.results.length===3);\ncheck(\"exact_price_arithmetic\",run.quote.results[0].amountMinor===\"3750\");\ncheck(\"unknown_code_review\",run.quote.results[1].reason===\"UNKNOWN_CODE\");\ncheck(\"unit_mismatch_review\",run.quote.results[2].reason===\"UNIT_MISMATCH\");\ncheck(\"review_blocks_total\",run.quote.reviewRequired&&run.quote.totalMinor===null);\ncheck(\"hashes_bound\",run.evidence.pdf_sha256.length===64&&run.evidence.xlsx_sha256.length===64);\nconst wb=XLSX.read(run.xlsx,{type:\"array\",cellFormula:true});\ncheck(\"real_xlsx_readable\",wb.SheetNames.length===3);\ncheck(\"all_rows_exported\",XLSX.utils.decode_range(wb.Sheets[\"Quote Draft\"][\"!ref\"]!).e.r+1===4);\ncheck(\"review_sheet_two_exceptions\",XLSX.utils.decode_range(wb.Sheets[\"Review\"][\"!ref\"]!).e.r+1===3);\ncheck(\"money_exact_text\",wb.Sheets[\"Quote Draft\"].J2.v===\"3750\");\ncheck(\"withheld_total_exported\",wb.Sheets[\"Evidence\"].B6.v===\"WITHHELD\");\nconst clean=await processPdfQuote(await makePdf([\"SW-01 | 2 | EA | Clean synthetic item\"]),sample.catalogue,sample.prices);\ncheck(\"clean_total_exact\",clean.quote.totalMinor===\"2500\"&&!clean.quote.reviewRequired);\nconst malformed=await processPdfQuote(await makePdf([\"SW-01 | 1.5 | EA | Fraction not in agreed format\",\"unparsed content\",\"SW-01 | 2 | EA | Good row\"]),sample.catalogue,sample.prices);\ncheck(\"unparsed_rows_retained\",malformed.quote.issues.length===2&&malformed.quote.results.length===1);\ncheck(\"unparsed_rows_block_total\",malformed.quote.totalMinor===null);\nconst duplicate=quoteParsed(parseRows([{page:1,line:1,raw:FORMAT},{page:1,line:2,raw:COLUMNS},{page:1,line:3,raw:\"SW-01 | 1 | EA | item\"}]),[...sample.catalogue,sample.catalogue[0]],sample.prices);\ncheck(\"duplicate_catalogue_review\",duplicate.results[0].reason===\"AMBIGUOUS_CATALOGUE_CODE\");\nconst mixed=await processPdfQuote(await makePdf([\"SW-01 | 1 | EA | USD item\",\"LN-10 | 1 | EA | EUR item\"]),sample.catalogue,[sample.prices[0],{...sample.prices[1],currency:\"EUR\"}]);\ncheck(\"mixed_currency_review\",mixed.quote.reviewRequired&&mixed.quote.totalMinor===null&&mixed.quote.issues.some(x=>x.reason===\"MIXED_CURRENCIES_NO_CONVERSION\"));\nconst mixedVersion=await processPdfQuote(await makePdf([\"SW-01 | 1 | EA | first snapshot\",\"LN-10 | 1 | EA | second snapshot\"]),sample.catalogue,[sample.prices[0],{...sample.prices[1],priceListVersion:\"SYNTHETIC-OTHER\"}]);\ncheck(\"mixed_price_versions_block_total\",mixedVersion.quote.reviewRequired&&mixedVersion.quote.totalMinor===null&&mixedVersion.quote.issues.some(x=>x.reason===\"MIXED_APPROVED_PRICE_LIST_VERSIONS\"));\nawait rejects(\"missing_column_header_rejected\",()=>parseRows([{page:1,line:1,raw:FORMAT},{page:1,line:2,raw:\"SW-01 | 1 | EA | item\"}]));\nawait rejects(\"negative_price_rejected\",()=>processPdfQuote(pdf,sample.catalogue,[{...sample.prices[0],amountMinor:-1n}]));\nawait rejects(\"empty_price_version_rejected\",()=>processPdfQuote(pdf,sample.catalogue,[{...sample.prices[0],priceListVersion:\"\"}]));\nawait rejects(\"non_pdf_rejected\",()=>readPdfRows(new TextEncoder().encode(\"not a PDF\")));\nawait rejects(\"oversize_pdf_rejected\",()=>readPdfRows(new Uint8Array(2*1024*1024+1)));\nawait rejects(\"no_extractable_text_rejected\",async()=>processPdfQuote(await makePdf([],1,false),sample.catalogue,sample.prices));\nawait rejects(\"unrecognized_document_header\",async()=>processPdfQuote(await makePdf([\"Different document\"],1,false),sample.catalogue,sample.prices));\nawait rejects(\"page_limit\",async()=>readPdfRows(await makePdf([],6)));\nconst blank=await processPdfQuote(await makePdf([]),sample.catalogue,sample.prices);\ncheck(\"empty_line_items_block_total\",blank.quote.reviewRequired&&blank.quote.totalMinor===null);\nconst formula=await processPdfQuote(await makePdf(['SW-01 | 1 | EA | =HYPERLINK(\"https://example.invalid\",\"x\")']),sample.catalogue,sample.prices);\nconst safeWb=XLSX.read(formula.xlsx,{type:\"array\",cellFormula:true});\ncheck(\"formula_injection_remains_text\",typeof safeWb.Sheets[\"Quote Draft\"].E2.v===\"string\"&&safeWb.Sheets[\"Quote Draft\"].E2.f===undefined);\ncheck(\"input_bytes_not_detached\",pdf.byteLength>0);\nconsole.log(JSON.stringify({status:\"PASS\",checks:checks.length,tests:checks,verified_at:new Date().toISOString(),fixture:\"SYNTHETIC_NOT_CLIENT_DATA\",sample_evidence:run.evidence,output_bytes:run.xlsx.byteLength,client_delivery:false}));\n",[],[203],"ef7233a3-b3e6-4dde-bac5-6a7d575a13c5","file_pipeline.ts","33b205c4-af6c-11f1-973f-1607ee4eb77e",15,["D",1789319309233],"// IMPERIAL Core — Alexander Romaskevich / RomaskevicH. Internal prototype, not a client delivery.\nimport {getDocumentProxy} from \"npm:unpdf@1.8.1\";\nimport * as XLSX from \"https://cdn.sheetjs.com/xlsx-0.20.3/package/xlsx.mjs\";\nimport {buildQuote,type CatalogueRow,type PriceRow} from \"./core.ts\";\nexport const FORMAT=\"IMPERIAL RFQ DEMO V1\",COLUMNS=\"CODE | QUANTITY | UNIT | DESCRIPTION\";\nexport type SourceRow={page:number;line:number;raw:string};\nconst HEADER_SET=new Set([FORMAT,COLUMNS]);\nexport async function hashBytes(bytes:Uint8Array){return [...new Uint8Array(await crypto.subtle.digest(\"SHA-256\",bytes))].map(x=>x.toString(16).padStart(2,\"0\")).join(\"\");}\nexport async function readPdfRows(bytes:Uint8Array){\n if(bytes.byteLength>2*1024*1024||bytes.byteLength<5)throw Error(\"PDF_SIZE_LIMIT\");\n if(new TextDecoder().decode(bytes.slice(0,5))!==\"%PDF-\")throw Error(\"PDF_REQUIRED\");\n const pdf=await getDocumentProxy(bytes.slice(),{isEvalSupported:false,disableFontFace:true,useSystemFonts:false});\n const rows:SourceRow[]=[],warnings:any[]=[];let characters=0;\n try{\n if(pdf.numPages>5)throw Error(\"PDF_PAGE_LIMIT\");\n for(let p=1;p<=pdf.numPages;p++){\n const page=await pdf.getPage(p),content=await page.getTextContent();\n if(content.items.length>10000)throw Error(\"PDF_ITEM_LIMIT\");\n let current=\"\",lastY:number|null=null,line=0;\n const flush=()=>{if(current.trim()){rows.push({page:p,line:++line,raw:current.trim()});current=\"\";}};\n for(const item of content.items as any[]){\n if(typeof item.str!==\"string\")continue;\n characters+=item.str.length;if(characters>20000)throw Error(\"PDF_TEXT_LIMIT\");\n const y=Number(item.transform?.[5]??0);\n if(item.str.trim()&&(!Array.isArray(item.transform)||Math.abs(item.transform[1])>0.01||Math.abs(item.transform[2])>0.01||item.transform[0]<=0||item.transform[3]<=0||(lastY!==null&&y>lastY+2)))warnings.push({page:p,line:line+1,raw:item.str.slice(0,200),status:\"REVIEW\",reason:\"PDF_READING_ORDER_OR_ROTATION_ANOMALY\"});\n if(lastY!==null&&Math.abs(y-lastY)>2)flush();\n current+=(current&&!current.endsWith(\" \")?\" \":\"\")+item.str;lastY=y;\n if(item.hasEOL)flush();\n }\n flush();if(line===0)rows.push({page:p,line:0,raw:\"[NO_EXTRACTABLE_TEXT_PAGE]\"});\n }\n return {rows,pages:pdf.numPages,pdf_sha256:await hashBytes(bytes),warnings};\n }finally{if(typeof pdf.cleanup===\"function\")await pdf.cleanup();if(typeof pdf.loadingTask?.destroy===\"function\")await pdf.loadingTask.destroy();}\n}\nexport function parseRows(rows:SourceRow[]){\n if(!rows.length||rows[0].raw!==FORMAT)throw Error(\"UNSUPPORTED_LAYOUT_OR_SCANNED_PDF\");\n const lines:any[]=[],issues:any[]=[];\n for(const page of new Set(rows.map(r=>r.page))){const pageRows=rows.filter(r=>r.page===page);if(pageRows[0]?.raw!==FORMAT||pageRows[1]?.raw!==COLUMNS)throw Error(\"UNSUPPORTED_PAGE_HEADER\");}\n for(const source of rows){\n if(HEADER_SET.has(source.raw)&&source.line<=2)continue;\n const parts=source.raw.split(\"|\").map(v=>v.trim());\n if(parts.length!==4||!/^[A-Za-z0-9_.-]{1,64}$/.test(parts[0])||!/^[A-Za-z0-9_/-]{1,16}$/.test(parts[2])){\n issues.push({...source,status:\"REVIEW\",reason:\"UNPARSED_SOURCE_ROW\"});continue;\n }\n if(!/^[1-9][0-9]{0,8}$/.test(parts[1])){\n issues.push({...source,status:\"REVIEW\",reason:\"INVALID_QUANTITY\"});continue;\n }\n lines.push({code:parts[0],quantity:Number(parts[1]),unit:parts[2],description:parts[3],source});\n }\n if(lines.length+issues.length===0)issues.push({page:1,line:0,raw:\"\",status:\"REVIEW\",reason:\"NO_LINE_ITEMS\"});\n if(lines.length+issues.length>250)throw Error(\"RFQ_ROW_LIMIT\");\n return {lines,issues};\n}\nexport function validateSources(catalogue:CatalogueRow[],prices:PriceRow[]){\n if(!Array.isArray(catalogue)||!Array.isArray(prices)||catalogue.length>500||prices.length>500)throw Error(\"CATALOGUE_SIZE_LIMIT\");\n const text=(v:any,n:number)=>typeof v===\"string\"&&v.trim().length>0&&v.length<=n;\n for(const r of catalogue)if(!r||!text(r.code,64)||!text(r.unit,16)||!text(r.description,500))throw Error(\"INVALID_CATALOGUE_ROW\");\n for(const r of prices)if(!r||!text(r.code,64)||!text(r.unit,16)||typeof r.amountMinor!==\"bigint\"||r.amountMinor<0n||r.amountMinor>999999999999999n||!text(r.priceListVersion,100)||typeof r.currency!==\"string\"||!/^[A-Z]{3}$/.test(r.currency))throw Error(\"INVALID_APPROVED_PRICE\");\n}\nexport function quoteParsed(parsed:ReturnType,catalogue:CatalogueRow[],prices:PriceRow[]){\n validateSources(catalogue,prices);\n const base=buildQuote(parsed.lines,catalogue,prices);\n const issues=[...parsed.issues];\n const results=base.results.map((r:any)=>({...r,source:parsed.lines[r.index].source,description:parsed.lines[r.index].description,requestedQuantity:parsed.lines[r.index].quantity,requestedUnit:parsed.lines[r.index].unit}));\n if(new Set(results.filter(r=>r.status===\"MATCHED\").map(r=>r.currency)).size>1)issues.push({page:0,line:0,raw:\"\",status:\"REVIEW\",reason:\"MIXED_CURRENCIES_NO_CONVERSION\"});\n if(new Set(results.filter(r=>r.status===\"MATCHED\").map(r=>r.priceListVersion)).size>1)issues.push({page:0,line:0,raw:\"\",status:\"REVIEW\",reason:\"MIXED_APPROVED_PRICE_LIST_VERSIONS\"});\n const reviewRequired=base.reviewRequired||issues.length>0;\n return {...base,truth:\"PROTOTYPE_DRAFT_NOT_CLIENT_ACCEPTED\",results,issues,reviewRequired,totalMinor:reviewRequired?null:base.totalMinor};\n}\nexport async function writeWorkbook(quote:ReturnType,source:{pdf_sha256:string;pages:number}){\n const wb=XLSX.utils.book_new();wb.Props={Author:\"Alexander Romaskevich / RomaskevicH\",Title:\"RFQ quotation draft — review required\"};\n const rows:any[][]=[],review:any[][]=[],meta:any[][]=[];\n rows.push([\"Page\",\"Source line\",\"Source text\",\"Code\",\"Description from RFQ\",\"Quantity\",\"Unit\",\"Match status\",\"Reason\",\"Line amount minor units (exact text)\",\"Currency\",\"Approved price list version\"]);\n for(const r of quote.results as any[])rows.push([r.source.page,r.source.line,r.source.raw,r.code,r.description,r.requestedQuantity,r.requestedUnit,r.status,r.reason??\"\",r.amountMinor??\"\",r.currency??\"\",r.priceListVersion??\"\"]);\n review.push([\"Page\",\"Source line\",\"Source text\",\"Reason\"]);\n for(const r of quote.results as any[])if(r.status===\"REVIEW\")review.push([r.source.page,r.source.line,r.source.raw,r.reason]);\n for(const r of quote.issues)review.push([r.page,r.line,r.raw,r.reason]);\n meta.push(...[\n [\"Status\",\"INTERNAL PROTOTYPE / NOT CLIENT ACCEPTED\"],\n [\"PDF SHA-256\",source.pdf_sha256],[\"PDF pages\",source.pages],\n [\"Layout\",FORMAT],[\"Review required\",quote.reviewRequired?\"YES\":\"NO\"],\n [\"Grand total minor units (exact text)\",quote.totalMinor??\"WITHHELD\"],\n [\"Currency\",quote.currency??\"UNRESOLVED\"],[\"Money representation\",\"Integer minor units as text; no assumed decimal precision, tax or FX\"],\n [\"Matching\",\"Exact normalized code and unit; no fuzzy confidence or product substitution\"],\n [\"Approval boundary\",\"Supplied price rows are inputs, not proof of buyer authorization. Final delivery requires agreed scope and independent QA.\"]\n ]);\n for(const [name,data] of [[\"Quote Draft\",rows],[\"Review\",review],[\"Evidence\",meta]] as [string,any[][]][]){\n const sheet=XLSX.utils.aoa_to_sheet(data);\n sheet[\"!cols\"]=data[0].map((_,i)=>({wch:i===2?60:26}));\n XLSX.utils.book_append_sheet(wb,sheet,name);\n }\n // The worksheet builder writes all strings as text, never formula objects.\n return new Uint8Array(XLSX.write(wb,{bookType:\"xlsx\",type:\"array\"}));\n}\nexport async function processPdfQuote(bytes:Uint8Array,catalogue:CatalogueRow[],prices:PriceRow[]){\n validateSources(catalogue,prices);\n const extracted=await readPdfRows(bytes),parsed=parseRows(extracted.rows);\n parsed.issues.push(...extracted.warnings);\n const quote=quoteParsed(parsed,catalogue,prices);\n const xlsx=await writeWorkbook(quote,extracted);\n return {quote,xlsx,evidence:{pdf_sha256:extracted.pdf_sha256,xlsx_sha256:await hashBytes(xlsx),pages:extracted.pages,format:FORMAT,client_delivery_ready:false}};\n}\n",[],[212],["D",1789075820703],[],[18],["D",1789075806931],{"_11":12,"_122":70},{"_11":12,"_117":118,"_69":70,"_30":68,"_119":120,"_121":24},{"_38":108,"_13":16,"_32":35,"_109":72,"_110":-5,"_111":-5,"_112":-5,"_113":-5,"_114":-5,"_115":14,"_116":12},"ctx",{"_53":-5,"_141":259,"_260":261,"_262":263,"_264":24,"_265":24,"_266":24,"_267":85,"_268":-5,"_269":-7,"_270":-7,"_271":26,"_272":24,"_273":24,"_274":-5,"_275":24,"_276":24,"_277":24,"_278":-5},"ENV",{"_230":231,"_232":233,"_234":16,"_235":236,"_237":238,"_239":240,"_241":242,"_243":244,"_245":246,"_247":248,"_249":250,"_251":252,"_253":254,"_255":256,"_257":258},"REACT_APP_SENTRY_DSN","https://586020d86f05489db63a554690acf1e9@o1398359.ingest.sentry.io/6724499","RENDER_GIT_COMMIT","811aa22498c9b0b5a47e8d778de579cdb990f332","RENDER_GIT_BRANCH","POSTHOG_API_TOKEN","phc_nmoyuAkStEZuUp69rYlg1DZgrIt19Gx0Y4Hwf8tGgJP","POSTHOG_API_HOST","https://wart.val.town","WEB_API_TEMPLATE","https://{val}.web.val.run","APP_URL","https://www.val.town","MODULE_URL","https://esm.town","VANITY_WEB_API_TEMPLATE","https://{label}.val.run/","DENOLS_URL","https://lsp.val.town","NODE_ENV","production","CLOUDFLARE_TURNSTILE_SITE_KEY","0x4AAAAAACtaIZJH7s9rBMZ6","GOOGLE_CLIENT_ID","875989696899-jtsqkhlbdv5jrlsk8631p7ipjg3c6o62.apps.googleusercontent.com","STRIPE_PUBLISHABLE_KEY","pk_live_51N2zvWEpZTTLipIkVEwXrUG9AT0yeOOEYxszarZT1jpsZV58Ly6wlg3SltZpHN26CUalOBmUSY7adQRQiSkCZz2500qSXNkf8Y","API_URL","https://api.val.town",[],"preferencesKeybindings","default","preferencesTheme","light","preferencesFixers","preferencesCopilot","preferencesSelectionAi","preferencesCloseBrackets","preferencesChatPanelState","preferencesDprint","preferencesDenofmt","notificationCount","flagDenols","isBusinessOrgMember","businessOrgHandle","isBusinessOrgAdmin","isHigherTownieTier","navCollapsed","currentOrgId"]

History · core.ts