Technical glossary
Definitions of structural computing and cryptographic verification terms used across HolonomiX products.
Cryptography Bill of Materials. A standards-based (CycloneDX) inventory of where cryptography exists across code, libraries, keys, certificates, and dependencies. The migration cannot start until the inventory exists.
The explicit form of data: every value stored, one number in every box. Nothing shared, nothing summarized. Each added dimension multiplies the size.
A portable verification package: signed receipts, manifests, verification outputs, public keys, and signature material, packaged for handoff to auditors, counterparties, regulators, or courts. Verifies offline.
How data, memory, and compute interact in a system: how data is structured, how often it must move, how much must be materialized, and how locally compute can act on it. The cost of a system is determined here.
A theorem prover. Used to prove structural invariants where they are provable, producing kernel-checked certificates that travel with results. Formal where it is provable, measured where it is not.
The point where moving data, not computing on it, limits the system. The industry treats it as a law of nature and builds datacenters around it. HolonomiX treats it as a property of representation.
The NIST post-quantum digital signature standard (FIPS 204, finalized 2024), used for receipts and attestations in products including HX-Provenance. Signing algorithms and verification requirements are specified per product and release; HX-AIFactoryTwin uses a different signing scheme.
Verification performed without a live server using the complete evidence package, matching verifier and required trust material. Public-key verification requires an independently established issuer key or fingerprint. A shared-secret HMAC mode requires its own secret and procedure; it does not provide independent public-key verification.
Post Quantum Cryptography: cryptographic standards designed to remain secure against quantum attack. NIST finalized the first three standards in 2024: FIPS 203 (ML-KEM), FIPS 204 (ML-DSA), FIPS 205 (SLH-DSA).
Quantized Tensor Train. A tensor train whose big axes are folded by zoom level into many small ones, so each piece captures the whole field at one scale. Where structure is real, a billion-value field folds to thousands of pieces.
Artifact-level proof: a post-quantum signed record binding an artifact’s identity, hash commitments, signer metadata, verification policy, and timestamp. Designed to survive outside the original runtime.
Service-Disabled Veteran-Owned Small Business. A federal certification issued by the SBA. Tigantic Holdings, LLC is VOSB + SDVOSB SBA-Certified.
A representation that breaks one giant block of data into a chain of small, linked pieces. Each piece keeps only the patterns that carry the data; the links hold just enough to rejoin them.
Verification & Validation. Verification: does it match the data. Validation: does the answer hold up, on unseen cases, with mass and energy balanced. Run as release gates.
The region supported by an explicit validation policy and its evidence. HX-MDAO-TP requires affirmative support from a registered policy for VALIDATED status; anchor-envelope membership alone is insufficient. Unsupported results are NOT_VALIDATED, unknown support is ABSTAIN, and model-domain failure or an unconverged solve produces NO_RESULT. The signed record preserves the decision and supporting policy.