pullrequests Search Results · language:Dune language:JavaScript language:Python language:JavaScript language:JavaScript is:public
Filter by
150M results
Summary
- Added BibTeX metadata for COIN++, INR image compression, and Bayesian INR compression.
- Added INR compression links, including the COIN implementation repository.
- Added references/notes/inr-bit-accounting.md ...
Reverts Funklix/Funklix#443
…-fix-lxe143
Update deploy workflow to use main branch
Changes
- Added a search bar to the homepage.
- Users can search products by name.
- Improved product browsing experience.
Auto-generated vendor refresh from knowledge tag. Review the diff under vendor/ and vendored.json.
auto-merge
vendor
Adds a hermetic review gate for the PAT/SAT blackboard dry-run preview surface, wires it into check/docs, and verifies
focused + full local proof gates.
Test plan:
- npm run pat-sat:blackboard:check ...
定调
本 PR 是 草案 / draft 性质。承接 #1 中 docs/definitive-audit/Definitive-v2.0-接口契约重审报告-v0.1.md 的结论:System_Collaboration v2.0
需要重大修订(12 处定义级缺口)。
本 PR 不修改任何 Z:\asteria-trading-labs-Definitive-validated\ 下的原始 v2.0 ...