shexjs / shex.js / 29407194496

75%

Build Type

push

github

Committed by Eric Prud'hommeaux

Commit Message

ThreadedMaterializer: split on frame advance, collect all accepts

A TripleConstraint whose variable lookup ADVANCES the binding-frame
cursor is a choice point, not a fait accompli: its continuation is
parked on a deferred queue (resumed oldest-first so the greedy leader
stays in front) while alternatives that can still consume from the
current frame -- other OneOf disjuncts, a repetition's exit arm --
explore first.  Advances also tally the unused bindings they skip
(cursor.sk).

Acceptance is no longer first-past-the-post: every accepting thread is
collected (deduplicated on which bindings it consumed, so variants
differing only in constant emissions collapse onto the most-emitting
one) and materialize() returns the most-consuming accept (ties: fewest
skipped, most emitted, discovery order).  materializer.accepts /
.chosen expose the alternatives; lastReport gains .alternatives and
.explorationTruncated.  New guards: exploreSteps bounds the search for
better accepts once one exists; always-synthesizable optionals
(constants, staticVar-only Map codes) compile without a skip arm so
they can't multiply the search space.  New debug events: advance (the
deferral) and accept.

The updated splits example (three {use, email|tel} contact frames)
now materializes identically under both disjunct orderings
(card-schema-phone-mbox pessimal / card-schema-mbox-phone optimal):
pairing frame 0's :use with frame 2's :tel loses to the thread that
consumed both emails.  The ambiguous example gets dedicated flat
schemas (contact-flat-schema, card-flat-schema) and now demonstrates a
genuine tie surfaced as two accepts.

Debugger surfacing:
- shexmap-debug: advance/accept event display, a t [N] command listing
  accepted+pending threads (t N prints a thread's partial graph), a
  post-mortem prompt after done, and "chose K of N viable
  materializations" on completion.
- shexmap-simple: #dbgThreads lists pending/accepted threads while
  stepping -- hover or click renders t... (continued)

Coverage Stats

2561 of 4001 branches covered (64.01%)

Branch coverage included in aggregate %.

205 of 222 new or added lines in 5 files covered. (92.34%)

1 existing line in 1 file now uncovered.

5830 of 7171 relevant lines covered (81.3%)

6218.58 hits per line