Repository navigation
feat: integrate released synonym search with verified signing - #60
Merged
Merged
Conversation
Integrate the independently reviewed source and package metadata from PR #59 with verified commit signing. The complete tree is identical to df10eca. Immutable v1.21.19 remains at 2d1820e; only Arch package metadata and its contract differ from that tag. Refs https://git.terraphim.cloud/terraphim/terraphim-clients/pulls/385
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Editor-exported synonyms now retrieve every equivalent term as literal text, independently of display limits. Requested
--answersynthesis uses the retrieved evidence and preserves decision status; compound user queries retain their filters.This integrates the reviewed Gitea PR #385 changes and v1.21.19 release/package metadata onto current GitHub main. It preserves the existing release fixes and 32,000-token bound, and includes the reviewed fff-search pin, mmap-cache refusal and filesystem-name guards. The filesystem guards remain partial mitigations.
The entire tree is byte-for-byte identical to reviewed PR #59 head
df10eca2fe85659aed6816982f1a850f5910f5bd(tree3311224407d963ac554f93412219e1aaa95f9483). This replacement uses GitHub's verified commit signature to satisfy the protected branch's signing rule. PR #59 and the immutable release tag are preserved; no force push or protection change was used.Validation of that exact tree passed: full Rust CI and producer contracts, both live public-download Arch build/install/integrity/version/removal lanes, and independent source review. Fresh CI is required on this signed commit before merging. Gitea PR #385 passed 2,075 native coverage tests with three existing skips and is merged.
The published v1.21.19 binary was anonymously downloaded and checked against archive checksums, embedded Ed25519 and Apple signatures. With the actual released editor's saved graph and brief,
concernreturned zero results before sharing, three decisions with the exported synonym graph, and those same three passages with real source-grounded synthesis. The immutable binary source remains2d1820e81d2a9458d4d5eca012e7d0e0d2accf49; the only differences between the tag and this tree are final Arch package metadata and its checksum contract.Supersedes #59. Gitea source: https://git.terraphim.cloud/terraphim/terraphim-clients/pulls/385