Issues

Multi-memory phase 2: per-memory MPU isolation is unreachable — --safety-bounds mpu and multi-memory have disjoint paths

#1145

· avrabe opened

on Sep 4, 2026

The federated-graph job has not validated anything since 2026-09-02 — it cannot clone the sibling repos

#1143

· avrabe opened

on Sep 3, 2026

Recurring N/A: feature-loop steps 1-2 (spar AADL -> WIT) have been skipped every release and never filed — #912's rule applied to itself

#1136

· avrabe opened

on Sep 2, 2026

The VCR roadmap's 39 artifacts are outside status_evidence_check's scope — two have no status key at all

#1133

· avrabe opened

on Sep 2, 2026

Feedback wanted: needs and wishes for synth

#1132

· avrabe opened

on Sep 2, 2026

Document the complete embedder layout contract for --relocatable on Cortex-M: R9 is specified, the linear-memory base is not

#1131

· avrabe opened

on Sep 2, 2026

An artifact can be 'implemented' in vX.Y on evidence that shipped in vX.Y-1 — every gate passes and the release notes are wrong

#1085

· avrabe opened

on Aug 27, 2026

synth-wcet-v1 names functions from the export section only, so the --wcet-hints seam has no key for internal functions — 7 of our 13 loop declines are unaddressable

#1063

· avrabe opened

on Aug 26, 2026

CI capacity: 56 of 63 job definitions target ubuntu-latest while 12 self-hosted runners idle — 401 jobs queued, 0 in progress during the v0.59 merge wave

#1062

· avrabe opened

on Aug 26, 2026

RULE-VERIFY has no obligation for control flow or byte-level memory — 48% of a real object is covered by neither half

#1057

· avrabe opened

on Aug 25, 2026

Epic: reach and beat native codegen — proof-carrying specialization as the mechanism (VCR-*)

#242

· avrabe opened

on Jun 4, 2026

Navigation Menu

Uh oh!

All issues

Multi-memory phase 2: per-memory MPU isolation is unreachable — --safety-bounds mpu and multi-memory have disjoint paths

The federated-graph job has not validated anything since 2026-09-02 — it cannot clone the sibling repos

Recurring N/A: feature-loop steps 1-2 (spar AADL -> WIT) have been skipped every release and never filed — #912's rule applied to itself

The VCR roadmap's 39 artifacts are outside status_evidence_check's scope — two have no status key at all

Feedback wanted: needs and wishes for synth

Document the complete embedder layout contract for --relocatable on Cortex-M: R9 is specified, the linear-memory base is not

An artifact can be 'implemented' in vX.Y on evidence that shipped in vX.Y-1 — every gate passes and the release notes are wrong

synth-wcet-v1 names functions from the export section only, so the --wcet-hints seam has no key for internal functions — 7 of our 13 loop declines are unaddressable

CI capacity: 56 of 63 job definitions target ubuntu-latest while 12 self-hosted runners idle — 401 jobs queued, 0 in progress during the v0.59 merge wave

RULE-VERIFY has no obligation for control flow or byte-level memory — 48% of a real object is covered by neither half

Epic: reach and beat native codegen — proof-carrying specialization as the mechanism (VCR-*)

Uh oh!

Search results