pr-issue-validation

Workflow runs for pr-issue-validation

• Research: borrowed-view invalidation on collection mutation (CollectionsMarshal pilot)

  completed successfully:
  pr-issue-validation#928:Issue#400openedbyPhysShell
  Oct 17, 202611s
  More actions for workflow run 928

• docs(h28): resolve the DbCommand residual

  completed successfully:
  pr-issue-validation#927:Pull request#399synchronizebyPhysShell
  arena/e1a5511b-own-net

  Oct 10, 20265m 18s
  More actions for workflow run 927

• docs(h28): resolve the DbCommand residual

  cancelled:
  pr-issue-validation#926:Pull request#399synchronizebyPhysShell
  arena/e1a5511b-own-net

  Oct 10, 20266s
  More actions for workflow run 926

• docs(h28): resolve the DbCommand residual

  completed successfully:
  pr-issue-validation#925:Pull request#399synchronizebyPhysShell
  arena/e1a5511b-own-net

  Oct 10, 20263m 14s
  More actions for workflow run 925

• docs(h28): resolve the DbCommand residual

  cancelled:
  pr-issue-validation#924:Pull request#399synchronizebyPhysShell
  arena/e1a5511b-own-net

  Oct 10, 20267s
  More actions for workflow run 924

• docs(h28): resolve the DbCommand residual

  completed successfully:
  pr-issue-validation#923:Pull request#399synchronizebyPhysShell
  arena/e1a5511b-own-net

  Oct 10, 20261m 43s
  More actions for workflow run 923

• docs(h28): resolve the DbCommand residual

  completed successfully:
  pr-issue-validation#922:Pull request#399editedbyPhysShell
  arena/e1a5511b-own-net

  Oct 10, 202652s
  More actions for workflow run 922

• docs(h28): resolve the DbCommand residual

  completed successfully:
  pr-issue-validation#921:Pull request#399synchronizebyPhysShell
  arena/e1a5511b-own-net

  Oct 10, 202618s
  More actions for workflow run 921

• docs(h28): resolve the DbCommand residual

  completed successfully:
  pr-issue-validation#920:Pull request#399openedbyPhysShell
  arena/e1a5511b-own-net

  Oct 10, 20269s
  More actions for workflow run 920

• OX-02: one generic Owen.VisualStudio host — live OWN diagnostics in Visual Studio (GO_OWEN_VISUAL_STUDIO_ALPHA)

  completed successfully:
  pr-issue-validation#919:Pull request#398openedbyPhysShell
  ccr-d3ed89e2-vnl6fk

  Oct 4, 202622s
  More actions for workflow run 919

• feat(owen-ext): Owen extension substrate — Owen.Build host + Owen.TypedBuilder (OX-01)

  completed successfully:
  pr-issue-validation#918:Pull request#397openedbyPhysShell
  ccr-d3ed89e2-vnl6fk

  Oct 3, 202645s
  More actions for workflow run 918

• Typed Builder / state protocols: optimistic concurrency, and the writes that bypass the entity (ExecuteUpdate, metadata writes, raw SQL)

  completed successfully:
  pr-issue-validation#917:Issue#396openedbyPhysShell
  Oct 3, 20269s
  More actions for workflow run 917

• Heap-effect summaries: typed write targets, to admit writes provably unrelated to the protected entity

  completed successfully:
  pr-issue-validation#916:Issue#395openedbyPhysShell
  Oct 3, 20269s
  More actions for workflow run 916

• Heap-effect summaries for external code (BCL / annotations) so calls like logging can be proven harmless inside a protocol region

  completed successfully:
  pr-issue-validation#915:Issue#394openedbyPhysShell
  Oct 3, 202610s
  More actions for workflow run 915

• State protocols: diagnostics on protocol tokens use IDisposable wording ("used after it is disposed")

  completed successfully:
  pr-issue-validation#914:Issue#393openedbyPhysShell
  Oct 3, 20269s
  More actions for workflow run 914

• State protocols: affine tokens — an unspent (terminal) state token must not be OWN001

  completed successfully:
  pr-issue-validation#913:Issue#392openedbyPhysShell
  Oct 3, 202612s
  More actions for workflow run 913

• feat(typed-builder): OrderBackend vertical-slice MVP over OwnIR v2/H1

  completed successfully:
  pr-issue-validation#912:Pull request#391openedbyPhysShell
  ccr-d3ed89e2-vnl6fk

  Oct 3, 202612s
  More actions for workflow run 912

• feat(ownir)!: OwnIR v2 — must-understand proven_call (H1) + T0 Amendment 2

  completed successfully:
  pr-issue-validation#911:Pull request#390openedbyPhysShell
  ccr-d3ed89e2-vnl6fk

  Oct 3, 20269s
  More actions for workflow run 911

• feat(heap-effects): H0 — inert HeapEffectSummary sidecar (extractor facts + Python/Rust solver)

  completed successfully:
  pr-issue-validation#910:Pull request#389openedbyPhysShell
  ccr-d3ed89e2-vnl6fk

  Oct 3, 20261m 3s
  More actions for workflow run 910

• fix(roslyn): protocol attribute names reserved only in the profile's shapes; a token callback outside a region entry is refused

  completed successfully:
  pr-issue-validation#909:Pull request#388openedbyPhysShell
  fix/protocol-attribute-recognition

  Oct 2, 202640s
  More actions for workflow run 909

• fix(extractor): --fix-candidates no longer drops orphaned_awaitables (OWN053)

  completed successfully:
  pr-issue-validation#908:Pull request#387openedbyPhysShell
  fix/fix-candidates-additive-envelope

  Oct 2, 202647s
  More actions for workflow run 908

• feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1

  completed successfully:
  pr-issue-validation#907:Pull request#385editedbyPhysShell
  feat/ownir-v1-state-protocols

  Oct 2, 202616s
  More actions for workflow run 907

• feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1

  cancelled:
  pr-issue-validation#906:Pull request#385synchronizebyPhysShell
  feat/ownir-v1-state-protocols

  Oct 2, 202619s
  More actions for workflow run 906

• feat: add OWN053 orphaned-awaitable advisory

  completed successfully:
  pr-issue-validation#905:Pull request#386synchronizebyPhysShell
  feat/own053-orphaned-awaitable

  Oct 1, 20262m 7s
  More actions for workflow run 905

• feat(ownir)!: OwnIR v1 (move, borrow_mut) + C# state protocols; T0 Amendment 1

  completed successfully:
  pr-issue-validation#904:Pull request#385editedbyPhysShell
  feat/ownir-v1-state-protocols

  Oct 1, 202645s
  More actions for workflow run 904