{ "validator": "validate_logbook.py (local bundle validator)", "semantic_v4": { "profile": "semantic-v4-local", "validator": "local_bundle_validator_not_campaign_validator", "checks": [ { "name": "frozen_six_claims", "passed": true, "detail": "CLAIMS.json exactly equals the six registered claim strings." }, { "name": "complete_eight_routes", "passed": true, "detail": "Index, executive summary, and six claim routes exist." }, { "name": "exact_authored_archive", "passed": true, "detail": "arXiv e-print archive matches the retrieval SHA-256." }, { "name": "pinned_clean_code_checkout", "passed": true, "detail": "The linked source is a clean tracked snapshot without embedded Git metadata; external repository commit 6be8f8fbc2169290af6f4ba5e4bd53a5c6485f7b remains recorded in SOURCE_PROVENANCE.json." }, { "name": "claim1_literal_falsification", "passed": true, "detail": "Under injectivity the printed RHS is non-positive; one-state 1/2 witnesses are retained." }, { "name": "claim2_receptive_field_witnesses", "passed": true, "detail": "Real causal-attention stacks preserve the designed outside-window witness." }, { "name": "claim3_construction_and_controls", "passed": true, "detail": "Independent finite construction succeeds while destructive controls fail." }, { "name": "claim4_full_vocab_certificate", "passed": true, "detail": "Full-vocabulary construction passes its exact coverage and small-domain gates." }, { "name": "claim4_sample_certificate_distinction", "passed": true, "detail": "The one sub-99% finite sample mean is retained separately from the exact coverage certificate." }, { "name": "direct_native_notebooks_retained", "passed": true, "detail": "Author notebook cell execution and destructive controls are reported without upgrading scope." }, { "name": "claim5_exact_source_scope", "passed": true, "detail": "Figure 4 table is preserved as .999, not silently converted to 1.000." }, { "name": "claim6_source_contradiction_marked", "passed": true, "detail": "Figure 6 sixfold row and Figure 5 task distinction are explicitly retained." } ], "passed": true, "check_count": 12 }, "operational": { "replay_required": true, "byte_identical_replay": true, "no_remote_publication": true, "official_campaign_validator": "not run: no campaign target was created or modified" }, "passed": true }