GuardLaticeNATIVE LAB
Modules
WORKSPACEDocumentation
Documentation
DOCUMENTATION / NATIVE PATHS

One question. A path you can inspect.

Understand the contract. Try an existing case. Read its own result.

Explore the eight starting questions
SELECTED QUESTION

When does a prepared action change money?

Wallet preflight, monetary state transition, signing, broadcast and external settlement are separate boundaries.

  1. 01Intent + expected head
  2. 02Authority + transition checks
  3. 03Receipt or refusal
Implementation & contract

The wallet preflight and monetary kernel's apply_transition_checked retain their existing callers and state contracts.

A local checked state transition is not a bank payment or legal settlement. The chosen authority, expected head and effect destination must be bound.

Inspect the existing mechanism

Inspect preflight, the checked monetary transition and the external effect boundary. Select the actual caller before defining a transfer test.

Where to read the result & proof

Follow the expected-head and receipt contracts. A monetary evaluation needs evidence from its admitted monetary caller and effect destination.

Who uses this?

A wallet or financial-platform engineer identifies the exact transition that needs authorization and an accepted receipt.

Context, results & evidence
CURRENT WORKSPACE

Component details

Run an admitted GLAP scenario to capture a native result.