{"legalEntity":{"name":"VAREXIS Ltd","companyNumber":"17067671","registration":"Registered in England and Wales","vatNumber":"525 3075 09","registeredOffice":"Finlayson & Co, Whitby Court, Abbey Road, Shepley, Huddersfield, West Yorkshire, HD8 8EL, England"},"canonicalUrl":"https://varexis.tech","purpose":"VAREXIS.tech presents the technology portfolio of VAREXIS Ltd, with public definitions, evidence context and routes for pilot and licensing enquiries.","relationshipToVarexisOrg":"VAREXIS.tech is the technology site of VAREXIS Ltd. VAREXIS.org is the organisation site. The two sites are independent; this site does not connect to VAREXIS.org operational systems.","technologies":[{"name":"Nyxgrove-Forge","definition":"Operator-controlled security tooling.","url":"https://varexis.tech/technologies/forge"},{"name":"BDAS","definition":"Selective execution for high-volume analytical workloads.","url":"https://varexis.tech/technologies/bdas"},{"name":"AURIC","definition":"Refusal-first structural detection.","url":"https://varexis.tech/technologies/auric"},{"name":"V-INDEX","version":"0.8b","status":"Local / disposable-integration validated build · authenticated service implemented · not publicly deployed","definition":"V-INDEX is a maintained, source-linked verification index of claims, evidence, conditions and revisions that humans or machines can query before relying on information.","principles":["Maintained, not static.","Versioned, not overwritten.","Evidence-linked, not confidence theatre.","Machine-queryable, not merely human-readable."],"capabilityGroups":[{"name":"Records and evidence","capabilities":["Versioned claim and source records","Explicit evidence bindings","Verification tiers","Evidence posture","Contradiction retention","Revision history"]},{"name":"History and verification","capabilities":["Dependency-impact traversal","Deterministic index snapshots","Ed25519 signed verification receipts","Historical-vs-current status comparison","Deterministic machine verification bundles"]},{"name":"Maintenance and acquisition","capabilities":["Bounded source-maintenance scheduling","Controlled HTTPS source acquisition","Source-change detection","Revalidation queues","Signed acquisition-aware current-state attestations"]},{"name":"Requests and service boundary","capabilities":["Demand and prioritisation records","Verification request lifecycle","PostgreSQL persistence","Tenant-bound authenticated service identity","Credential scopes, rate admission and access audit"]}],"architecture":["Source","Evidence binding","Claim","Assessment","Dependency graph","Snapshot","Signed historical receipt","Maintenance / acquisition","Demand / request","Authenticated service","Machine query"],"verificationTiers":[{"name":"Declared","description":"An assertion recorded without independent source checking."},{"name":"Source checked","description":"An assertion checked against attributable source material."},{"name":"Independently tested","description":"Relevant independent evidence or testing recorded within the claim’s scope."}],"evidencePostures":["Unbound","Partial","Bound","Contradicted","Halted"],"stateSeparation":"Verification tier describes the recorded assessment. Evidence posture describes the claim’s relationship to evidence. Claim lifecycle, source-maintenance state, request state and outstanding revalidation remain separate dimensions.","authorityBoundaries":["V-INDEX informs reliance. It does not authorise action.","Authentication establishes caller identity and permitted API operations. It does not establish evidence truth, claim validity or authority to act.","Cryptographic authenticity does not establish truth, correctness or current validity."],"observationApi":{"implementation":"Local read-oriented and authenticated service interfaces have been implemented and validated within their stated scopes.","publicAvailability":"No public V-INDEX runtime API is currently offered."},"qualificationContract":{"operation":"qualify_workload","status":"Contract published; local qualification module additive to the supplied v0.8b codebase; public runtime not deployed.","ard":"/.well-known/ard.json","openapi":"/openapi/index-v1.json","querySchema":"/schemas/index-query-v1.json","responseSchema":"/schemas/index-response-v1.json","recordSchema":"/schemas/index-record-v1.json","authorityBoundary":"VAREXIS INDEX informs evidence reliance; it does not grant authority to deploy or act."},"validation":{"statement":"V-INDEX v0.8b completed 793/793 local tests; disposable PostgreSQL 18.6 validation completed 45/45 on the fresh 0001→0002→0003 path and 43/43 on the controlled 0001+0002→0003 upgrade path.","scope":"Internal/local and disposable integration evidence only. This is not production deployment validation, independent verification or certification."},"url":"https://varexis.tech/technologies/v-index"}],"evidence":{"posture":"Public statements are bounded by available evidence. Technology descriptions and artwork do not establish measured performance, production readiness or suitability for a particular deployment. Evaluation results must be read with their methods, conditions and limitations.","url":"https://varexis.tech/evidence"},"programmes":[{"name":"NVIDIA Inception","relationship":"Membership","description":"VAREXIS Ltd is an NVIDIA Inception program member.","url":"https://varexis.tech/programmes#nvidia-inception"},{"name":"UKRI AI Research Resource (AIRR) · Isambard-AI","relationship":"Awarded compute / access","description":"Compute access awarded through the UKRI AI Research Resource for BDAS evaluation on Isambard-AI.","url":"https://varexis.tech/programmes#ukri-airr"}],"contact":{"general":"mailto:contact@varexis.org","pilotLicensing":"mailto:licensing@varexis.org?subject=Pilot%20%2F%20Licensing","url":"https://varexis.tech/contact"},"authorityBoundaries":["Technology pages provide public summaries, not implementation specifications or proprietary mechanisms.","Programme membership and compute access do not imply product endorsement, certification or commercial partnership.","Pilot scope, access and licensing terms require direct agreement with VAREXIS Ltd. This site does not grant a software licence or access to a deployed service."],"pages":[{"name":"Home","url":"https://varexis.tech/"},{"name":"Technologies","url":"https://varexis.tech/technologies"},{"name":"Nyxgrove-Forge","url":"https://varexis.tech/technologies/forge"},{"name":"BDAS","url":"https://varexis.tech/technologies/bdas"},{"name":"AURIC","url":"https://varexis.tech/technologies/auric"},{"name":"V-INDEX","url":"https://varexis.tech/technologies/v-index"},{"name":"Evidence","url":"https://varexis.tech/evidence"},{"name":"Approach","url":"https://varexis.tech/approach"},{"name":"Programmes","url":"https://varexis.tech/programmes"},{"name":"About","url":"https://varexis.tech/about"},{"name":"Contact and pilot / licensing enquiries","url":"https://varexis.tech/contact"},{"name":"Privacy","url":"https://varexis.tech/privacy"},{"name":"Terms","url":"https://varexis.tech/terms"},{"name":"Machine / Agent information","url":"https://varexis.tech/machine"},{"name":"Quick access","url":"https://varexis.tech/scan"}],"discovery":{"html":"https://varexis.tech/machine","json":"https://varexis.tech/machine.json","llms":"https://varexis.tech/llms.txt","sitemap":"https://varexis.tech/sitemap.xml","organisation":"https://varexis.org","ard":"https://varexis.tech/.well-known/ard.json","openapi":"https://varexis.tech/openapi/index-v1.json","indexQuerySchema":"https://varexis.tech/schemas/index-query-v1.json","indexResponseSchema":"https://varexis.tech/schemas/index-response-v1.json","indexRecordSchema":"https://varexis.tech/schemas/index-record-v1.json"},"lastUpdated":"2026-10-02"}