{"version":1,"work":"information-realization","title":"Information Realization","source_revision":"cdaf825cc0547fe58973b1770b7cba2fff9bcfa4","sources":[{"repository_path":"research/information-realization/AUDIT_REPORT.md","file_url":"documents/files/b7be72b1684d7f13ec59eb155e18853dbe7cfe34/AUDIT_REPORT.md","url":"read/information-realization/audit-report-62c0b7908522.html","sha256":"d62db36d5fe51b3fe7dfb7097008d400141dc4be4c2f49e3d683baeb91a3eec1","git_blob_sha1":"b7be72b1684d7f13ec59eb155e18853dbe7cfe34","size":6002,"source_url":"read/information-realization/audit-report-62c0b7908522-source.html","passages":0,"macros":{}},{"repository_path":"research/information-realization/LEAN_GUIDE.md","file_url":"documents/files/51d0bd82e09d99954c02e3afe886f57c497fe450/LEAN_GUIDE.md","url":"read/information-realization/lean-guide-54a715c8b42b.html","sha256":"f5f6bf9be5cc4549d1534e1e4ff836c4b56402af999cbaef6d6082cd682d955e","git_blob_sha1":"51d0bd82e09d99954c02e3afe886f57c497fe450","size":6829,"source_url":"read/information-realization/lean-guide-54a715c8b42b-source.html","passages":0,"macros":{}},{"repository_path":"research/information-realization/README.md","file_url":"documents/files/50aa04d808cebc6a438c286f300ef427e0e253c7/README.md","url":"read/information-realization/readme-d2280b9de302.html","sha256":"edc5a54e140e1929e35e832038391886ab0f7594fdccb3899b1e311070fc7645","git_blob_sha1":"50aa04d808cebc6a438c286f300ef427e0e253c7","size":5300,"source_url":"read/information-realization/readme-d2280b9de302-source.html","passages":0,"macros":{}}],"pdfs":[],"passages":[],"entries":[]}