All issues

Search results

soundness_proofs.rs: the soundness verifier returns constant true / empty (vacuous)

Status: Open.

#24 In CaptainEmpower/aisp-open-core;

· sravinet opened on Jun 22, 2026

[R-13/R-05] Known-failing & unwired tests

Status: Open.

#18 In CaptainEmpower/aisp-open-core;

· sravinet opened on Jun 20, 2026

[R-21] Semantic verification pipeline simplifications

Status: Open.

#17 In CaptainEmpower/aisp-open-core;

· sravinet opened on Jun 20, 2026

[R-08] Reference validator & tri-vector return placeholder results

Status: Open.

#16 In CaptainEmpower/aisp-open-core;

· sravinet opened on Jun 20, 2026

[R-10] Experimental research modules are stubbed / unsupported

Status: Open.

#15 In CaptainEmpower/aisp-open-core;

· sravinet opened on Jun 20, 2026

[R-11] Parser simplifications & placeholder recovery blocks

Status: Open.

#14 In CaptainEmpower/aisp-open-core;

· sravinet opened on Jun 20, 2026

[R-21] Performance & resource verification return placeholder metrics

Status: Open.

#13 In CaptainEmpower/aisp-open-core;

· sravinet opened on Jun 20, 2026

[R-15/R-16] SMT/Z3 verification is incomplete (presents stubs as Proven)

Status: Open.

#12 In CaptainEmpower/aisp-open-core;

· sravinet opened on Jun 20, 2026

[R-21/R-15] Formal proof engine & proof search are placeholder

Status: Open.

#11 In CaptainEmpower/aisp-open-core;

· sravinet opened on Jun 20, 2026

[R-21] Concurrent & protocol behavior analysis is stubbed

Status: Open.

#10 In CaptainEmpower/aisp-open-core;

· sravinet opened on Jun 20, 2026