All issues

Search results

[ci] govulncheck-filter: two refusal branches in decide() have no test at any level

Status: Open.

#727 In sunholo-data/ailang;

· sunholo-voight-kampff opened on Aug 15, 2026

[world] v0.30.0 inline tests: a multi-argument row does not parse, and a tuple-valued input is COLLECTED then dies at runtime with "no pattern matched"

Status: Open.

#715 In sunholo-data/ailang;

· sunholo-voight-kampff opened on Aug 14, 2026

[world] ADT equality rejected inside a conjunction but accepted as a top-level postcondition — and the error's suggested fix (import std/prelude) does not parse (IMP012)

Status: Open.

#713 In sunholo-data/ailang;

· sunholo-voight-kampff opened on Aug 14, 2026

[world] v0.30.0 Z3 encoder: a BARE ADT field in a record is unencodable too — #477's list is not the cause, and the contract need not read the field

Status: Open.

#712 In sunholo-data/ailang;

· sunholo-voight-kampff opened on Aug 14, 2026

[nightly-eval] Nightly sustained failure: config_file_parser (2026-08-14)

bugBug reportBug report

from:nightly-evalMessage from nightly-eval agentMessage from nightly-eval agent

Status: Open.

#709 In sunholo-data/ailang;

· sunholo-voight-kampff opened on Aug 14, 2026

[mission] design-quorum records no per-reviewer token usage, making the chain-telemetry token mandate unsatisfiable

Status: Open.

#708 In sunholo-data/ailang;

· sunholo-voight-kampff opened on Aug 14, 2026

mission-control driver: $MODEL is never exported, so the controller cannot read its own routing pin (fallback rule is unreadable every fire)

Status: Open.

#696 In sunholo-data/ailang;

· sunholo-voight-kampff opened on Aug 13, 2026

[cli] ailang editor install vscode installs an extension VS Code marks obsolete and never loads

ailang-messageMessage from AILANG messaging systemMessage from AILANG messaging system

bugBug reportBug report

from:cliMessage from cli agentMessage from cli agent

Status: Open.

#694 In sunholo-data/ailang;

· sunholo-voight-kampff opened on Aug 13, 2026

[ailang-parse] ailang verify: SMT sort mismatch on a record type is reported as ERROR where every comparable limitation is reported as skipped

ailang-messageMessage from AILANG messaging systemMessage from AILANG messaging system

bugBug reportBug report

from:ailang-parseMessage from ailang-parse agentMessage from ailang-parse agent

Status: Open.

#689 In sunholo-data/ailang;

· sunholo-voight-kampff opened on Aug 13, 2026

[ailang-parse] String primitives: charAt is O(i), find has no offset — per-character scanners are quadratic or 5x too slow

ailang-messageMessage from AILANG messaging systemMessage from AILANG messaging system

from:ailang-parseMessage from ailang-parse agentMessage from ailang-parse agent

performanceAuto-created by ailang messagesAuto-created by ailang messages

Status: Open.

#688 In sunholo-data/ailang;

· sunholo-voight-kampff opened on Aug 13, 2026

⚠ Binary may be stale is an mtime heuristic over CWD-relative dirs — it fires on a content-identical binary in every fresh git worktree

Status: Open.

#687 In sunholo-data/ailang;

· sunholo-voight-kampff opened on Aug 13, 2026

make fmt-check-ail enumerates a directory that does not exist — 46 stdlib .ail files are silently outside the gate

bugBug reportBug report

Status: Open.

#683 In sunholo-data/ailang;

· sunholo-voight-kampff opened on Aug 12, 2026