wegamekinglc / Derivatives-Algorithms-Lib / 28700051447
82%
master: 85%

LAST BUILD BRANCH: codex/fix-msvc-utf8-charset
DEFAULT BRANCH: master
Ran
Jobs 1
Files 221
Run time 1min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
coverage: 81.996% (+0.5%) from 81.484%
28700051447

push

github

wegamekinglc 
Add compiled/tree-walk parity test harness (Phase 0)

Land the safety net for aligning the compiled bytecode evaluator with the
tree-walk evaluator over the same script AST. TEST-ONLY — no library code
under dal-cpp/dal/ is touched. Defect pins are confirmed RED at runtime
(UBSAN for the memory-safety cases, value mismatch for the silent-wrongness
cases) then marked DISABLED_ so the merge leaves CI green; each later fix
phase removes the prefix as it turns its pin green.

Per-path parity is the strictest layer (drive Evaluate vs EvaluateCompiled
on the SAME deterministic scenario, compare the payoff slot); aggregated
parity runs MCSimulation<T_> with compiled=false vs true on identical Sobol
seeds (SkipTo(firstPath) guarantees identical deviates). Tolerance is
ASSERT_NEAR 1e-8 — not ASSERT_DOUBLE_EQ — because the two evaluators are
different arithmetic paths and gcc-13/14 FMA contraction diverges by an ULP.

LIVE (passing today):
  - TestParity_VanillaCall
  - TestParity_TreeWalkUnchangedAfterCompile (#13 guard)
  - TestParity_PastEvents_InitSeeding
  - TestParity_ConstCondProcessed_Collect (#10 — catch-all handles it)

DISABLED_ (one per defect register row):
  - DISABLED_TestParity_IfElse_ConsecutiveBothTrue (#1, UBSAN-confirmed;
    Phase 1a)
  - DISABLED_TestParity_IfElse_NestedInTrueBranch (#1 recursion-depth
    stress; Phase 1a)
  - DISABLED_TestParity_And_OrShortCircuit_SideEffectingRHS (#2; per-path
    cannot cleanly diverge since C++ std::log of a non-positive returns
    NaN without throwing and the && result converges — Phase 1b verifies
    the jump-opcode fix via a direct Compiler_ unit test; Phase 1b)
  - DISABLED_TestParity_SupEqual_ConstFold_TinyNegative (#5; PreProcess's
    ConstCondProcess pre-folds fully-constant conditions so the compiler's
    VisitCondition<SupEqual> fold is hard to reach from a parsed product;
    Phase 1b)
  - DISABLED_TestParity_Number_NotEqual_Fuzzy (#4, UBSAN-confirmed bStack
    underflow + invalid-bool ... (continued)

6408 of 7815 relevant lines covered (82.0%)

3329161.21 hits per line

Jobs
ID Job ID Ran Files Coverage
1 28700051447.1 221
82.0
 GitHub Action Run
Source Files on build 28700051447