# Invariant Testing ⎊ Term

**Published:** 2026-03-15
**Author:** Greeks.live
**Categories:** Term

---

![A detailed close-up shows the internal mechanics of a device, featuring a dark blue frame with cutouts that reveal internal components. The primary focus is a conical tip with a unique structural loop, positioned next to a bright green cartridge component](https://term.greeks.live/wp-content/uploads/2025/12/decentralized-finance-synthetic-assets-automated-market-maker-mechanism-and-risk-hedging-operations.webp)

![A detailed cross-section reveals a complex, high-precision mechanical component within a dark blue casing. The internal mechanism features teal cylinders and intricate metallic elements, suggesting a carefully engineered system in operation](https://term.greeks.live/wp-content/uploads/2025/12/decentralized-perpetual-futures-contract-smart-contract-execution-protocol-mechanism-architecture.webp)

## Essence

**Invariant Testing** serves as the formal verification of mathematical relationships within decentralized financial protocols. These invariants represent the fundamental rules of a system ⎊ such as the constant product formula in automated market makers or the solvency ratio in lending platforms ⎊ that must hold true across every state transition. When a transaction occurs, the protocol validates that the resulting state satisfies these predefined constraints, effectively preventing invalid states from ever reaching finality on the blockchain. 

> Invariant testing ensures protocol integrity by verifying that critical mathematical constraints remain satisfied throughout every state transition.

The significance of this mechanism extends beyond simple bug detection. It establishes a rigorous boundary for acceptable system behavior, protecting liquidity and solvency against both accidental code errors and malicious exploitation. By treating the protocol as a state machine governed by immutable logic, developers shift the security burden from reactive patching to proactive, mathematically guaranteed compliance.

![The image displays a futuristic, angular structure featuring a geometric, white lattice frame surrounding a dark blue internal mechanism. A vibrant, neon green ring glows from within the structure, suggesting a core of energy or data processing at its center](https://term.greeks.live/wp-content/uploads/2025/12/conceptual-framework-for-decentralized-finance-derivative-protocol-smart-contract-architecture-and-volatility-surface-hedging.webp)

## Origin

The lineage of **Invariant Testing** traces back to formal methods in computer science and the application of Hoare logic to software verification.

Early adoption in the blockchain domain arrived as developers recognized that decentralized finance protocols operate as closed, adversarial environments where traditional unit testing fails to account for complex, state-dependent interactions. The transition from academic formal verification to practical crypto implementation gained momentum with the rise of automated market makers. These protocols required a continuous, non-linear relationship between assets, creating a natural candidate for invariant-based security.

The following developments defined its adoption:

- **Formal Verification** provided the initial theoretical framework for proving program correctness.

- **State Machine Modeling** allowed engineers to treat protocol interactions as discrete, verifiable transitions.

- **Automated Market Maker Design** necessitated the enforcement of constant-function rules to maintain price discovery integrity.

This evolution reflects a shift in engineering philosophy. Developers realized that in a permissionless environment, the cost of a single logical failure ⎊ a drained liquidity pool or an insolvent lending vault ⎊ renders traditional testing insufficient. Consequently, **Invariant Testing** emerged as the standard for ensuring that the underlying economic logic remains sound under extreme market stress.

![A low-poly digital render showcases an intricate mechanical structure composed of dark blue and off-white truss-like components. The complex frame features a circular element resembling a wheel and several bright green cylindrical connectors](https://term.greeks.live/wp-content/uploads/2025/12/sophisticated-decentralized-autonomous-organization-architecture-supporting-dynamic-options-trading-and-hedging-strategies.webp)

## Theory

The architecture of **Invariant Testing** relies on the continuous validation of state-space properties.

At the core, a system defines a function _f(S) = K_, where _S_ represents the current state variables and _K_ is the constant invariant. Any proposed transaction, whether a swap, deposit, or liquidation, undergoes an execution simulation to verify that the post-transaction state _S’_ satisfies _f(S’) = K_.

| Component | Function |
| --- | --- |
| State Variable | Individual protocol metrics like reserves or debt |
| Invariant Rule | The mathematical relationship governing valid states |
| Transition Check | Validation gate ensuring rules hold after operations |

> Protocol security relies on the mathematical proof that every transaction maintains the integrity of the defined system invariants.

From a quantitative perspective, this is a form of boundary enforcement within a multidimensional space. When an operation attempts to move the system outside the valid region ⎊ for instance, by allowing a withdrawal that renders a vault insolvent ⎊ the invariant check rejects the transaction. This logic mirrors the risk management controls in traditional finance, yet it functions with the speed and finality of machine-executable code.

One might consider the protocol as a biological organism maintaining homeostasis; the invariant acts as the internal regulatory mechanism, ensuring that external environmental shocks ⎊ such as sudden volatility or oracle failure ⎊ do not disrupt the core physiological stability of the system. This structural resilience is what separates robust protocols from those prone to catastrophic failure.

![A close-up view reveals a complex, porous, dark blue geometric structure with flowing lines. Inside the hollowed framework, a light-colored sphere is partially visible, and a bright green, glowing element protrudes from a large aperture](https://term.greeks.live/wp-content/uploads/2025/12/an-intricate-defi-derivatives-protocol-structure-safeguarding-underlying-collateralized-assets-within-a-total-value-locked-framework.webp)

## Approach

Current implementation of **Invariant Testing** utilizes property-based testing frameworks that execute thousands of randomized transaction sequences against a protocol model. These tools systematically probe the state space, searching for sequences of operations that violate the established invariants.

This method contrasts with standard testing, which focuses on specific, expected user flows.

- **Fuzzing** generates randomized input vectors to stress-test protocol logic.

- **Model Checking** explores all possible state transitions to identify potential edge cases.

- **Symbolic Execution** evaluates code paths using mathematical symbols to determine if any input can trigger a violation.

Engineers prioritize high-risk areas where liquidity and collateral reside. By applying **Invariant Testing** to these critical pathways, they create a defensive perimeter that autonomously rejects invalid outcomes. This process is rarely a one-time activity; it involves continuous integration, where every code change triggers a new round of property verification to prevent regression.

![A high-resolution 3D digital artwork shows a dark, curving, smooth form connecting to a circular structure composed of layered rings. The structure includes a prominent dark blue ring, a bright green ring, and a darker exterior ring, all set against a deep blue gradient background](https://term.greeks.live/wp-content/uploads/2025/12/algorithmic-trading-mechanism-visualization-in-decentralized-finance-protocol-architecture-with-synthetic-assets.webp)

## Evolution

The trajectory of **Invariant Testing** has moved from manual verification of simple smart contracts to the deployment of sophisticated, automated security suites integrated directly into development pipelines.

Early efforts focused on verifying basic token balances, while modern approaches address complex, multi-protocol interactions where invariants must hold across disparate systems.

| Phase | Primary Focus |
| --- | --- |
| Foundational | Static analysis and manual audits |
| Intermediate | Property-based fuzzing of isolated contracts |
| Advanced | Cross-protocol invariant validation and simulation |

The industry now recognizes that isolated contract security is insufficient. The current shift involves verifying global invariants that govern the interconnected liquidity of the decentralized landscape. As protocols become increasingly composable, the testing frameworks must evolve to monitor systemic risks, such as contagion paths where a failure in one venue propagates to another due to shared collateral or price feed dependencies.

![A detailed 3D cutaway visualization displays a dark blue capsule revealing an intricate internal mechanism. The core assembly features a sequence of metallic gears, including a prominent helical gear, housed within a precision-fitted teal inner casing](https://term.greeks.live/wp-content/uploads/2025/12/visualizing-smart-contract-collateral-management-and-decentralized-autonomous-organization-governance-mechanisms.webp)

## Horizon

The future of **Invariant Testing** lies in the transition toward real-time, on-chain enforcement and the integration of machine learning to predict state violations before they occur.

As protocols grow in complexity, the ability to define and verify invariants will become the primary metric for assessing financial safety in decentralized systems. We are moving toward a reality where financial products are inherently secure by design, with invariants serving as the foundation of the protocol architecture.

> Automated invariant enforcement represents the future of secure, permissionless financial architecture.

This development will redefine how institutions interact with decentralized markets. Rather than relying on human audits, capital allocators will demand machine-verifiable proof that a protocol’s core invariants are mathematically sound and continuously enforced. The ultimate outcome is a more resilient financial infrastructure where systemic risk is constrained by the immutable laws of the code itself. 

## Glossary

### [Asset Balance Verification](https://term.greeks.live/area/asset-balance-verification/)

Verification ⎊ Asset balance verification, within decentralized finance, represents a critical process ensuring the accurate accounting of holdings across various blockchain addresses and platforms.

### [Macro-Crypto Correlations](https://term.greeks.live/area/macro-crypto-correlations/)

Analysis ⎊ Macro-crypto correlations represent the statistical relationships between cryptocurrency price movements and broader macroeconomic variables, encompassing factors like interest rates, inflation, and geopolitical events.

### [Smart Contract Assurance](https://term.greeks.live/area/smart-contract-assurance/)

Audit ⎊ Smart Contract Assurance, within cryptocurrency and derivatives, represents a systematic evaluation of code and economic incentives to identify vulnerabilities and discrepancies.

### [Protocol Governance Models](https://term.greeks.live/area/protocol-governance-models/)

Governance ⎊ ⎊ Protocol governance encapsulates the mechanisms by which decentralized systems, particularly those leveraging blockchain technology, enact changes to their underlying rules and parameters.

### [Systemic Risk Mitigation](https://term.greeks.live/area/systemic-risk-mitigation/)

Algorithm ⎊ Systemic Risk Mitigation, within cryptocurrency, options, and derivatives, necessitates the deployment of automated trading strategies designed to dynamically adjust portfolio exposures based on real-time market data and pre-defined risk parameters.

### [Security Audit Trails](https://term.greeks.live/area/security-audit-trails/)

Audit ⎊ Security audit trails within cryptocurrency, options trading, and financial derivatives represent a chronological record of system activity, crucial for verifying transaction integrity and regulatory compliance.

### [Tokenomics Security](https://term.greeks.live/area/tokenomics-security/)

Mechanism ⎊ Tokenomics security functions as the structural synthesis of cryptographic incentives and algorithmic controls designed to maintain the integrity of a digital asset ecosystem.

### [Complex State Transitions](https://term.greeks.live/area/complex-state-transitions/)

Transition ⎊ In cryptocurrency, options trading, and financial derivatives, a complex state transition signifies a shift in the underlying asset's condition or the derivative's characteristics, often triggered by a confluence of market factors and protocol mechanics.

### [Financial Protocol Security](https://term.greeks.live/area/financial-protocol-security/)

Architecture ⎊ Financial Protocol Security, within the context of cryptocurrency, options trading, and financial derivatives, fundamentally concerns the layered design and implementation of systems safeguarding assets and data.

### [Dynamic Analysis Techniques](https://term.greeks.live/area/dynamic-analysis-techniques/)

Analysis ⎊ Dynamic analysis techniques, within the context of cryptocurrency, options trading, and financial derivatives, represent a class of methodologies focused on observing system behavior during runtime.

## Discover More

### [DeFi Protocol Audits](https://term.greeks.live/term/defi-protocol-audits/)
![A 3D abstraction displays layered, concentric forms emerging from a deep blue surface. The nested arrangement signifies the sophisticated structured products found in DeFi and options trading. Each colored layer represents different risk tranches or collateralized debt position levels. The smart contract architecture supports these nested liquidity pools, where options premium and implied volatility are key considerations. This visual metaphor illustrates protocol stack complexity and risk layering in financial derivatives.](https://term.greeks.live/wp-content/uploads/2025/12/cryptocurrency-derivative-protocol-risk-layering-and-nested-financial-product-architecture-in-defi.webp)

Meaning ⎊ DeFi protocol audits provide the essential validation of smart contract logic to ensure operational resilience within decentralized financial systems.

### [Protocol Security Audits and Testing](https://term.greeks.live/term/protocol-security-audits-and-testing/)
![A detailed visualization of a futuristic mechanical core represents a decentralized finance DeFi protocol's architecture. The layered concentric rings symbolize multi-level security protocols and advanced Layer 2 scaling solutions. The internal structure and vibrant green glow represent an Automated Market Maker's AMM real-time liquidity provision and high transaction throughput. The intricate design models the complex interplay between collateralized debt positions and smart contract logic, illustrating how oracle network data feeds facilitate efficient perpetual futures trading and robust tokenomics within a secure framework.](https://term.greeks.live/wp-content/uploads/2025/12/decentralized-autonomous-organization-core-protocol-visualization-layered-security-and-liquidity-provision.webp)

Meaning ⎊ Protocol security audits provide the essential technical verification required to sustain trust and stability in decentralized derivative markets.

### [Model Checking](https://term.greeks.live/definition/model-checking/)
![A composition of concentric, rounded squares recedes into a dark surface, creating a sense of layered depth and focus. The central vibrant green shape is encapsulated by layers of dark blue and off-white. This design metaphorically illustrates a multi-layered financial derivatives strategy, where each ring represents a different tranche or risk-mitigating layer. The innermost green layer signifies the core asset or collateral, while the surrounding layers represent cascading options contracts, demonstrating the architecture of complex financial engineering in decentralized protocols for risk stacking and liquidity management.](https://term.greeks.live/wp-content/uploads/2025/12/multi-layered-risk-stacking-model-for-options-contracts-in-decentralized-finance-collateralization-architecture.webp)

Meaning ⎊ Automated verification technique that exhaustively checks all possible system execution paths for safety violations.

### [Intrusion Detection Systems](https://term.greeks.live/term/intrusion-detection-systems/)
![A detailed cross-section reveals the internal mechanics of a stylized cylindrical structure, representing a DeFi derivative protocol bridge. The green central core symbolizes the collateralized asset, while the gear-like mechanisms represent the smart contract logic for cross-chain atomic swaps and liquidity provision. The separating segments visualize market decoupling or liquidity fragmentation events, emphasizing the critical role of layered security and protocol synchronization in maintaining risk exposure management and ensuring robust interoperability across disparate blockchain ecosystems.](https://term.greeks.live/wp-content/uploads/2025/12/interoperability-protocol-synchronization-and-cross-chain-asset-bridging-mechanism-visualization.webp)

Meaning ⎊ Intrusion Detection Systems provide the real-time defensive layer necessary to identify and neutralize malicious threats within decentralized markets.

### [Security Testing Methodologies](https://term.greeks.live/term/security-testing-methodologies/)
![An abstract visualization featuring fluid, layered forms in dark blue, bright blue, and vibrant green, framed by a cream-colored border against a dark grey background. This design metaphorically represents complex structured financial products and exotic options contracts. The nested surfaces illustrate the layering of risk analysis and capital optimization in multi-leg derivatives strategies. The dynamic interplay of colors visualizes market dynamics and the calculation of implied volatility in advanced algorithmic trading models, emphasizing how complex pricing models inform synthetic positions within a decentralized finance framework.](https://term.greeks.live/wp-content/uploads/2025/12/abstract-layered-derivative-structures-and-complex-options-trading-strategies-for-risk-management-and-capital-optimization.webp)

Meaning ⎊ Security testing methodologies establish the necessary defensive rigor to protect decentralized protocols from code exploits and systemic failures.

### [Blockchain Network Security Frameworks](https://term.greeks.live/term/blockchain-network-security-frameworks/)
![A visualization of a sophisticated decentralized finance derivatives protocol. The dark blue lattice structure represents the intricate network of smart contracts facilitating synthetic assets and options trading. The green glowing elements signify the real-time flow of liquidity and market data through automated market makers AMMs and oracle networks. This framework highlights the complex interplay between collateralization ratios, risk mitigation strategies, and cross-chain interoperability essential for efficient settlement in a high-speed environment.](https://term.greeks.live/wp-content/uploads/2025/12/interconnected-defi-protocol-architecture-representing-derivatives-and-liquidity-provision-frameworks.webp)

Meaning ⎊ Blockchain Network Security Frameworks provide the cryptographic and economic infrastructure required to ensure asset integrity in decentralized markets.

### [Smart Contract Best Practices](https://term.greeks.live/term/smart-contract-best-practices/)
![This abstract visualization illustrates the intricate algorithmic complexity inherent in decentralized finance protocols. Intertwined shapes symbolize the dynamic interplay between synthetic assets, collateralization mechanisms, and smart contract execution. The foundational dark blue forms represent deep liquidity pools, while the vibrant green accent highlights a specific yield generation opportunity or a key market signal. This abstract model illustrates how risk aggregation and margin trading are interwoven in a multi-layered derivative market structure. The beige elements suggest foundational layer assets or stablecoin collateral within the complex system.](https://term.greeks.live/wp-content/uploads/2025/12/algorithmic-collateralization-in-decentralized-finance-representing-complex-interconnected-derivatives-structures-and-smart-contract-execution.webp)

Meaning ⎊ Smart Contract Best Practices provide the necessary architectural framework to ensure capital integrity and protocol resilience in decentralized markets.

### [Architecture Risk Management](https://term.greeks.live/definition/architecture-risk-management/)
![A high-resolution visualization of an intricate mechanical system in blue and white represents advanced algorithmic trading infrastructure. This complex design metaphorically illustrates the precision required for high-frequency trading and derivatives protocol functionality in decentralized finance. The layered components symbolize a derivatives protocol's architecture, including mechanisms for collateralization, automated market maker function, and smart contract execution. The green glowing light signifies active liquidity aggregation and real-time oracle data feeds essential for market microstructure analysis and accurate perpetual futures pricing.](https://term.greeks.live/wp-content/uploads/2025/12/decentralized-perpetual-futures-protocol-architecture-for-high-frequency-algorithmic-execution-and-collateral-risk-management.webp)

Meaning ⎊ The systematic identification and mitigation of technical risks within the design of financial and protocol architectures.

### [State Space Exploration](https://term.greeks.live/definition/state-space-exploration/)
![A detailed schematic representing a sophisticated options-based structured product within a decentralized finance ecosystem. The distinct colorful layers symbolize the different components of the financial derivative: the core underlying asset pool, various collateralization tranches, and the programmed risk management logic. This architecture facilitates algorithmic yield generation and automated market making AMM by structuring liquidity provider contributions into risk-weighted segments. The visual complexity illustrates the intricate smart contract interactions required for creating robust financial primitives that manage systemic risk exposure and optimize capital allocation in volatile markets.](https://term.greeks.live/wp-content/uploads/2025/12/decentralized-finance-layered-architecture-representing-yield-tranche-optimization-and-algorithmic-market-making-components.webp)

Meaning ⎊ Systematically analyzing all potential code states to uncover hidden vulnerabilities and logic errors before deployment.

---

## Raw Schema Data

```json
{
    "@context": "https://schema.org",
    "@type": "BreadcrumbList",
    "itemListElement": [
        {
            "@type": "ListItem",
            "position": 1,
            "name": "Home",
            "item": "https://term.greeks.live/"
        },
        {
            "@type": "ListItem",
            "position": 2,
            "name": "Term",
            "item": "https://term.greeks.live/term/"
        },
        {
            "@type": "ListItem",
            "position": 3,
            "name": "Invariant Testing",
            "item": "https://term.greeks.live/term/invariant-testing/"
        }
    ]
}
```

```json
{
    "@context": "https://schema.org",
    "@type": "Article",
    "mainEntityOfPage": {
        "@type": "WebPage",
        "@id": "https://term.greeks.live/term/invariant-testing/"
    },
    "headline": "Invariant Testing ⎊ Term",
    "description": "Meaning ⎊ Invariant testing provides the mathematical framework to guarantee protocol solvency and integrity by enforcing immutable rules across all transactions. ⎊ Term",
    "url": "https://term.greeks.live/term/invariant-testing/",
    "author": {
        "@type": "Person",
        "name": "Greeks.live",
        "url": "https://term.greeks.live/author/greeks-live/"
    },
    "datePublished": "2026-03-15T08:58:52+00:00",
    "dateModified": "2026-03-31T22:00:56+00:00",
    "publisher": {
        "@type": "Organization",
        "name": "Greeks.live"
    },
    "articleSection": [
        "Term"
    ],
    "image": {
        "@type": "ImageObject",
        "url": "https://term.greeks.live/wp-content/uploads/2025/12/algorithmic-collateralization-tranche-allocation-and-synthetic-yield-generation-in-defi-structured-products.jpg",
        "caption": "A detailed close-up shows a complex mechanical assembly featuring cylindrical and rounded components in dark blue, bright blue, teal, and vibrant green hues. The central element, with a high-gloss finish, extends from a dark casing, highlighting the precision fit of its interlocking parts."
    }
}
```

```json
{
    "@context": "https://schema.org",
    "@type": "WebPage",
    "@id": "https://term.greeks.live/term/invariant-testing/",
    "mentions": [
        {
            "@type": "DefinedTerm",
            "@id": "https://term.greeks.live/area/asset-balance-verification/",
            "name": "Asset Balance Verification",
            "url": "https://term.greeks.live/area/asset-balance-verification/",
            "description": "Verification ⎊ Asset balance verification, within decentralized finance, represents a critical process ensuring the accurate accounting of holdings across various blockchain addresses and platforms."
        },
        {
            "@type": "DefinedTerm",
            "@id": "https://term.greeks.live/area/macro-crypto-correlations/",
            "name": "Macro-Crypto Correlations",
            "url": "https://term.greeks.live/area/macro-crypto-correlations/",
            "description": "Analysis ⎊ Macro-crypto correlations represent the statistical relationships between cryptocurrency price movements and broader macroeconomic variables, encompassing factors like interest rates, inflation, and geopolitical events."
        },
        {
            "@type": "DefinedTerm",
            "@id": "https://term.greeks.live/area/smart-contract-assurance/",
            "name": "Smart Contract Assurance",
            "url": "https://term.greeks.live/area/smart-contract-assurance/",
            "description": "Audit ⎊ Smart Contract Assurance, within cryptocurrency and derivatives, represents a systematic evaluation of code and economic incentives to identify vulnerabilities and discrepancies."
        },
        {
            "@type": "DefinedTerm",
            "@id": "https://term.greeks.live/area/protocol-governance-models/",
            "name": "Protocol Governance Models",
            "url": "https://term.greeks.live/area/protocol-governance-models/",
            "description": "Governance ⎊ ⎊ Protocol governance encapsulates the mechanisms by which decentralized systems, particularly those leveraging blockchain technology, enact changes to their underlying rules and parameters."
        },
        {
            "@type": "DefinedTerm",
            "@id": "https://term.greeks.live/area/systemic-risk-mitigation/",
            "name": "Systemic Risk Mitigation",
            "url": "https://term.greeks.live/area/systemic-risk-mitigation/",
            "description": "Algorithm ⎊ Systemic Risk Mitigation, within cryptocurrency, options, and derivatives, necessitates the deployment of automated trading strategies designed to dynamically adjust portfolio exposures based on real-time market data and pre-defined risk parameters."
        },
        {
            "@type": "DefinedTerm",
            "@id": "https://term.greeks.live/area/security-audit-trails/",
            "name": "Security Audit Trails",
            "url": "https://term.greeks.live/area/security-audit-trails/",
            "description": "Audit ⎊ Security audit trails within cryptocurrency, options trading, and financial derivatives represent a chronological record of system activity, crucial for verifying transaction integrity and regulatory compliance."
        },
        {
            "@type": "DefinedTerm",
            "@id": "https://term.greeks.live/area/tokenomics-security/",
            "name": "Tokenomics Security",
            "url": "https://term.greeks.live/area/tokenomics-security/",
            "description": "Mechanism ⎊ Tokenomics security functions as the structural synthesis of cryptographic incentives and algorithmic controls designed to maintain the integrity of a digital asset ecosystem."
        },
        {
            "@type": "DefinedTerm",
            "@id": "https://term.greeks.live/area/complex-state-transitions/",
            "name": "Complex State Transitions",
            "url": "https://term.greeks.live/area/complex-state-transitions/",
            "description": "Transition ⎊ In cryptocurrency, options trading, and financial derivatives, a complex state transition signifies a shift in the underlying asset's condition or the derivative's characteristics, often triggered by a confluence of market factors and protocol mechanics."
        },
        {
            "@type": "DefinedTerm",
            "@id": "https://term.greeks.live/area/financial-protocol-security/",
            "name": "Financial Protocol Security",
            "url": "https://term.greeks.live/area/financial-protocol-security/",
            "description": "Architecture ⎊ Financial Protocol Security, within the context of cryptocurrency, options trading, and financial derivatives, fundamentally concerns the layered design and implementation of systems safeguarding assets and data."
        },
        {
            "@type": "DefinedTerm",
            "@id": "https://term.greeks.live/area/dynamic-analysis-techniques/",
            "name": "Dynamic Analysis Techniques",
            "url": "https://term.greeks.live/area/dynamic-analysis-techniques/",
            "description": "Analysis ⎊ Dynamic analysis techniques, within the context of cryptocurrency, options trading, and financial derivatives, represent a class of methodologies focused on observing system behavior during runtime."
        }
    ]
}
```


---

**Original URL:** https://term.greeks.live/term/invariant-testing/