This directory contains formal specifications and standards materials for the Design Ontology Language (DOL) project.

• dol-crdt-schema-v1.0.md - The DOL CRDT Schema Specification v1.0
  • Formal specification of CRDT annotation syntax
  • Semantics for all 7 CRDT strategies
  • Type compatibility matrix
  • Validation and conformance requirements
  • 60+ pages of detailed technical specification

• dol-crdt-implementation-guide.md - Implementation Guide
  • For library and tool developers
  • Parser implementation guide
  • Validator implementation guide
  • Code generator patterns
  • Runtime library requirements
  • Testing and conformance

• dol-crdt-examples/ - Reference Examples
  • Complete examples for all 7 CRDT strategies
  • Demonstrates best practices
  • Includes merge examples and explanations
  • See dol-crdt-examples/README.md

• dol-crdt-standards-submission.md - Standards Body Submission Materials
  • IETF submission package
  • W3C submission package
  • ISO/IEC submission package
  • Timeline and contacts

• Main Specification
• JSON Schema
• RFC-001: CRDT Annotations

• Implementation Guide
• Example Catalog
• Developer Documentation

• GitHub Repository
• Standards Forum
• Email: [email protected]

The DOL CRDT Schema supports seven core strategies:

dol-check schemas/my-schema.dol

dol-codegen-rust schemas/my-schema.dol -o output/

dol-export --format json schemas/my-schema.dol

Level 1 (Basic):

• Supports 4+ strategies (immutable, lww, or_set, pn_counter)
• Type compatibility validation
• JSON schema export

Level 2 (Full):

• All 7 strategies
• Constraint categorization
• Schema evolution
• Passes conformance test suite

Level 3 (Advanced):

• Byzantine fault tolerance
• Cross-library interoperability
• Custom strategy extensions

We welcome contributions to the specification!

• Issues: https://github.com/univrs/dol/issues
• Discussions: https://github.com/univrs/dol/discussions
• Email: [email protected]

1. Open an issue describing the problem or suggestion
2. Discuss with maintainers and community
3. Submit a pull request with proposed changes
4. Participate in review process

All specifications in this directory are licensed under:

Creative Commons Attribution 4.0 International (CC BY 4.0)

You are free to:

• Share — copy and redistribute the material
• Adapt — remix, transform, and build upon the material

Under the following terms:

• Attribution — You must give appropriate credit

See https://creativecommons.org/licenses/by/4.0/ for details.

• Initial release of DOL CRDT Schema Specification
• 7 core CRDT strategies
• Complete validation rules
• JSON schema format
• Implementation guide
• Standards submission materials

Univrs Foundation

• Website: https://univrs.org
• Email: [email protected]
• GitHub: https://github.com/univrs/dol

For implementation support:

• Discord: https://discord.gg/univrs
• Forum: https://forum.univrs.org

For standards submission:

• Email: [email protected]