Skip to content

Bound 0.1.5: published contracts and native walk - #7

Merged
NahumOchoa merged 6 commits into
mainfrom
feat/0.1.5-published-contracts
Oct 8, 2026
Merged

NahumOchoa merged 6 commits into
mainfrom
feat/0.1.5-published-contracts

Conversation

@NahumOchoa

@NahumOchoa NahumOchoa commented Oct 8, 2026 •

Copy link
Copy Markdown
Contributor

Bound 0.1.5 adds native walk and published contracts, with eight grouped references and the paper DOI in the README.

The fixture expansion is reverted. The package excludes tools, samples and vectors; README and contracts no longer show private example commands. The cleanup changes five existing files and adds none.

Build and archive-content checks passed. Native receipt closure remains pending; nothing is published.

@NahumOchoa
NahumOchoa merged commit 991e8d3 into main Oct 8, 2026
2 checks passed
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