CRUXMARK

Tokenized stocks introduce integration rules that ordinary token tests can miss. A price feed may already quote the value of one token after a corporate action. Applying a shares-per-token multiplier again can inflate collateral and borrowing capacity.

Cruxmark makes that failure executable. In its stock-split scenario, 100 tokens with an adjusted $100-per-token feed represent $10,000 of collateral. A deliberately faulty consumer applies a 2× multiplier again and reports $20,000. At a 60% borrowing limit, that changes the apparent capacity from $6,000 to $12,000. The guarded consumer uses the per-token price once and preserves the correct value.

A user creates an isolated, wallet-owned sandbox, injects a controlled fault, executes borrowing actions against faulty and guarded consumers, and compares the observed results. The lab covers three scenario families:

• Stock split: Detect double application of a multiplier to an already adjusted per-token price.

• Unavailable price: Reject price-dependent actions when a token is paused or a positive feed answer is stale.

• Sequencer recovery: Reject actions during a simulated outage and through the configured recovery-grace boundary.

Healthy controls show when borrowing can proceed again. Repayment remains available when pricing is blocked.

Cruxmark exports versioned JSON evidence containing inputs, contract addresses, source version, block data, transaction receipts, and observed outcomes. A separate verification command checks the report against the chain. The scenarios use controlled mocks and synthetic collateral and debt; they do not move real assets or claim a vulnerability in an issuer or third-party protocol.

The intended users are protocol engineers integrating stock tokens into lending or vault systems. Cruxmark gives them a repeatable way to test integration assumptions after code or configuration changes.