Issues

A palette element starts at the default drop point instead of under the pointer

anadon/JLS#1000 · opened

on Oct 29, 2026

3

Saving while an element is still being placed writes it to the file and can cause invalid circuits

anadon/JLS#998 · opened

on Oct 29, 2026

2

Export image of specific sub circuit instead of always exporting top level sub circuit

anadon/JLS#996 · opened

on Oct 29, 2026

8

TASK-C980-3: the CI lane runs the JLS-generated cocotb test in a digest-pinned shuttle-template clone and records the RTL and gate-level witnesses as pass, fail, or a named skip — never green by not running

anadon/JLS#989 · opened

on Sep 12, 2026

1

TASK-C980-2: a TruthTable element, drawn or #646-extracted, emits test/truthtable.md in Tiny Tapeout's 0/1/x/-/c grammar over positional or tt.pins bindings, refused by name beyond 8 bits or 4096 rows

anadon/JLS#988 · opened

on Sep 12, 2026

2

TASK-C980-1: jls -b -t stim.t -pins tt.pins -testbench out design.jls writes out/test/test.py in the Tiny Tapeout template's cocotb shape from a headless replay, or refuses by name with nothing written

anadon/JLS#987 · opened

on Sep 12, 2026

2

TASK-C979-3: a SevenSegment element lights segments a-g,dp from a 7- or 8-bit input, round-trips and is watched as its byte, passes every registry-keyed totality check, and exports as SKIPPED with a warning

anadon/JLS#986 · opened

on Sep 12, 2026

1

TASK-C979-2: the tt-fpga handoff half lands as data — a golden-pinned Toolchain row (up5k, sg48), a real-or-skipped nextpnr-ice40 acceptance case, and a checklist section with its load path marked unverified

anadon/JLS#985 · opened

on Sep 12, 2026

2

TASK-C979-1: jls -export -board tt-fpga writes a PCF byte-pinned to a committed golden from a data-only Boards row transcribed from tt-support-tools, with uio[i] input-only and the iCEstick byte-unchanged

anadon/JLS#984 · opened

on Sep 12, 2026

2

TASK-C978-3: five public Wokwi projects convert through #956's door to .jls goldens, a Tiny Tapeout project emits its PinBindings file, and its truthtable.md replays under jls -b -t with every row passing

anadon/JLS#983 · opened

on Sep 12, 2026

1

TASK-C978-2: a Wokwi diagram's recorded positions and connection paths become a LayoutInvariants-clean placement and routing behind SchematicLayouter, every repair ledgered, realised only via #927's entry point

anadon/JLS#982 · opened

on Sep 12, 2026

2

TASK-C978-1: a Wokwi diagram.json reads into a typed WokwiDiagram with one ledger row per part and per dropped connection, every vocabulary literal pinned in a fetched fixture, every cap refused in bounded time

anadon/JLS#981 · opened

on Sep 12, 2026

2

FEAT-C07-1: the stimulus a drawn design is simulated under becomes the shuttle template's own testbench — one batch run emits test.py and truthtable.md, so the RTL cocotb run, the gate-level run and JLS's batch golden are three witnesses of one behavior

anadon/JLS#980 · opened

on Sep 10, 2026

3

FEAT-C38-5: the Tiny Tapeout FPGA breakout (iCE40 UP5K, SG48) is a Boards row with both halves — golden-pinned PCF and walked up5k bitstream path — so a shuttle-bound design runs on the shuttle's own hardware first, plus a SevenSegment element for the demo board's display

anadon/JLS#979 · opened

on Sep 10, 2026

3

FEAT-C29-6: a Wokwi diagram.json opens in JLS as a laid-out circuit at its recorded positions — every part mapped or refused by name on #556's ledger through a headless converter, and a Tiny Tapeout truthtable.md replays in batch mode with every row passing

anadon/JLS#978 · opened

on Sep 10, 2026

3

TASK-C367-2: a run can elapse in real time — a nominal wall-clock pacing scalar over the fixed quantum, opt-in, with slip reported and never stored

anadon/JLS#966 · opened

on Aug 17, 2026

5

TASK-C555-3: docs/performance.md publishes an interactive-mode figure and JLS's performance policy with a testable revisit threshold

anadon/JLS#965 · opened

on Aug 17, 2026

5

TASK-C504-2: HazardDiagnosisWalkthroughTest — CAP-23's trigger-to-cause-chain walkthrough (§1 steps 1-2) passes as one scripted offline GUI test

anadon/JLS#964 · opened

on Aug 17, 2026

6

TASK-C560-4: the comparison harness ships as a one-command reproducible package with a published third-party invitation, and docs/performance.md carries the sourced capability-deficit table

anadon/JLS#963 · opened

on Aug 17, 2026

7

TASK-C504-1: the GUI test harness learns to click a waveform edge, watch a canvas element flash, and assert on a docked panel's rendering — Layer-2/3 extension for CAP-23's diagnosis surfaces

anadon/JLS#962 · opened

on Aug 17, 2026

6

TASK-C533-3: wires paint their live logic value on the canvas — the draw path consults WireNet.value for the first time

anadon/JLS#961 · opened

on Aug 17, 2026

6

