Expand description
Optional function-owned dependency contracts.
These contracts describe how a function contributes dependencies for passive planning/FormulaPlane analysis. They are deliberately additive: functions that do not opt in keep the default conservative behavior and receive no dependency-summary optimization.