Skip to content

Releases: yoheinakajima/agent-runtime-laws

Replay Is a Family of Assertions — arXiv v2

Choose a tag to compare

@yoheinakajima yoheinakajima released this 29 Aug 15:47
aaf4b28

Frozen successor submission candidate at commit aaf4b28. The immutable arxiv-v1 release remains unchanged.

This revision preserves and resolves the complete 2026-08-29 Explore Science review (99/100; 11 minor; zero major), adds an explicit assertion-to-property map, snapshot/high-water-mark conditions for delayed hazards, complete FsCheck and conformance-vector reporting, exact structural derivations for the 120,969 and 142,894 cut totals, and final terminology/layout corrections.

QA: main CI passed; 50/50 kernel tests; 5,540 public logs and all 317,296 cuts reproduced; 121 observed forks with zero mismatches across 16,625 retained events; Synthetic Players capsule verifier passed for 4,919 archived runs; activegraph-bridge receipt verifier plus 76 tests, Ruff, and mypy passed at 843824a; standalone arXiv source archive rebuilt to a 27-page PDF; all fonts embedded; full page-by-page visual inspection passed.

PDF SHA-256: a1f76e90ef6e8904b3fad8b963a0653ccb297d09396d4b93e6652b8c6f121d7d
Source archive SHA-256: 130aaf81c0711eb6052b1e9086bcf9019c7405fb08526c77ef0a829e8f1eb905

Replay Is a Family of Assertions — arXiv v1

Choose a tag to compare

@yoheinakajima yoheinakajima released this 29 Aug 04:05
8de6d4c

Frozen submission candidate at commit 8de6d4c, pinned to activegraph-bridge v0.2.0 at 843824a44d48d816779fc0c08580ae06108fe7b6. The unpublished 24-run local study is excluded from the submitted claim set. QA: 50/50 tests; 5,540 public logs and 317,296 cuts reproduced; 121 observed forks with zero mismatches across 16,625 retained events; sealed-capsule and bridge receipt verifiers pass; 26-page PDF visually inspected with embedded fonts and no LaTeX warnings. PDF SHA-256: 551fbf3932d7e50becfcf4672ad0377fb0367b664119ccfae97566ea7dfb36e7. Source archive SHA-256: c002b03e1ff67e291d818a9d85f67193dac50f71aa17ed4a0963e5dec9fd00fa.