meta.language.calls
2 anchors
| Anchor | Implementation | Tests |
|---|---|---|
| meta.language.calls (2) | 2 Implemented | 2 Implemented |
declared | Implemented | Implemented |
Every observed architectural call must be permitted by its caller’s resolved dependency envelope. An undeclared call is an error, including recursive entry into the same operation and requests satisfied from a query cache. | ||
forbidden | Implemented | Implemented |
An observed operation must not violate a prohibition of any active ancestor, even when its immediate caller permits the call. A violation is an error and retains the prohibition and complete call path. | ||