1"use strict";(self.webpackChunkengula_website=self.webpackChunkengula_website||[]).push([["3745"],{3656:function(e,n,i){i.r(n),i.d(n,{default:()=>a});var r=i(2676),t=i(453);function o(e){let n=Object.assign({h1:"h1",a:"a",p:"p",code:"code",h2:"h2",table:"table",thead:"thead",tr:"tr",th:"th",tbody:"tbody",td:"td",ul:"ul",li:"li",strong:"strong",ol:"ol"},(0,t.ah)(),e.components);return(0,r.jsxs)(r.Fragment,{children:[(0,r.jsxs)(n.h1,{id:"engula-codeproof",children:["Engula CodeProof",(0,r.jsx)(n.a,{className:"header-anchor","aria-hidden":"true",href:"#engula-codeproof",children:"#"})]}),"\n",(0,r.jsx)(n.p,{children:"Engula CodeProof is a complete, Docker-runnable verification suite for validating the compatibility, client ecosystem, performance, stability, migration paths, platform matrix, and high-availability behavior of engula-server on a local machine or test environment."}),"\n",(0,r.jsxs)(n.p,{children:["It is not a single-purpose tool, but rather orchestrates the official Redis test suite, community client tests, benchmarking tools, and operations scenarios into a repeatable verification workflow. Each subitem generates its own ",(0,r.jsx)(n.code,{children:"report.html"}),", making it easy for evaluators, delivery teams, and customers to review the results on site."]}),"\n",(0,r.jsxs)(n.h2,{id:"when-to-use-it",children:["When to Use It",(0,r.jsx)(n.a,{className:"header-anchor","aria-hidden":"true",href:"#when-to-use-it",children:"#"})]}),"\n",(0,r.jsxs)(n.table,{children:["\n",(0,r.jsxs)(n.thead,{children:["\n",(0,r.jsxs)(n.tr,{children:["\n",(0,r.jsx)(n.th,{children:"Scenario"}),"\n",(0,r.jsx)(n.th,{children:"Recommendation"}),"\n"]}),"\n"]}),"\n",(0,r.jsxs)(n.tbody,{children:["\n",(0,r.jsxs)(n.tr,{children:["\n",(0,r.jsx)(n.td,{children:"Quickly confirm Redis command compatibility for the first time"}),"\n",(0,r.jsxs)(n.td,{children:["Prefer ",(0,r.jsx)(n.a,{href:"/en/docs/tools/kernelcompat",children:"Engula KernelCompat"})]}),"\n"]}),"\n",(0,r.jsxs)(n.tr,{children:["\n",(0,r.jsx)(n.td,{children:"Evaluate memory savings on real RDB data"}),"\n",(0,r.jsxs)(n.td,{children:["Prefer ",(0,r.jsx)(n.a,{href:"/en/docs/tools/valuesight",children:"Engula ValueSight"})]}),"\n"]}),"\n",(0,r.jsxs)(n.tr,{children:["\n",(0,r.jsx)(n.td,{children:"Reproduce throughput, latency, or RDB save/load metrics"}),"\n",(0,r.jsxs)(n.td,{children:["Use ",(0,r.jsx)(n.a,{href:"/en/docs/tools/autobench",children:"Engula AutoBench"})," or ",(0,r.jsx)(n.a,{href:"/en/docs/tools/rdbperf",children:"Engula RDBPerf"})]}),"\n"]}),"\n",(0,r.jsxs)(n.tr,{children:["\n",(0,r.jsx)(n.td,{children:"Run a PoC, version acceptance, or on-site customer reproduction"}),"\n",(0,r.jsx)(n.td,{children:"Use Engula CodeProof"}),"\n"]}),"\n"]}),"\n"]}),"\n",(0,r.jsxs)(n.h2,{id:"coverage",children:["Coverage",(0,r.jsx)(n.a,{className:"header-anchor","aria-hidden":"true",href:"#coverage",children:"#"})]}),"\n",(0,r.jsx)(n.p,{children:"CodeProof organizes verification items by suite:"}),"\n",(0,r.jsxs)(n.ul,{children:["\n",(0,r.jsxs)(n.li,{children:[(0,r.jsx)(n.strong,{children:"compat"}),": Compatibility for Redis 7.2 commands, protocol, Lua, transactions, Pub/Sub, Stream, persistence, ACL, CONFIG, modules, and more."]}),"\n",(0,r.jsxs)(n.li,{children:[(0,r.jsx)(n.strong,{children:"client"}),": Compatibility for community client libraries such as Jedis, redis-py, go-redis, and node-redis."]}),"\n",(0,r.jsxs)(n.li,{children:[(0,r.jsx)(n.strong,{children:"perf"}),": Throughput, latency, CPU, memory efficiency, RDB save/load, batch requests, and performance for non-string data types."]}),"\n",(0,r.jsxs)(n.li,{children:[(0,r.jsx)(n.strong,{children:"stability"}),": Memory leak detection, long-run stability, crash recovery, BGSAVE stability, and more."]}),"\n",(0,r.jsxs)(n.li,{children:[(0,r.jsx)(n.strong,{children:"migration"}),": RDB/AOF import, online migration, and migration result validation."]}),"\n",(0,r.jsxs)(n.li,{children:[(0,r.jsx)(n.strong,{children:"platform"}),": Platform matrix covering Linux distributions, CPU architectures, containers, and more."]}),"\n",(0,r.jsxs)(n.li,{children:[(0,r.jsx)(n.strong,{children:"ha"}),": Sentinel, Cluster, replication, reshard, hybrid deployment, and network partition recovery."]}),"\n"]}),"\n",(0,r.jsxs)(n.h2,{id:"recommended-path",children:["Recommended Path",(0,r.jsx)(n.a,{className:"header-anchor","aria-hidden":"true",href:"#recommended-path",children:"#"})]}),"\n",(0,r.jsxs)(n.ol,{children:["\n",(0,r.jsxs)(n.li,{children:["First read the ",(0,r.jsx)(n.a,{href:"/en/docs/codeproof/usage-guide",children:"Usage Guide"})," to enter the TUI using the Docker image and run through a compat subitem."]}),"\n",(0,r.jsxs)(n.li,{children:["Then choose a suite based on your verification goal, for example running only ",(0,r.jsx)(n.code,{children:"compat"}),", ",(0,r.jsx)(n.code,{children:"perf"}),", or ",(0,r.jsx)(n.code,{children:"ha"}),"."]}),"\n",(0,r.jsxs)(n.li,{children:["Archive the generated ",(0,r.jsx)(n.code,{children:"report.html"})," as acceptance evidence."]}),"\n",(0,r.jsx)(n.li,{children:"For continuous regression, combine the open-source project documentation to integrate the command line, results database, or Web Dashboard."}),"\n"]}),"\n",(0,r.jsxs)(n.h2,{id:"relationship-to-the-live-verification-dashboard",children:["Relationship to the Live Verification Dashboard",(0,r.jsx)(n.a,{className:"header-anchor","aria-hidden":"true",href:"#relationship-to-the-live-verification-dashboard",children:"#"})]}),"\n",(0,r.jsxs)(n.p,{children:["The website's ",(0,r.jsx)(n.a,{href:"/en/proof-live",children:"Live Verification"})," page displays the continuously running verification results from a public environment. The CodeProof documentation explains how to run the same kind of verification workflow in your own environment and generate auditable reports."]}),"\n",(0,r.jsx)(n.p,{children:"The public dashboard is ideal for quickly checking current results; local CodeProof is ideal for reproduction, parameter tuning, PoC, and delivery acceptance."}),"\n",(0,r.jsxs)(n.h2,{id:"getting-started",children:["Getting Started",(0,r.jsx)(n.a,{className:"header-anchor","aria-hidden":"true",href:"#getting-started",children:"#"})]}),"\n",(0,r.jsxs)(n.ul,{children:["\n",(0,r.jsx)(n.li,{children:(0,r.jsx)(n.a,{href:"/en/docs/codeproof/usage-guide",children:"Read the full Usage Guide"})}),"\n",(0,r.jsx)(n.li,{children:(0,r.jsx)(n.a,{href:"/en/proof-live",children:"View the public Live Verification"})}),"\n"]})]})}function s(){let e=arguments.length>0&&void 0!==arguments[0]?arguments[0]:{},{wrapper:n}=Object.assign({},(0,t.ah)(),e.components);return n?(0,r.jsx)(n,{...e,children:(0,r.jsx)(o,{...e})}):o(e)}let a=s;s.__RSPRESS_PAGE_META={},s.__RSPRESS_PAGE_META["en%2Fdocs%2Fcodeproof%2Findex.md"]={toc:[{text:"When to Use It",id:"when-to-use-it",depth:2},{text:"Coverage",id:"coverage",depth:2},{text:"Recommended Path",id:"recommended-path",depth:2},{text:"Relationship to the Live Verification Dashboard",id:"relationship-to-the-live-verification-dashboard",depth:2},{text:"Getting Started",id:"getting-started",depth:2}],title:"Engula CodeProof",headingTitle:"Engula CodeProof",frontmatter:{}}}}]);
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.