<!doctype html>
<html>
 <head> 
  <meta charset="UTF-8"> 
 </head>
 <body>
  <div class="default-style"> 
   <div>
    Hello,
   </div> 
   <div>
     
   </div> 
   <div>
    I’m contacting the Reproducible Builds community for technical review of a deterministic integrity method I’ve been developing, called <strong>Canonical Integrity Science (CIS)</strong>.
   </div> 
   <div>
     
   </div> 
   <div>
    CIS defines a reproducible pipeline for generating, validating, and replaying <strong>Canonical Evidence Bundles</strong>, built on:
   </div> 
   <div>
     
   </div> 
   <ul> 
    <li> 
     <div>
      strict canonicalization
     </div> 
     <div>
       
     </div> </li> 
    <li> 
     <div>
      deterministic digest chaining
     </div> 
     <div>
       
     </div> </li> 
    <li> 
     <div>
      offline verification (static HTML)
     </div> 
     <div>
       
     </div> </li> 
    <li> 
     <div>
      replayable state machine
     </div> 
     <div>
       
     </div> </li> 
    <li> 
     <div>
      transparent, hash-addressable artifacts
     </div> 
     <div>
       
     </div> </li> 
    <li> 
     <div>
      no dependency on live systems or private keys
     </div> 
     <div>
       
     </div> </li> 
   </ul> 
   <div>
    I’ve released a full research artifact package on Zenodo (MIT-licensed), including:
   </div> 
   <div>
     
   </div> 
   <ul> 
    <li> 
     <div>
      the offline verifier
     </div> 
     <div>
       
     </div> </li> 
    <li> 
     <div>
      example bundles with SHA-256 digests
     </div> 
     <div>
       
     </div> </li> 
    <li> 
     <div>
      the open-source engine
     </div> 
     <div>
       
     </div> </li> 
    <li> 
     <div>
      the protocol draft (RFC-style)
     </div> 
     <div>
       
     </div> </li> 
    <li> 
     <div>
      reproducibility instructions
     </div> 
     <div>
       
     </div> </li> 
   </ul> 
   <div> 
    <div>
     Zenodo link (full research artifacts):
    </div> 
    <div class="default-style">
     <a href="https://zenodo.org/records/17792390">https://zenodo.org/records/17792390</a>
     <br><a class="toekfTIzNRAbpePdvSIHsoOfucpqbvvY" tabindex="0" href="https://zenodo.org/records/17794203">https://zenodo.org/records/17794203</a>
     <br><a class="toekfTIzNRAbpePdvSIHsoOfucpqbvvY" tabindex="0" href="https://zenodo.org/records/17659460">https://zenodo.org/records/17659460</a>
    </div> 
    <div class="default-style">
      
    </div> 
    <br>
    <br>
   </div> 
   <div>
     
   </div> 
   <div>
    I would appreciate any technical feedback from the community, especially regarding determinism, reproducibility, and verifier correctness.
   </div> 
   <div>
     
   </div> 
   <div>
    Thank you for your time,
    <br><strong>Michael Ojo</strong>
    <br>Canonical Integrity Science Laboratory
    <br>Warsaw, Poland
   </div> 
   <div>
     
   </div> 
  </div>
 </body>
</html>