0 Releases 16 Tags

RSS Feed

• v1.6.0 3ace783a59

  Compare

  feat: intermediate chain condition steps + _subjectIsObject unary scoping

  Dvorak released this 2026-08-03 20:36:16 +00:00 | 9 commits to master since this release

  • _expandChainSteps: a logical/defeasible evidence referenced by a chain step
    is now a condition step ({ rule, conditionStep }) at ANY position. As the
    FINAL step the engine verifies it at (intermediate, object); as an
    INTERMEDIATE step the engine expands it from the current node (rule-based
    reachability: base edges' destinations filtered by the rule's
    defeaters/requirements) and continues traversal from each discovered node.
  • buildPredicateRule / buildDirectRule: unary predicate calls whose subject
    entity IS the evidence's object parameter (trusted(other) inside
    peer_trusted(user, other)) are marked _subjectIsObject (was: only subject-var
    calls got _subjectAsObject). Requires @arbiter/core@^1.0.4.

  Tests: ChainConditionStep intermediate expansion; oracle campaign gains a
  chain_intermediate_condition construct (oracle = min(peer*(1-trusted), read)).

  Downloads

  • Source Code (ZIP)
  • Source Code (TAR.GZ)