← О компании

DailySafe · Интеллектуальная собственность

Патентные заявки и исследования

Реестр заявок, связанных с безопасностью, историей работы и проверкой цифровых записей.

17отобранные заявки, связанные с DailySafe

9 основной список · 8 смежные технические направления

Девять заявок — рабочий список наиболее значимых для DailySafe, а не исчерпывающая юридическая граница. Есть и другие связанные заявки. Подача заявки не означает выдачу патента; реальное покрытие определяется формулой изобретения, результатами экспертизы и соответствием продукту.

9 наиболее значимых заявок

TLI-610-2026-0005160

Проверка условий до принятия решения и защита от ретроактивных изменений

Связь с правилами подтверждения и сохранением исторических решений

Дата подачи
2026-01-12
Англоязычное название в реестре
Transaction-Layer Pre-Commit Enforcement + No-Retroactivity Gating
TLI-710-2026-0005161

Вычисление состояния и передача отклонений ответственным лицам

Связь с состоянием рабочего процесса и эскалацией

Дата подачи
2026-01-12
Англоязычное название в реестре
Derived-State Compute-Only Determination + MX-Indicator Escalation
TLI-810-2026-0005162

Происхождение данных и доказательства исправлений

Связь с исходными записями и историей изменений

Дата подачи
2026-01-12
Англоязычное название в реестре
Non-Inferential Input Normalization + Field-Level Provenance/Patch Evidence Collection
TLI-910-2026-0005163

Закрепление версии правил и частичное закрытие

Связь с подтверждениями по действовавшим правилам

Дата подачи
2026-01-12
Англоязычное название в реестре
Policy Container Hash Pinning + Scope-Mask Partial Closure
UTE-410-2025-0210561

Доказательства события, сроки и цепочки полномочий

Связь с подтверждениями событий и полномочий

Дата подачи
2025-12-26
Англоязычное название в реестре
Proof-of-Event Packages + Non-Bypassable Deadlines + Delegation Chains (Human/Robot/AI-Agent)
A-1510-2026-0074141

Формальная проверка событий и условий исполнения

Связь с проверяемой историей действий и контролем решений

Дата подачи
2026-04-23
Англоязычное название в реестре
Formal-Verification-Based Non-Bypassable Execution-Control / Causal Event-Graph System
A-2110-2026-0100719

Расчёты за работу на основании доказательств и локализация споров

Непосредственно относится к учёту времени, проверке и спорам

Дата подачи
2026-06-02
Англоязычное название в реестре
Evidence-Bounded Work Settlement — Formally-Verified Payment Approval via Evidence Chain / Policy Pinning / Dispute Localization
S510-2026-0100726

Проверяемое подтверждение расчётных результатов

Связь записей о работе с подтверждением расчётов

Дата подачи
2026-06-02
Англоязычное название в реестре
Admissible-Compute-Result Payment Certification via Evidence-Bounded Policy Pinning / Dispute Localization
F410-2026-0163524

Проверка состояния нескольких хранилищ и обнаружение отката

Техническая основа исследований независимой целостности истории

Дата подачи
2026-08-28
Англоязычное название в реестре
Committed State Identity

Дополнительные связанные заявки

UTE-210-2025-0203241

Состояние объекта, контроль и разделение обязанностей

Общая технология ролей и согласований

Дата подачи
2025-12-18
Англоязычное название в реестре
Object-State Determination and Non-Fatiguing Escalation Gating with Supervision/Separation-of-Duties
TLI-1010-2026-0005164

Однократные разрешения и контроль использования полномочий

Смежная инфраструктура контроля разрешений

Дата подачи
2026-01-12
Англоязычное название в реестре
SCT-Based Capability Lease Token + Single-Redeem Interlock
P0210-2026-0100721

Записи бизнес-решений со встроенными доказательствами

Смежная технология проверяемых решений

Дата подачи
2026-06-02
Англоязычное название в реестре
Proof-Carrying Business-Logic Records with Embedded Formal Verification Certificates for Auditable Decision Systems
G1410-2026-0114899

Криптографическая прослеживаемость происхождения записей

Технологическая основа проверки происхождения событий

Дата подачи
2026-06-23
Англоязычное название в реестре
Deterministic Provenance Tracking — Cryptographically Deterministic with FV Chain Integrity
P410-2026-0117941

Автономная проверка доказательств без действующего сервера

Особенно важно для независимой проверки M4

Дата подачи
2026-06-29
Англоязычное название в реестре
Self-Contained Capsule and Offline Verifier for Re-Deriving an Admissibility Verdict by Recomputation Without Live System State
IP-P410-2026-0130055

Закрытие споров и проверяемые финальные решения

Связь с разбором возражений по рабочему времени

Дата подачи
2026-07-14
Англоязычное название в реестре
Dispute-Resolution Gate with Terminal Sealed States and Closure-Gate Admissibility
P610-2026-0130062

Допуск внешних действий по проверенным решениям

Смежные механизмы исполнения решений

Дата подачи
2026-07-14
Англоязычное название в реестре
External Side-Effect Action Gate Bound to a Recomputed Proof-Bound Verdict
S710-2026-0100728

Проверка допустимости действий при делегировании полномочий

Потенциально относится к управлению полномочиями

Дата подачи
2026-06-02
Англоязычное название в реестре
Action-Admissibility Determination via AI-Agent Authority-Delegation Chains