Skip to content

Retain verified observer ownership evidence after main integration - #83

Merged
vanedaltro merged 4 commits into
mainfrom
fix/pending-file-observer-owner-20261030
Oct 31, 2026
Merged

vanedaltro merged 4 commits into
mainfrom
fix/pending-file-observer-owner-20261030

Conversation

@vanedaltro

@vanedaltro vanedaltro commented Oct 31, 2026 •

Copy link
Copy Markdown
Contributor

Main already contains the pending FileChanged owner replacement fix through #80. This PR now resolves the add/add conflict in its verification note and retains the stronger recorded evidence: the regression failed against unchanged main production code with 257 replacement tasks, and strict OpenSpec validates 114 items.

The resolved tree differs from current main in exactly one Markdown file. The observer implementation, focused workflow and task list are byte-for-byte identical to main. Task 5.2 and the separate native admission/protocol gates remain open.

Verification

  • Strict OpenSpec: 114 passed, zero failures.
  • Spec lint: zero errors and 25 warnings.
  • Diff/whitespace check passes; no runtime or workflow behavior changes.
  • Historical implementation checks at a7b7688 passed 58 library tests, 24 HTTP lifecycle tests, all-targets cyber-tools Clippy, the exact missing-fix control and restored regression.
  • Current-head documentation CI passes: two checks succeeded and six code checks were intentionally skipped for the Markdown-only diff. The prospective merge tree equals the tested head tree.

@vanedaltro vanedaltro changed the title Bound pending FileChanged owner replacement during readmission Retain verified observer ownership evidence after main integration Oct 31, 2026
@vanedaltro
vanedaltro merged commit c3bd34c into main Oct 31, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant