Skip to content

feat(contracts): validate inventory wire types - #6

Merged
polaz merged 3 commits into
mainfrom
feat/#5-contracts
Oct 23, 2026
Merged

polaz merged 3 commits into
mainfrom
feat/#5-contracts

Conversation

@polaz

@polaz polaz commented Oct 23, 2026 •

Copy link
Copy Markdown
Member

Summary

Add a shared, validated domain boundary for inventory and operation records, generated from one protobuf schema for Rust and TypeScript.

  • Preserve asset incarnations, field authority and independent current evidence windows; discovery batches share their source context.
  • Bound wire decoding and memory admission, validate rooted requirement DAGs, and keep uncertain external effects distinct from confirmed outcomes.
  • Add reproducible cross-language and Chromium verification gates to CI, with documented development commands and contract limits.

This change delivers a contract library; it does not deliver an installable application.

Testing

Generation checks, Rust build, formatting, clippy, nextest and doctests, TypeScript typecheck/build, binary interoperability and Chromium checks pass locally on macOS. Documentation and whitespace checks pass; CI adds Linux verification.

Closes #5

Define generated Rust and TypeScript inventory and operation contracts with bounded admission, provenance and explicit effect outcomes. Add cross-language corpus and Chromium verification gates.

Closes #5
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Oct 23, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-10-23T12:27:12.544546Z dc0e7f9 New commits
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

polaz added 2 commits October 23, 2026 14:30
Preserve independent current field windows without retaining duplicate samples. Share discovery batch context and reject unused requirement nodes. Verify bounds and partial refresh behavior across Rust, TypeScript and Chromium.

Refs #5
@polaz
polaz merged commit 020e381 into main Oct 23, 2026
7 checks passed
@polaz
polaz deleted the feat/#5-contracts branch October 23, 2026 13:06
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.

feat: define validated infrastructure contracts

1 participant