All issues

Search results

Rig gaps found in the 2026-09-24 hardware runs: live rig can't run on comb, banner rig burns its budget on handshake failure, bad_finished doesn't print the carry

Status: Open.

#247 In JC-000/c64-https;

· JC-000 opened on Sep 24, 2026

rig_https_local / rig_https_bad_finished start the listener before taking the DeviceLock, so a queued run's ACCEPT_TIMEOUT expires

Status: Open.

#246 In JC-000/c64-https;

· JC-000 opened on Sep 24, 2026

ip65_hw_checks: port check_net_counters (send-attempt / recv-dropped) — needs adapter counters first (split from #202 item 3)

Status: Open.

#235 In JC-000/c64-https;

· JC-000 opened on Sep 24, 2026

UCI rigs release the DeviceLock over a live firmware socket on an abnormal exit (exception / Ctrl-C) — next lane's reset poisons the lease

Status: Open.

#234 In JC-000/c64-https;

· JC-000 opened on Sep 24, 2026

uci-comb has no offline handshake rig — rig_https_local cannot allocate scratch on it

Status: Open.

#209 In JC-000/c64-https;

· JC-000 opened on Sep 7, 2026

tls_state has no high-water latch, so the rig's CONNECTED oracle is outrun at turbo

Status: Open.

#204 In JC-000/c64-https;

· JC-000 opened on Sep 6, 2026

No hardware rig verifies the PRG image after loading it — propose a post-load verify (blast-radius assessment of harness#231)

Status: Open.

#199 In JC-000/c64-https;

· JC-000 opened on Sep 6, 2026

Our own 12 REU execute sites have no §8.2 completion confirm or post-execute settle

Status: Open.

#191 In JC-000/c64-https;

· JC-000 opened on Sep 5, 2026

Certificate pinning: pin the leaf SPKI hash (build-time now, trust-on-first-use as the direction)

Status: Open.

#155 In JC-000/c64-https;

· JC-000 opened on Aug 30, 2026

Roadmap: cursor-selectable inline link highlighting for the 40-column text viewer

Status: Open.

#154 In JC-000/c64-https;

· JC-000 opened on Aug 30, 2026

Load the Lim-Lee comb table from disk instead of computing it at boot

Status: Open.

#120 In JC-000/c64-https;

· JC-000 opened on Aug 15, 2026