{ "checks": [ { "name": "new_inverse_scope_and_measurements", "codes": [ "FORMAL_SCOPE_MISMATCH", "MODEL_SCOPE_MISMATCH" ], "passed": true }, { "name": "uniqueness_without_algorithm", "codes": [ "ADDITIONAL_RESULT_REQUIRED", "OBLIGATION_UNKNOWN" ], "passed": true }, { "name": "qaoa_version_and_finite_regime", "codes": [ "FORMAL_SCOPE_MISMATCH", "INDEPENDENT_CHECK_NOT_RUN", "MODEL_SCOPE_MISMATCH", "SOURCE_VERSION_MISMATCH" ], "passed": true }, { "name": "weaker_formal_basis_bound", "codes": [ "FORMAL_SCOPE_MISMATCH" ], "passed": true }, { "name": "gad_decoding_gap", "codes": [ "ADDITIONAL_RESULT_REQUIRED", "MODEL_SCOPE_MISMATCH" ], "passed": true }, { "name": "unsupported_supported_status", "codes": [ "EVIDENCE_REFERENCE_MISSING" ], "passed": true }, { "name": "documented_but_not_certified", "codes": [], "passed": true }, { "name": "duplicate_evidence", "passed": true }, { "name": "duplicate_obligation", "passed": true }, { "name": "unresolved_reference", "passed": true } ], "fixtures": { "new_inverse_scope_and_measurements": { "input": { "claim_id": "documentary-example", "contract_id": "365-joint-same-patch", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "requested_evidence_label": "selected_formal_scope", "model": { "regularity": "smooth", "measurement_model": "finite_electrodes", "dimension": 3 }, "claimed_uses": [], "evidence": [ { "id": "review", "reference": "example-expert-notes", "kind": "documentary_reference_only" } ], "obligations": [ { "id": "smooth_manifold_and_boundary", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "trivial_rank_two_bundle", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "smooth_unitary_connection", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "nonempty_open_patch", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "gauge_and_diffeomorphism_quotient", "status": "supported", "evidence_ids": [ "review" ] } ] }, "output": { "claim_id": "documentary-example", "contract_id": "365-joint-same-patch", "family": "365", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "statement_type": "identifiability", "documentary_gap_count": 2, "issues": [ { "code": "FORMAL_SCOPE_MISMATCH", "message": "The reviewed family-level formal scope does not cover this exact claim." }, { "code": "MODEL_SCOPE_MISMATCH", "message": "The declared measurement_model differs from the reviewed theorem model; a separate bridge is needed.", "obligation": "measurement_model" } ], "documentary_manifest_complete": false, "mathematical_applicability_certified": false, "independent_proof_verification": "not_run", "evidence_contents_verified": false, "interpretation": "A complete manifest is only documentary completeness; supplied statuses and references are not independently established." } }, "uniqueness_without_algorithm": { "input": { "claim_id": "documentary-example", "contract_id": "372-static-elasticity", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "requested_evidence_label": "source_claim", "model": { "dimension": 3, "regularity": "smooth", "measurement_model": "full_static_boundary_operator" }, "claimed_uses": [ "efficient_reconstruction_algorithm" ], "evidence": [ { "id": "review", "reference": "example-expert-notes", "kind": "documentary_reference_only" } ], "obligations": [ { "id": "connected_bounded_smooth_domain", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "smooth_lame_parameters", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "mu_positive", "status": "unknown", "evidence_ids": [ "review" ] }, { "id": "three_lambda_plus_two_mu_positive", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "full_operator_equality", "status": "supported", "evidence_ids": [ "review" ] } ] }, "output": { "claim_id": "documentary-example", "contract_id": "372-static-elasticity", "family": "372", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "statement_type": "uniqueness", "documentary_gap_count": 2, "issues": [ { "code": "ADDITIONAL_RESULT_REQUIRED", "message": "The reviewed statement does not supply the claimed use: efficient_reconstruction_algorithm." }, { "code": "OBLIGATION_UNKNOWN", "message": "A material theorem or engineering obligation remains undocumented or unknown.", "obligation": "mu_positive" } ], "documentary_manifest_complete": false, "mathematical_applicability_certified": false, "independent_proof_verification": "not_run", "evidence_contents_verified": false, "interpretation": "A complete manifest is only documentary completeness; supplied statuses and references are not independently established." } }, "qaoa_version_and_finite_regime": { "input": { "claim_id": "documentary-example", "contract_id": "281-qaoa-energy", "source_commit": "unreviewed-version", "requested_evidence_label": "independently_verified", "model": { "instance_model": "gaussian_zero_field_SK", "limit_order": "finite_size_and_depth" }, "claimed_uses": [], "evidence": [ { "id": "review", "reference": "example-expert-notes", "kind": "documentary_reference_only" } ], "obligations": [ { "id": "unique_source_version", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "expected_energy_per_spin", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "ordered_limits", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "angle_selection_cost_recorded", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "required_depth_unknown", "status": "supported", "evidence_ids": [ "review" ] } ] }, "output": { "claim_id": "documentary-example", "contract_id": "281-qaoa-energy", "family": "281", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "statement_type": "ordered_limit_expected_energy", "documentary_gap_count": 4, "issues": [ { "code": "SOURCE_VERSION_MISMATCH", "message": "The input does not cite the reviewed source revision; scope must be reviewed again." }, { "code": "FORMAL_SCOPE_MISMATCH", "message": "The reviewed family-level formal scope does not cover this exact claim." }, { "code": "INDEPENDENT_CHECK_NOT_RUN", "message": "This linter runs no trusted proof checker and cannot grant an independently verified label." }, { "code": "MODEL_SCOPE_MISMATCH", "message": "The declared limit_order differs from the reviewed theorem model; a separate bridge is needed.", "obligation": "limit_order" } ], "documentary_manifest_complete": false, "mathematical_applicability_certified": false, "independent_proof_verification": "not_run", "evidence_contents_verified": false, "interpretation": "A complete manifest is only documentary completeness; supplied statuses and references are not independently established." } }, "weaker_formal_basis_bound": { "input": { "claim_id": "documentary-example", "contract_id": "266-three-bases", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "requested_evidence_label": "selected_formal_scope", "model": { "dimension": 6, "arithmetic_model": "specified_binary64_compiler_contract" }, "claimed_uses": [], "evidence": [ { "id": "review", "reference": "example-expert-notes", "kind": "documentary_reference_only" } ], "obligations": [ { "id": "complete_verifier_pipeline", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "compiler_conditions", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "rounding_and_arithmetic_conditions", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "source_and_certificate_hashes", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "four_basis_exclusion", "status": "supported", "evidence_ids": [ "review" ] } ] }, "output": { "claim_id": "documentary-example", "contract_id": "266-three-bases", "family": "266", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "statement_type": "computer_assisted_exclusion", "documentary_gap_count": 1, "issues": [ { "code": "FORMAL_SCOPE_MISMATCH", "message": "The reviewed family-level formal scope does not cover this exact claim." } ], "documentary_manifest_complete": false, "mathematical_applicability_certified": false, "independent_proof_verification": "not_run", "evidence_contents_verified": false, "interpretation": "A complete manifest is only documentary completeness; supplied statuses and references are not independently established." } }, "gad_decoding_gap": { "input": { "claim_id": "documentary-example", "contract_id": "276-gad-capacity", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "requested_evidence_label": "source_claim", "model": { "channel_model": "qubit_generalized_amplitude_damping", "decoding_model": "separate_measurement" }, "claimed_uses": [ "finite_block_decoder" ], "evidence": [ { "id": "review", "reference": "example-expert-notes", "kind": "documentary_reference_only" } ], "obligations": [ { "id": "parameter_convention", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "memoryless_channel", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "channel_fit_evidence", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "scalar_optimization_error", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "collective_decoding_assumption", "status": "supported", "evidence_ids": [ "review" ] } ] }, "output": { "claim_id": "documentary-example", "contract_id": "276-gad-capacity", "family": "276", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "statement_type": "memoryless_classical_capacity", "documentary_gap_count": 2, "issues": [ { "code": "MODEL_SCOPE_MISMATCH", "message": "The declared decoding_model differs from the reviewed theorem model; a separate bridge is needed.", "obligation": "decoding_model" }, { "code": "ADDITIONAL_RESULT_REQUIRED", "message": "The reviewed statement does not supply the claimed use: finite_block_decoder." } ], "documentary_manifest_complete": false, "mathematical_applicability_certified": false, "independent_proof_verification": "not_run", "evidence_contents_verified": false, "interpretation": "A complete manifest is only documentary completeness; supplied statuses and references are not independently established." } }, "unsupported_supported_status": { "input": { "claim_id": "documentary-example", "contract_id": "372-static-elasticity", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "requested_evidence_label": "source_claim", "model": { "dimension": 3, "regularity": "smooth", "measurement_model": "full_static_boundary_operator" }, "claimed_uses": [], "evidence": [ { "id": "review", "reference": "example-expert-notes", "kind": "documentary_reference_only" } ], "obligations": [ { "id": "connected_bounded_smooth_domain", "status": "supported", "evidence_ids": [] }, { "id": "smooth_lame_parameters", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "mu_positive", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "three_lambda_plus_two_mu_positive", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "full_operator_equality", "status": "supported", "evidence_ids": [ "review" ] } ] }, "output": { "claim_id": "documentary-example", "contract_id": "372-static-elasticity", "family": "372", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "statement_type": "uniqueness", "documentary_gap_count": 1, "issues": [ { "code": "EVIDENCE_REFERENCE_MISSING", "message": "A supported status has no documentary evidence reference.", "obligation": "connected_bounded_smooth_domain" } ], "documentary_manifest_complete": false, "mathematical_applicability_certified": false, "independent_proof_verification": "not_run", "evidence_contents_verified": false, "interpretation": "A complete manifest is only documentary completeness; supplied statuses and references are not independently established." } }, "documented_but_not_certified": { "input": { "claim_id": "documentary-example", "contract_id": "372-static-elasticity", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "requested_evidence_label": "source_claim", "model": { "dimension": 3, "regularity": "smooth", "measurement_model": "full_static_boundary_operator" }, "claimed_uses": [], "evidence": [ { "id": "review", "reference": "example-expert-notes", "kind": "documentary_reference_only" } ], "obligations": [ { "id": "connected_bounded_smooth_domain", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "smooth_lame_parameters", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "mu_positive", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "three_lambda_plus_two_mu_positive", "status": "supported", "evidence_ids": [ "review" ] }, { "id": "full_operator_equality", "status": "supported", "evidence_ids": [ "review" ] } ] }, "output": { "claim_id": "documentary-example", "contract_id": "372-static-elasticity", "family": "372", "source_commit": "fd4aeeb2ee4fc729c18d98444fed42fd0529eeeb", "statement_type": "uniqueness", "documentary_gap_count": 0, "issues": [], "documentary_manifest_complete": true, "mathematical_applicability_certified": false, "independent_proof_verification": "not_run", "evidence_contents_verified": false, "interpretation": "A complete manifest is only documentary completeness; supplied statuses and references are not independently established." } } } }