Inspect the
assumption.
Explore the evidence behind token behavior. Trace the quantities, timing, and events that shape an integration.
The example library.
The example transfers twice the requested displayed quantity.
Expected vs. observed
Illustrated values“Observed” values below are authored samples, not measurements from a test.
| Check / measurement | Expected | Observed (sample) |
|---|---|---|
Displayed quantityfail · exact | 10LABEQ displayed units | 20LABEQ displayed units |
Atomic transferfail · exact | 5,000,000LABEQ atomic units | 10,000,000LABEQ atomic units |
Unscaled quantityfail · exact | 5LABEQ unscaled tokens | 10LABEQ unscaled tokens |
Findings 01
Evidence-linked guidanceDisplayed intent becomes a larger transferdisplayed-quantityhigh impact
In this synthetic example, the recipient gets twice the displayed quantity requested. The sender’s illustrated atomic balance decreases by the same amount.
- Expected
- 10 LABEQ displayed units · 5,000,000 atomic units
- Sample observation
- 20 LABEQ displayed units · 10,000,000 atomic units
Suggested correction
Convert the user intent using the active mint conversion before constructing the atomic transfer. Phase 2 must verify the program conversion, activation time, rounding, and residual dust against independent observations.
expectationoutcomeproposed-planEvidence trail
Conceptual order · no execution timing- 01SAMPLE
Initial account snapshot
Illustrated measurements; no account was read.
- 02SAMPLE
Expected transfer from the sample intent
Authored expectation for the simple multiplier-2 illustration.
- 03SAMPLE
Illustrative adapter proposal
Descriptive unsigned plan. It was not submitted or executed.
- 04SAMPLE
Illustrated recipient and sender outcome
Synthetic after amounts. A future runner must observe actual account changes independently.
transfer-faultySchema 1.0.0 · SyntheticStockLab checks integration behavior. This preview validates report contracts; it does not validate an integration or certify its safety.