8 document pairs
Specification and Protocol
Normative scope, architecture, provenance, schemas, transaction semantics, threat model, and claim boundaries.
ZIP SHA-256338c51257532c6eabc1bb6df13e24e274b884575294d230db05227d46de65861
DOI-backed software / open verification release
Cleanroom ARM-P: Open Verification Release v1.0.1
A signed and reproducible publication surface for a bounded Python fixture-plane reference implementation covering deterministic evidence export, schema-governed validation, tamper-evident custody, SQLite transaction and recovery controls, and fail-closed state transitions.
In plain language
One reviewable surface for evidence-heavy software
Evidence-heavy software is difficult to review when code, schemas, claims, fixtures, receipts, test results, and audit records are scattered across unrelated locations. This release binds those surfaces into signed and hashed packages so a reviewer can inspect the exact source, reproduce the bounded fixture workflow, and verify the published artifacts.
Boundary: this is not an autonomous AI system and not a production runtime. It is a bounded reference implementation and an open verification release.
What was built
Bounded implementation and evidence surfaces
- Deterministic B1 evidence export and a tamper-evident custody chain.
- A synthetic B2 fixture plane for bounded, reproducible validation.
- Schema-governed records and machine-readable indexes.
- SQLite transaction, failpoint, rollback, and recovery controls.
- Signed Git history and a signed immutable release tag.
- Deterministic fixtures and a package-local reproduction path.
- Windows ZIP portability and complete checksum surfaces.
- Human-readable documents paired with machine-readable navigation.
What was verified
Exact release and publication-surface metrics
21Zenodo and GitHub Release files
34,029,295total release bytes
4coordinated package ZIPs
27Markdown/PDF document pairs
117rendered PDF pages
fa837780c32e…exact release source commit4fc6c29753d0…reader/machine surface commit782 / 0Package B immutable payloads / mismatches
49 / 0Package C evidence artifacts / mismatches
160 / 160release-build publication matrix
108 / 108post-release public GitHub publication-surface validation; full suite 197 PASS + 6 inherited skips
The 108/108 matrix and 197 PASS result validate the later reader/machine publication surface. They are not part of the frozen v1.0.1 runtime tag.
What is not claimed
Explicit claim boundary
- Production readiness.
- An operational Judge.
- SRLM integration.
- Real L4 capability.
- Matched profile-control.
- Differential witness.
- A complete operational ARM-P runtime.
- Consciousness.
- Sentience.
- Personhood.
- Life.
- AGI.
- Legal, safety, standards, or conformity certification.
Four publication components
Coordinated reader and reproduction packages
2 document pairs
Reference Implementation and Reproduction Kit
Bounded Python reference implementation and package-local reproduction route for deterministic fixture workflows.
ZIP SHA-2562bd65a6f2f56e4f1d5ddaf526508020ecc3ec3b5aa53df117b23ff65b629b326
5 document pairs
Evidence and Independent Audit Archive
Evidence maps, accepted-versus-partial history, signature and checksum guidance, and independent audit records.
ZIP SHA-2561687c54e013bcf409196ad95664aff82091a275051603e6abc8fd0086dc31a6b
12 document pairs
Open Verification Release
Reader-facing release index, citation, nonclaims, release notes, portability, and publication records.
ZIP SHA-25627e3a5e761f916adab3be5f6d61b8bc648cf51c3326652e034170ea8bf4dbbd3
How to read the release
Three practical routes
10-minute orientation
Start with the repository overview, then move through architecture, boundaries, reproduction, evidence, and citation.
Technical reproduction
Use the implementation guide and quickstart, then verify schemas, transactions, signatures, and checksums.
Evidence and audit review
Review the audit index, iteration classification, evidence classes, nonclaims, and immutable artifact hashes.
All 27 published documents
Commit-pinned Markdown and PDF pairs
Every primary document button below is pinned to reader/machine commit 4fc6c29753d039eb0d3ec4decbc1deb258b53751. Historical planning documents remain visible with their exact frozen status; they are not descriptions of the current repository or DOI state.
Specification and Protocol
8 document pairsSpecification and Protocol
Architecture and Data Flow
Architecture, trust boundaries, and deterministic evidence flow.
Status: frozen_release_document
SHA-256: MD 9d6379bf6fd7…d533af38 · PDF 9bcc74249db8…21cd3921
Full integrity values
Markdown SHA-256
9d6379bf6fd7983ae0a8688b685f86d9377eec0db92f6516276461bdd533af38PDF SHA-256
9bcc74249db80fca41be8e69ba5ac99120573152232d79c60725744321cd3921Specification and Protocol
Cleanroom ARM-P Specification and Protocol v1.0.1
Normative bounded ARM-P specification and verification protocol.
Status: frozen_release_document
SHA-256: MD 7a3f9e9183d1…4fe9e757 · PDF 4de29ec6d978…107b49c0
Full integrity values
Markdown SHA-256
7a3f9e9183d1a9e4bfc6e34d51e44494e12a07826d5adfcc16dfd9344fe9e757PDF SHA-256
4de29ec6d9785feb066aad3fd19d2109850f4cdf9c7211c22d6515ee107b49c0Specification and Protocol
Canonical Commit and Version Map
Bindings among the canonical source commit, version, packages, and evidence.
Status: frozen_release_document
SHA-256: MD d00b6b869a0f…3c0b8925 · PDF eec4f0772720…8bd0c1d7
Full integrity values
Markdown SHA-256
d00b6b869a0fb436868fcd9dd98f9270c25dfc9662f7892fcd908b513c0b8925PDF SHA-256
eec4f0772720cafeb6146edc46e6aa4566e6e83a8eab0938437d8e8a8bd0c1d7Specification and Protocol
Claim Boundary and Nonclaims
Exact verified claims and explicit exclusions from the release scope.
Status: frozen_release_document
SHA-256: MD dded0717c22e…6267806f · PDF 73adcd168959…6bb97669
Full integrity values
Markdown SHA-256
dded0717c22e3019b5b06cd24dad2d2d4b5e3acfd0e297fee9f291566267806fPDF SHA-256
73adcd168959f05c3d946428cc48f9530155db701324ae4e669924b16bb97669Specification and Protocol
Provenance and Source Map
Provenance map from source inputs through signed and hashed artifacts.
Status: frozen_release_document
SHA-256: MD 51823c669896…2c60ecc7 · PDF 249cd5d6d166…dee7f690
Full integrity values
Markdown SHA-256
51823c6698968a0dd07f09a3c6553cfbeb7acc381f27b40a66e665aa2c60ecc7PDF SHA-256
249cd5d6d1666379bb4ec5c938592aea54888488f910a365d6856f26dee7f690Specification and Protocol
Cleanroom ARM-P Specification and Protocol v1.0.1
Reader entrypoint for the specification and protocol component.
Status: frozen_release_document
SHA-256: MD afde4c725af7…f6e60894 · PDF ec3b9043d674…b72d6f82
Full integrity values
Markdown SHA-256
afde4c725af7c069c09f6664c66e7aeeecef7aeb53134b3b560e460df6e60894PDF SHA-256
ec3b9043d674b3d5c506249d98600ae7367c1fbf4de19d57857eef28b72d6f82Specification and Protocol
Schema and Transaction Map
JSON Schema and SQLite transaction-control map.
Status: frozen_release_document
SHA-256: MD 13ec9cb30a8b…a7b2b437 · PDF 5a74ef0aef6d…9b922d86
Full integrity values
Markdown SHA-256
13ec9cb30a8bc1ff73ec5c69bbe89297666101771368c675d73cff61a7b2b437PDF SHA-256
5a74ef0aef6d1a1d3d1e589416cd12c07d1aecc6431fe11eb00af36e9b922d86Specification and Protocol
Threat Model and Failure Semantics
Threat model, fail-closed behavior, and failure semantics.
Status: frozen_release_document
SHA-256: MD abb354f09c5a…7c5cd86e · PDF 1cc078e57340…e975dbb1
Full integrity values
Markdown SHA-256
abb354f09c5a06cc4379b1dbac9e1ad12a43ce89ba9ce69c7b2120bf7c5cd86ePDF SHA-256
1cc078e57340c8e672928e06d46d2869b87dd519e2393a7f149440e4e975dbb1Reference Implementation and Reproduction Kit
2 document pairsReference Implementation and Reproduction Kit
Cleanroom ARM-P Reference Implementation and Reproduction Guide
Stepwise guide to the bounded reference implementation and deterministic reproduction.
Status: frozen_release_document
SHA-256: MD a30890a1be09…68d62509 · PDF a9e83097a7e1…8c7ed95e
Full integrity values
Markdown SHA-256
a30890a1be09ee671e354fcb0c5725313032b9de7673f1f6e811b23e68d62509PDF SHA-256
a9e83097a7e1898b062e9f57065e2aad22c8dcaa8f6673b00f2f36818c7ed95eReference Implementation and Reproduction Kit
Cleanroom ARM-P Reference Implementation and Reproduction Kit
Reader entrypoint for the reference implementation and reproduction kit.
Status: frozen_release_document
SHA-256: MD d423ec5973ef…a3ec4e7d · PDF 7aecca6562bd…8a4d88b7
Full integrity values
Markdown SHA-256
d423ec5973efc2dcf931f0091cad444a83c6d9251e1b4e6ea90bd18aa3ec4e7dPDF SHA-256
7aecca6562bd960afb36bb1b61369d06421f72d60c11e31f7953faf88a4d88b7Evidence and Independent Audit Archive
5 document pairsEvidence and Independent Audit Archive
Accepted versus Partial Iterations
Separates accepted closure states from partial or blocked iterations.
Status: frozen_release_document
SHA-256: MD 56b904403f41…25ea4adb · PDF c99fc20ee5c4…6b8d5bbe
Full integrity values
Markdown SHA-256
56b904403f4160769e3e706a6b5e5febca20c960c9c82c19abf3af4125ea4adbPDF SHA-256
c99fc20ee5c4f8b15183ca99e5e66b02f4ea6505ce1aed8a2493e2d96b8d5bbeEvidence and Independent Audit Archive
ARM-P Evidence and Audit Index v1.0.1
Index of evidence artifacts, independent audits, and custody bindings.
Status: frozen_release_document
SHA-256: MD cc5fde6207c4…094404a1 · PDF dc52d4972f86…1236a491
Full integrity values
Markdown SHA-256
cc5fde6207c404bfe16e404bd92cf126dddbbbbcb64d581d6e0e2da6094404a1PDF SHA-256
dc52d4972f865d841efdefc6fc06bd61ccbfba4ba42a290d67a6eafb1236a491Evidence and Independent Audit Archive
Claim Class and Evidence Map
Maps every claim class to its supporting evidence boundary.
Status: frozen_release_document
SHA-256: MD 0ff8a8f0a904…0c7a5659 · PDF a61046249412…603b5b4f
Full integrity values
Markdown SHA-256
0ff8a8f0a9048589982dff96c82a6be87a8ac27f94b7ce319008c0220c7a5659PDF SHA-256
a6104624941283036af8dc45729afb3871e3c7c37d41d110540c0b8a603b5b4fEvidence and Independent Audit Archive
GPG and SHA-256 Verification Guide
Commands and expected bindings for GPG and SHA-256 verification.
Status: frozen_release_document
SHA-256: MD 66f39698d51f…29f3d9a1 · PDF 9541650a6287…17318eec
Full integrity values
Markdown SHA-256
66f39698d51fadffa8dc13cbbd4a1b4dd2615e34ecd61609d1b0c98929f3d9a1PDF SHA-256
9541650a6287a7a9fe2ea28f53f1560c9b1a7a87d98f5790f135c6eb17318eecEvidence and Independent Audit Archive
Cleanroom ARM-P Evidence and Independent Audit Archive v1.0.1
Reader entrypoint for the evidence and independent-audit archive.
Status: frozen_release_document
SHA-256: MD 882672901675…ec8ebe43 · PDF 0e48fa6cad1c…0f370fbd
Full integrity values
Markdown SHA-256
882672901675d11441c8da34c023ee1d1981de75390fa11402ce1f44ec8ebe43PDF SHA-256
0e48fa6cad1c342665ad7a8de29a339d78f09138a976c37ca7d3f0ce0f370fbdOpen Verification Release
12 document pairsOpen Verification Release
Citation and Verification
Canonical citation data and release-verification instructions.
Status: frozen_release_document
SHA-256: MD 4bfaf4c34639…4f330de0 · PDF 1ffd5337f31b…357ad41e
Full integrity values
Markdown SHA-256
4bfaf4c34639e12e4dc0300204f15952aec73497ea0c3f762c9e68154f330de0PDF SHA-256
1ffd5337f31bc117c2b4ed05a2511bef3ac2d515e61890042f837118357ad41eOpen Verification Release
Claim Class Ledger
Compact ledger of bounded claims and nonclaims.
Status: frozen_release_document
SHA-256: MD 9c375528d15a…3fc64498 · PDF b7d1ecf823cd…af48b224
Full integrity values
Markdown SHA-256
9c375528d15a6e67331df8e7d7b59b2c66f6887e11c4d69cf75e04813fc64498PDF SHA-256
b7d1ecf823cda8f343057dd188284c62f7298255e8240f8560d15bd0af48b224Open Verification Release
Cleanroom ARM-P Open Verification Release v1.0.1
Frozen human description used for the v1.0.1 GitHub Release.
Status: frozen_release_document
SHA-256: MD 01013c0fa48a…1ae6a867 · PDF 6bd71ae9132a…36214111
Full integrity values
Markdown SHA-256
01013c0fa48a18044d078905b7dd8eb185882b06d4234b232465915e1ae6a867PDF SHA-256
6bd71ae9132ac6b865e100a6cd774611c3c7eba9579712cbbd107f6636214111Open Verification Release
GitHub Repository Placement Plan
Historical pre-deployment plan retained as a frozen release document.
Status: frozen_historical_publication_planning_document
SHA-256: MD 76977349a8fe…40c6a960 · PDF d588665f385b…c6184b32
Full integrity values
Markdown SHA-256
76977349a8fe6b68a58beca274343668adc816f962bd9c0661cda0d040c6a960PDF SHA-256
d588665f385b7b9157353375c58459fae2717cbcf5b4a434a916a367c6184b32Open Verification Release
Nonclaims
Concise list of capabilities and conclusions not claimed by the release.
Status: frozen_release_document
SHA-256: MD c687f2c1a33d…1b40ce20 · PDF 08205421cd96…74e35852
Full integrity values
Markdown SHA-256
c687f2c1a33d446f3ba5b02d989335a9fa2e87b5c2427fa6221e50f01b40ce20PDF SHA-256
08205421cd96cc55264e59846ffbb479303aa6fa33c95bbc35bda14f74e35852Open Verification Release
Open Verification Release Index
Umbrella index for the four coordinated publication components.
Status: frozen_release_document
SHA-256: MD 9fa1f4251c38…4ad361d4 · PDF 7650913e12f3…fcffa9b0
Full integrity values
Markdown SHA-256
9fa1f4251c381d60bd4a2fc1a385d548de9e4b31209edef92a06a5954ad361d4PDF SHA-256
7650913e12f3cffedc9c5f75a5c70fc9b1b646b439364844f3bacea9fcffa9b0Open Verification Release
Publication and DOI Plan
Historical DOI plan retained as a frozen release document.
Status: frozen_historical_publication_planning_document
SHA-256: MD e66eada9c1aa…cabac0b6 · PDF efb8668e250b…5978c52b
Full integrity values
Markdown SHA-256
e66eada9c1aa5603f1ad7333f44f10bc910d286561b74395204236a0cabac0b6PDF SHA-256
efb8668e250b42cffe21b4fab3280bdd9c18ae6d59ba817d6907673c5978c52bOpen Verification Release
Cleanroom ARM-P Open Verification Release v1.0.1
Reader entrypoint for the open-verification umbrella package.
Status: frozen_release_document
SHA-256: MD fc6e78dffd96…b5aac7c7 · PDF c6966ccf313c…0b02ba1f
Full integrity values
Markdown SHA-256
fc6e78dffd963c4dc7620d63106b0097deed5075a772bde15d96fa34b5aac7c7PDF SHA-256
c6966ccf313cf7cf961fd3d46e777f66c1dcb3cb6a3aaf0a0a79aaa20b02ba1fOpen Verification Release
Release Notes v1.0.1
Release notes for the immutable v1.0.1 publication snapshot.
Status: frozen_release_document
SHA-256: MD 34c09dcd9300…d2d4bcbd · PDF 62fdca94c0c3…1450e1fb
Full integrity values
Markdown SHA-256
34c09dcd93002590b50eb43c9c39b29858bea670920d802a27902be0d2d4bcbdPDF SHA-256
62fdca94c0c32b05e271907414efc00b2ad48858b434f39ed7c07eca1450e1fbOpen Verification Release
Reproduction Quickstart
Minimal deterministic reproduction and verification sequence.
Status: frozen_release_document
SHA-256: MD 325612c8279b…c867ea86 · PDF 61d7ce41c796…2cf775f1
Full integrity values
Markdown SHA-256
325612c8279bef5ca5a8efebfd0d8d2b4bb25e95bb6b781a7c1d2a1ac867ea86PDF SHA-256
61d7ce41c796bb7ce80c0ccdc0be89cc8790ecd487744b8dd5e101d72cf775f1Open Verification Release
Transport Supersession and Windows Portability
Archive supersession rules and Windows extraction guidance.
Status: frozen_release_document
SHA-256: MD b154ec8acf83…21113e4b · PDF c9d01f6d8ce2…2e2ad299
Full integrity values
Markdown SHA-256
b154ec8acf8393c35b372e0fa82245045507c50558850b514992a9f221113e4bPDF SHA-256
c9d01f6d8ce2bf7f32808996372279269de888a4b3e91e8de0ad56322e2ad299Open Verification Release
Zenodo Single-Record Deposit Plan
Historical Zenodo deposit order retained as a frozen release document.
Status: frozen_historical_publication_planning_document
SHA-256: MD efa15bcfa93d…2f0b861d · PDF 364010fb3c98…288d7590
Full integrity values
Markdown SHA-256
efa15bcfa93d96d7e643b03a759f4e1c283c24b2f4ba342b46d7c1562f0b861dPDF SHA-256
364010fb3c9886cece5051757ec3c1f3a7e7c68db438ca2541fe8280288d7590Reproduce and verify
Checkout the signed release source
git clone https://github.com/Kot141078/cleanroom-arm-p-open-verification.git
cd cleanroom-arm-p-open-verification
git verify-tag v1.0.1
git checkout v1.0.1
py -m venv .venv
.\.venv\Scripts\python -m pip install -e .
.\.venv\Scripts\python -m pytestThe signed tag is the immutable source snapshot. The later reader/machine commit adds navigation and machine indexes without changing src/, config/, or tools/.
Why Zenodo and GitHub both exist
Archive, source, mirror, and navigation
- Zenodo is the canonical DOI archive.
- The GitHub tag is the signed immutable source snapshot.
- The GitHub Release mirrors the same 21 Zenodo files.
- Repository
mainexposes individual documents and machine indexes for ordinary reading. - This site is an explanation and navigation layer, not a replacement archive.
Machine-readable entrypoints
Site-local and canonical source metadata
Publication metadata
Persistent identifiers and source boundaries
Citation
Recommended citation
Kotov, Ivan. (2026). Cleanroom ARM-P: Open Verification Release (v1.0.1). Zenodo. https://doi.org/10.5281/zenodo.21401893