All issues

Search results

[P2] Bind deterministic agent stages to verified source functions and execute one typed lifecycle

Status: Open.

#72 In wavect/semaprax;

· wsdt opened on Sep 5, 2026

[P2] Expose the new HTTPS client through a typed source API with explicit target admission

Status: Open.

#71 In wavect/semaprax;

· wsdt opened on Sep 5, 2026

[P2] Bound TCP operations by an end-to-end deadline including name resolution

Status: Open.

#70 In wavect/semaprax;

· wsdt opened on Sep 5, 2026

[P2] Make editor MCP frame assembly linear in received bytes

Status: Open.

#69 In wavect/semaprax;

· wsdt opened on Sep 5, 2026

[P1] Use project queries for editor navigation in importing modules

Status: Open.

#68 In wavect/semaprax;

· wsdt opened on Sep 5, 2026

[P2] Add deterministic grammar-driven differential compiler tests with shrinking

Status: Open.

#67 In wavect/semaprax;

· wsdt opened on Sep 5, 2026

[P3] Implement revision-bound agent checkpoints and resume with uncertainty reconciliation

Status: Open.

#66 In wavect/semaprax;

· wsdt opened on Sep 5, 2026

[P2] Separate source-owned agent semantics from explicit deployment/model bindings

Status: Open.

#65 In wavect/semaprax;

· wsdt opened on Sep 5, 2026

[P2] Derive agent proposal schemas from verified stable-ID record and variant types

Status: Open.

#64 In wavect/semaprax;

· wsdt opened on Sep 5, 2026

[P2] Add a bounded JSON parser and writer usable from Semaprax programs

Status: Open.

#63 In wavect/semaprax;

· wsdt opened on Sep 5, 2026

[P2] Implement a first owned bounded vector slice for everyday data processing

Status: Open.

#62 In wavect/semaprax;

· wsdt opened on Sep 5, 2026

[P2] Run the Linux offline doctor lifecycle gates in an isolated provisioned environment

Status: Open.

#61 In wavect/semaprax;

· wsdt opened on Sep 5, 2026