TASK-C362-1: SimEvent's process-wide static sequence counter becomes per-Simulator state and compareTo is retired — deterministic same-time tie-order with any number of live Simulators (P1-S0)

anadon/JLS#960 · opened

on Aug 17, 2026

5

TASK-C560-3: one shared comparison runner and its adapter-descriptor contract — owned under FEAT-C28-4 because nothing in #554's chain measures a competitor

anadon/JLS#959 · opened

on Aug 17, 2026

7

TASK-0105: register the analog GUI module through the shipped gui.palette-contributor seam with an explicit-action activation policy — no new palette dimension

anadon/JLS#958 · opened

on Aug 17, 2026

6

FEAT-046b: the nonlinear analog engine — Newton/Jacobian iteration, the icheck limiting contract, the escape ladder, and adaptive timestep control over FEAT-046 v1's linear core

anadon/JLS#957 · opened

on Aug 17, 2026

3

Navigation Menu

Repository navigation

Issues

A palette element starts at the default drop point instead of under the pointer

Saving while an element is still being placed writes it to the file and can cause invalid circuits

Export image of specific sub circuit instead of always exporting top level sub circuit

TASK-C980-3: the CI lane runs the JLS-generated cocotb test in a digest-pinned shuttle-template clone and records the RTL and gate-level witnesses as pass, fail, or a named skip — never green by not running

TASK-C980-2: a TruthTable element, drawn or #646-extracted, emits test/truthtable.md in Tiny Tapeout's 0/1/x/-/c grammar over positional or tt.pins bindings, refused by name beyond 8 bits or 4096 rows

TASK-C980-1: jls -b -t stim.t -pins tt.pins -testbench out design.jls writes out/test/test.py in the Tiny Tapeout template's cocotb shape from a headless replay, or refuses by name with nothing written

TASK-C979-3: a SevenSegment element lights segments a-g,dp from a 7- or 8-bit input, round-trips and is watched as its byte, passes every registry-keyed totality check, and exports as SKIPPED with a warning

TASK-C979-2: the tt-fpga handoff half lands as data — a golden-pinned Toolchain row (up5k, sg48), a real-or-skipped nextpnr-ice40 acceptance case, and a checklist section with its load path marked unverified

TASK-C979-1: jls -export -board tt-fpga writes a PCF byte-pinned to a committed golden from a data-only Boards row transcribed from tt-support-tools, with uio[i] input-only and the iCEstick byte-unchanged

TASK-C978-3: five public Wokwi projects convert through #956's door to .jls goldens, a Tiny Tapeout project emits its PinBindings file, and its truthtable.md replays under jls -b -t with every row passing

TASK-C978-2: a Wokwi diagram's recorded positions and connection paths become a LayoutInvariants-clean placement and routing behind SchematicLayouter, every repair ledgered, realised only via #927's entry point

TASK-C978-1: a Wokwi diagram.json reads into a typed WokwiDiagram with one ledger row per part and per dropped connection, every vocabulary literal pinned in a fetched fixture, every cap refused in bounded time

FEAT-C07-1: the stimulus a drawn design is simulated under becomes the shuttle template's own testbench — one batch run emits test.py and truthtable.md, so the RTL cocotb run, the gate-level run and JLS's batch golden are three witnesses of one behavior

FEAT-C38-5: the Tiny Tapeout FPGA breakout (iCE40 UP5K, SG48) is a Boards row with both halves — golden-pinned PCF and walked up5k bitstream path — so a shuttle-bound design runs on the shuttle's own hardware first, plus a SevenSegment element for the demo board's display

FEAT-C29-6: a Wokwi diagram.json opens in JLS as a laid-out circuit at its recorded positions — every part mapped or refused by name on #556's ledger through a headless converter, and a Tiny Tapeout truthtable.md replays in batch mode with every row passing

TASK-C367-2: a run can elapse in real time — a nominal wall-clock pacing scalar over the fixed quantum, opt-in, with slip reported and never stored

TASK-C555-3: docs/performance.md publishes an interactive-mode figure and JLS's performance policy with a testable revisit threshold

TASK-C504-2: HazardDiagnosisWalkthroughTest — CAP-23's trigger-to-cause-chain walkthrough (§1 steps 1-2) passes as one scripted offline GUI test

TASK-C560-4: the comparison harness ships as a one-command reproducible package with a published third-party invitation, and docs/performance.md carries the sourced capability-deficit table

TASK-C504-1: the GUI test harness learns to click a waveform edge, watch a canvas element flash, and assert on a docked panel's rendering — Layer-2/3 extension for CAP-23's diagnosis surfaces

TASK-C533-3: wires paint their live logic value on the canvas — the draw path consults WireNet.value for the first time

TASK-C362-1: SimEvent's process-wide static sequence counter becomes per-Simulator state and compareTo is retired — deterministic same-time tie-order with any number of live Simulators (P1-S0)

TASK-C560-3: one shared comparison runner and its adapter-descriptor contract — owned under FEAT-C28-4 because nothing in #554's chain measures a competitor

TASK-0105: register the analog GUI module through the shipped gui.palette-contributor seam with an explicit-action activation policy — no new palette dimension

FEAT-046b: the nonlinear analog engine — Newton/Jacobian iteration, the icheck limiting contract, the escape ladder, and adaptive timestep control over FEAT-046 v1's linear core