Search results

docs: document cross-spec type compatibility rules in compose

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#20 In ymm-oss/fsl;

· rizumita opened on Jun 17, 2026

feat: identity refinement shorthand (maps auto) for same-named actions/state

enhancementNew feature or requestNew feature or request

Status: Open.

#19 In ymm-oss/fsl;

· rizumita opened on Jun 17, 2026

ux: distinguish reachable_failed (insufficient depth) vs genuine unreachability; clarify bounded verified

enhancementNew feature or requestNew feature or request

Status: Open.

#18 In ymm-oss/fsl;

· rizumita opened on Jun 17, 2026

bug: refine mapping — action params reject type annotations (asymmetry with spec actions)

bugSomething isn't workingSomething isn't working

Status: Open.

#17 In ymm-oss/fsl;

· rizumita opened on Jun 17, 2026

bug: compose — synchronized actions do not inherit fair; inherited liveness silently breaks

bugSomething isn't workingSomething isn't working

Status: Open.

#16 In ymm-oss/fsl;

· rizumita opened on Jun 17, 2026

docs: clarify action-level maps stutter and struct per-field map updates

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#15 In ymm-oss/fsl;

· rizumita opened on Jun 17, 2026

ux: friendlier parse error when an identifier uses a disallowed character

enhancementNew feature or requestNew feature or request

Status: Open.

#14 In ymm-oss/fsl;

· rizumita opened on Jun 17, 2026

feat: testgen partial generation + required-depth hint instead of aborting on reachable_failed

enhancementNew feature or requestNew feature or request

Status: Open.

#13 In ymm-oss/fsl;

· rizumita opened on Jun 17, 2026

feat: fslc chain — project manifest + unified cross-layer verification report

enhancementNew feature or requestNew feature or request

Status: Open.

#12 In ymm-oss/fsl;

· rizumita opened on Jun 17, 2026

feat: prove leadsTo inductively via ranking function (decreases <expr>)

enhancementNew feature or requestNew feature or request

Status: Open.

#11 In ymm-oss/fsl;

· rizumita opened on Jun 17, 2026

feat: symmetry reduction (or dedicated liveness engine) to tame leadsTo state explosion

enhancementNew feature or requestNew feature or request

Status: Open.

#10 In ymm-oss/fsl;

· rizumita opened on Jun 17, 2026

feat: --exclude-property to skip named properties during verify

enhancementNew feature or requestNew feature or request

Status: Open.

#9 In ymm-oss/fsl;

· rizumita opened on Jun 17, 2026