Skip to content

chore(models): retain scoped evidence with pinned simulation inputs - #23

Merged
gavinying merged 1 commit into
v2from
codex/m2-evidence-consumer
Nov 2, 2026
Merged

gavinying merged 1 commit into
v2from
codex/m2-evidence-consumer

Conversation

@gavinying

Copy link
Copy Markdown
Collaborator

Complete the modbus-models-v2 consumer lock with the exact L2 product record and its data-owned machine schema, in addition to the fixed TMs and scenarios. Prepared local examples retain inspectable proof/limits alongside their input hashes; no model interpretation or public application dependency changes.

Validation: all nine locked files prepared and verified from the immutable db8cf19 data commit; 5 consumer tests passed. Candidate and released-runtime catalog CI rerun independently, including the real public clients and wrong-byte-order counterexample. This closes the simulator side of M2's product-evidence handoff.

@gavinying
gavinying merged commit 2a90315 into v2 Nov 2, 2026
9 checks passed
@gavinying
gavinying deleted the codex/m2-evidence-consumer branch November 2, 2026 07:47
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