Skip to content

feat!: Add support for LogicalBlock in verifier - #199

Merged
hsemenenko merged 14 commits into
mainfrom
hs/feat/iterable-protocol-verifier
Oct 20, 2026
Merged

hsemenenko merged 14 commits into
mainfrom
hs/feat/iterable-protocol-verifier

Conversation

@hsemenenko

@hsemenenko hsemenenko commented Aug 7, 2026 •

Copy link
Copy Markdown
Collaborator

Adds overloads to the verifier to support LogicalBlock types. This also cleans up the types and function signatures.

BREAKING CHANGE: Remove LogicalBlock.put_into_array method

@hsemenenko
hsemenenko requested a review from CalMacCQ August 11, 2026 09:42
@hsemenenko
hsemenenko marked this pull request as ready for review August 11, 2026 09:42
@hsemenenko
hsemenenko requested a review from a team August 11, 2026 09:42
CalMacCQ
CalMacCQ previously approved these changes Aug 11, 2026

@CalMacCQ CalMacCQ left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good, thanks Henry. Just one question that I think is inconsequential really.

Comment thread src/guppyft/verifier/verify.py Outdated
Comment thread src/guppyft/code/util.py Outdated
@hsemenenko
hsemenenko marked this pull request as draft August 11, 2026 11:02
@hsemenenko
hsemenenko dismissed CalMacCQ’s stale review August 11, 2026 11:03

This has highlighted a big issue with using Iterable in the unitary verification which need more thought on how to address.

@hsemenenko

Copy link
Copy Markdown
Collaborator Author

For the unitary tests, the Bell state is prepared as an array. This is incompatible with having an implementation function that expects LogicalBlock as an input.

@hsemenenko hsemenenko changed the title feat: Update logical verifier to use Iterable protocol for compatibility with LogicalBlock type feat!: Add support for LogicalBlock in verifier Oct 16, 2026
@github-actions

github-actions Bot commented Oct 16, 2026 •

Copy link
Copy Markdown

This PR contains breaking changes to the public Python API.

Breaking changes summary
src/guppyft/std/_logical_block.py:0: LogicalBlock.put_into_array:
Public object was removed


@hsemenenko
hsemenenko marked this pull request as ready for review October 16, 2026 16:28
@hsemenenko
hsemenenko requested a review from a team as a code owner October 16, 2026 16:28

@CalMacCQ CalMacCQ left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks good! Thanks @hsemenenko

@hsemenenko
hsemenenko merged commit eb45488 into main Oct 20, 2026
21 checks passed
@hsemenenko
hsemenenko deleted the hs/feat/iterable-protocol-verifier branch October 20, 2026 08:19
@hugrbot hugrbot mentioned this pull request Oct 19, 2026
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.

2 participants