chore(main): release hugr-py 0.13.0rc1

[hugrbot]

🤖 I have created a release beep boop

0.13.0rc1 (2025-07-24)

⚠ BREAKING CHANGES

• Lowering functions in extension operations are now encoded as binary envelopes. Older hugr versions will error out when trying to load them.
• py: EnvelopeConfig::BINARY now uses the model binary encoding. EnvelopeFormat.MODULE is now EnvelopeFormat.MODEL. EnvelopeFormat.MODULE_WITH_EXTS is now EnvelopeFormat.MODEL_WITH_EXTS
• hugr-model: Symbol has an extra field
• Renamed the Any type bound to Linear
• The model CFG signature types were changed.
• Added TypeParams and TypeArgs corresponding to floats and bytes.
• TypeArg::Sequence needs to be replaced with TypeArg::List or TypeArg::Tuple
• FuncDefns must be moved to beneath Module. Container::define_function is gone, use HugrBuilder::module_root_builder; similarly in hugr-py DefinitionBuilder (define_function -> module_root_builder().define_function). In hugr-llvm, some uses of

Features

• Add BorrowArray extension (#2395) (782687e)
• Add MakeError op (#2377) (909a794), closes #1863
• add toposort to HUGR-py (#2367) (34eed34)
• Add Visibility to FuncDefn/FuncDecl. (#2143) (5bbe0cd)
• Added float and bytes literal to core and python bindings. (#2289) (e9c5e91)
• core, llvm: add array unpack operations (#2339) (a1a70f1), closes #1947
• Detect and fail on unrecognised envelope flags (#2453) (5e36770)
• Export entrypoint metadata in Python and fix bug in import (#2434) (d17b245)
• Expose BorrowArray in hugr-py (#2425) (fdb675f), closes #2406
• include generator metatada in model import and cli validate errors (#2452) (f7cedb4)
• Names of private functions become core.title metadata. (#2448) (4bc7f65)
• No nested FuncDefns (or AliasDefns) (#2256) (214b8df)
• Non-region entrypoints in hugr-model. (#2467) (7b42da6)
• Open lists and tuples in Term (#2360) (292af80)
• py: enable Model as default BINARY envelope format (#2317) (f089931)
• py: Helper methods to get the neighbours of a node (#2370) (bb6fa50)
• py: Use SumValue serialization for tuples (#2466) (f615037)
• Rename 'Any' type bound to 'Linear' (#2421) (c2f8b30)
• Split TypeArg::Sequence into tuples and lists. (#2140) (cc4997f)
• Standarize the string formating of sum types and values (#2432) (ec207e7)
• Use binary envelopes for operation lower_func encoding (#2447) (2c16a77)

Bug Fixes

• Ensure SumTypes have the same json encoding in -rs and -py (#2465) (7f97e6f)
• Escape html-like labels in DotRenderer (#2383) (eaa7dfe)
• Export metadata in Python (#2342) (7be52db)
• Fix model export of Opaque types. (#2446) (3943499)
• Fixed bug in python model export name mangling. (#2323) (041342f)
• Fixed bugs in model CFG handling and improved CFG signatures (#2334) (ccd2eb2)
• Fixed export of Call and LoadConst nodes in hugr-py. (#2429) (6a0e270)
• Fixed invalid extension name in test. (#2319) (c58ddbf)
• Fixed two bugs in import/export of function operations (#2324) (1ad450f)
• map IntValue to unsigned repr when serializing (#2413) (26d426e), closes #2409
• Order hints on input and output nodes. (#2422) (a31ccbc)
• py: correct ConstString JSON encoding (#2325) (9649a48)
• StaticArrayVal payload encoding, improve roundtrip checker (#2444) (1a301eb)
• stringify metadata before escaping in renderer (#2405) (8d67420)

---

This PR was generated with Release Please. See documentation.

Release-As: 0.13.0rc1

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 82.62%. Comparing base (3a79b9e) to head (f55b59f).
Report is 1 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff           @@
##             main    #2302   +/-   ##
=======================================
  Coverage   82.62%   82.62%           
=======================================
  Files         250      250           
  Lines       46479    46479           
  Branches    42040    42040           
=======================================
  Hits        38405    38405           
  Misses       6025     6025           
  Partials     2049     2049           

Flag	Coverage Δ
python	91.32% <100.00%> (ø)

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

[hugrbot]

🤖 Created releases:

• hugr-py-v0.13.0

🌻