1(self.webpackChunk_N_E=self.webpackChunk_N_E||[]).push([[7797],{3409:(e,t,s)=>{(window.__NEXT_P=window.__NEXT_P||[]).push(["/docs",function(){return s(9976)}])},9976:(e,t,s)=>{"use strict";s.r(t),s.d(t,{default:()=>f});var a=s(7876),n=s(8230),r=s.n(n),i=s(57),c=s(3291),o=s(7204),l=s(8419),d=s(1298),h=s(8558),m=s(3741),u=s(1146);let p=[i.A,c.A,o.A],x=["Assisted evaluation â scope, sources and success criteria are agreed with you first.","Self-service â create an account, add the connection to your AI tool, and run a check.","Licensed deployment â a container image you run in your own environment."];function f(){return(0,a.jsxs)("div",{className:"vf-page",children:[(0,a.jsx)(h.A,{title:"Documentation â Compile-Time Inference, Gate and Helix | Verificate",path:"/docs",description:"Product documentation for Verificate Compile-Time Inference, Gate and Helix: what each product does, the interfaces you can rely on, how they behave at their limits, and how to evaluate them."}),(0,a.jsx)(d.Nv,{}),(0,a.jsxs)("main",{id:"main-content",children:[(0,a.jsxs)(d.wn,{className:"pt-28 sm:pt-36 pb-12",children:[(0,a.jsx)(d.YZ,{children:"Documentation"}),(0,a.jsxs)("h1",{className:"mt-6 text-4xl sm:text-6xl leading-[1.06] tracking-tight font-semibold text-white max-w-4xl",children:["Three products.",(0,a.jsx)("br",{}),(0,a.jsx)("span",{className:"text-[#b2df85]",children:"Three places to start."})]}),(0,a.jsx)("p",{className:"mt-7 text-lg sm:text-xl text-[#ced7c5] leading-relaxed max-w-3xl",children:"Each product is documented on its own, because each can be bought and used on its own. These pages describe what you can integrate with, observe and rely on â including where each product stops."})]}),(0,a.jsx)(d.wn,{className:"pb-16",children:(0,a.jsx)("div",{className:"grid gap-5 lg:grid-cols-3",children:u.eB.map((e,t)=>{let s=p[t];return(0,a.jsxs)(r(),{href:e.href,className:"vf-product group ".concat(0===t?"vf-product-featured":""),children:[(0,a.jsx)(s,{"aria-hidden":"true",className:"w-7 h-7 text-[#a5d875]"}),(0,a.jsx)("h2",{className:"mt-6 text-2xl font-semibold text-white",children:e.short}),(0,a.jsx)("p",{className:"vf-copy mt-4 flex-1",children:e.blurb}),(0,a.jsxs)("p",{className:"mt-5 text-sm text-[#bac3b5]",children:[(0,a.jsx)("span",{className:"text-white font-semibold",children:"How you start: "}),x[t]]}),(0,a.jsxs)("span",{className:"mt-7 flex items-center gap-2 text-sm font-semibold text-[#b2df85]",children:["Read the ",e.short," docs",(0,a.jsx)(l.A,{"aria-hidden":"true",className:"w-4 h-4"})]})]},e.href)})})}),(0,a.jsxs)(d.wn,{className:"vf-section border-t border-[#293622]",children:[(0,a.jsx)(m.DZ,{eyebrow:"What these pages cover",title:"Useful to evaluate. Not a recipe to copy.",children:(0,a.jsx)("p",{children:"Public documentation explains supported tasks, interfaces, operating behaviour, limits and how to run a fair evaluation. It does not publish the internal methods that make the products work. Approved evaluators can request deeper detail under an appropriate agreement."})}),(0,a.jsx)("div",{className:"grid md:grid-cols-3 gap-5 mt-9",children:[["Looking for proof?","See which measurements support which claims, and what each one does not establish.","/evidence","Evidence & evaluation"],["Comparing with RAG?","Plain-language guides to where retrieval helps, where it falls short and what to test.","/articles/rag-vs-compile-time-inference","RAG vs Compile-Time Inference"],["Security questions?","Deployment boundaries, data handling and how to reach the security team.","/security","Security information"]].map(e=>{let[t,s,n,i]=e;return(0,a.jsxs)(r(),{href:n,className:"vf-card group",children:[(0,a.jsx)("h3",{className:"text-lg font-semibold text-white",children:t}),(0,a.jsx)("p",{className:"vf-copy mt-3",children:s}),(0,a.jsxs)("span",{className:"mt-5 inline-flex items-center gap-2 text-sm font-semibold text-[#b2df85]",children:[i,(0,a.jsx)(l.A,{"aria-hidden":"true",className:"w-4 h-4"})]})]},n)})}),(0,a.jsxs)("div",{className:"mt-10 flex flex-wrap gap-3",children:[(0,a.jsx)(m.rc,{href:"/contact",children:"Ask a question"}),(0,a.jsx)(m.rc,{href:"/research",secondary:!0,children:"Published research"})]})]})]})]})}}},e=>{e.O(0,[8096,8799,1146,636,8792],()=>e(e.s=3409)),_N_E=e.O()}]);
Line numbers count LF bytes from the start of the resource, as the search results do. Vendor segments are library code the classifier recognised; they are stored but not indexed. Bytes are shown as Latin1 characters, one per byte.