circo plain/plain-ext parity dashboard
Differential survey of @knowvah/dot-engine circo plain/plain-ext output vs the native dot -K circo oracle (test/corpus/plain-walk.ts), semantic comparison per docs/conformance.md (±0.01 deterministic tolerance, ±0.5 for the iterative engines). Regenerate: npx tsx test/corpus/plain-walk.ts circo && npx tsx test/corpus/parity-report.ts.
Summary
- Surveyed: 905
- pass: 887 (98.0%) · diverged (tracked): 0 · accepted (documented, won't-fix): 13
- errors (oracle/port/timeout, excluded from scoring): 5
Diverged (0)
(none)
Accepted (13) — documented, not chased
| id | #diffs | firstDiff | reason |
|---|---|---|---|
2095_1 | 605 | [node] 1083/x: port=1066.1 native=1065.9; [node] 1083/y: port=297.29 native=297.53; [node] 1084/x: port=1067.8 native=1067.6; [node] 1084/y: port=297.29 native=297.79; [node] 1085/x: port=1062.6 native=1062.4 | layout geometry inherited from the circo xdot engine track: id already diverged there with an accepted mechanism (A1 getRotation closest-node exact-tie knife edge, injection A/B 2197 -> 0 diffs, journal 2026-07-24 T3; engine acceptance registry); plain re-emits the same rigidly-rotated blocks (605 diffs, node deltas <= ~0.5in). First compared 2026-07-27 when the oracle timeout raise took this id out of oracleError. Journal 2026-07-28. |
2108 | 118 | [node] BI_12158-at-SITE_18-29567/y: port=108.28 native=108.27; [node] BI_12159-at-SITE_18-29570/y: port=108.28 native=108.27; [node] ITEM_10959-at-SITE_18/y: port=108.28 native=108.27; [node] ITEM_10965-at-SITE_18/y: port=108.28 native=108.27; [node] ITEM_11599-at-SITE_68/y: port=108.78 native=108.77 | A1 micro-drift amplified by plain's print quantum (RCA 2026-07-28): raw ND_coord dumps over all 27547 nodes show max |delta| 5.8e-11pt (~6 ULP accumulation; e.g. y 7795.799999999998 vs 7795.800000000007) - circo json is CONFORMANT on the identical layout. The 118 plain diffs are the subset of coordinates landing on a %.5g 5th-significant-digit rounding boundary: y/72 = 108.27499999999998 vs 108.27500000000009 straddles the 108.275 tie, printing 108.27 vs 108.28. At magnitudes >= 100in the %.5g quantum (0.01) equals PLAIN_TOLERANCE (0.01), so the plain surface structurally cannot distinguish sub-ULP drift from real 0.01in divergence on huge graphs; both printers are correct (tie-to-even verified). Not comparable on circo xdot (engine-walk 90s port cap -> timeout). Journal 2026-07-28. |
241_0 | 14 | [edge] 1->2#0/point[2].x: port=3.2757 native=3.2536; [edge] 1->2#0/point[2].y: port=2.9389 native=3.2113; [edge] 1->2#0/point[3].y: port=2.87 native=3.2973; [edge] 1->2#0/point[4].x: port=3.0064 native=2.8453; [edge] 1->2#0/point[4].y: port=2.6791 native=3.9238 | layout geometry inherited from the circo xdot engine track: id already diverged there with an accepted mechanism (engine acceptance registry / decision journal); plain re-emits the same layout. Journal 2026-07-24. |
2475_2 | 320 | [node] 590_174412/x: port=2226.9 native=2226; [node] 590_174412/y: port=1842.8 native=1842.5; [node] 590_174423/x: port=2223.4 native=2222.9; [node] 590_174423/y: port=1843.4 native=1844.3; [node] 590_174425/x: port=2235.1 native=2235.7 | layout geometry inherited from the circo xdot engine track: id already diverged there with an accepted mechanism (engine acceptance registry / decision journal); plain re-emits the same layout. Journal 2026-07-24. |
graphs-b34 | 1 | [node] 7/label: port=montañas native=(� | oracle bug (A4): canon() use-after-free — output.c:103-108 agstrfree()s the agstrdup-ed refstr before the caller prints it, and _agstrcanon returns that pointer whenever no quoting is needed. Labels whose text is not otherwise pooled (latin1/entity-converted, differs from the raw attr bytes) hit refcnt 0 and are freed; the intervening printdouble allocations reuse the block, so native prints garbage/empty. Port prints the correct converted text. Journal 2026-07-24. |
graphs-b56 | 6 | [node] Schluesseloel/label: port=Schluesselöl native=�@; [node] Schluesseltraeger/label: port=Schlueßelträger native=�@; [node] Torschluessel/label: port=Torschlüssel native=�@; [node] Torwaechter/label: port=Torwächter native=�@; [node] creation/label: port=<f0>genPräfix|<f1>legennStamm|<f2>heitnSuffix native=<f0>genPr�fix|<f1>legennStamm|<f2>heitnSuffix | oracle bug (A4): canon() use-after-free — output.c:103-108 agstrfree()s the agstrdup-ed refstr before the caller prints it, and _agstrcanon returns that pointer whenever no quoting is needed. Labels whose text is not otherwise pooled (latin1/entity-converted, differs from the raw attr bytes) hit refcnt 0 and are freed; the intervening printdouble allocations reuse the block, so native prints garbage/empty. Port prints the correct converted text. Journal 2026-07-24. |
graphs-b60 | 5 | [node] 0/label: port=XXXrôôôôôôôôôôôôôôleXXX native=solid; [node] 0/style: port=solid native=ellipse; [node] 0/shape: port=ellipse native=black; [node] 0/color: port=black native=lightgrey; [node] 0/fillcolor: port=lightgrey native= | oracle bug (A4): canon() use-after-free — output.c:103-108 agstrfree()s the agstrdup-ed refstr before the caller prints it, and _agstrcanon returns that pointer whenever no quoting is needed. Labels whose text is not otherwise pooled (latin1/entity-converted, differs from the raw attr bytes) hit refcnt 0 and are freed; the intervening printdouble allocations reuse the block, so native prints garbage/empty. Port prints the correct converted text. Journal 2026-07-24. |
graphs-Latin1 | 5 | [node] a/label: port=áâãäåæçèéêëìíîïðñòóôõöøùúûü native=solid; [node] a/style: port=solid native=ellipse; [node] a/shape: port=ellipse native=black; [node] a/color: port=black native=lightgrey; [node] a/fillcolor: port=lightgrey native= | oracle bug (A4): canon() use-after-free — output.c:103-108 agstrfree()s the agstrdup-ed refstr before the caller prints it, and _agstrcanon returns that pointer whenever no quoting is needed. Labels whose text is not otherwise pooled (latin1/entity-converted, differs from the raw attr bytes) hit refcnt 0 and are freed; the intervening printdouble allocations reuse the block, so native prints garbage/empty. Port prints the correct converted text. Journal 2026-07-24. |
graphs-Symbol | 6 | [node] greek/label: port=αβγδεζηθικλμνξοπρςστυφχψωϒϖ native=solid; [node] greek/style: port=solid native=ellipse; [node] greek/shape: port=ellipse native=black; [node] greek/color: port=black native=lightgrey; [node] greek/fillcolor: port=lightgrey native= | oracle bug (A4): canon() use-after-free — output.c:103-108 agstrfree()s the agstrdup-ed refstr before the caller prints it, and _agstrcanon returns that pointer whenever no quoting is needed. Labels whose text is not otherwise pooled (latin1/entity-converted, differs from the raw attr bytes) hit refcnt 0 and are freed; the intervening printdouble allocations reuse the block, so native prints garbage/empty. Port prints the correct converted text. Journal 2026-07-24. |
share-Latin1 | 5 | [node] a/label: port=áâãäåæçèéêëìíîïðñòóôõöøùúûü native=solid; [node] a/style: port=solid native=ellipse; [node] a/shape: port=ellipse native=black; [node] a/color: port=black native=lightgrey; [node] a/fillcolor: port=lightgrey native= | oracle bug (A4): canon() use-after-free — output.c:103-108 agstrfree()s the agstrdup-ed refstr before the caller prints it, and _agstrcanon returns that pointer whenever no quoting is needed. Labels whose text is not otherwise pooled (latin1/entity-converted, differs from the raw attr bytes) hit refcnt 0 and are freed; the intervening printdouble allocations reuse the block, so native prints garbage/empty. Port prints the correct converted text. Journal 2026-07-24. |
tree-graphs-directed-Latin1 | 5 | [node] a/label: port=áâãäåæçèéêëìíîïðñòóôõöøùúûü native=solid; [node] a/style: port=solid native=ellipse; [node] a/shape: port=ellipse native=black; [node] a/color: port=black native=lightgrey; [node] a/fillcolor: port=lightgrey native= | oracle bug (A4): canon() use-after-free — output.c:103-108 agstrfree()s the agstrdup-ed refstr before the caller prints it, and _agstrcanon returns that pointer whenever no quoting is needed. Labels whose text is not otherwise pooled (latin1/entity-converted, differs from the raw attr bytes) hit refcnt 0 and are freed; the intervening printdouble allocations reuse the block, so native prints garbage/empty. Port prints the correct converted text. Journal 2026-07-24. Same input under a second path: graphs/directed/Latin1.gv is byte-identical (sha1 b2c41851e950) to tests/graphs/Latin1.gv, which this list already accepts; the corpus expansion of 2026-07-27 gave that file a second id. |
windows-Latin1 | 5 | [node] a/label: port=áâãäåæçèéêëìíîïðñòóôõöøùúûü native=solid; [node] a/style: port=solid native=ellipse; [node] a/shape: port=ellipse native=black; [node] a/color: port=black native=lightgrey; [node] a/fillcolor: port=lightgrey native= | oracle bug (A4): canon() use-after-free — output.c:103-108 agstrfree()s the agstrdup-ed refstr before the caller prints it, and _agstrcanon returns that pointer whenever no quoting is needed. Labels whose text is not otherwise pooled (latin1/entity-converted, differs from the raw attr bytes) hit refcnt 0 and are freed; the intervening printdouble allocations reuse the block, so native prints garbage/empty. Port prints the correct converted text. Journal 2026-07-24. |
windows-tree | 2 | [edge] node2->node8#0/point[2].y: port=0.28853 native=0.069804; [edge] node2->node8#0/point[3].y: port=0.33296 native=0.025375 | layout geometry inherited from the circo xdot engine track: id already diverged there with an accepted mechanism (engine acceptance registry / decision journal); plain re-emits the same layout. Journal 2026-07-24. |
Errors and timeouts (5)
| id | message |
|---|---|
1447 | oracle exit null |
1652 | oracle exit null |
1880 | oracle exit null |
2222 | oracle exit null |
graphs-b103 | oracle exit null |
Passing ids (887) are omitted for brevity — the full roster is in plain-parity-circo.json.