Proto commits in fizzbee-io/fizzbee

These 34 commits are when the Protocol Buffers files have changed:

2026-05-19

feat(modelchecker): expose action returns on Link + add no-state-returns flag (#355) Builds on the prior CloneWithRefs fix by giving downstream consumers (graph, MBT, explorer) a forward-compatible way to read action return values from the per-transition Link rather than per-state Process.Returns. Producer-side additions: - New Link.Returns starlark.StringDict field, populated in processNode alongside Labels/Messages and propagated by Attach/Duplicate to outbound links. - proto/graph.proto Link gets `repeated NameValue returns = 10` so the per-transition returns are serialized into adjacency-list .pb files. Sorted by name in returnsToNameValues for deterministic output. - GenerateDotFile renders the return value on the edge label as `\n returns: {...}`. Migration flag: - New --experimental_no_state_returns (off by default). When on, suppresses Process.Returns from HashCode, MarshalJSON, and the dot-file state label. Returns remain populated during execution (functions/invariants still read them) and remain visible on Link.Returns. Use this to verify downstream consumers have migrated; planned to become the default once they have. Drive-by reverts unrelated to Returns work: - main.go: dotfile threshold local change 500 -> 250 (local-only bump that caused 11-07 and 13-02-01 reference baselines to drift). - processor.go: printPeakSummary now suppressed under the default queue mode and only prints under --experimental_processed_queue. The metric is only meaningful for old-vs-new dedup comparison; printing it in the default path drifted every reference baseline by one line. Verified: all 94 reference specs + 10 lovable specs pass. Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com> Co-authored-by: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

2026-01-29

Add comments for some to fields to be removed (#293) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2026-01-09

Pass the seed to reproduce the same error (#291) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2026-01-07

Support tuple and set for constant generation (#290) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

Check request to see if it is fuzzing (#289) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2026-01-05

Override provider library (#281) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2025-12-21

A 'Ignore' sential value to ignore comparing the certain fields from state or return values (#274) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2025-10-15

Java library for model based testing (#253) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

The documentation is generated from this commit.

2025-09-04

Add a grpc for batch execution of concurrent traces (#246) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2025-08-28

GetState if role implements them (#241) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2025-08-22

Let role mapper return roles as a map instead of having a lookup by name function (#238) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2025-08-18

Temporarily add a role mapper interface and implement the ExecuteAction (#237) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

The plugin interface and test gen code. (#235) * The plugin interface and test gen code. --------- Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2025-06-10

Partial implementation of refinement - parser and ast changes. (#223) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2025-05-21

Add grammar and ast changes to support state space composition (#202) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2025-04-29

Custom param name for transition assertion (#181) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2025-01-02

Allow specifying durable and ephemeral states for roles (#138) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2024-12-12

Store the thread map and thread id in the exported proto (#127) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2024-12-04

Implement fairness marker on any keyword. (#115) * Proto and Parser changes to support fairness for any stmt * Choice fairness * Temporary commit of invariants changes * More intermediate changes * Fix errors with increased cycle length * rename * Scope fairness to the role --------- Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2024-11-27

Assign a stable request id (#110) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2024-09-19

Add support to disable for actions and support max_concurrent actions for actions (#86) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2024-08-08

Add comments to statespace_options.proto (#71)

Use optional proto so we can enable deadlock_detection by default when it is not set (#70) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

Support state space options as a yaml frontmatter. This simplifies online playground use and easy to share a single file (#69) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2024-06-23

Set error linenumbers in the stacktrace (#52) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2024-06-15

Support symmetric_values and symmetric role (#48) Symmetry reduction by specifying values and roles as symmetric. For ids and keys, you can specify ``` KEYS = symmetric_values('key', 3) VALUES = symmetric_values('val', 3) ``` For roles, ``` symmetric role Node: # actions and functions pass ``` To access the id of the node to be used at other places, use `role.__id__` Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2024-05-24

Add separate roles and maintain messages (#39) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2024-05-23

Any with condition (#38) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

Support require stmt and simplified any stmt (#37) Co-authored-by: jayaprabhakar <jayaprabhakar@gmail.com>

2024-05-06

Support for methods within roles (#28)

2024-04-29

Role AST and parser (#21)

2024-04-24

Support enum and top level statements suitable for constants (#18)

2024-03-28

Handle methods with parameters (#5)

2024-03-26

Fresh commit from the old repo (#1)