Issues

• INV-023 maps files, so new behaviour inside an already-mapped file is invisible

  junixlabs/traceos#51 · Filter by author junixlabs opened on Sep 11, 2026

• The claim is the only place meaning lives, and it is the one field no mechanism reads

  junixlabs/traceos#45 · Filter by author junixlabs opened on Sep 11, 2026

• A scope narrow enough to pass the ratchet asserts nothing

  junixlabs/traceos#43 · Filter by author junixlabs opened on Sep 11, 2026

• A claim sentence is never checked, so the layer can flag stale but never wrong

  junixlabs/traceos#42 · Filter by author junixlabs opened on Sep 11, 2026
  1

• The value claim is narrower than "citations rot": a resolver finds those

  semantics
  junixlabs/traceos#34 · Filter by author junixlabs opened on Sep 11, 2026
  2

• Bidirectional relationships cannot be expressed, only approximated by two edges

  semantics
  junixlabs/traceos#18 · Filter by author junixlabs opened on Sep 10, 2026
  1

• explore: the graph layout has no overlap detection, it has three special cases

  engine
  junixlabs/traceos#9 · Filter by author junixlabs opened on Sep 10, 2026