851b5bbd57e7179da67c47783eef39ac79e8920bb28725d303debb343bc67f81  FORMAL_REVIEWER_HANDOFF.md
9e91f136e86b9fd7b71a19c955375a2f4883b6dea2c92eabb87d1d2bba4070f8  MANIFEST.json
6ff5b4a88acc0b8a39f858ddaac907a4164804a765309f9501ddee8e13c49ae0  README.md
4c5a9baa5b338a3a178f31fcc2afc38251f0c6cb9bbd2f3f685b1391f9ff016f  candidate_formal_model/ChronoRealmAssuranceV12.cfg
68d14e821afd6334679236a405a76a69d588a43376ebd734ac3e4d7a80a536d1  candidate_formal_model/ChronoRealmAssuranceV12.tla
01e8010349fac051d9a930f5d8e3e509866a6bdcb03cdda942cd0ff2c33b1ff5  candidate_formal_model/TLC_STATUS.md
9f643bc1cd0c0813b355d43d7cc077cc8970e39c6025c765e94412827927b430  source/public_v1.2/CLAIM_BOUNDARY.md
d74d50e9d3377c3cec3fd1035d0e66fb0211f1157c50def8eaa9c0981cef902d  source/public_v1.2/CORRECTION_LEDGER.md
1d90cb00ddcce50efc73049b2f55ed128fe4ade3cebd809e7037236c73971d16  source/public_v1.2/HIDDEN_CORPUS_COMMITMENT.txt
61ab307434d3e1c5e1bfff556d8bb5a5c850ce8cf18b5d6cfff8c40a20a02f5e  source/public_v1.2/INDEPENDENCE_DECLARATION.md
46f461e1e3ee1ae1555e868aaa60b77395ce6b9b15d925071da6d7938113fbec  source/public_v1.2/MANIFEST.json
dd4224d506bb24f1aa668a2407ea49ee42df3ab5571ccd708b5f930e813c6ada  source/public_v1.2/NORMATIVE_SPECIFICATION.md
1c9b1f7100cf810fcdc309ebb1294612dbf4562b50196dadf66d2da7999465ff  source/public_v1.2/PROTOCOL_CONTRACT.json
d30af993ce02cf910c3c9bf3c13b5d1ede5ed7153fec478a8d71ffa80237e34c  source/public_v1.2/README.md
94143f06764bde2647542998acd2fb043c3c552f71cc2a7dfb8fad8e33ffc4d6  source/public_v1.2/REVIEWER_INSTRUCTIONS.md
14bfbe94d1c738debc69ae396d4cdd9352f4621131cb005e52fbfa53ffcc1027  source/public_v1.2/examples/visible_test_expected_output.json
5627927e30c25d5999e4747749a0ad005b53178d6c15833eecd284bf8e11cb73  source/public_v1.2/examples/visible_test_input.json
11899d94cf751b27a5a689f1e1bee6e9bb6cf1db8642a3cdf734fa167887ec10  source/public_v1.2/schemas/challenge_input.schema.json
d9882e3488116d4faa2297188c33539b69e141c722e1f33bf4c883178073ecb1  source/public_v1.2/schemas/challenge_output.schema.json
