Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: microsoft/tgrep
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: v1.2.1
Choose a base ref
...
head repository: microsoft/tgrep
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: v1.2.2
Choose a head ref
  • 1 commit
  • 15 files changed
  • 2 contributors

Commits on Oct 15, 2026

  1. Fix Windows managed publication and CRLF overlay memory accounting (#205 

    )

* Authenticate Windows producer reobservations before publication

Reverify closed managed members against their original bounded block proofs under native write/delete exclusion. Keep the original seal, identity and ownership checks, and charge generation verification to its existing work permit. Reject timestamp-restored rewrites and unverified reobservations; add native metadata-only and protection regressions.

Co-authored-by: Copilot App <[email protected]>

Copilot-Session: cff18193-91c7-4186-9e2d-7dfa8433e29d

* Keep admitted deadlines during member authentication

Reuse the existing WorkPermit deadline and checks for admitted Windows verification. Bound only unreserved observations with current policy, and cover a policy timeout reduction after admission.

Co-authored-by: Copilot App <[email protected]>

Copilot-Session: cff18193-91c7-4186-9e2d-7dfa8433e29d

* Account for CRLF overlay allocations by capacity

Release extraction headroom and consumed input tables instead of retaining cumulative per-posting estimates. Admit hash-table growth with old and replacement capacity both charged, preserve content and mask semantics, and cover CRLF checkpoint/refresh under the existing budget.

Co-authored-by: Copilot App <[email protected]>
Copilot-Session: cff18193-91c7-4186-9e2d-7dfa8433e29d

* Bump workspace version to 1.2.2

Update both first-party lockfiles and release instructions; preserve historical v1.2.1 deprecation and candidate evidence.

Co-authored-by: Copilot App <[email protected]>

Copilot-Session: cff18193-91c7-4186-9e2d-7dfa8433e29d

* Preserve overlay allocation charges across replacements and deletions

Size replacement growth after removing old entries from the unpublished clone. Track backing-capacity watermarks for retained maps, posting sets, and bookkeeping instead of releasing tombstone storage. Add deterministic red/green replacement and deletion regressions, rehash/pressure coverage, and changed-CRLF checkpoint parity.

Co-authored-by: Copilot App <[email protected]>

Copilot-Session: cff18193-91c7-4186-9e2d-7dfa8433e29d

---------

Co-authored-by: Copilot App <[email protected]>
Copilot-Session: cff18193-91c7-4186-9e2d-7dfa8433e29d
    @shengyfu
    shengyfu and Copilot authored Oct 15, 2026
    Configuration menu
    Copy the full SHA
    29b7e2e View commit details
    Browse the repository at this point in the history
Loading