Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
e840805
feat(runtime): hold unordered unique collections as sets and index te…
devin-ai-integration[bot] Sep 8, 2026
7274ea7
feat(grpc): carry sets and tensor quantities of any rank across the w…
devin-ai-integration[bot] Sep 8, 2026
8974008
docs(compliance): record ordered unique features as approximate
devin-ai-integration[bot] Sep 8, 2026
6f80a7e
test(grpc): drop an unused helper from the set and tensor tests
devin-ai-integration[bot] Sep 8, 2026
5083138
fix(runtime): total canonical set order, one key per equal collection…
devin-ai-integration[bot] Sep 8, 2026
24e400d
fix(runtime): order like-rendered set members by contents
devin-ai-integration[bot] Sep 8, 2026
bfc0dd4
fix(clients): judge set members by value across clients, order mixed …
devin-ai-integration[bot] Sep 8, 2026
6cd262a
fix(clients): judge set members as the service does, across commensur…
devin-ai-integration[bot] Sep 8, 2026
add74f0
fix(clients): compare measurement references by reduction and enum li…
devin-ai-integration[bot] Sep 8, 2026
c3710a1
fix(clients): keep Python set membership aligned with the engine for …
devin-ai-integration[bot] Sep 8, 2026
76a68c5
fix(clients): keep Python instance references out of numeric values
devin-ai-integration[bot] Sep 8, 2026
0cecf98
fix(clients): refuse a non-integer id when building a Python InstanceRef
devin-ai-integration[bot] Sep 8, 2026
7ab013e
fix(clients): judge the unbounded value by kind in Node set membership
devin-ai-integration[bot] Sep 8, 2026
8b2f1f6
fix(clients): refuse a malformed tensor quantity in the Go client bef…
devin-ai-integration[bot] Sep 8, 2026
e6bc95b
fix(clients): judge functions by calc and object in Node set membership
devin-ai-integration[bot] Sep 8, 2026
3f762ff
fix(grpc): bind functions nested in set arguments with the active run…
devin-ai-integration[bot] Sep 8, 2026
f425b9e
fix(runtime): order alike-rendered functions by identity and keep a s…
devin-ai-integration[bot] Sep 8, 2026
0787ad7
fix(runtime): place equal set members alike and withhold sets with un…
devin-ai-integration[bot] Sep 8, 2026
f00ea98
fix(clients): read null and the empty collections as one set member; …
devin-ai-integration[bot] Sep 8, 2026
c516533
fix(java): hash the absent value alike however it is spelt
devin-ai-integration[bot] Sep 8, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
29 changes: 29 additions & 0 deletions .agents/skills/testing-sysml-repl/SKILL.md
Original file line number Diff line number Diff line change
Expand Up @@ -5766,3 +5766,32 @@ and use <kbd>Shift</kbd>+<kbd>PageUp</kbd>.
expressions (`m.eval('3 * 4')`) as the service-survival check. A throwaway venv
(`python3 -m venv ~/pr-venv && ~/pr-venv/bin/pip install -e clients/python`) is ~1 min; drive the
freshly built `./bin/sysml-grpc -port 50123` with `auto_start=False`.

## Sets, tensors, and capability refusal

- Use `conformance/fixtures/set_tensor.sysml` for an m-based rank-three tensor and
a duplicate/out-of-order set. Evaluate `s.elements`, not `s`, to obtain the
`SetValue` rather than the Collection object. `TensorQuantity.dimensions` is
`(2, 2, 2)` and all eight `components` should retain unit text `m`.
- If a qualified compound expression such as `T::cube#(2,1,2)` reports an
unresolved reference after importing quantity libraries, pin the scope with
`%eval in T : cube#(2,1,2)`. In noninteractive `-e`, use `cube#(2,1,2)`
in the file's package context; `-e 'in T : ...'` is not REPL-command syntax.
Python's corresponding option is `context_symbol_id="T"`.
- SysML tensor indices are one-based, while Python `cube[(1,0,1)]` is zero-based;
both address the sixth component of shape `(2,2,2)`, expected `6.0 m`.
- For a real capability-refusal check, run a second freshly built service with
`OPENSYSML_TEST_WITHHOLD_CAPABILITIES=set_values,tensor_values`
and `-port 50124 -health-port 0`. Confirm absent capabilities, a working scalar
evaluation, then `MissingCapabilityError` for direct and nested outbound values.
Count delegated `EvaluateCalc` calls to demonstrate refusal before sending;
`Connection._stub` is a read-only property, backed by `_service`.
- Library-backed collection regression probes need valid declarations:
`Collections::Array` requires dimensions matching its elements, and Map /
OrderedMap elements must be `KeyValuePair` objects, not raw integers.
- In Konsole, use `Ctrl++` (not Ctrl+Shift++) to enlarge the font. Display version
with shell `bin/sysml --version`; `%version` is not a REPL command.

### Devin Secrets Needed

None for these local REPL/gRPC checks.
Loading
Loading