Equation
Last updated
Last updated
This final compilation presents all the key equations and conditions governing the Midgard ecosystem in one place, now including discussions about infinite loop scenarios and arbitrage prevention. It covers Bonding, Staking, Redemption, AI orchestration, Treasury logic, value streams (Penalty, Premium, Interest, Fees), LP considerations, and the critical conditions to prevent infinite issuance or arbitrage loops.
The system ensures MID always maintains at least $1 in intrinsic value (often surpassing it due to premiums and other yields) while avoiding conditions that would allow exploitable infinite loops or unchecked dilution.
Guaranteed Lower Bound (At Least $1): MID is always introduced with backing ≥ $1. Due to premiums, interest, and other surpluses, MID can exceed this $1 lower bound. Thus:
Minimum backing condition:
With accumulated premiums and yields:
Here, “1 + Premium portion” indicates the token’s effective supported value can be above 1, reflecting treasury surplus.
No Dilutive Issuance Below 1 + Premium: When issuing new MID ((\Delta N)):
This ensures new MID issuance never reduces the per-token asset ratio below the guaranteed lower bound plus any accumulated premium.
Bond Price ((B)): AI agents set the bond price considering target and current price conditions:
If ( B > 1 ): A premium ((B - 1)) is collected per MID.
If ( B < 1 ): A discount is offered, potentially attracting stable assets.
MID Received from Bonding: If a user deposits ( X ) units of a stable asset:
While we previously discussed the bond price ( B ) and its resulting premium when ( B > 1 ), we did not explicitly provide a formula for the discount scenario. A discount occurs when the bond price ( B ) is set below $1, allowing users to acquire MID at less than $1 worth of collateral per token.
Definition: If we consider the current market price ( P_{current} ) as the reference, then a "discount" occurs when the bond price ( B ) is lower than ( P_{current} ). In other words, the user pays less than the going market rate for MID, thus gaining an advantage.
Formula for Discount Rate (DR):
If ( B = P_{current} ), then (\text{Discount Rate} = 0%): The bond price is exactly the market price, offering neither a discount nor a premium.
If ( B > P_{current} ), then the bond is effectively at a premium; in that case, one could define a "negative discount" or simply call it a premium relative to ( P_{current} ).
By using ( P_{current} ) as the reference:
We avoid the need to let ( B < 1 ) to define a discount. Even if the policy is to keep ( B \geq 1 ), there can still be a discount scenario if the market price ( P_{current} ) is, say, $1.05 and ( B = 1.02 ). Here, the user gets a discount relative to the market price, even though ( B > 1 ).
Suppose ( P_{current} = 1.05 ) USD per MID.
The AI sets ( B = 1.02 ).
Since ( B < P_{current} ), we have a discount:
This means users acquire MID at approximately 2.86% below the current market price, incentivizing them to bond and supply stable assets to the treasury without ever going below $1.
The system never sets ( B < 1 ) to avoid infinite loop scenarios and arbitrage issues based on a $1 baseline.
However, by referencing ( P_{current} ), we can still offer a discount scenario whenever ( B < P_{current} ). This provides the necessary flexibility for AI agents to attract capital without creating conditions for infinite arbitrage at below-$1 pricing.
The logic that no issuance occurs below "1 + Premium" still applies for ensuring intrinsic value. The difference now is that “discount” is always measured relative to ( P_{current} ), not absolute $1.
Thus, using ( P_{current} ) as the reference for discount rate resolves the conflict of needing ( B < 1 ) and allows for rational, safe discount offerings in the bonding mechanism.
Total Premium: Summed over all bonds where (B > 1):
Staking Reward Constraint: Rewards must never exceed treasury’s available surplus resources:
This ensures all rewards have tangible backing.
APY Calculation (Weighted Aggregation): If multiple AI agents propose APY values ( R_{A_i} ) with weights ( w_i ):
APY is thus balanced and never inflationary beyond the treasury’s capability.
Penalty for Early Redemption: A linear example:
( T ): Vesting period (e.g., 7 days)
( t ): Time waited before redeeming sMID to MID
( p_0 ): Maximum penalty rate at ( t=0 )
MID Received on Redemption:
No penalty if ( t=T ). Penalties collected enhance treasury value.
At-Least-$1 and Premium Support: Already stated:
and no issuance that violates:
Value Streams into Treasury:
Premiums: From Bonding if ( B > 1 ).
Interest: From interest-bearing assets.
Fees: From providing liquidity (LP fees).
Penalties: From early sMID redemption.
These all bolster the treasury, ensuring stable or premium-backed value for MID.
Price-Based Supply Change: If (P_{current}) deviates from (P_{target}):
If ( P_{current} < 1 ): (\Delta N < 0), indicating buybacks to reduce supply and push price back ≥ 1.
If ( P_{current} > 1 ): (\Delta N) can be positive or stable, allowing redistribution of surplus value or moderate supply expansions.
No Direct Arbitrage by Buybacks: Buybacks are proportionate and rational, guided by AI to restore or maintain desired conditions.
When treasury pairs MID with stable assets in a DEX pool, the minimal “risk-free” value is approximated by the geometric mean:
( A ): amount of stable asset
( M ): amount of MID tokens in the LP
Since all MID is at least $1 backed, placing MID into LP does not risk dropping below the guaranteed lower bound. MID locked in LP by the treasury is not counted as circulating supply, preventing dilution and infinite loops.
Weighted Aggregation of Proposals: For a parameter ( X ):
Constrained Optimization: If initial results conflict with constraints (like maintaining at-least-$1+premium$ value per MID):
where ( g_j ) ensure no violation of key economic invariants.
Condition Against Infinite Arbitrage: To avoid scenarios where users repeatedly buy cheap MID via Bonding and resell at a higher stable-backed price, the bond price must not fall below the treasury’s risk-free value per MID. In other words:
Let:
We must have:
If bond price ( B ) is lower than this ratio, users could exploit a loop:
Acquire MID at a Bond Price below intrinsic backing.
Sell MID at near $1 or above $1+premium in the market (since the market recognizes the treasury backing).
Repeat and siphon value from the treasury indefinitely.
By enforcing:
no user can buy MID cheaper than the actual per-token backing, preventing infinite arbitrage loops.
No Direct Stable Redemption: Since there is no direct stable-asset redemption, users must rely on market liquidity (possibly from the treasury’s LP provisioning) to swap MID back to stable assets. This indirect route ensures that if bond prices dip too low, the AI agents can stop issuance or adjust parameters, restoring proper alignment. Thus, this condition prevents any incentive for infinite issuance at a discount that would break the system.
Maintaining ≥ $1 + Premium (If Any):
Per-token backing always ≥ $1 + premium portion.
No new issuance if it would drop backing below that threshold.
Bond Price ≥ Risk-Free Value per MID:
Ensures no infinite loop of cheap MID issuance and arbitrage.
Prevents extracting treasury value via discounted bonding.
Proper Staking Rewards Backing:
Staking rewards ≤ Premiums + Interest + Fees + Penalties.
Redemption Penalty and Vesting:
Discourages instant flips, flash loan exploits.
Gives AI agents time to adjust parameters.
LP Provision and Geometric Mean Consideration:
LP-held MID is not circulating, no dilution occurs.
MID’s $1+ backed issuance ensures LP positions remain safe and don’t break the lower bound.
AI Orchestration:
Weighted averages and constrained optimization to finalize B, R, and I parameters.
Ensures adaptive, data-driven, and rational adjustments under all market conditions.
By integrating all these formulas and conditions, the Midgard ecosystem achieves a robust, infinitely adaptative environment where MID is secure, stable, well-backed at all times, and no infinite exploitative scenario can occur. The conditions form a tight logical framework, allowing MID’s price and incentives to remain coherent, attractive, and firmly grounded in tangible economic value.