Controlled research. Structured evidence. Protocol-led disclosure.
The Prodia Systems research programme is run internally under a written governance and disclosure protocol. It targets the generation of verified, reusable capability across problem families of interest to enterprise and public-sector partners.
S1+ technical evidence.
Verinex V1 reached the defined Depth-13 protocol state under a frozen experimental protocol on 28 August 2026. The result extends the demonstrated operating trajectory and provides a preserved evidence package for independent reproducibility, transfer and capability-delta testing. It is a first-reach result — not exhaustive enumeration — and has not yet been independently externally reproduced.
Featured trajectory
Depth 13
Reached by the frozen Verinex V1 engine on 28 August 2026; extends the prior controlled depth-12 trajectory.
Behaviours at Depth 13
10,282,868,571
Against a predetermined ceiling of 85,000,000,000 total behaviours. Prior depth-12 evidence showed >25M× conservative bounded reuse leverage.
Verification posture
End-to-end
Engine exit 0 with sealed-adjudicator FIRST_REACH PASS; evidence and verification artefacts preserved for independent examination.
Disclosure
Protocol-led
Reviewable material is released only under a written engagement and appropriate confidentiality envelope.
What we can share, and how.
Result ledgers
Structured records of outcomes generated within the research programme, with associated verification metadata.
Honest-limits notes
Written statements of the operating envelope: where the approach applies, and where it currently does not.
Verifier posture
Explanation of the verification stance and evidence structure, without disclosing the verifier internals.
Reproducibility scope
The bounds under which a partner can expect to reproduce a demonstrated result, and the governance required to do so.
Governance envelope
The written protocol under which research is conducted and material may be released.
Engagement conditions
The confidentiality and access terms that apply to any specific review.
VERINEX Q — Governed Quantum Discovery.
VERINEX Q is the quantum-computing research extension of the Verinex platform. It is evaluating whether verifier-governed transformation, evidence retention and controlled advancement can be applied to quantum circuits, quantum intermediate representations and hybrid classical–quantum workflows. This remains a prospective research direction; no demonstrated quantum capability or result is currently claimed.
The S1+ evidence described above relates to classical Verinex work only. It does not establish any quantum capability, and it is not attributed to the independent programmes below.
Verinex quantum research direction ↗3.4Adjacent research programmesPortfolio research directions.
Prodia Systems is developing seven independent early-stage programmes alongside Verinex. Evidence and maturity are assessed independently for each programme; the S1+ evidence described above relates to Verinex only and is not attributed to any of them.
AXIOMANCE
Proof for Machine-Authored SoftwareFormal verification for AI-generated software at scale, beyond conventional testing.
Independent programme · in development
PROVERION
Assurance for Cryptographic ProversFormal verification of cryptographic provers and zero-knowledge execution environments.
Research programme · in development
MUTARYX
Controlled Recursive EngineeringCoding agents that propose changes to their own machinery under explicit evaluation gates.
Exploratory programme · in development
KERNARIS
Trusted Foundations for Autonomous SystemsMinimal, high-assurance trusted computing bases beneath autonomous and critical systems.
Architecture programme · in development
ATTESTYN
Proof-Carrying IntelligenceAI outputs accompanied by machine-checkable proofs, evidence or cryptographic commitments.
Platform concept · in development
HYPOTHARA
Verified Autonomous ScienceDiscovery loops where reproducibility, validation and governance are integral, not post-hoc.
Research programme · in development
FORMALISTRA
Industrial Formal Methods InfrastructureTooling to make mathematical correctness practical for ordinary engineering teams.
Infrastructure programme · in development
Working portfolio names; domain and trademark clearance will precede standalone launch.