c8e1503ca418c4d998987716c544fa1580a037e8
93%

Ran 10 Jun 2026 12:27AM UTC

Jobs 1

Files 117

Run time 1min

Badge

Embed ▾

Committed 10 Jun 2026 12:03AM UTC coverage: 93.08% (+0.009%) from 93.071%

Build # c8e1503ca418c4d998987716c544fa1580a037e8

Build Type

push

github

Committed by

code-shoily

Commit Message

test(oracle): traversal parity tests against NetworkX

Adds 3 oracle properties for traversal algorithm parity:
- P-ORAC-TRAV-001: BFS layers match on directed graphs
- P-ORAC-TRAV-002: Lexicographical topological sort matches on DAGs
- P-ORAC-TRAV-003: Topological generations match on DAGs

Includes a DAG generator that ensures acyclicity via random permutation
ordering (edges only from earlier to later in the permutation).

Coverage Stats

10545 of 11329 relevant lines covered (93.08%)

20206.15 hits per line

Jobs

ID	Job ID	Ran	Files	Coverage
1	c8e1503ca418c4d998987716c544fa1580a037e8.1	10 Jun 2026 12:27AM UTC	117	93.08	GitHub Action Run

code-shoily / yog_ex / c8e1503ca418c4d998987716c544fa1580a037e8
93%

README BADGES
x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build c8e1503ca418c4d998987716c544fa1580a037e8

code-shoily / yog_ex / c8e1503ca418c4d998987716c544fa1580a037e8 93%

README BADGES x

Markdown

Textile

RDoc

HTML

Rst

Jobs

Source Files on build c8e1503ca418c4d998987716c544fa1580a037e8

code-shoily / yog_ex / c8e1503ca418c4d998987716c544fa1580a037e8
93%

README BADGES
x