QUANTAIRE DOCUMENTATION / V0.8
From equity thesis
to explicit operation.
Quantaire is a working Robinhood Chain prototype for modeling Stock Token positions as principal and yield claims. The current release includes an EVM wallet connection, mainnet switching and a dedicated non-custodial prototype contract that produces real receipts without moving user assets.
Quick start
The shortest path from an idea to a reviewed operation has four steps.
- 01Stress the model
Use Economics to change price, annual distributions and the discount rate, then inspect the resulting principal and yield values.
- 02Connect a wallet
Open Operations and connect MetaMask or another injected EVM wallet. The app requests Robinhood Chain Mainnet automatically.
- 03Initialize the prototype
Deploy a personal prototype registry once. It cannot receive ETH or debit ERC-20 assets, but normal network gas applies.
- 04Record an operation
Review the displayed parameters and submit one nonpayable call. The resulting receipt confirms that the prototype event was recorded; it does not represent a financial transfer.
A staged operation is not a transaction. It contains enough structured information for review, but no signature, nonce or executable destination.
System architecture
The product is split into four bounded layers. Each layer can fail closed without forcing the others to invent state.
EIP-1193 wallet discovery, chain switching and guarded transaction preparation.
WALLET ACTIVEQuotes, manifests, validation rules and explicit lifecycle transitions.
MAINNET TARGETDividend index, split factor, staleness checks, LTV and health calculations.
MODELED FEEDSeries configuration, maturity, discounted distributions and conservation checks.
TESTED · V0.1Financial state never flows directly from a visual control to a signer. The operation engine produces an immutable manifest first; execution adapters accept only a validated manifest after separate user approval.
Operation lifecycle
Every financial action advances through explicit states. The interface uses the same language as the underlying lifecycle so a button never implies more progress than has actually occurred.
Supported operation intents
Model one stock unit becoming matching principal and yield units for a selected series.
Model matching principal and yield units recombining into the original stock exposure.
Model qUSD entering a lending pool and receiving an interest-bearing accounting share.
Model principal exposure as collateral and calculate a qUSD limit under the active risk parameters.
{
"version": "qnt-manifest/0.1",
"environment": "robinhood-chain-mainnet",
"chainId": 4663,
"action": "split",
"asset": "AAPL",
"amount": "1.000000",
"expected": ["1.000000 P-AAPL", "1.000000 Y-AAPL"],
"oracleState": "SYNCED",
"broadcast": "deployment-gated"
}Separation model
A position starts as one Stock Token exposure and becomes two analytical legs with the same combined reference value. The yield leg is the discounted value of expected quarterly distributions through maturity; principal is the conserved residual.
Principal leg
The modeled terminal equity value after expected distributions are removed. It should converge toward the underlying position as maturity approaches.
- No dividend exposure in the model
- Defined maturity date
- Quoted as a fraction of spot
Yield leg
The modeled distributions expected before maturity. It responds to distribution assumptions instead of directional share-price changes.
- Distribution-only exposure
- Value decays as events resolve
- No independent principal claim
// Present value of expected quarterly distributions
yieldLeg = Σ dividend[t] / (1 + discountRate) ** t
// Principal is the conserved residual
principal = max(spot - yieldLeg, 0)
principal + yieldLeg === spotAutomated tests cover value conservation, linear position scaling, invalid inputs and sensitivity to distribution assumptions.
Scenario stress testing
The Economics Lab applies bounded shocks without mutating the base series. A scenario may change the reference spot, annual distribution and discount rate; maturity and long-run growth remain tied to the selected series.
The sensitivity matrix adds ±25% distribution moves and ±150 bps rate moves around the active scenario. Every cell is recomputed with the same quarterly cash-flow schedule.
Scenario inputs are bounded at the API boundary. Unsupported series, non-finite values and shocks outside the accepted range return a 400 response.
Oracle and accountant states
The oracle layer watches a normalized multiplier and separates economically different events before a risk model consumes them.
Every observed change has a deterministic classification. Current indexes may be used for quoting and risk calculations.
An expected future change is known but not effective. Current indexes remain usable; the event is surfaced to clients.
A multiplier change does not fit a safe classification band. Risk-increasing actions must pause until it is resolved.
The last verified checkpoint is older than the consumer’s configured freshness limit. Quotes may be shown, but execution must stop.
Consumer rule
const response = await fetch('/api/oracle?token=AAPL');
const { tokens, asOf } = await response.json();
const accountant = tokens[0];
if (accountant.status !== 'SYNCED') {
pauseRiskIncreasingActions();
}
useIndex(accountant.dividendIndex, { asOf });Consumers must check both classification state and freshness. A syntactically valid number is not automatically an executable price.
Lending risk model
The lending interface treats a principal leg as collateral, applies the oracle value, and expresses risk through loan-to-value and health factor.
Upper bound accepted by the operation composer.
Point used to estimate the health-factor boundary.
Point where the variable borrow curve becomes steep.
Share of borrower interest retained as a protocol reserve.
Derived from utilisation, borrow rate and reserves.
Derived from the two-slope kink curve.
These parameters belong to the prototype model. Production values must come from the selected lending market and be bound to a specific chain, market ID and block number.
Application API
The release candidate exposes chain metadata alongside model and oracle fixtures. Every state-changing intent remains explicit and deployment-gated.
GET /api/readinessMachine-readable release gates and financial readinessGET /api/contractsActive chain and verified deployment registryGET /api/oracleAll tracked token statesGET /api/oracle?token=AAPLOne accountant stateGET /api/marketLending market snapshotPOST /api/economicsRun a bounded stress scenario against one supported seriesPOST /api/quoteValidate an operation draft and return a chain-aware manifestResponse invariants
- Amounts are decimal strings or documented numbers; never infer token decimals from display formatting.
- A consumer must reject unknown status values instead of treating them as synced.
- Timestamps describe the fixture or indexed block, not the browser request time.
- Production responses must add chain ID, contract address, block number and finality metadata.
Robinhood Chain profile
Quantaire targets Robinhood Chain Mainnet. The wallet adapter, operation manifests and deployment registry all resolve to the same production network.
Required
Wallet-reported
Explicit endpoint
Receipt verification
Contracts and wallet boundary
The browser adapter connects through EIP-1193, requests chain 4663 and verifies the exact runtime bytecode of QuantairePrototypeExecutor before every operation. Split, Merge, Supply and Borrow are encoded only as event metadata. The adapter contains no approval or token-transfer execution path.
Protocol contracts
QuantaireSeriesManagerCustodies an allowlisted Stock Token and creates matching P/Y claims with split, merge, pause and reserve protection.QuantaireTrancheTokenController-only ERC-20 claim token used for principal and yield legs.QuantaireLendingPoolStable-asset supply, principal collateral, bounded borrowing, repayment and oracle-based liquidation.Required adapter methods
quote(manifestDraft)Resolve output amounts, fees, route and block context.validate(manifest)Check chain, addresses, decimals, allowance, staleness and slippage.prepare(manifest)Produce transaction data without requesting a signature.requestSignature(tx)Show wallet-native review after explicit user confirmation.broadcast(signedTx)Submit once and return a stable transaction identifier.track(txHash)Report pending, confirmed, replaced, reverted or dropped.No private key, seed phrase or raw signing material may enter the application, logs, analytics, API responses or support workflows.
Security model
The current prototype records operations without moving assets. Calls use zero transaction value, require an exact bytecode match and cannot invoke token approvals or transfers. Missing metadata, an unexpected chain or a contract mismatch stops progress before a wallet prompt appears.
- Expected chain and account
- Allowlisted contract addresses
- Token decimals and balances
- Oracle state and freshness
- Slippage and deadline bounds
- Transaction hash captured once
- Replacement transactions tracked
- Receipt status decoded
- Events reconciled to expected amounts
- UI state derived from indexed receipt
- Per-action execution switches
- Rate limits and circuit breakers
- Structured audit trail
- Incident runbook
- Independent contract review
Never do this
- Never request a seed phrase or private key.
- Never hide a token approval inside another action.
- Never treat an RPC submission as transaction success.
- Never retry a state-changing transaction with a new nonce automatically.
- Never enable production execution with placeholder addresses.
Release gates and mainnet procedure
Financial execution remains disabled until every gate has accountable, immutable evidence. A machine-readable readiness check exits non-zero while any item is open, and the read-only preflight rejects stale or near-heartbeat oracle data.
15 deterministic model tests
Prototype, split/merge and lending/liquidation suites
Evidence required before activation.
Evidence required before activation.
AAPL and MSFT are configured; the USDG feed was stale at the 2026-09-10 preflight; AVGO and PFE have no approved feed
Evidence required before activation.
Evidence required before activation.
Evidence required before activation.
Evidence required before activation.
Required sequence
- 01Compile and test
Build exact artifacts, execute local EVM lifecycles and preserve output with the release commit.
- 02Run read-only preflight
Verify chain 4663, token bytecode, decimals, feeds, maturities, owner balance, gas and deploy bytecode hash.
- 03Close review gates
Complete audits, economic review, caps, multisig, timelock, monitoring and incident ownership.
- 04Deploy in stages
Deploy the Series Manager first. Lending remains a separate opt-in decision after additional controls exist.
- 05Verify runtime
Compare deployed bytecode, owner and configuration through two independent RPC endpoints and Blockscout.
- 06Initialize series
Create each series separately from reviewed calldata and reconcile every emitted address and maturity.
- 07Transfer ownership
Complete two-step ownership acceptance by the approved multisig and retire the deployer.
- 08Canary, pause, review
Run minimum-value flows, reconcile custody and accounting, pause again, then approve activation separately.
pnpm contracts:build
pnpm contracts:test
pnpm test
pnpm contracts:readiness
OWNER_ADDRESS=0x... pnpm contracts:prepare:mainnet
SERIES_MANAGER_ADDRESS=0x... EXPECTED_OWNER_ADDRESS=0x... pnpm contracts:verify:mainnetSupply, global borrow and per-collateral debt caps now default to closed. Interest accrual and a sequencer-liveness guard are still absent, so the runbook keeps lending deployment and frontend financial execution disabled.
Glossary
The portion of the modeled position attributed to terminal equity value after removing expected distributions.
The portion attributed to distributions expected before the selected maturity.
A cumulative factor that advances only when a multiplier change is classified as a distribution.
A separate cumulative factor for value-neutral stock splits. It must not leak into the dividend index.
A machine-readable condition describing whether downstream risk systems may trust the current indexes.
Liquidation-adjusted collateral value divided by debt. A value close to one indicates little remaining buffer.
A human- and machine-readable description of one intended operation before signing or broadcasting.
A product-level control that prevents a transaction from advancing past the allowed lifecycle stage.
Current release limits
Prices, rates, indexes, event schedules and market totals remain deterministic fixtures. Entered operation amounts are illustrative metadata. Wallet state comes directly from the user's EVM provider and is never stored remotely.
A prototype receipt records an operation but is not a deposit, trade, loan or proof of asset transfer. Users pay network gas only. The custodial Series Manager and Lending Pool remain disabled until their economics, compliance and security have been independently reviewed.