tla-trace-workflow
•published 2026/01/20
TLA+ Trace Validation workflow. Use when: (1) validating if a trace matches a TLA+ spec, (2) debugging trace validation failures (TLC reports 'Temporal properties were violated' or validation stops unexpectedly), (3) fixing spec/trace inconsistencies after root cause is identified.
📦 Install Skill
Command line install
Install directly with the `skills` CLI.
npx skills add specula-org/Specula/tools/trace_debugger/skills/tla-trace-workflowFile Explorer
No file selected
Select a file to view its content