orchestration: record bounded input integration proof

938a7a184bSimone committed on 10/8/2026, 7:24:44 PMparenta91792f

Checks

All checks passed
  • Review skipped: manual review required for this OSS repository

    Successful
  • rustGitHub
    Successful
  • Successful
2 files changedLine totals unavailable