pullrequests Search Results · language:Dune language:Python language:JavaScript language:HTML language:JavaScript language:HTML
Filter by
174M results
Adds a certificate-local zero-rank reachability theorem:
- ZeroRankReachedWithinRank_from_step_rank_drop_certificate
This routes zero-rank reachability through:
- StepRankDropCertificate D
- StepCompatibleDescentSystem.of_concrete_pivot_from_certificate ...
inaciovasquez2020
DOC-001H adds the missing database and archive control surfaces after the architecture diagram rebaseline.
Changes:
- adds docs/database/README.md as database documentation entry point
- adds schema_overview.md ...
jenshaberle-dotcom
Removes local plan file after archiving to DB (ticket_plans table). PR #1425 merged.
Paddione
Change
Drops the inclusive + 1 from the sale countdown so it counts days remaining until 30 June without counting the current
day.
| Date | Before | After |
| --- | --- | --- |
| 7 Jun | 24 | 23 |
| ...
junimalikk-source
Finishes #358 — Phases 1–3 on top of the merged Phase 0 (#359). The heartbeat-gated supervisor signals (fleet OS/slot
upgrade, reboot, role-assignment, host-config) now start in ~0 s instead of waiting ...
mzac
Verdicts (all live against the CornerCheck sandbox, evidence in docs/decisions.md)
- Spike A WORKS: Bolt Assistant over Socket Mode; thread_started 0.445-0.607s, user_message 1.043s; app_home
messages-tab ...
StephenSook
mdnoble73المشكلة
صفحة العملاء (clients.html) بتحمّل آخر 14 يوم فقط من العملاء (CLIENTS_WINDOW_DAYS = 14) علشان الصفحة تفتح بسرعة. خانة
البحث كانت بتفلتر القائمة المحمّلة في الذاكرة بس — يعني أي عميل قديم (اتسجّل ...
engmah72-star
Обновлён README: регистрация учеников, роли куратор/админ, баллы, магазин, и ограничение «симуляция без бэкенда».
orionvega2343-cloud
MSAA24