Search results

Concurrency hardening: transactional UNION, cancellation semantics, and concurrent permission tests

Status: Open.

#313 In leynos/mxd;

· coderabbitai opened on Apr 27, 2026

Performance: deduplication allocations, path-depth cap, and UNION query consolidation

Status: Open.

#312 In leynos/mxd;

· coderabbitai opened on Apr 27, 2026

Add structured tracing instrumentation at access-control boundaries

Status: Open.

#311 In leynos/mxd;

· coderabbitai opened on Apr 27, 2026

Separate domain layer from persistence layer for authorisation models

Status: Open.

#310 In leynos/mxd;

· coderabbitai opened on Apr 27, 2026

Add property-based and formal verification tests for file-node and permission invariants

Status: Open.

#309 In leynos/mxd;

· coderabbitai opened on Apr 27, 2026

Replace or evaluate unmaintained paste crate (RUSTSEC-2024-0436)

Status: Open.

#287 In leynos/mxd;

· coderabbitai opened on Feb 22, 2026

Consider using shared error enums in wireframe codec instead of string errors

enhancementNew feature or requestNew feature or request

Status: Open.

#267 In leynos/mxd;

· coderabbitai opened on Jan 12, 2026

Add Kani harness for validate_fragment_consistency in wireframe codec layer

Status: Open.

#266 In leynos/mxd;

· coderabbitai opened on Jan 12, 2026

Record Kani proof bounds in verification strategy documentation

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#265 In leynos/mxd;

· coderabbitai opened on Jan 12, 2026

Document MAX_FRAME_DATA and MAX_PAYLOAD_SIZE constants in protocol specification

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#264 In leynos/mxd;

· coderabbitai opened on Jan 12, 2026

Update ExecPlan text to match implemented bounded scalar approach

Status: Open.

#261 In leynos/mxd;

· coderabbitai opened on Jan 12, 2026

Remove approval requirement note or record approval in completed ExecPlan

Status: Open.

#260 In leynos/mxd;

· coderabbitai opened on Jan 12, 2026