Arbiter/evidence-dsl
3
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

0 Releases 16 Tags

RSS Feed
  • v1.4.0 351551af0f
    Compare

    feat: chain condition steps — defeasible/logical evidence as final chain hop
    CI / publish (push) Successful in 9s
    Details
    CI / test (push) Successful in 18s
    Details

    Dvorak released this 2026-08-03 19:08:54 +00:00 | 11 commits to master since this release

    A chain's FINAL (object-side) step may now reference a defeasible/logical
    evidence. The compiler lowers it to a condition step
    ({ rule: , conditionStep: true }) that the engine verifies at
    (intermediate, object) instead of traversing an edge. Requires
    @arbiter/core@^1.0.3 (ChainRule condition-step support).

    • _expandChainSteps: a logical/defeasible/comparator evidence is expressible
      as a final condition step; non-final such steps remain a compile error
      (a condition cannot discover intermediate nodes).
    • Dependency collection (generator + DSLRuntime) descends into condition-step
      rule configs, so partial-graph requirements reach through them.

    Tests: ChainConditionStep (defeasible + ALWAYS steps, independent checkability,
    parallel aggregation), oracle campaign chain_condition_step construct
    (oracle = min(pm, pv*(1-pb))), DSLRuntime transitive required facts through a
    condition step.

    Downloads