8000 feat: set values (#316) by adityamukho · Pull Request #15 · project-minigraf/minigraf-python · GitHub
[go: up one dir, main page]

Skip to content

feat: set values (#316) - #15

Merged
adityamukho merged 3 commits into
v3from
feat/316-set-values
Oct 24, 2026
Merged

adityamukho merged 3 commits into
v3from
feat/316-set-values

Conversation

@adityamukho
Copy link
Copy Markdown
Contributor

Step 24 of the minigraf#316 plan (PR 4), Python.

  • Shim synced with minigraf-binding-template#8: Value.SET([...]) both ways (fact records, log writer, bind values), a nested set is API-021, execute() JSON returns a set as an array, wildcard arms for core's #[non_exhaustive] Value.
  • Sugar: a set/frozenset binds a set value; its elements are bool/int/float/str/None, and a uuid.UUID is a ref. UniFFI's Value defines __eq__ without __hash__, so keyword elements use Value.SET([Value.KEYWORD(..)]) (stated in the README). A list stays a TypeError.
  • Pin core v3 → 7c8c5540.
  • Tests: in? with sets/frozensets/typed sets, equality with a stored set, JSON array and fact-record output, UUID elements, API-021 both ways, TypeErrors. Consumer contract: a set comes back and binds.

46 pytest pass and the contract passes (local run).

Depends on minigraf-binding-template#8 (same shim).

🤖 Generated with Claude Code

https://claude.ai/code/session_01TcpoiFyFeQQQELL872LfQF

adityamukho and others added 3 commits October 25, 2026 02:07
Shim synced with the binding template: Value.SET both ways, a nested set
is API-021, execute() returns a set as an array. A Python set or frozenset
binds a set value (UUID elements are refs). Pin core v3 at 7c8c5540.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01TcpoiFyFeQQQELL872LfQF
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01TcpoiFyFeQQQELL872LfQF
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01TcpoiFyFeQQQELL872LfQF
@adityamukho
adityamukho merged commit 299e6a6 into v3 Oct 24, 2026
13 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

Successf 3A9A ully merging this pull request may close these issues.

1 participant

0