command
Version:
v0.4.0
Opens a new window with list of versions in this module.
Published: Sep 2, 2026
License: MIT
Opens a new window with license information.
Imports: 11
Opens a new window with list of imports.
Imported by: 0
Opens a new window with list of known importers.
README
¶
Embedded Order Review
This example is the embedded first-run implementation. Use the Getting Started guide for the tested command and expected output.
Runtime behavior
The application performs these actions:
- It loads the shared order-review rule.
- It declares typed order facts.
- It registers an invocation-aware Go handler.
- It compiles the rule to checked IR.
- It derives the embedded request and idempotency key from the shared scenario artifact.
- It replays the idempotency key without a duplicate review.
The default ledger and outbox are process-local. The application creates no persistent state.
File map
| File |
Purpose |
main.go |
Defines the handler, builds the checked application, and checks replay |
../../internal/demo/orderreview/ |
Provides the internal demo reader for the shared scenario assets |
../order_review/rules/order_review.eff |
Contains the shared checked rule |
../order_review/data/order.json |
Contains the shared idempotency key and HTTP request |
Use the durable path when execution state must survive a process restart.
Documentation
¶
There is no documentation for this package.
Source Files
¶
Click to show internal directories.
Click to hide internal directories.