Build through the compiler

weavec-cc -fweavec-checked -c helpers.c -o helpers.o
weavec-cc -fweavec-checked-function=main -c main.c -o main.o
weavec-cc -fweavec-checked-report=safety.json main.o helpers.o -o app

The compile step may defer an external helper until link time. Such a provisional result is explicitly marked deferred and is not complete. The normal link analysis resolves the helper and checks its contract at the call. Sidecars preserve selection when it is not repeated on the link command.

Object contents, source/header contents, and the recorded compiler command are bound to sidecar records. Rebuild an object if these inputs change or become unavailable. Reanalyzing changed source alone cannot prove the contents of an older object. Metadata from an older WeaveC format must also be rebuilt. Archives do not yet transport member sidecars automatically; an unavailable member cannot establish the checked contract of a dependency.