Solution Features and work types For companies Resources and laws Help About us ← About the company DailySafe · Intellectual property
Patent applications and research A source-backed inventory of applications relevant to safety, work records and verifiable event history.
17 selected applications relevant to DailySafe
9 primary shortlist · 8 related platform research
The nine-item shortlist is an editorial selection of the most directly relevant filings, not an exhaustive legal scope. Further supporting applications are identified below. Filing an application does not mean a patent has been granted; actual protection depends on claims, examination outcomes and product implementation.
9 primary product-relevant applications 10-2026-0005160
Pre-commit checks and historical decision consistency Relevant to historical work decisions and applicable policy rules
Filing date 2026-01-12
English registry catalogue title Transaction-Layer Pre-Commit Enforcement + No-Retroactivity Gating 10-2026-0005161
Derived-state decisions and escalation Related to work-state review and escalation
Filing date 2026-01-12
English registry catalogue title Derived-State Compute-Only Determination + MX-Indicator Escalation 10-2026-0005162
Input provenance and correction evidence Related to work-record provenance and corrections
Filing date 2026-01-12
English registry catalogue title Non-Inferential Input Normalization + Field-Level Provenance/Patch Evidence Collection 10-2026-0005163
Policy-version pinning and scoped partial closure Relevant to decisions under the policy in effect
Filing date 2026-01-12
English registry catalogue title Policy Container Hash Pinning + Scope-Mask Partial Closure 10-2025-0210561
Event-evidence bundles and authority chains Relevant to event acknowledgements and delegated authority
Filing date 2025-12-26
English registry catalogue title Proof-of-Event Packages + Non-Bypassable Deadlines + Delegation Chains (Human/Robot/AI-Agent) 10-2026-0074141
Formally verified event and execution controls Relevant to provable event history and decision controls
Filing date 2026-04-23
English registry catalogue title Formal-Verification-Based Non-Bypassable Execution-Control / Causal Event-Graph System 10-2026-0100719
Evidence-based work settlement and dispute handling Direct relation to hours confirmation and disputes
Filing date 2026-06-02
English registry catalogue title Evidence-Bounded Work Settlement — Formally-Verified Payment Approval via Evidence Chain / Policy Pinning / Dispute Localization 10-2026-0100726
Verifiable certification of settlement results Related to work records and settlement evidence
Filing date 2026-06-02
English registry catalogue title Admissible-Compute-Result Payment Certification via Evidence-Bounded Policy Pinning / Dispute Localization 10-2026-0163524
Cross-store committed-state identity and rollback detection Foundational work for independently verifiable history
Filing date 2026-08-28
English registry catalogue title Committed State Identity Additional related applications 10-2025-0203241
Object state and separation of duties Cross-product roles and approvals
Filing date 2025-12-18
English registry catalogue title Object-State Determination and Non-Fatiguing Escalation Gating with Supervision/Separation-of-Duties 10-2026-0005164
Single-use authorization tokens Supporting authorization infrastructure
Filing date 2026-01-12
English registry catalogue title SCT-Based Capability Lease Token + Single-Redeem Interlock 10-2026-0100721
Proof-carrying decision records Related to auditable decisions
Filing date 2026-06-02
English registry catalogue title Proof-Carrying Business-Logic Records with Embedded Formal Verification Certificates for Auditable Decision Systems 10-2026-0114899
Cryptographic provenance tracking Supports event-provenance verification
Filing date 2026-06-23
English registry catalogue title Deterministic Provenance Tracking — Cryptographically Deterministic with FV Chain Integrity 10-2026-0117941
Offline verification without the live system Particularly relevant to independent M4 verification
Filing date 2026-06-29
English registry catalogue title Self-Contained Capsule and Offline Verifier for Re-Deriving an Admissibility Verdict by Recomputation Without Live System State 10-2026-0130055
Dispute closure and sealed decision states Related to work-hour dispute closure
Filing date 2026-07-14
English registry catalogue title Dispute-Resolution Gate with Terminal Sealed States and Closure-Gate Admissibility 10-2026-0130062
Proof-bound external action controls Supporting action authorization
Filing date 2026-07-14
English registry catalogue title External Side-Effect Action Gate Bound to a Recomputed Proof-Bound Verdict 10-2026-0100728
Action authorization via delegation chains Potentially relevant to approvals and authorization
Filing date 2026-06-02
English registry catalogue title Action-Admissibility Determination via AI-Agent Authority-Delegation Chains Source filing registers English catalogue names originate in the internal registry and are not represented as verbatim Korean KIPO claim titles.
This page presents high-level themes only, not unpublished claims or confidential implementation details. A filed application must not be confused with an available product feature.
Original filing registers remain private. Published filing information should be verified against official KIPO/KIPRIS records.