Saved in:
| Main Author: | |
|---|---|
| Format: | Recurso digital |
| Language: | English |
| Published: |
Zenodo
2026
|
| Subjects: | |
| Online Access: | https://doi.org/10.5281/zenodo.18115544 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866901873706926080 |
|---|---|
| author | Takahashi, K |
| author_facet | Takahashi, K |
| contents | <p>Non-Markovianity certification for agents under no-meta obligations: audit-ready, fail-closed, ledger-only evidence.<br>Anytime-valid e-process / e-value tests safe under optional stopping, built from committed telemetry contracts.<br>Operational Markov order is defined relative to logged interfaces (pre/post fields), not hidden internal state.</p> <p>This work specifies a protocol-level standard for certifying (or rejecting) non-Markovianity claims in open, partially observed, and adversarially operated systems. The verifier is constrained to commit-before-observe telemetry and declared, replayable artifacts (no privileged sensors, no hidden reward channels, no meta-observer). Evidence is produced via anytime-valid e-processes (test martingales / e-values), enabling continuous monitoring without invalidating error control under optional stopping.</p> <p>Four certificate families are defined: (A) prequential declared-model compliance via sequential likelihood ratios; (AU) constructive memory witnesses via forecast competition between an order-L baseline and a declared memory-augmented predictor under explicit memory/compute budgets; (B) matched-context dual-run witnesses with verifiable sign/label randomization; and (BU) randomize-after-start segments that separate start acquisition from randomized evaluation to avoid selection bias. Auditability is enforced by deterministic canonical serialization, hash-chained ledgers, explicit matching requirements including probe-time pre-fields, tombstone accounting for missingness/censoring, and optional transparency-log publication for third-party verification.</p> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_18115544 |
| institution | Zenodo |
| language | eng |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | Non-Markovianity Certification under No-Meta Obligations for Agents Takahashi, K Artificial intelligence non-Markovianity Markov order Markov order estimation memory witness memory effects e-process e-value test martingale anytime-valid inference optional stopping sequential testing prequential inference likelihood ratio auditability protocol specification telemetry contract commit-before-observe canonical JSON hash chaining Merkle tree verifiable randomness missing data open systems <p>Non-Markovianity certification for agents under no-meta obligations: audit-ready, fail-closed, ledger-only evidence.<br>Anytime-valid e-process / e-value tests safe under optional stopping, built from committed telemetry contracts.<br>Operational Markov order is defined relative to logged interfaces (pre/post fields), not hidden internal state.</p> <p>This work specifies a protocol-level standard for certifying (or rejecting) non-Markovianity claims in open, partially observed, and adversarially operated systems. The verifier is constrained to commit-before-observe telemetry and declared, replayable artifacts (no privileged sensors, no hidden reward channels, no meta-observer). Evidence is produced via anytime-valid e-processes (test martingales / e-values), enabling continuous monitoring without invalidating error control under optional stopping.</p> <p>Four certificate families are defined: (A) prequential declared-model compliance via sequential likelihood ratios; (AU) constructive memory witnesses via forecast competition between an order-L baseline and a declared memory-augmented predictor under explicit memory/compute budgets; (B) matched-context dual-run witnesses with verifiable sign/label randomization; and (BU) randomize-after-start segments that separate start acquisition from randomized evaluation to avoid selection bias. Auditability is enforced by deterministic canonical serialization, hash-chained ledgers, explicit matching requirements including probe-time pre-fields, tombstone accounting for missingness/censoring, and optional transparency-log publication for third-party verification.</p> |
| title | Non-Markovianity Certification under No-Meta Obligations for Agents |
| topic | Artificial intelligence non-Markovianity Markov order Markov order estimation memory witness memory effects e-process e-value test martingale anytime-valid inference optional stopping sequential testing prequential inference likelihood ratio auditability protocol specification telemetry contract commit-before-observe canonical JSON hash chaining Merkle tree verifiable randomness missing data open systems |
| url | https://doi.org/10.5281/zenodo.18115544 |