1 2 3
| Claim | Executable function | Input domain | Unverified external contracts | Result class | | ----- | ------------------- | ------------ | ------------------------------ | ------------ | | local process | `process_stream_inner` | all source lines | none | local correctness |