Labels

Audit / security-evaluation tasks

Something isn't working

speca-cli (TUI front-end) work

Confidential vulnerability work; no public artifacts

Datasets / data wrangling

Improvements or additions to documentation

This issue or pull request already exists

New feature or request

Epic / tracking issue

Good for newcomers

Good first issue for the CLI track

Extra attention is needed

This doesn't seem right

Multi-week, cross-component initiative

Lean 4 formal verification

Milestone 2 grant work

Async orchestrator / harness

SPECA paper revision (reviews #1756A/#1756B)

Full pipeline runs

Further information is requested

Reporting / deliverables

Reproduction / PoC

Deliverable 2-C: cumulative bug & fix report

Deliverable 2-D: SPECA x Lean integration

This will not be worked on