All pull requests

Pull requests

• Expose the removal of a conjunct as api::without and the REPL command without

  #171·taumorrow opened Sep 24, 2026Contributor·

  ·

• Remove a conjunct from a normalized tau constant by the shape of its normal form

  #170·taumorrow opened Sep 24, 2026Contributor·

  ·

• Group the units of a factored decision by a name table instead of pairwise list comparison

  #168·taumorrow opened Sep 24, 2026Contributor·

  ·

• Take a recorded normal form as the operand of a constant operator without renormalizing its temporal layer

  #166·taumorrow opened Sep 24, 2026Contributor·

  ·

• Decide the satisfiability of an always-conjunction over streams by its components

  #164·taumorrow opened Sep 24, 2026Contributor·

  ·

• Assemble the normal form of a conjunction of clauses from its shape

  #162·taumorrow opened Sep 24, 2026Contributor·

  ·

• Build the normal form of a conjunction of normal forms from their bodies

  #161·taumorrow opened Sep 24, 2026Contributor·

  ·

• Decide a normalized tau constant without renormalizing it

  #160·taumorrow opened Sep 24, 2026Contributor·

  ·

• Decide an uninterpreted tau constant tested against 0 by its shape

  #158·taumorrow opened Sep 24, 2026Contributor·

  ·

• Compare substituted terms that carry a tau constant without canonicalizing them

  #156·taumorrow opened Sep 24, 2026Contributor·

  ·

• Decide a complemented tau constant through its always dual

  #154·taumorrow opened Sep 24, 2026Contributor·

  ·

• Documentation: the descriptor surface after the fold-layer PRs (#111)

  #119·castrod opened Sep 12, 2026Contributor·

  ·
  

• Test infrastructure: the reduced packs assert what they cannot exercise (#111)

  #118·castrod opened Sep 12, 2026Contributor·

  ·
  

• The descriptor surface: flag outputs by value, truncation by the parser, and a smaller mandatory contract (#111)

  #117·castrod opened Sep 11, 2026Contributor·

  ·
  

• Carriers, solvers and the wrapper: resolve each once and refuse the ambiguous packs (#111)

  #116·castrod opened Sep 11, 2026Contributor·

  ·
  

• One concept per capability, one owner fold, and tests for the fold layer (#111)

  #114·castrod opened Sep 11, 2026Contributor·

  ·