Single-Test Strategy

This example shows the narrow case where one Observer target is still the right shape.

That is only correct when the target is one real externally meaningful proof unit.

In this example, the target is:

That target is not a wrapper script. It is an explicit proof that the toy compiler emits the expected canonical representation for one fixed module.

Layout

single-test-strategy/
  Makefile
  observer.toml
  tests.obs
  src/
    toy_compiler.py
    compiler_observer_host.py

make list
make inventory
make run
make report

One target is acceptable here because there is one clear proof unit.

What would be wrong is replacing that with a target like:

The target must still name the real product behavior.