Skip to research content (Press Enter)

Open Science Commitment

NOVVOR Research operates under the principle that software systems research must be verifiable by independent researchers and practitioners. Private claims of performance or correctness without inspectable code and reproducible benchmarks are treated as unverified hypotheses.

A solution that only works inside a single proprietary environment is internal tooling. A solution that generalizes into specifications and open runtimes can become infrastructure.

Release Policy

We do not publish placeholder repositories or speculative code skeletons. Repositories transition from internal evaluation testbeds to public GitHub releases under permissive open-source licenses (primarily Apache-2.0 or MIT) once they meet three criteria:

  1. Reproducible Benchmarks: Complete test harnesses capable of executing locally to verify published latency and throughput claims.
  2. Formal Specification Conformance: Exact mathematical or relational schema definitions accompanying the implementation.
  3. Documented Failure Modes: Explicit cataloging of known edge cases, partition behavior, and latency trade-offs.

Repository Catalog

novvor/integrity-engine
Prototype

Deterministic out-of-process verification engine evaluating invariant proofs, causal dependency graphs, and state transition certificates across distributed services.

Language Rust (Core) / TypeScript (SDK)
License Apache-2.0
Originating Research NR-0001: Verifiable Invariants
Status Staged for public release upon benchmark audit
novvor/invariant-spec-schema
Specification

Formal JSON Schema and AST definitions for expressing relational invariants across disparate storage engines and message queues.

Language JSON Schema / TypeScript
License Apache-2.0
Originating Research NR-0001: Verifiable Invariants
Status Draft v0.3 available in research dossier