EOS run outputs — provenance
============================

The .txt files in this directory are unmodified terminal output from executing the
EOS kernel against the .epl world files in ../eos-examples/. They have not been
edited, reformatted or annotated. Each corresponds to one example world:

  demo-run.txt              <- demo.epl
  portfolio-50-run.txt      <- book_50.epl
  mortgage-path-run.txt     <- mortgage_rate_path.epl
  named-refusal-run.txt     <- sequential_crash.epl
  mixed-derivation-run.txt  <- enforcement_action.epl

INDEPENDENT RE-EXECUTION — 3 August 2026
----------------------------------------
These outputs were re-verified by executing the same worlds against EOS v0.24
(HEAD 6b9ae85, two commits past tag v0.24), Python 3.14.2, on 3 August 2026.

  book_50.epl re-run 00:57 +07
    sum of 50 position values = 433004.66290843673
    book_total from rollup    = 433004.66290843673
    exact equality: True
    reproduces the figure recorded in portfolio-50-run.txt: True

  Full EOS suite, same date 00:51 +07:  29 passed in 10.84s
  Domain-blindness proof,   00:52 +07:  PASS, 6 sub-proofs, exit 0
  Boundary regression,      01:08 +07:  PASS, 9 sub-proofs, exit 0

The re-execution outputs are in ../verification/.

That the book delta reproduces exactly across separate executions on different
dates is itself the determinism property these files are offered to demonstrate.

WHAT IS CHECKABLE FROM THE FILES ALONE
--------------------------------------
  portfolio-50-run.txt   433,126.214626 + (-121.551718) = 433,004.662908
                         Model contributions sum exactly to the book delta.

  mortgage-path-run.txt  Each stakeholder allocation sums to its stated delta, and
                         each delta equals post minus pre, to floating-point precision.
                         State written by one event is read by the next: balance and
                         cum_prepay carry forward across s1 -> s2 -> s3.

  named-refusal-run.txt  Two events, both UNVALUED (BACKEND_UNAVAILABLE), state
                         remaining at v0, zero results published, exit code 3.

LICENCE AND PERMITTED USE
-------------------------
These world definitions and their outputs are published by Kindynos as evidence
of execution behaviour. They may be read, quoted and cited with attribution.
They are not licensed for redistribution as part of another product.

Execution requires the EOS kernel, which is not distributed in this package.