Module cross_project 

Cross-project contract usage index.

Discovers sibling projects that consume provable-contracts and indexes contract references: #[contract(...)] annotations, binding.yaml entries, and KAIZEN/contract-ID patterns in code and git commits.

Structs

BindingRef

A binding.yaml reference from a consumer project.

CallSite

A #[contract("...", equation = "...")] annotation in consumer code.

CommitRef

A contract or KAIZEN reference found in git commit messages.

CrossProjectIndex

Cross-project index aggregating all contract references across the stack.

KaizenRef

A KAIZEN-NNN or C-UPPER-DIGITS reference in code or commits.

ProjectEntry

A discovered sibling project that consumes contracts.