VAREXISPilot / Licensing
Menu

VAREXIS.tech: public definition

Last updated:

Legal entity

Name
VAREXIS Ltd
Company number
17067671
Registration
Registered in England and Wales
VAT number
525 3075 09
Registered office
Finlayson & Co, Whitby Court, Abbey Road, Shepley, Huddersfield, West Yorkshire, HD8 8EL, England
Canonical site
https://varexis.tech

Purpose and relationship

VAREXIS.tech presents the technology portfolio of VAREXIS Ltd, with public definitions, evidence context and routes for pilot and licensing enquiries.

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.

Technology portfolio

Nyxgrove-Forge
Operator-controlled security tooling.
BDAS
Selective execution for high-volume analytical workloads.
AURIC
Refusal-first structural detection.
V-INDEX
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.

V-INDEX v0.8b: local validation

Local / disposable-integration validated build · authenticated service implemented · not publicly deployed

  • Maintained, not static.
  • Versioned, not overwritten.
  • Evidence-linked, not confidence theatre.
  • Machine-queryable, not merely human-readable.

Implemented local capabilities

  • Versioned claim and source records
  • Explicit evidence bindings
  • Verification tiers
  • Evidence posture
  • Contradiction retention
  • Revision history
  • Dependency-impact traversal
  • Deterministic index snapshots
  • Ed25519 signed verification receipts
  • Historical-vs-current status comparison
  • Deterministic machine verification bundles
  • Bounded source-maintenance scheduling
  • Controlled HTTPS source acquisition
  • Source-change detection
  • Revalidation queues
  • Signed acquisition-aware current-state attestations
  • Demand and prioritisation records
  • Verification request lifecycle
  • PostgreSQL persistence
  • Tenant-bound authenticated service identity
  • Credential scopes, rate admission and access audit

Verification states

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.

Verification tiers
Declared · Source checked · Independently tested
Evidence postures
Unbound · Partial · Bound · Contradicted · Halted

Observation interface

Local read-oriented and authenticated service interfaces have been implemented and validated within their stated scopes. No public V-INDEX runtime API is currently offered.

Validation evidence

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. Internal/local and disposable integration evidence only. This is not production deployment validation, independent verification or certification.

Authority boundary

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.

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.

Evidence and evaluation context

Programme relationships

NVIDIA Inception

Membership. VAREXIS Ltd is an NVIDIA Inception program member.

UKRI AI Research Resource (AIRR) · Isambard-AI

Awarded compute / access. Compute access awarded through the UKRI AI Research Resource for BDAS evaluation on Isambard-AI.

Contact and pilot / licensing

Authority boundaries

  • 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.

Canonical page map

Discovery resources