Skip to content

feat(ufo-types): SysML discovery — revision contracts, portable revisions, native verification - #36

Merged
elasticdotventures merged 9 commits into
mainfrom
feature/sysml-discovery-contract
Oct 14, 2026
Merged

elasticdotventures merged 9 commits into
mainfrom
feature/sysml-discovery-contract

Conversation

@elasticdotventures

Copy link
Copy Markdown
Member

Summary

SysML discovery contract work — 9 commits establishing the canonical type layer for revision discovery:

  • 34d73ca feat: add deterministic portable revision contract
  • e907077 feat: merge portable revisions with typed conflicts
  • 8991be7 fix: bind complete revision fidelity and exact decimal values
  • e900190 feat: add native verification case element kinds
  • 7f4c7c8 feat: export revision protocol schemas for browser consumers
  • ba12e5e feat: preserve native feature typing as a canonical relation
  • 8911df5 feat: define validated revision discovery wire contracts
  • 5f8d018 fix: validate checkpoint model dialect independently of wire format
  • 8b360c7 feat: add bounded byte-preserving ReqIFz intake

Canonical query contract 8911df5 corrected by published 5f8d018: model dialect is opaque and distinct from the portable wire dialect. Owner consumers pinned to 5f8d018. Canonical archive component 8b360c7 is transport only (not semantic import/export).

Test plan

  • cargo test passes
  • cargo clippy clean
  • Revision wire contract types compile and export correctly for browser consumers

🤖 Generated with Claude Code

@elasticdotventures
elasticdotventures merged commit 8af6972 into main Oct 14, 2026
2 checks passed
@elasticdotventures
elasticdotventures deleted the feature/sysml-discovery-contract branch October 14, 2026 10:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant