starter-embedded

Java Starter Embedded

This directory is a runnable Java application-shaped provider example for Observer.

Read ../HOWTO.md first if you want the full model, especially the determinism gate, the provider host contract, and the difference between standalone and embedded host modes.

It is intended to show the whole real process when the application keeps its own CLI:

• write ordinary Java code under test
• author tests with describe(...), test(...), and expect(...)
• keep normal app behavior outside the observe subcommand
• inspect the raw provider observe list output
• derive canonical inventory with observer derive-inventory
• run a suite against that inventory
• verify canonical hashes and JSONL output

Useful commands:

make app-run
make list
make inventory
make host-run TARGET='ledger/rejects-overdraft'
make run
make report
make verify