Skip to content

Core: задать точную контекстную family-область #494

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
lemone112 merged 11 commits into from
Jul 29, 2026
Merged

Core: задать точную контекстную family-область #494

Show file tree
Hide file tree
Changes from 5 commits
Commits
Show all changes
11 commits
Select commit Hold shift + click to select a range
58a08f2
Core: задать точную контекстную family-область
lemone112 Jul 29, 2026
0364d22
chore: обновить exact product receipt
lemone112 Jul 29, 2026
392fb21
chore: обновить point-support proof receipt
lemone112 Jul 29, 2026
54d8d03
docs: уточнить закон контекстной области
lemone112 Jul 29, 2026
6926e61
docs: замкнуть координаты family-области
lemone112 Jul 29, 2026
75be03f
fix: согласовать equality точных произведений
lemone112 Jul 29, 2026
654f1f3
style: отформатировать exact product test
lemone112 Jul 29, 2026
84072ab
test: различить неравные exact products
lemone112 Jul 29, 2026
e397973
Core: связать exact-real formula release
lemone112 Jul 29, 2026
e9122b6
Core: замкнуть exact-real формулу на числовые владельцы
lemone112 Jul 29, 2026
442bc77
Merge remote-tracking branch 'origin/main' into agent/v5b2b-contextua…
lemone112 Jul 29, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions crates/labcolors-core/contracts/clean-set-srgb8-v1/receipt-v1.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,11 +48,11 @@
"sha256": "8bf5d5a1c0f00ce245a1ecb18b923aa1631483345962d72b633e466c242a8a1d"
},
{
"bytes": 13860,
"bytes": 14098,
"license": "MIT",
"path": "crates/labcolors-core/src/lib.rs",
"role": "module_registration_source",
"sha256": "55441efda3b9d8f8534cc015a15d4bf1390d74435738a1196c3bd44b6fb55120"
"sha256": "b08d71ffd9d3afce49b6fce954edfced071a79ed171127abbea3c027823c64fe"
},
{
"bytes": 39439,
Expand Down
2 changes: 1 addition & 1 deletion crates/labcolors-core/contracts/clean-set-srgb8-v1/receipt-v1.sha256
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
7faaf2132ca3eb0f3686c81953ecc3e3327e80d1d036f92c5f3227fc99cbb613 receipt-v1.json
0053d4bb97ca5309e0f9ef5b60addce1326704aaaa317c349c9e3a814fb2e808 receipt-v1.json
2 changes: 1 addition & 1 deletion crates/labcolors-core/contracts/point-support-reference-surplus-q55-bps-proof-v1.json
View file
Open in desktop

Large diffs are not rendered by default.

Loading
Loading