https://verificate.ai/_next/static/chunks/pages/articles/compile-time-inference-launch-81b741bb7e294b06.js

1(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[1723],{378:(e,t,s)=>{(window.__NEXT_P=window.__NEXT_P||[]).push(["/articles/compile-time-inference-launch",function(){return s(1667)}])},1667:(e,t,s)=>{"use strict";s.r(t),s.d(t,{default:()=>h});var i=s(7876),n=s(8230),r=s.n(n),a=s(5543),o=s(8300);let l={slug:"/articles/compile-time-inference-launch",type:"NewsArticle",cta:"cti",title:"Verificate launches Compile-Time Inference at AI Infra Summit — facts first, then the decision",h1:"Verificate launches Compile-Time Inference: facts first, then the decision",description:"At AI Infra Summit in Santa Clara on 15 September 2026, Verificate launched Compile-Time Inference — the alternative to RAG. A public fact base is compiled first, the customer's own records write on top, and the combined store is the asset the institution owns. The model reads the question and phrases the answer; it never chooses the facts. What launched, the three deployments, and the evidence behind it.",datePublished:"2026-09-15",readMinutes:6,keywords:["Compile-Time Inference","alternative to RAG","retrieval-augmented generation","AI Infra Summit","Verificate","cited answers","deterministic AI decisions","sovereign AI"],citation:[{name:"Verificate launches Compile-Time Inference: facts first, then the decision — AI Infra Summit press release",url:o.uK.launchRelease},{name:"The most expensive place to do your thinking is at query time — AI Infra Summit",url:o.uK.queryTimeOpEd}],faq:[{q:"What is Compile-Time Inference?",a:"Compile-Time Inference is Verificate's alternative to RAG. Instead of retrieving passages into a prompt and letting a language model guess the answer, the facts are compiled first — a public base layer for the domain, with the customer's own records written on top — into a cited store the institution owns. At query time the system returns the stored fact, selects the highest-scoring action the records support, or stays silent when the store holds nothing. The model only reads the question and phrases the answer."},{q:"How is Compile-Time Inference different from RAG?",a:"RAG finds passages that look similar to the question and a model then guesses the next word from its own vocabulary; the files are prompt filler and the intelligence stays with whoever trains the next model. Compile-Time Inference compiles the facts before any question is asked, so identical files produce identical answers, every answer carries its source, and swapping the model does not move the cited answer."},{q:"What was shown at the launch?",a:"Three deployments of the same stack: Kevin, a legal research preview built on the public Australian legal record; a signed-video system built on the News24 live broadcast with every frame stamped and indexed as it airs; and a genomics demonstration, shown privately, built on public biomedical sources with a lab's own assays layered on under nondisclosure."},{q:"Can Compile-Time Inference run on our own infrastructure?",a:"Yes. The software runs on the customer's own machines, so production answers need not leave the building. The compiled store — public layer plus the customer's records — stays inside the customer's estate."},{q:"Where is the official launch press release?",a:'The launch press release, "Verificate launches Compile-Time Inference: facts first, then the decision", was published by AI Infra Summit on 15 September 2026 and is linked from this article.'}]};function h(){return(0,i.jsxs)(a.m7,{meta:l,children:[(0,i.jsxs)(a.P,{children:["On Tuesday 15 September 2026, at ",(0,i.jsx)(r(),{href:"/summit",className:"text-[#8CCB43] hover:underline",children:"AI Infra Summit"})," in Santa Clara, California, Verificate launched ",(0,i.jsx)(a.OH,{children:"Compile-Time Inference"}),". The official announcement was published by the Summit as a"," ",(0,i.jsx)("a",{href:o.uK.launchRelease,target:"_blank",rel:"noopener",className:"text-[#8CCB43] hover:underline",children:"press release"}),". This article is the plain-English companion: what launched, why it is built the other way round from RAG, and the evidence that was presented alongside it."]}),(0,i.jsx)(a.H2,{children:"What launched"}),(0,i.jsx)(a.P,{children:"Most enterprise AI of the last three years has the same shape. A chatbot or an agent searches the company's own files, stuffs the passages it finds into a prompt, and someone else's model produces the answer. The files are used as context. The know-how is absorbed by the model, and buyers are told that a better model means a better answer."}),(0,i.jsx)(a.P,{children:"Compile-Time Inference is the opposite stack, and it runs in a fixed order:"}),(0,i.jsx)(a.UL,{items:[(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)(a.OH,{children:"Compile a public base layer for the domain."})," Statutes and judgments, a live news feed, open biomedical records — whatever matches the task. That layer is shared."]}),(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)(a.OH,{children:"The customer's own files write on top."})," Matters, policies, holdings, internal notes. The combined store is what the institution owns."]}),(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)(a.OH,{children:"The model reads the question and phrases the answer."})," It does not choose the facts, and it is not the asset."]})]}),(0,i.jsx)(a.P,{children:"At query time the behaviour is equally fixed. If a stored fact covers the question, the system returns that fact — no chatbot required. If the question is a decision, software selects the highest-scoring action the compiled records supp

1ort: identical files, identical action. If the store holds nothing, the system is silent."}),(0,i.jsxs)(a.Pq,{children:["“The public layer gets you into the domain. The customer's data is what no one else can rent. Change the model and the cited answer should sit still. Add their files and the system should get more specific to their business. Ask something that is not in the store. You should get silence, not a story.”",(0,i.jsx)("span",{className:"block mt-2 text-white/45 text-sm",children:"— Craig Atkinson, founder and CEO, Verificate"})]}),(0,i.jsx)(a.H2,{children:"Why it is not RAG"}),(0,i.jsxs)(a.P,{children:["Retrieval-augmented generation works the other way. Software finds passages that ",(0,i.jsx)("em",{children:"look similar"})," to the question, and a model then guesses the next word from its own vocabulary. The customer's files become prompt filler; the intelligence stays with whoever trains the next model. Compile-Time Inference moves the decision off the model's vocabulary and onto the customer's data. The full argument, layer by layer, is on the"," ",(0,i.jsx)(r(),{href:"/compile-time-inference",className:"text-[#8CCB43] hover:underline",children:"Compile-Time Inference page"}),"."]}),(0,i.jsx)(a.H2,{children:"Three deployments on one rule"}),(0,i.jsx)(a.UL,{items:[(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)(a.OH,{children:"Legal — Kevin."})," Starts from the public Australian legal record; a firm adds its own matters and advice. It will not cite a case that is not in the held corpus and flags when a precedent is no longer good law. A research preview, not legal advice. ",(0,i.jsx)(r(),{href:"/kevin/workbench/",className:"text-[#8CCB43] hover:underline",children:"Open the workbench"}),"."]}),(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)(a.OH,{children:"Video — the signed-broadcast system."})," Starts from the News24 live broadcast. Each frame is stamped and indexed as it airs; a newsroom or rights holder layers its own archive and questions. Answers arrive in plain English with a link to the clip, so viewers check the claim by watching. ",(0,i.jsx)(r(),{href:"/hybrid-vlm",className:"text-[#8CCB43] hover:underline",children:"How it works"})," \xb7 ",(0,i.jsx)("a",{href:"https://hybrid-vlm.verificate.ai",target:"_blank",rel:"noopener",className:"text-[#8CCB43] hover:underline",children:"live system"}),"."]}),(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)(a.OH,{children:"Genomics — shown privately."})," Starts from public biomedical sources; a lab or company adds its own assays and notes under nondisclosure. The rule is the same: cite what the store holds, decline when it does not. ",(0,i.jsx)(r(),{href:"/genomics",className:"text-[#8CCB43] hover:underline",children:"Genomics"}),"."]})]}),(0,i.jsx)(a.H2,{children:"The evidence presented with it"}),(0,i.jsxs)(a.P,{children:["The week after the Summit, Craig Atkinson presents an oral paper, ",(0,i.jsx)(a.OH,{children:"“Intervention Bias as Disparate Impact”"}),", at Brown University's ML Symposium on Justice in Healthcare, Education, and Public Policy. It measures what happens when a chatbot, rather than a compiled store, decides which students to flag for help."]}),(0,i.jsx)(a.P,{children:"On a public Open University data set, a commercial RAG-style system falsely flagged disabled students 63.3% of the time and non-disabled students 32.8% of the time — an adverse-impact ratio of 0.55 against the common 0.80 four-fifths threshold. The gap held when the flags were scored against who actually passed the course, and telling the model to be more careful simply flipped the error: it then missed students who needed help. Policies compiled from labelled outcomes cut the gap and gave the same student the same advice every time."}),(0,i.jsxs)(a.P,{children:["The paper and the product are one argument: ",(0,i.jsx)(a.OH,{children:"the files decide; the model does not."})," The underlying research is the"," ",(0,i.jsx)("a",{href:o.A.arxivEavdt,target:"_blank",rel:"noopener",className:"text-[#8CCB43] hover:underline",children:"EAV-DT paper on arXiv"}),"; the decision layer is described on the"," ",(0,i.jsx)(r(),{href:"/compile-time-inference#decision-layer",className:"text-[#8CCB43] hover:underline",children:"architecture section"}),"."]}),(0,i.jsx)(a.H2,{children:"The long game: a public fact commons"}),(0,i.jsx)(a.P,{children:"Atkinson framed the destination as a public fact commons — closer to Wikipedia than to a foundation model. People and institutions contribute and maintain cited facts across history, law, culture, politics and science; Compile-Time Inference serves them; open-weight models only read the question and write the sentence. That is how a small onshore model can beat a frontier chatbot on re

1call: the large model is guessing from weights trained last year, while the commons is the current, cited record. Any country could start with its own layer."}),(0,i.jsxs)(a.Pq,{children:["“Wikipedia already proved strangers can maintain a record of the world. We want that record to be compiled, cited and refuse when it is empty, then spoken by whatever open model you have on the desk. You do not out-train OpenAI. You out-remember it.”",(0,i.jsx)("span",{className:"block mt-2 text-white/45 text-sm",children:"— Craig Atkinson"})]}),(0,i.jsx)(a.H2,{children:"Read more"}),(0,i.jsx)(a.UL,{items:[(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)("a",{href:o.uK.launchRelease,target:"_blank",rel:"noopener",className:"text-[#8CCB43] hover:underline",children:"The launch press release"})," — AI Infra Summit, 15 September 2026."]}),(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)("a",{href:o.uK.queryTimeOpEd,target:"_blank",rel:"noopener",className:"text-[#8CCB43] hover:underline",children:"“The most expensive place to do your thinking is at query time”"})," — the infrastructure argument, by Craig Atkinson; our ",(0,i.jsx)(r(),{href:"/articles/query-time-is-the-most-expensive-place-to-think",className:"text-[#8CCB43] hover:underline",children:"companion article"}),"."]}),(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)("a",{href:"/Verificate_Compile-Time_Inference_Brochure.pdf",download:!0,className:"text-[#8CCB43] hover:underline",children:"The Compile-Time Inference brochure (PDF)"})," — the four-page product briefing."]}),(0,i.jsxs)(i.Fragment,{children:[(0,i.jsx)(r(),{href:"/summit",className:"text-[#8CCB43] hover:underline",children:"Verificate at AI Infra Summit"})," — what we are showing in Santa Clara."]})]})]})}},5543:(e,t,s)=>{"use strict";s.d(t,{Cy:()=>f,H2:()=>m,OH:()=>p,P:()=>u,Pq:()=>w,UL:()=>x,m7:()=>g});var i=s(7876),n=s(8230),r=s.n(n),a=s(8419),o=s(6075),l=s(6887),h=s(1298),c=s(8558),d=s(8300);function m(e){let{children:t}=e;return(0,i.jsx)("h2",{className:"mt-12 text-2xl md:text-[28px] font-bold text-white tracking-tight",children:t})}function u(e){let{children:t}=e;return(0,i.jsx)("p",{className:"mt-5 text-[15.5px] text-white/60 leading-relaxed",children:t})}function p(e){let{children:t}=e;return(0,i.jsx)("strong",{className:"text-white font-semibold",children:t})}function x(e){let{items:t}=e;return(0,i.jsx)("ul",{className:"mt-5 space-y-2.5",children:t.map((e,t)=>(0,i.jsxs)("li",{className:"flex gap-3 text-[15.5px] text-white/60 leading-relaxed",children:[(0,i.jsx)("span",{className:"mt-[9px] w-1.5 h-1.5 rounded-full bg-[#8CCB43] shrink-0"}),(0,i.jsx)("span",{children:e})]},t))})}function f(e){let{label:t,code:s}=e;return(0,i.jsxs)("div",{className:"mt-6 rounded-2xl border border-white/[0.08] bg-[#0C0F0A] overflow-hidden",children:[(0,i.jsx)("div",{className:"px-5 py-2.5 border-b border-white/[0.06] font-mono text-xs text-white/45",children:t}),(0,i.jsx)("pre",{className:"px-5 py-4 overflow-x-auto text-[13px] leading-relaxed font-mono text-white/80",children:(0,i.jsx)("code",{children:s})})]})}function w(e){let{children:t}=e;return(0,i.jsx)("div",{className:"mt-6 rounded-2xl border border-[#2C3D1B] bg-[#12190C] px-6 py-5 text-[15px] text-white/70 leading-relaxed",children:t})}function g(e){var t,s,n,m,u;let{meta:p,children:x}=e,f=[{"@context":"https://schema.org","@type":null!=(u=p.type)?u:"TechArticle",headline:p.h1,description:p.description,url:"".concat(d.W6).concat(p.slug),datePublished:p.datePublished,dateModified:p.datePublished,author:p.author?{"@type":"Person",name:p.author.name,...p.author.url?{url:p.author.url}:{},worksFor:{"@type":"Organization",name:"Verificate Pty Ltd",url:d.W6}}:{"@type":"Organization",name:"Verificate Pty Ltd",url:d.W6},publisher:{"@type":"Organization",name:"Verificate Pty Ltd",url:d.W6},mainEntityOfPage:"".concat(d.W6).concat(p.slug),...(null==(n=p.keywords)?void 0:n.length)?{keywords:p.keywords.join(", ")}:{},...(null==(m=p.citation)?void 0:m.length)?{citation:p.citation.map(e=>({"@type":"CreativeWork",name:e.name,url:e.url})),isBasedOn:p.citation.map(e=>e.url)}:{}}];return(null==(t=p.faq)?void 0:t.length)&&f.push((0,d.P$)(p.faq)),(0,i.jsxs)("div",{className:"bg-[#080A08] text-white/85 min-h-screen antialiased",children:[(0,i.jsx)(c.A,{title:p.title,path:p.slug,description:p.description,image:p.image,type:"article",jsonLd:f}),(0,i.jsx)(h.Nv,{}),(0,i.jsxs)("main",{id:"main-content",children:[(0,i.jsx)(h.wn,{className:"pt-28 sm:pt-36 pb-4",children:(0,i.jsxs)("div",{className:"max-w-3xl",children:[(0,i.jsxs)("div",{className:"flex items-center gap-3 text-white/40 font-mono text-xs",children:[(0,i.jsx)(r(),{href:"/articles",className:"text-[#8CCB43] hover:underline",children:"Articles"}),(0,i.jsx)("span",{children:"\xb7"}),(0,i.jsx)(r(),{href:"/news",className:"hover:text-[#8CCB43] hover:underline",children:"News & press"}),(0,i.jsx)("span",{children:"\xb7"}),(0,i.jsx)("span",{children:new Date(p.datePublished).toLocaleDateString("en-AU",{year:"numeric",month:"short",day:"numeric"})}),(0,i.jsx)("span",{children:"\xb7"}),(0,i.jsxs)("span",{children:[p.readMinutes," min read"]})]}),(0,i.jsx)("h1",{className:"mt-5 text-3xl sm:text-4xl md:text-[44px] font-bold tracking-tight text-white leading-tight",children:p.h1})]})}),(0,i.jsx)(h.wn,{className:"pb-10",children:(0,i.jsx)("article",{className:"max-w-3xl",children:x})}),(null==(s=p.faq)?void 0:s.length)?(0,i.jsx)(h.wn,{className:"py-10 border-t border-white/[0.06]",children:(0,i.jsxs)("div",{className:"max-w-3xl",children:[(0,i.jsx)(h.YZ,{children:"FAQ"}),(0,i.jsx)("div",{className:"mt-6 space-y-6",children:p.faq.map(e=>(0,i.jsxs)("div",{children:[(0,i.jsx)("h3",{className:"font-bold text-white",children:e.q}),(0,i.jsx)("p",{className:"mt-2 text-[15px] text-white/55 leading-relaxed",children:e.a})]},e.q))})]})}):null,"cti"===p.cta?(0,i.jsx)(h.wn,{className:"py-16",children:(0,i.jsxs)("div",{className:"rounded-3xl border border-[#2C3D1B] bg-gradient-to-b from-[#12190C] to-[#0B0F0A] px-8 md:px-14 py-12 text-center",children:[(0,i.jsx)("h2",{className:"text-2xl md:text-3xl font-bold text-white tracking-tight",children:"Bring a question your AI needs to get right."}),(0,i.jsx)("p",{className:"mt-4 text-white/60 max-w-2xl mx-auto",children:"Compile-Time Inference prepares your records before questions arrive, so supported answers and decisions can be checked against their evidence. Start with the questions where a wrong answer costs the most."}),(0,i.jsxs)("div",{className:"mt-8 flex flex-wrap justify-center gap-4",children:[(0,i.jsxs)(r(),{href:"/compile-time-inference",className:"inline-flex items-center gap-2 px-5 py-3 rounded-lg bg-[#8CCB43] hover:bg-[#7cbb37] text-[#0A0D0A] font-semibold transition-colors",children:["See Compile-Time Inference ",(0,i.jsx)(a.A,{className:"w-4 h-4"})]}),(0,i.jsxs)("a",{href:"/Verificate_Compile-Time_Inference_Brochure.pdf",download:"Verificate_Compile-Time_Inference_Brochure.pdf",className:"inline-flex items-center gap-2 px-5 py-3 rounded-lg border border-white/15 hover:border-[#8CCB43]/50 text-white font-semibold transition-colors",children:[(0,i.jsx)(o.A,{className:"w-4 h-4"})," Download the brochure (PDF)"]}),(0,i.jsxs)(r(),{href:"/contact?interest=compile-time-inference",className:"inline-flex items-center gap-2 px-5 py-3 rounded-lg border border-white/15 hover:border-[#8CCB43]/50 text-white font-semibold transition-colors",children:["Talk to us ",(0,i.jsx)(a.A,{className:"w-4 h-4"})]})]})]})}):(0,i.jsx)(h.wn,{className:"py-16",children:(0,i.jsxs)("div",{className:"rounded-3xl border border-[#2C3D1B] bg-gradient-to-b from-[#12190C] to-[#0B0F0A] px-8 md:px-14 py-12 text-center",children:[(0,i.jsx)("h2",{className:"text-2xl md:text-3xl font-bold text-white tracking-tight",children:"Put a real gate on your AI output."}),(0,i.jsx)("p",{className:"mt-4 text-white/60 max-w-2xl mx-auto",children:"Verificate Gate (available via MCP) runs deterministic checks plus an engineering-quality review on every AI output — in Claude Code, Cursor, Windsurf or any MCP client. 30-day free trial, no card required."}),(0,i.jsxs)("div",{className:"mt-8 flex flex-wrap justify-center gap-4",children:[(0,i.jsxs)(r(),{href:"/auth/signup",className:"inline-flex items-center gap-2 px-5 py-3 rounded-lg bg-[#8CCB43] hover:bg-[#7cbb37] text-[#0A0D0A] font-semibold transition-colors",children:[(0,i.jsx)(l.A,{className:"w-4 h-4"})," Start 30-day free trial"]}),(0,i.jsxs)(r(),{href:"/gate",className:"inline-flex items-center gap-2 px-5 py-3 rounded-lg border border-white/15 hover:border-[#8CCB43]/50 text-white font-semibold transition-colors",children:["See how the Gate works ",(0,i.jsx)(a.A,{className:"w-4 h-4"})]})]})]})})]})]})}}},e=>{e.O(0,[8096,8799,636,8792],()=>e(e.s=378)),_N_E=e.O()}]);