Simulate a bounded Logisim truth table
logisim_truth_tableGenerate truth tables from Logisim-evolution .circ circuit files for static analysis, with configurable input bits and limits.
Instructions
Invokes the separately installed JAR, after it self-reports Logisim-evolution 4.1.0, in CSV/binary table mode after statically bounding declared input width.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| path | Yes | Workspace-relative .circ project ref | |
| limit | No | ||
| circuit | No | Circuit name; defaults to the declared main circuit | |
| timeoutMs | No | ||
| maxInputBits | No | ||
| expectedProjectDigest | No | Optional sha256: digest from a prior cross-model handoff |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ok | Yes | ||
| data | No | ||
| error | No | ||
| context | Yes | ||
| summary | Yes | ||
| diagnostics | Yes | ||
| nextActions | Yes | ||
| contractVersion | Yes |