Table · dataset · 2026
Verification Evidence for Certified Prediction Improvement under Matched Contact Occupancy and Switching Flux in a Finite-State Model
Listed in figshare
Description
<p dir="ltr">This dataset contains certificate records, verification specifications, preserved research code, and provenance records supporting the preprint Certified Prediction Improvement under Matched Contact Occupancy and Switching Flux in a Finite-State Model, by Satoshi Kawasaki, DOI: <a href="doi.org/10.6084/m9.figshare.33643042" target="_blank">10.6084/m9.figshare.33643042</a>.</p><p dir="ltr">The main CAP4 evidence covers the continuous parameter box 0 ≤ ε ≤ 1/2, 0 ≤ θ ≤ 1, and 63/2048 ≤ g ≤ 65/2048 for the specified 32-state continuous-time Markov model.
Its 18,126 accepted closed boxes were verified in two stages: 10,917 in the original verification and 7,209 in the continuation using the frozen verifier. The integrated records identify both accepted sets and their complete covering. They support G ≥ 50425539063434482373081891813729 / 2¹²⁵ > 0.
Read the rest (5 more)
The 27 diagnostic points, the saved P01 point enclosure, and sampled-box checks are supplementary records and do not replace the full-domain proof.</p><p dir="ltr">Separate CAP2 evidence contains 256 accepted boxes supporting the stronger bound G ≥ 1052/10⁶ on the smaller band 0 ≤ ε ≤ 1/2, 0 ≤ θ ≤ 1/16 at g = 1/32. The post-review selection of this band and its covering records is disclosed. The CAP2 bound is supported by its own records, not inferred from the CAP4 constant.</p><p dir="ltr">This item includes RWR_PAPER2_EVIDENCE.zip and the standalone EVIDENCE_MAP.md.
Begin with the map or README.md inside the archive. The archive separates mathematical acceptance conditions from file-identity and packaging checks. Historical verifier sources are preserved, but their commands are not guaranteed to run unchanged against this archive in a new environment.
No fixed verification time is promised. Preparation of this release assembled existing records and did not run a new scientific verification. AI-assisted derivations, implementations, and reviews are disclosed in the preprint; no completed external human or institutional reproduction, proof-assistant formalization, or measured energy saving is claimed.</p><p dir="ltr">Author-controlled material is licensed under CC BY 4.0, to the extent of the rights held by Satoshi Kawasaki.
The 23 research Python files individually identified by archive-relative path and full SHA-256 in CODE_LICENSE_INDEX.json are additionally offered under the MIT License. Recipients may choose CC-BY-4.0 OR MIT for those exact files; compliance with both is not required. LICENSE.md and LICENSE-MIT.txt state the current grant.
Earlier dated license-pending records are preserved as historical provenance and do not replace this release designation. Third-party rights and terms are unchanged; external interpreter, library, and typesetting distributions are not bundled.</p>
Links
Where it is published
- DOI doi.org/10.6084/m9.figshare.33644053.v1 ↗
DOI / persistent id · from figshare com
Catalogue records · 1
- OAI-PMH record api.figshare.com/v2/oai?verb=GetRecord&metadataPrefix=oai_dc&identifier=oai%3Af… ↗
metadata API · from figshare com
Topics
Provenance · 1 source records, 18 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| figshare | oai:figshare.com:article/33644053 | 6 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].anzsrc:field:490506 | mapping · figshare com | vocabulary-mapper@1.0.0 | keywords['Probability theory'] |
| concepts[field].local:field:astronomy | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:chemistry | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:computer-science-ai | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:earth-environmental | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:economics-finance | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:engineering | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:humanities | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:life-sciences | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:mathematics-statistics | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:medicine-health | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:ocean-atmospheric | mapping · figshare com | connector:figshare_com@1.0.0 | |
| concepts[field].local:field:social-science | mapping · figshare com | connector:figshare_com@1.0.0 | |
| description | source · figshare com | connector:figshare_com@1.0.0 | /metadata/dc/description |
| license | source · figshare com | connector:figshare_com@1.0.0 | /metadata/dc/rights |
| publication_date | source · figshare com | connector:figshare_com@1.0.0 | |
| title | source · figshare com | connector:figshare_com@1.0.0 | /metadata/dc/title |