{ "schema": "scorecompute.engine-evidence.v1", "generated_at": "2026-10-01T22:31:50.081Z", "application_version": "0.14.0", "inventory_kind": "repository_source_snapshot_and_existing_evidence", "production_equivalence": "requires_separate_release_verification", "tool_count": 19, "excluded_families": [ "composition", "discovery_and_method_search", "contributor_network", "unpublished_inverse_drum" ], "build_inputs": [ { "repository_path": "server/Cargo.toml", "sha256": "222736c3659e65dcb9d18ebcbccebb995a58007434efe939e465452801ed7cd8", "bytes": 506 }, { "repository_path": "server/Cargo.lock", "sha256": "034058736217b55d12e814fedb9755fe2b20458726faca506bfd7e5de6c39681", "bytes": 18374 }, { "repository_path": "server/src/main.rs", "sha256": "7e805109189f77e9009856a4931cfbfade748138b2e8c7787108b421884aac3f", "bytes": 36724 }, { "repository_path": "server/src/generated_engines.rs", "sha256": "ba144091880b7d6cf7308445b2f39eff1688e3e81880f2a1495d8fd112911ca1", "bytes": 2469 } ], "exporter": { "repository_path": "scripts/build-engine-evidence.mjs", "sha256": "bf8794297408c25935747af4939b700d384d93d006686d01064d0671bd67cec2", "bytes": 27003 }, "interpretation": [ "This export reads existing source, tests and evidence. It runs no calculations, tests, benchmarks or held-out evaluations.", "A hash identifies bytes; it is not a scientific certification or proof that a deployed binary uses them.", "Historical report dates remain historical. Their tests are not silently attributed to a changed source snapshot.", "A null runtime_measurement means no current per-engine benchmark is supplied, not zero runtime.", "Shared test modules and scientific primitives can overlap. Test-name listings are not independent test counts.", "Reproduction commands require the corresponding source checkout and dependencies. Repository paths are not promised as public download URLs." ], "cards": [ { "id": "simulate_pi", "title": "Monte Carlo estimate of π", "native_route": "/api/simulate", "engine_version": null, "version_source": "not_declared_by_legacy_module", "output_contract_version": null, "source_snapshot": { "repository_path": "server/src/simulation.rs", "sha256": "99b263fac08d3432200a85dcf05b92209780ecdf69afbeaea53bb8c464b5db90", "bytes": 5291 }, "direct_scientific_dependencies": [ { "repository_path": "server/src/gpu.rs", "sha256": "86d56d8a844a51db02ce4031374a3c3fcadc3b0f593d034194ee915b941d5d2e", "bytes": 9784 }, { "repository_path": "server/src/monte_carlo.cu", "sha256": "1e307376123291cdaf7c99e05a4bea368183d0c051450851b467a4bd5965e582", "bytes": 1170 } ], "manifest": null, "reference_coverage": [ { "kind": "analytic_and_determinism", "text": "Quarter-circle area π/4, known π, seeded sequence reproducibility and preservation under partitioning.", "anchors": [ "reproducible_and_accurate", "partitions_preserve_sequential_stream" ] }, { "kind": "conditional_cross_backend", "text": "CPU/CUDA agreement test exists and is ignored by default; it requires an actual CUDA device.", "anchors": [ "gpu_matches_cpu" ] } ], "test_sources": [ { "repository_path": "server/src/simulation.rs", "sha256": "99b263fac08d3432200a85dcf05b92209780ecdf69afbeaea53bb8c464b5db90", "bytes": 5291, "declared_test_function_names": [ "reproducible_and_accurate", "partitions_preserve_sequential_stream", "bounds" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" }, { "repository_path": "server/src/gpu.rs", "sha256": "86d56d8a844a51db02ce4031374a3c3fcadc3b0f593d034194ee915b941d5d2e", "bytes": 9784, "declared_test_function_names": [ "gpu_matches_cpu" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server simulation::tests -- --test-threads=1", "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server gpu_matches_cpu -- --ignored --test-threads=1" ], "requirements": [ "The second command needs a configured NVIDIA CUDA device and driver. It is not part of an ordinary test run." ], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/VALIDATION.md", "evidence_date": null, "date_semantics": "not_established", "scope": "Multi-release history. Individual sections have their own dates; this card does not borrow their timings or claim a fresh per-engine run.", "sha256": "bc67aa8c1146171b124f406374b9662a4cc475f54c5771800166b4a901daba43", "bytes": 49201, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "A seeded finite Monte Carlo estimate, not an exact value of π.", "The Wilson interval describes the sampling model, not a guarantee for each draw.", "No current GPU speedup or combined-device throughput is established by this evidence inventory." ], "deployment_status": "not_established_by_this_export" }, { "id": "optimize_tasks", "title": "Exact task selection", "native_route": "/api/optimize", "engine_version": null, "version_source": "not_declared_by_legacy_module", "output_contract_version": null, "source_snapshot": { "repository_path": "server/src/optimization.rs", "sha256": "3177d5dc10ce36fd14df19e188d075c0e8b9659f907c728fade2154cc3205f16", "bytes": 3599 }, "direct_scientific_dependencies": [], "manifest": null, "reference_coverage": [ { "kind": "hand_calculated_cases", "text": "A bounded 0/1 knapsack example whose optimum beats greedy selection, plus a valid empty selection when no task fits.", "anchors": [ "finds_optimum_over_greedy", "cannot_fit_is_valid_empty_result" ] } ], "test_sources": [ { "repository_path": "server/src/optimization.rs", "sha256": "3177d5dc10ce36fd14df19e188d075c0e8b9659f907c728fade2154cc3205f16", "bytes": 3599, "declared_test_function_names": [ "finds_optimum_over_greedy", "cannot_fit_is_valid_empty_result" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server optimization::tests -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/VALIDATION.md", "evidence_date": null, "date_semantics": "not_established", "scope": "Multi-release history. Individual sections have their own dates; this card does not borrow their timings or claim a fresh per-engine run.", "sha256": "bc67aa8c1146171b124f406374b9662a4cc475f54c5771800166b4a901daba43", "bytes": 49201, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Independent tasks with integer durations and declared values; no precedence, shared-resource conflicts or uncertain durations in this engine.", "Optimality applies to the supplied discrete selection model, not the realism of the values." ], "deployment_status": "not_established_by_this_export" }, { "id": "simulate_plan", "title": "Task-duration risk simulation", "native_route": "/api/robustness", "engine_version": null, "version_source": "not_declared_by_legacy_module", "output_contract_version": null, "source_snapshot": { "repository_path": "server/src/robustness.rs", "sha256": "5631d8095efedcf272a21ec6a15df6425f8e5851f74f24af55436670dcbae6de", "bytes": 2712 }, "direct_scientific_dependencies": [], "manifest": null, "reference_coverage": [ { "kind": "analytic_limiting_case", "text": "Zero uncertainty reduces the total duration, success rate and empirical percentile to a deterministic hand-calculated sum.", "anchors": [ "no_uncertainty_is_exact" ] } ], "test_sources": [ { "repository_path": "server/src/robustness.rs", "sha256": "5631d8095efedcf272a21ec6a15df6425f8e5851f74f24af55436670dcbae6de", "bytes": 2712, "declared_test_function_names": [ "no_uncertainty_is_exact" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server robustness::tests -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/VALIDATION.md", "evidence_date": null, "date_semantics": "not_established", "scope": "Multi-release history. Individual sections have their own dates; this card does not borrow their timings or claim a fresh per-engine run.", "sha256": "bc67aa8c1146171b124f406374b9662a4cc475f54c5771800166b4a901daba43", "bytes": 49201, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Independent symmetric uniform duration variations are an explicit illustrative assumption.", "The percentile is empirical; no real-world deadline calibration or general forecast guarantee is established by this limiting-case test." ], "deployment_status": "not_established_by_this_export" }, { "id": "compute_orbit", "title": "Ideal two-body orbit", "native_route": "/api/orbit", "engine_version": "0.1.0", "version_source": "engine_manifest", "output_contract_version": null, "source_snapshot": { "repository_path": "server/src/astronomy.rs", "sha256": "452319bf9438a874c12d6f897a09ff49c84376b9925546b432ddf8aa8e9c09d0", "bytes": 2945 }, "direct_scientific_dependencies": [], "manifest": { "repository_path": "engines/compute_orbit.json", "sha256": "b8c8a47e26e4d7c5248c4b972dcc1362c48c1858a2a921d25a24b4b37b133a41", "bytes": 4088 }, "reference_coverage": [ { "kind": "analytic_anchor_and_residual", "text": "Circular orbit radius and period, plus residual checks for Kepler’s equation at eccentricity 0.9.", "anchors": [ "circular_orbit_and_period", "kepler_residual_at_high_eccentricity" ] } ], "test_sources": [ { "repository_path": "server/src/astronomy.rs", "sha256": "452319bf9438a874c12d6f897a09ff49c84376b9925546b432ddf8aa8e9c09d0", "bytes": 2945, "declared_test_function_names": [ "circular_orbit_and_period", "kepler_residual_at_high_eccentricity" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server astronomy::tests -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/VALIDATION.md", "evidence_date": null, "date_semantics": "not_established", "scope": "Multi-release history. Individual sections have their own dates; this card does not borrow their timings or claim a fresh per-engine run.", "sha256": "bc67aa8c1146171b124f406374b9662a4cc475f54c5771800166b4a901daba43", "bytes": 49201, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Ideal two-body ellipse around one solar mass, elapsed time from periapsis.", "No perturbations, observed-body fitting or real ephemeris accuracy is claimed." ], "deployment_status": "not_established_by_this_export" }, { "id": "verify_shadows", "title": "Solar-shadow consistency", "native_route": "/api/shadows", "engine_version": null, "version_source": "not_declared_by_legacy_module", "output_contract_version": null, "source_snapshot": { "repository_path": "server/src/soleil_ombres.rs", "sha256": "abae56e3d8ef08a430ba19c80c77d0bca7d190ffda6e9b14ea366057bf6a2c13", "bytes": 33604 }, "direct_scientific_dependencies": [], "manifest": null, "reference_coverage": [ { "kind": "independent_solar_reference", "text": "Skyfield 1.55/JPL DE421 solar directions at 37 predeclared 2026 samples, including the antimeridian; 0.05-degree test bound.", "anchors": [ "independent_de421_directions_cover_antimeridian_and_local_midnights", "public_shadow_geometry_uses_oracle_direction_not_its_east_west_mirror" ] }, { "kind": "analytic_geometry_and_rejection", "text": "Affine ground-plane homography, opposite-shadow and incompatible-second-shadow regression cases.", "anchors": [ "homography_recovers_affine_geometry", "opposite_shadow_is_not_mistaken_for_high_uncertainty" ] } ], "test_sources": [ { "repository_path": "server/src/soleil_ombres.rs", "sha256": "abae56e3d8ef08a430ba19c80c77d0bca7d190ffda6e9b14ea366057bf6a2c13", "bytes": 33604, "declared_test_function_names": [ "opposite_shadow_is_not_mistaken_for_high_uncertainty", "conflicting_second_shadow_and_high_uncertainty_are_inconclusive", "julian_day_epoch_is_exact", "meeus_declination_anchor", "solar_noon_in_paris_faces_south", "parse_utc_roundtrip_and_rejection", "homography_recovers_affine_geometry", "verdict_rules_are_stable", "consistent_shadow_is_compatible", "contradicted_shadow_is_flagged", "night_refusal_is_informative", "validation_rejects_poles_and_bad_geometry" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" }, { "repository_path": "server/tests/solar_azimuth_contract.rs", "sha256": "a80ef800b8e65baec35d5ebb28b8a3431c720e54305d01998507ba1a16edc256", "bytes": 12214, "declared_test_function_names": [ "independent_de421_directions_cover_antimeridian_and_local_midnights", "positive_and_negative_180_degrees_describe_the_same_observer", "signed_hour_angle_agrees_with_vector_geometry_through_local_midnight", "correction_preserves_existing_elevations_and_golden_hour_intervals", "public_ephemeris_accepts_real_direction_and_rejects_mirrored_direction", "public_shadow_geometry_uses_oracle_direction_not_its_east_west_mirror", "public_shadow_tracks_follow_independent_daylight_observations", "golden_hour_antimeridian_directions_match_existing_independent_oracle" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [ { "repository_path": "server/tests/fixtures/solar_azimuth/oracle.json", "sha256": "f18827e98e45700a70223c249ec9459bc9d78b26c2a63bea5776220d80ce1ae8", "bytes": 9096 } ], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server soleil_ombres::tests -- --test-threads=1", "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --test solar_azimuth_contract -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/SOLAR-AZIMUTH-FIX.md", "evidence_date": "2026-09-30", "date_semantics": "date_declared_in_report_or_named_artifact", "scope": "Historical shared solar-azimuth repair: 37 predeclared Skyfield/DE421 samples in 2026, not every accepted location/date.", "sha256": "ca175aa9876cddd7c26da2496f5591ea72ce5d2b1c90fc8257969b9546e2418a", "bytes": 6283, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Requires supplied image control points and a horizontal planar ground model; no automatic image interpretation.", "Verdict thresholds are screening conventions, not an authenticity certificate.", "Solar primitives are shared with ephemeris, tracks and golden-hour tools, so they are not independent corroborating sources." ], "deployment_status": "not_established_by_this_export" }, { "id": "check_ephemeris", "title": "Claimed Sun or Moon position", "native_route": "/api/ephemeride", "engine_version": null, "version_source": "not_declared_by_legacy_module", "output_contract_version": null, "source_snapshot": { "repository_path": "server/src/ephemeride.rs", "sha256": "102dee0aac2c8bcbf21c1367719376bda7b59f41912a6a5f21d92095ded16e3a", "bytes": 16470 }, "direct_scientific_dependencies": [ { "repository_path": "server/src/soleil_ombres.rs", "sha256": "abae56e3d8ef08a430ba19c80c77d0bca7d190ffda6e9b14ea366057bf6a2c13", "bytes": 33604 } ], "manifest": null, "reference_coverage": [ { "kind": "published_numeric_anchors", "text": "Meeus sidereal-time and lunar-position examples, lunar phase and geometric topocentric parallax limiting cases.", "anchors": [ "meeus_gmst_anchor", "meeus_moon_anchor", "lunar_parallax_lowers_geocentric_horizon_by_geometric_amount" ] }, { "kind": "independent_solar_reference", "text": "Shared 37-sample Skyfield/DE421 solar comparison and a native claimed-direction versus mirrored-direction regression.", "anchors": [ "public_ephemeris_accepts_real_direction_and_rejects_mirrored_direction" ] } ], "test_sources": [ { "repository_path": "server/src/ephemeride.rs", "sha256": "102dee0aac2c8bcbf21c1367719376bda7b59f41912a6a5f21d92095ded16e3a", "bytes": 16470, "declared_test_function_names": [ "lunar_parallax_lowers_geocentric_horizon_by_geometric_amount", "lunar_parallax_is_zero_at_equatorial_zenith", "meeus_gmst_anchor", "meeus_moon_anchor", "sun_longitude_anchor", "computed_moon_is_compatible_with_itself", "wrong_position_is_contradicted", "moon_phase_is_calibrated", "validation_rejects_bad_input" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" }, { "repository_path": "server/tests/solar_azimuth_contract.rs", "sha256": "a80ef800b8e65baec35d5ebb28b8a3431c720e54305d01998507ba1a16edc256", "bytes": 12214, "declared_test_function_names": [ "independent_de421_directions_cover_antimeridian_and_local_midnights", "positive_and_negative_180_degrees_describe_the_same_observer", "signed_hour_angle_agrees_with_vector_geometry_through_local_midnight", "correction_preserves_existing_elevations_and_golden_hour_intervals", "public_ephemeris_accepts_real_direction_and_rejects_mirrored_direction", "public_shadow_geometry_uses_oracle_direction_not_its_east_west_mirror", "public_shadow_tracks_follow_independent_daylight_observations", "golden_hour_antimeridian_directions_match_existing_independent_oracle" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [ { "repository_path": "server/tests/fixtures/solar_azimuth/oracle.json", "sha256": "f18827e98e45700a70223c249ec9459bc9d78b26c2a63bea5776220d80ce1ae8", "bytes": 9096 } ], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server ephemeride::tests -- --test-threads=1", "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --test solar_azimuth_contract -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/SOLAR-AZIMUTH-FIX.md", "evidence_date": "2026-09-30", "date_semantics": "date_declared_in_report_or_named_artifact", "scope": "Historical shared solar-azimuth repair: 37 predeclared Skyfield/DE421 samples in 2026, not every accepted location/date.", "sha256": "ca175aa9876cddd7c26da2496f5591ea72ce5d2b1c90fc8257969b9546e2418a", "bytes": 6283, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Approximate Sun/Moon models, standard refraction and stated observer assumptions; no object identification.", "The extra angular margin is conventional, not a certified astronomical error bound.", "Solar fixtures do not validate every lunar/date/location case." ], "deployment_status": "not_established_by_this_export" }, { "id": "audit_statistics", "title": "GRIM/GRIMMER consistency screening", "native_route": "/api/audit", "engine_version": null, "version_source": "not_declared_by_legacy_module", "output_contract_version": null, "source_snapshot": { "repository_path": "server/src/audit_stats.rs", "sha256": "23d2302b1cafa26b97ea604221fe2ac0f9727e32c3701842c9c2964a321f78f2", "bytes": 11812 }, "direct_scientific_dependencies": [], "manifest": null, "reference_coverage": [ { "kind": "hand_calculated_arithmetic", "text": "Integer mean-grid cases, sum-of-squares bounds, rounding-window enumeration, impossible zero standard deviation and sample-SD constraints.", "anchors": [ "sum_squares_bounds_hand_computed", "grim_mean_off_grid_is_inconsistent", "rounded_mean_checks_every_possible_integer_sum" ] } ], "test_sources": [ { "repository_path": "server/src/audit_stats.rs", "sha256": "23d2302b1cafa26b97ea604221fe2ac0f9727e32c3701842c9c2964a321f78f2", "bytes": 11812, "declared_test_function_names": [ "sum_squares_bounds_hand_computed", "grim_mean_on_grid_is_consistent", "grim_mean_off_grid_is_inconsistent", "grimmer_sd_in_range_is_consistent", "grimmer_sd_below_floor_is_inconsistent", "zero_sd_with_spread_mean_is_impossible", "rounded_mean_checks_every_possible_integer_sum", "percentage_scale_works_with_custom_bounds", "validation_rejects_absurd_input" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server audit_stats::tests -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/VALIDATION.md", "evidence_date": null, "date_semantics": "not_established", "scope": "Multi-release history. Individual sections have their own dates; this card does not borrow their timings or claim a fresh per-engine run.", "sha256": "bc67aa8c1146171b124f406374b9662a4cc475f54c5771800166b4a901daba43", "bytes": 49201, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Necessary arithmetic filters for bounded integer observations; passing does not prove a dataset exists.", "An inconsistency is not evidence of fraud or author intent.", "Reported statistics must match the declared rounding and sample convention." ], "deployment_status": "not_established_by_this_export" }, { "id": "analyze_kinematics", "title": "Angular-speed kinematics", "native_route": "/api/kinematics", "engine_version": null, "version_source": "not_declared_by_legacy_module", "output_contract_version": null, "source_snapshot": { "repository_path": "server/src/cinematique.rs", "sha256": "7de6c8582aee6141335ad181881f852d991f2c0fb80d14f01665becc0c5e56f6", "bytes": 8027 }, "direct_scientific_dependencies": [], "manifest": null, "reference_coverage": [ { "kind": "hand_calculated_formula", "text": "Radians-per-second times distance, with independently hand-calculated speed and limiting-distance anchors.", "anchors": [ "speed_at_hand_computed", "drone_distance_hand_computed" ] } ], "test_sources": [ { "repository_path": "server/src/cinematique.rs", "sha256": "7de6c8582aee6141335ad181881f852d991f2c0fb80d14f01665becc0c5e56f6", "bytes": 8027, "declared_test_function_names": [ "speed_at_hand_computed", "drone_distance_hand_computed", "claim_check_flags_impossible_speed", "claim_check_accepts_sufficient_speed", "hypotheses_order_is_consistent", "validation_rejects_bad_input" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server cinematique::tests -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/VALIDATION.md", "evidence_date": null, "date_semantics": "not_established", "scope": "Multi-release history. Individual sections have their own dates; this card does not borrow their timings or claim a fresh per-engine run.", "sha256": "bc67aa8c1146171b124f406374b9662a4cc475f54c5771800166b4a901daba43", "bytes": 49201, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Transverse speed depends on an assumed distance; the observation alone does not establish that distance.", "Illustrative vehicle thresholds do not identify an object or its origin." ], "deployment_status": "not_established_by_this_export" }, { "id": "check_shadow_track", "title": "Shadow-direction track consistency", "native_route": "/api/shadow-track", "engine_version": null, "version_source": "not_declared_by_legacy_module", "output_contract_version": null, "source_snapshot": { "repository_path": "server/src/piste_ombre.rs", "sha256": "18068d3a1b7c32bc41626e52fee104925a35cc18ac5f50fa35fa4faef6251152", "bytes": 13415 }, "direct_scientific_dependencies": [ { "repository_path": "server/src/soleil_ombres.rs", "sha256": "abae56e3d8ef08a430ba19c80c77d0bca7d190ffda6e9b14ea366057bf6a2c13", "bytes": 33604 } ], "manifest": null, "reference_coverage": [ { "kind": "independent_solar_reference", "text": "Tracks through independent DE421 daylight directions, together with reversal, opposing residual and time-lapse regression cases.", "anchors": [ "public_shadow_tracks_follow_independent_daylight_observations", "opposing_residuals_cannot_cancel_into_compatibility", "ten_times_time_lapse_is_flagged" ] } ], "test_sources": [ { "repository_path": "server/src/piste_ombre.rs", "sha256": "18068d3a1b7c32bc41626e52fee104925a35cc18ac5f50fa35fa4faef6251152", "bytes": 13415, "declared_test_function_names": [ "computed_track_is_compatible_with_itself", "opposing_residuals_cannot_cancel_into_compatibility", "reversed_track_is_flagged", "ten_times_time_lapse_is_flagged", "low_sun_is_intestable", "validation_rejects_bad_samples" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" }, { "repository_path": "server/tests/solar_azimuth_contract.rs", "sha256": "a80ef800b8e65baec35d5ebb28b8a3431c720e54305d01998507ba1a16edc256", "bytes": 12214, "declared_test_function_names": [ "independent_de421_directions_cover_antimeridian_and_local_midnights", "positive_and_negative_180_degrees_describe_the_same_observer", "signed_hour_angle_agrees_with_vector_geometry_through_local_midnight", "correction_preserves_existing_elevations_and_golden_hour_intervals", "public_ephemeris_accepts_real_direction_and_rejects_mirrored_direction", "public_shadow_geometry_uses_oracle_direction_not_its_east_west_mirror", "public_shadow_tracks_follow_independent_daylight_observations", "golden_hour_antimeridian_directions_match_existing_independent_oracle" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [ { "repository_path": "server/tests/fixtures/solar_azimuth/oracle.json", "sha256": "f18827e98e45700a70223c249ec9459bc9d78b26c2a63bea5776220d80ce1ae8", "bytes": 9096 } ], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server piste_ombre::tests -- --test-threads=1", "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --test solar_azimuth_contract -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/SOLAR-AZIMUTH-FIX.md", "evidence_date": "2026-09-30", "date_semantics": "date_declared_in_report_or_named_artifact", "scope": "Historical shared solar-azimuth repair: 37 predeclared Skyfield/DE421 samples in 2026, not every accepted location/date.", "sha256": "ca175aa9876cddd7c26da2496f5591ea72ce5d2b1c90fc8257969b9546e2418a", "bytes": 6283, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Consumes supplied minute/azimuth measurements, not video pixels.", "Shares the solar model with the shadow and ephemeris engines.", "A compatible track does not authenticate a video; thresholds and low-Sun limitations remain explicit." ], "deployment_status": "not_established_by_this_export" }, { "id": "solve_equilibrium", "title": "Kuhn poker equilibrium", "native_route": "/api/equilibrium", "engine_version": null, "version_source": "not_declared_by_legacy_module", "output_contract_version": null, "source_snapshot": { "repository_path": "server/src/equilibre.rs", "sha256": "d33dd25819b1219bc1dc869d4ba093a96bd3b49d1b67933ef7bea2716c269511", "bytes": 13431 }, "direct_scientific_dependencies": [], "manifest": null, "reference_coverage": [ { "kind": "analytic_game_reference", "text": "Kuhn poker value −1/18, probability normalization, qualitative equilibrium checks and pure best-response exploitability.", "anchors": [ "game_value_converges_to_reference", "exploitability_is_small", "probabilities_are_normalized" ] } ], "test_sources": [ { "repository_path": "server/src/equilibre.rs", "sha256": "d33dd25819b1219bc1dc869d4ba093a96bd3b49d1b67933ef7bea2716c269511", "bytes": 13431, "declared_test_function_names": [ "game_value_converges_to_reference", "exploitability_is_small", "qualitative_equilibrium_properties_hold", "probabilities_are_normalized", "validation_rejects_bad_input" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server equilibre::tests -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/VALIDATION.md", "evidence_date": null, "date_semantics": "not_established", "scope": "Multi-release history. Individual sections have their own dates; this card does not borrow their timings or claim a fresh per-engine run.", "sha256": "bc67aa8c1146171b124f406374b9662a4cc475f54c5771800166b4a901daba43", "bytes": 49201, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Finite-iteration CFR+ for the specified tiny game, not a general poker solver.", "Convergence checks do not imply a gambling advantage or advice." ], "deployment_status": "not_established_by_this_export" }, { "id": "analyze_chess_game", "title": "Chess move-quality profile", "native_route": "/api/chess", "engine_version": null, "version_source": "not_declared_by_legacy_module", "output_contract_version": null, "source_snapshot": { "repository_path": "server/src/echecs.rs", "sha256": "4060ca4799be4b61040a5131144c1b8ca3368bd5f430fbaf486a2e45a2222778", "bytes": 13174 }, "direct_scientific_dependencies": [], "manifest": null, "reference_coverage": [ { "kind": "protocol_and_legality", "text": "Legal SAN/UCI conversion and forced cleanup of an unresponsive engine; optional actual Stockfish analysis.", "anchors": [ "played_to_uci_handles_san_and_uci", "unresponsive_engine_has_deadline_and_is_reaped", "stockfish_analyzes_startpos_when_available" ] } ], "test_sources": [ { "repository_path": "server/src/echecs.rs", "sha256": "4060ca4799be4b61040a5131144c1b8ca3368bd5f430fbaf486a2e45a2222778", "bytes": 13174, "declared_test_function_names": [ "played_to_uci_handles_san_and_uci", "unresponsive_engine_has_deadline_and_is_reaped", "classify_thresholds_are_stable", "validation_rejects_bad_input", "stockfish_analyzes_startpos_when_available" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server echecs::tests -- --test-threads=1" ], "requirements": [ "Actual engine comparisons require a working Stockfish UCI executable; protocol-only tests do not establish its presence." ], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/VALIDATION.md", "evidence_date": null, "date_semantics": "not_established", "scope": "Multi-release history. Individual sections have their own dates; this card does not borrow their timings or claim a fresh per-engine run.", "sha256": "bc67aa8c1146171b124f406374b9662a4cc475f54c5771800166b4a901daba43", "bytes": 49201, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Scores and move agreement depend on Stockfish version, depth, positions and analysis settings.", "A descriptive move-quality profile is not a cheating verdict or a calibrated identity classifier." ], "deployment_status": "not_established_by_this_export" }, { "id": "screen_wash_trading", "title": "Repeated-trade pattern screening", "native_route": "/api/wash", "engine_version": null, "version_source": "not_declared_by_legacy_module", "output_contract_version": null, "source_snapshot": { "repository_path": "server/src/marche.rs", "sha256": "e6c4cdff6923c90a7f8f022f1f60552f393262651715d75086ba2485eeb2aae3", "bytes": 8531 }, "direct_scientific_dependencies": [], "manifest": null, "reference_coverage": [ { "kind": "synthetic_screening_cases", "text": "Designed repeating-volume and organic-flow fixtures, input sorting and overflow rejection.", "anchors": [ "wash_pattern_is_flagged", "organic_flow_has_no_signal", "overflowing_volume_is_rejected_instead_of_returning_nulls" ] } ], "test_sources": [ { "repository_path": "server/src/marche.rs", "sha256": "e6c4cdff6923c90a7f8f022f1f60552f393262651715d75086ba2485eeb2aae3", "bytes": 8531, "declared_test_function_names": [ "wash_pattern_is_flagged", "overflowing_volume_is_rejected_instead_of_returning_nulls", "organic_flow_has_no_signal", "unsorted_input_is_sorted", "validation_rejects_bad_input" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server marche::tests -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/VALIDATION.md", "evidence_date": null, "date_semantics": "not_established", "scope": "Multi-release history. Individual sections have their own dates; this card does not borrow their timings or claim a fresh per-engine run.", "sha256": "bc67aa8c1146171b124f406374b9662a4cc475f54c5771800166b4a901daba43", "bytes": 49201, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Synthetic examples do not measure real-market false-positive or false-negative rates.", "Only the supplied series, time window and price band are examined; this does not establish wash trading or intent." ], "deployment_status": "not_established_by_this_export" }, { "id": "route_optimizer", "title": "Geometric route optimization", "native_route": "/api/route", "engine_version": "0.1.0", "version_source": "native_contract_constant", "output_contract_version": "0.1.0", "source_snapshot": { "repository_path": "server/src/route_optimizer.rs", "sha256": "20d09cc91c01e06ef7b5f57d929a1899db9191828aa33d190a0d32131501c90d", "bytes": 26290 }, "direct_scientific_dependencies": [], "manifest": null, "reference_coverage": [ { "kind": "independent_exhaustive_oracle", "text": "All permutations on small fixtures, independently recomputed leg costs, analytic equator/antipodal distances and bounded-interruption checks.", "anchors": [ "exact_matches_independent_enumeration", "geographic_boundary_distances_match_analytic_references", "interrupted_exact_search_returns_fallback_never_certified" ] } ], "test_sources": [ { "repository_path": "server/src/route_optimizer.rs", "sha256": "20d09cc91c01e06ef7b5f57d929a1899db9191828aa33d190a0d32131501c90d", "bytes": 26290, "declared_test_function_names": [ "haversine_equator_one_degree", "two_points_closed_and_open", "interrupted_exact_search_returns_fallback_never_certified", "expired_budget_never_certifies_a_small_exact_search", "expired_preparation_returns_an_error_instead_of_an_incomplete_tour", "work_reservations_cross_checkpoints_without_exceeding_the_bound", "interrupted_heuristic_retains_a_complete_non_degrading_tour" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" }, { "repository_path": "server/tests/route_optimizer_contract.rs", "sha256": "e2dc9277e85cdcac3fca51e6b194166c5031a005e5afa08853a0b8a6a5b4d5b3", "bytes": 24870, "declared_test_function_names": [ "unit_square_closed_and_open", "unit_square_center_closed_and_open_optimum", "exact_matches_independent_enumeration", "exact_open_route_does_not_discard_small_improvements", "finite_tiny_coordinates_do_not_become_duplicate_points", "geographic_boundary_distances_match_analytic_references", "strict_json_rejects_null_duplicate_and_unknown_coordinate_fields", "legs_recomputed_independently_on_a_larger_heuristic_case", "open_and_closed_heuristics_preserve_best_cost_and_check_suffix_moves", "large_coordinate_heuristics_never_degrade_the_computed_baseline", "greedy_reference_and_declared_improvement", "edge_cases_and_validation", "great_circle_cases", "budget_cut_keeps_complete_tour_and_never_fakes_exact", "json_roundtrip_and_contract_examples", "candidate_mcp_examples_match_the_implemented_contract", "report_examples_are_reproducible", "resource_trials_13_32_128_256" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [ { "repository_path": "server/tests/fixtures/route_optimizer/greedy_improvable.json", "sha256": "dc777fa996d3595a52e8484d51c1f08ac672e3888d247bc37fe962a06a334a64", "bytes": 266 }, { "repository_path": "server/tests/fixtures/route_optimizer/nn_gap_24.json", "sha256": "6cf30dafcd3dc0342d75ebf2384745227c43ed5e519c5e5248b8c112ce1c963e", "bytes": 1343 }, { "repository_path": "server/tests/fixtures/route_optimizer/sphere_equator.json", "sha256": "d5999cb469e48d69c4e898d156f1f76d8dc791ba82d3022c8eff779c509bfa4b", "bytes": 194 }, { "repository_path": "server/tests/fixtures/route_optimizer/square_center.json", "sha256": "5e1d604c529a7abb91a2666a6fd222af8ff1f4a8547003a422b3e439e00df106", "bytes": 306 }, { "repository_path": "server/tests/fixtures/route_optimizer/square_closed.json", "sha256": "7970b81565f72ea5ba9e2c51080a43adec7fd996d429b4fcf0ea45b286283bab", "bytes": 262 }, { "repository_path": "server/tests/fixtures/route_optimizer/square_open.json", "sha256": "3e135951d37174c7837fce28767044b58720c43e7bea94a08a74f43560216356", "bytes": 263 } ], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --test route_optimizer_contract -- --test-threads=1", "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server route_optimizer::tests -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/SC-2-ROUTE-AUDIT.md", "evidence_date": null, "date_semantics": "not_established", "scope": "Route integration audit with independent exhaustive and boundary cases; no new execution is claimed by this export.", "sha256": "9997fe7f94b9afa294fbef2ca7bccbc54b4d511381c28ec8a0ea7e4470fede81", "bytes": 8035, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Exact means a finished combinatorial search over the computed f64 distances, not exact real arithmetic.", "For more than 13 points or incomplete search, returned routes are bounded heuristics.", "No roads, traffic, capacity constraints or travel-time prediction." ], "deployment_status": "not_established_by_this_export" }, { "id": "triangulate_tracks", "title": "Multi-observer track reconstruction", "native_route": "/api/triangulate", "engine_version": "0.2.0", "version_source": "native_contract_constant", "output_contract_version": "0.2.0", "source_snapshot": { "repository_path": "server/src/triangulation_stable.rs", "sha256": "7fc9b1ddf7e9dd5b747e421ff8ca6b8e7ad09e28948053dc72310ce7d4a77f9f", "bytes": 49984 }, "direct_scientific_dependencies": [ { "repository_path": "server/src/soleil_ombres.rs", "sha256": "abae56e3d8ef08a430ba19c80c77d0bca7d190ffda6e9b14ea366057bf6a2c13", "bytes": 33604 } ], "manifest": null, "reference_coverage": [ { "kind": "independent_geometry_and_numerical_oracle", "text": "Independent reprojection, numerical information matrix, known synthetic motion, SciPy fit of a historical stall and translated/rotated-coordinate checks.", "anchors": [ "historical_ecef_stall_converges_to_independent_scipy_solution", "independent_reprojection_matches", "audit_covariance_inverts_independent_numerical_information_matrix" ] } ], "test_sources": [ { "repository_path": "server/tests/triangulation_stable_contract.rs", "sha256": "07ec6fc974fad2d205b5d1cad5a6f30b8890d28c8a0216ca07b75c0801e3d409", "bytes": 33256, "declared_test_function_names": [ "historical_ecef_stall_converges_to_independent_scipy_solution", "repaired_state_meets_unchanged_gradient_criterion_with_independent_differences", "historical_stall_is_equivariant_under_longitude_quarter_turn", "translated_solver_preserves_native_seed_mean_only_semantics", "two_observer_crossing_recovers_state", "three_observer_crossing_is_tighter", "colocated_observers_are_degenerate", "distant_target_is_degenerate", "inconsistent_observations_are_flagged", "clock_offset_is_detectable_and_correctable", "staggered_original_sampling_recovers_state_without_interpolation_bias", "independent_reprojection_matches", "validation_refusals", "json_roundtrip_for_all_fixtures", "determinism_is_exact", "report_example_is_reproducible", "resource_trial_max_case", "audit_fit_uses_original_sample_count_not_interpolated_grid_count", "audit_reported_chi2_matches_independent_original_coordinate_residuals", "audit_common_grid_never_extrapolates_or_omits_its_end", "audit_full_observation_window_not_only_overlap_is_bounded", "audit_duplicate_observer_track_cannot_buy_precision", "audit_covariance_inverts_independent_numerical_information_matrix", "audit_absolute_sigmas_scale_covariance_without_residual_rescaling", "audit_large_epoch_translation_does_not_change_geometry_or_covariance", "audit_duplicate_measurements_with_altered_sigmas_are_rejected", "audit_zenith_and_degenerate_cases_never_publish_spurious_state", "audit_numeric_boundaries_reject_nonfinite_and_unrepresentable_times", "audit_minimum_original_samples_and_sample_weighted_rms", "audit_conditional_uncertainty_matches_seeded_independent_angular_noise" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" }, { "repository_path": "server/tests/triangulation_stable_review.rs", "sha256": "553483de47278e2c55e503d557554c1e42d2762205f2b1d361a6fbdae79737eb", "bytes": 11347, "declared_test_function_names": [ "regression_covariance_matches_independent_information_and_strict_gradient", "clocks_and_epoch_shift_preserve_estimate_and_full_cross_covariance", "arbitrary_longitude_rotation_preserves_full_covariance_tensor", "asynchronous_assimilation_recomputes_information_without_prior_double_counting", "seed_epoch_transport_and_different_local_origins_preserve_the_same_fit", "new_station_angular_bias_does_not_become_an_accepted_improvement", "physical_and_public_input_refusals_stay_explicit" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [ { "repository_path": "server/tests/fixtures/triangulation/clock3.json", "sha256": "72df5b95b8be1af43708241276e4ca48e0abfb41dc15d7bdb9de868e03eaaf92", "bytes": 3719 }, { "repository_path": "server/tests/fixtures/triangulation/colocated2.json", "sha256": "089fe9519cb4782933c46ce13044ff888608905cabc7eb38236c9f56e60ab358", "bytes": 2541 }, { "repository_path": "server/tests/fixtures/triangulation/crossing2.json", "sha256": "7de52590b2b8ea806340abb9de1492157721aba82aa41877427889228c0be35d", "bytes": 2546 }, { "repository_path": "server/tests/fixtures/triangulation/crossing3.json", "sha256": "6235b85e7eb3dca5041cfb860e016dfbec0307ce3c10262b32d899bd0e79d93d", "bytes": 3717 }, { "repository_path": "server/tests/fixtures/triangulation/far2.json", "sha256": "11a84827835c57eec1e26e710099b6c753bb7937f23e39637388acdea87e2b0a", "bytes": 2551 }, { "repository_path": "server/tests/fixtures/triangulation/inconsistent3.json", "sha256": "a285705b9962f8411b8ea9d2088c2f7460bb71d802aed69f9e84d2cfd6f7b74f", "bytes": 3717 }, { "repository_path": "docs/DISCOVERY-FIT-REVIEW/scipy-oracle-result.json", "sha256": "3f444eef7900862765bd763bcf12cb453aec5ff532f0750052331bd5236dc03f", "bytes": 3662 } ], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --test triangulation_stable_contract -- --test-threads=1", "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --test triangulation_stable_review -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/TRIANGULATION-STABLE.md", "evidence_date": "2026-10-01", "date_semantics": "date_declared_in_report_or_named_artifact", "scope": "Versioned numerical repair. The old failed study remains rejected; its failing case became a development regression.", "sha256": "ca5499c9a47a4c14dce042abf9453b577327d12469fd74093a9ad5d2ceef3802", "bytes": 5469, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Constant velocity, spherical ECEF, exact supplied stations/clocks and declared independent angular uncertainty.", "Local covariance omits systematic model errors and is not calibrated field accuracy.", "No universal convergence guarantee and no new held-out study was run to create this card." ], "deployment_status": "not_established_by_this_export" }, { "id": "plan_golden_hour", "title": "Golden and blue hour windows", "native_route": "/api/golden-hour", "engine_version": "0.1.0", "version_source": "native_contract_constant", "output_contract_version": "0.1.0", "source_snapshot": { "repository_path": "server/src/golden_hour.rs", "sha256": "444f3168e7ec20b439d7f0083d9d8fc3f9de14933ec206c2f67cea97dfe971dd", "bytes": 22253 }, "direct_scientific_dependencies": [ { "repository_path": "server/src/soleil_ombres.rs", "sha256": "abae56e3d8ef08a430ba19c80c77d0bca7d190ffda6e9b14ea366057bf6a2c13", "bytes": 33604 } ], "manifest": null, "reference_coverage": [ { "kind": "independent_ephemeris_fixture", "text": "Stored Skyfield 1.55/JPL DE421 reference days, threshold tangencies, polar/boundary windows and independent azimuth samples.", "anchors": [ "hidden_minimum_window_is_found", "sub_second_window_has_distinct_ordered_timestamps", "independent_de421_directions_cover_antimeridian_and_local_midnights" ] } ], "test_sources": [ { "repository_path": "server/tests/golden_hour_contract.rs", "sha256": "648740219e5cd0b572fff9d2850ab797be9ac6ba1d374a85b365eb303c86dbab", "bytes": 30183, "declared_test_function_names": [ "oracle_comparisons_for_all_cases", "equator_equinox_directions_and_azimuths", "dateline_longitudes_keep_utc_slices_consistent", "tromso_midsummer_has_windows_cut_by_the_utc_edges", "tromso_polar_night_still_has_golden_and_blue_bands", "tangency_inside_keeps_the_shallow_high_window", "tangency_outside_has_no_plus6_and_a_blue_window_cut_at_the_end", "golden_and_blue_share_the_minus4_boundary", "validation_refusals", "determinism_and_json_roundtrip", "numerical_bounds_are_respected", "report_examples_are_reproducible", "hidden_minimum_window_is_found", "edge_minimum_in_first_minute_is_found", "edge_minimum_in_last_minute_is_found", "opposite_crossings_are_both_kept_and_the_afternoon_window_resumes", "sub_second_window_has_distinct_ordered_timestamps", "oracle_azimuths_match_including_the_antimeridian_cases", "demo_fixtures_match_computed_outputs" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" }, { "repository_path": "server/tests/solar_azimuth_contract.rs", "sha256": "a80ef800b8e65baec35d5ebb28b8a3431c720e54305d01998507ba1a16edc256", "bytes": 12214, "declared_test_function_names": [ "independent_de421_directions_cover_antimeridian_and_local_midnights", "positive_and_negative_180_degrees_describe_the_same_observer", "signed_hour_angle_agrees_with_vector_geometry_through_local_midnight", "correction_preserves_existing_elevations_and_golden_hour_intervals", "public_ephemeris_accepts_real_direction_and_rejects_mirrored_direction", "public_shadow_geometry_uses_oracle_direction_not_its_east_west_mirror", "public_shadow_tracks_follow_independent_daylight_observations", "golden_hour_antimeridian_directions_match_existing_independent_oracle" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [ { "repository_path": "server/tests/fixtures/golden_hour/example_paris_summer.json", "sha256": "b5a52aa39bb6110f747641ca1be15c4ba408b912e147566cb80041f9bd0a4c36", "bytes": 4264 }, { "repository_path": "server/tests/fixtures/golden_hour/example_tromso_midsummer.json", "sha256": "b38d22205bb8035ad5249ce7f74aafdf45c0669bc521e6a938611ac110e6618d", "bytes": 3174 }, { "repository_path": "server/tests/fixtures/golden_hour/oracle_azimuths.json", "sha256": "7d61c7279b4dffaf2c67af4acb9290e4f6bbcd993133f2f4f739f4038960c434", "bytes": 2608 }, { "repository_path": "server/tests/fixtures/golden_hour/oracle_azimuths.py", "sha256": "f807a0e930255f9d3d665361aec8e783eb24dd3b6bbac0fe70c7cb77841b72f0", "bytes": 3043 }, { "repository_path": "server/tests/fixtures/golden_hour/oracle_longitude_179.json", "sha256": "e556cc8261c7fc0f700707be184d4dc1f3610d7ab4dd49d30d6da54986093f34", "bytes": 1532 }, { "repository_path": "server/tests/fixtures/golden_hour/oracle_longitude_neg179.json", "sha256": "cc46c38610900e8eb5d601742b55f0b71628c62c34e376390a5dcf655acd7884", "bytes": 1536 }, { "repository_path": "server/tests/fixtures/golden_hour/oracle_paris_summer.json", "sha256": "b1697aae8264527d9534400cae07f58475002e07bf0405479f7127b8e1d37ac2", "bytes": 1523 }, { "repository_path": "server/tests/fixtures/golden_hour/oracle_paris_winter.json", "sha256": "e3402352c96765f6eb9a27e3300221ec499cf9293b83fe30966e9b959cd7218a", "bytes": 1523 }, { "repository_path": "server/tests/fixtures/golden_hour/oracle_quito_equinox.json", "sha256": "029f0303fd4ac245e4193ba0c8b9721dcdff8198f117c39a81ed618d663c87b5", "bytes": 1534 }, { "repository_path": "server/tests/fixtures/golden_hour/oracle_skyfield.py", "sha256": "a12514ec6b62b2040a3ce1e77a3d65627f0b6abc0b14f44810db806dcb551e34", "bytes": 6029 }, { "repository_path": "server/tests/fixtures/golden_hour/oracle_sydney_winter.json", "sha256": "54ffa1ddc4a949cd88d3f22b8ca989920fb5a92396aba99eb1b0c6917b50e6d7", "bytes": 1533 }, { "repository_path": "server/tests/fixtures/golden_hour/oracle_tangency_inside.json", "sha256": "2012d2ac3cb17dba0207035c287c871f7b8b549e8a70845caaf1cf7f861c9484", "bytes": 1386 }, { "repository_path": "server/tests/fixtures/golden_hour/oracle_tangency_outside.json", "sha256": "70dd92da1114bdc6beb653ca29425149c7c361b294d4b4ec93fef34d07db05b3", "bytes": 1119 }, { "repository_path": "server/tests/fixtures/golden_hour/oracle_tromso_midsummer.json", "sha256": "1d5980958019a65e1689c0a1d6949c7ac5cfcca074e0a8c21a018a4f48e3972e", "bytes": 712 }, { "repository_path": "server/tests/fixtures/golden_hour/oracle_tromso_polar_night.json", "sha256": "80be0abc954aff9412d704e65dbb1a40a6101f2dec9b1db7c543f9754ea0e828", "bytes": 989 }, { "repository_path": "server/tests/fixtures/solar_azimuth/oracle.json", "sha256": "f18827e98e45700a70223c249ec9459bc9d78b26c2a63bea5776220d80ce1ae8", "bytes": 9096 } ], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --test golden_hour_contract -- --test-threads=1", "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --test solar_azimuth_contract -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/SC-4-GOLDEN-HOUR-REPORT.md", "evidence_date": null, "date_semantics": "not_established", "scope": "Revision 2 preserves failed revision-1 examples and records repaired extrema, crossings and timestamps.", "sha256": "13a6ab38623f746342f7edce087a85c06a28bb4ec6d1ef6ffd64478bfde57839", "bytes": 8013, "applicability_to_current_source": "historical_record_not_automatically_revalidated" }, { "repository_path": "docs/SOLAR-AZIMUTH-FIX.md", "evidence_date": "2026-09-30", "date_semantics": "date_declared_in_report_or_named_artifact", "scope": "Historical shared solar-azimuth repair: 37 predeclared Skyfield/DE421 samples in 2026, not every accepted location/date.", "sha256": "ca175aa9876cddd7c26da2496f5591ea72ce5d2b1c90fc8257969b9546e2418a", "bytes": 6283, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Geometric solar-center windows on a UTC day; sunrise at −0.833° is a separate convention.", "DE421/reference fixtures validate their particular dates, not the whole accepted 1900–2100 interval.", "No terrain, buildings, clouds, weather or guarantee of photographic light quality." ], "deployment_status": "not_established_by_this_export" }, { "id": "propagate_uncertainty", "title": "Measurement uncertainty propagation", "native_route": "/api/uncertainty", "engine_version": "0.1.0", "version_source": "engine_manifest", "output_contract_version": "0.1.0", "source_snapshot": { "repository_path": "server/src/uncertainty.rs", "sha256": "5ee2d2b93b358d02768e0e7623061bea03fbc6448595f2fa99bda0c7bcedeebd", "bytes": 57887 }, "direct_scientific_dependencies": [], "manifest": { "repository_path": "engines/propagate_uncertainty.json", "sha256": "90247df0da64518ffbde9003b550c4406b3c3a92ae1b46d776a3d21f93a896c0", "bytes": 21420 }, "reference_coverage": [ { "kind": "published_and_independent_oracles", "text": "JCGM 101 mass-calibration examples, exact moments of squared normals, lognormal quantiles and an independently seeded NumPy oracle." } ], "test_sources": [ { "repository_path": "server/tests/uncertainty_contract.rs", "sha256": "717ec03f521b5bf19b1dab3a89aa1ce50f2af3e62c728ff8d5bf4d3d884e1196", "bytes": 16237, "declared_test_function_names": [ "jcgm101_additive_normal_model_is_adequately_linear", "jcgm101_additive_rectangular_matches_independent_oracle", "jcgm101_mass_calibration_rejects_the_first_order_interval", "sum_of_squares_exposes_first_order_bias_with_exact_moments", "shortest_interval_is_shorter_for_a_skewed_output", "degenerate_first_order_uncertainty_is_never_adequate", "units_convert_and_combine_before_propagation", "dimensional_errors_are_located_results", "malformed_models_are_diagnosed_not_guessed", "correlations_follow_the_law_of_propagation", "undefined_models_are_reported", "derivatives_are_exact_and_results_reproducible", "public_shape_is_strict_and_bounded" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [ { "repository_path": "server/tests/fixtures/uncertainty/oracle_numpy.py", "sha256": "f7ba141d4328851c168e6dc6861fda8bc8d0399cf9217831f6434a362b698943", "bytes": 2451 }, { "repository_path": "server/tests/fixtures/uncertainty/oracle.json", "sha256": "698855ca52b18f1789b4a744d302cab0751784da2961b93170bfaa6b7413a3f4", "bytes": 989 } ], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --test uncertainty_contract -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/PROPAGATE-UNCERTAINTY.md", "evidence_date": "2026-10-01", "date_semantics": "date_declared_in_report_or_named_artifact", "scope": "Author reference comparisons and subsequent integration notes; historical timing is not reused as a current benchmark.", "sha256": "3b7dbad806594d609ae1b5570adb102975a802165c1eaa01cb04d9c5de965312", "bytes": 4874, "applicability_to_current_source": "historical_record_not_automatically_revalidated" }, { "repository_path": "docs/RELEASE-0.13.0.md", "evidence_date": "2026-10-01", "date_semantics": "date_declared_in_report_or_named_artifact", "scope": "Historical release verification, including private/public tool calls; not an attestation for every later source change.", "sha256": "d18bfcca29e159b61ec53879f71a27959822578705466da1cbba35b2c58a57a3", "bytes": 4599, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Depends on the declared measurement expression, dimensions and input probability models.", "Fixed caller-specified draw count; not the full adaptive JCGM 101 procedure.", "Undefined draws and nonconvergence remain possible; no current CPU/GPU speedup is asserted." ], "deployment_status": "not_established_by_this_export" }, { "id": "hear_the_shape", "title": "Polygonal membrane spectrum", "native_route": "/api/hear-the-shape", "engine_version": "0.1.0", "version_source": "engine_manifest", "output_contract_version": "0.1.0", "source_snapshot": { "repository_path": "server/src/hear_shape.rs", "sha256": "5ccb62e29e1c5e5bee5df248fe2a535dfbc2ceb3a150f6b51b10fe5e53b05dd3", "bytes": 45279 }, "direct_scientific_dependencies": [], "manifest": { "repository_path": "engines/hear_the_shape.json", "sha256": "d8f7fae84ec3f059fff4296ff10585bcc87bb3f02bef66b0a54dc5e9b507ea9b", "bytes": 34920 }, "reference_coverage": [ { "kind": "closed_form_and_published_spectrum", "text": "Fixed/free square spectra, equilateral triangle, L-shaped membrane and Driscoll’s first 12 GWW drum eigenvalues.", "anchors": [ "unit_square_matches_closed_form_from_above", "equilateral_triangle_matches_lame", "gordon_webb_wolpert_drums_cannot_be_told_apart" ] } ], "test_sources": [ { "repository_path": "server/tests/hear_shape_contract.rs", "sha256": "0086f5320dda37dec1c391f1ae21c9bad7beec52b9414d669a8e74466de99d58", "bytes": 9355, "declared_test_function_names": [ "unit_square_matches_closed_form_from_above", "l_shaped_membrane_reentrant_corner_is_bounded_and_honest", "equilateral_triangle_matches_lame", "gordon_webb_wolpert_drums_cannot_be_told_apart", "different_drums_with_equal_area_are_heard_apart", "congruent_copies_are_recognised", "free_edge_square_has_a_rigid_mode_then_neumann_spectrum", "physical_drumhead_frequency_and_note", "orientation_closing_vertex_and_straight_angles_do_not_change_the_drum", "mode_shapes_are_bounded_and_normalized", "results_are_reproducible", "public_shape_is_strict_and_bounded" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [ { "repository_path": "server/tests/fixtures/hear_shape/references.json", "sha256": "a8f0cc00188ddfcc6e62730c4e2172f92db002bc677271dfda05eb6ed558b651", "bytes": 1124 } ], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --test hear_shape_contract -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/HEAR-THE-SHAPE.md", "evidence_date": "2026-10-01", "date_semantics": "date_declared_in_report_or_named_artifact", "scope": "Author analytic/published-reference comparisons; subsequent coordinate-export correction is tracked separately.", "sha256": "69323b2f3d6d9b6f4e9dbbad027e57d01c8df1ae5f0afebe73b8bad539942bde", "bytes": 5193, "applicability_to_current_source": "historical_record_not_automatically_revalidated" }, { "repository_path": "docs/RELEASE-0.13.0.md", "evidence_date": "2026-10-01", "date_semantics": "date_declared_in_report_or_named_artifact", "scope": "Historical release verification, including private/public tool calls; not an attestation for every later source change.", "sha256": "d18bfcca29e159b61ec53879f71a27959822578705466da1cbba35b2c58a57a3", "bytes": 4599, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Ideal polygonal membrane with fixed or free boundary, not a damped real drum or elastic plate.", "Richardson error estimates are not rigorous enclosures of all numerical error.", "Matching finitely many modes does not prove isospectrality." ], "deployment_status": "not_established_by_this_export" }, { "id": "kepler_stability", "title": "Finite-time orbital sensitivity", "native_route": "/api/kepler-stability", "engine_version": "0.2.0", "version_source": "engine_manifest", "output_contract_version": "0.2.0", "source_snapshot": { "repository_path": "server/src/kepler_stability.rs", "sha256": "eb4e3a0ad16db9767578512de36d5e5f38110d8881c20465a8c7ca46dc0b2841", "bytes": 43259 }, "direct_scientific_dependencies": [], "manifest": { "repository_path": "engines/kepler_stability.json", "sha256": "94b4b28a2854610b2175f864ef432fffd54049e0fcd4365bd14b6ff40128409b", "bytes": 15720 }, "reference_coverage": [ { "kind": "analytic_limits_and_numerical_review", "text": "Zero-perturber Kepler limit, Jacobi/convergence diagnostics, resonance examples and independent DOP853 encounter comparisons recorded in the review.", "anchors": [ "jupiter_period_matches_third_law", "three_to_one_resonance_is_more_sensitive_than_neighbour" ] } ], "test_sources": [ { "repository_path": "server/src/kepler_stability.rs", "sha256": "eb4e3a0ad16db9767578512de36d5e5f38110d8881c20465a8c7ca46dc0b2841", "bytes": 43259, "declared_test_function_names": [ "universal_kepler_closes_a_full_period", "zero_mass_ratio_keeps_the_orbit_exact", "composition_error_shrinks_at_fourth_order", "trojan_like_start_stays_bounded", "three_to_one_resonance_is_more_sensitive_than_neighbour", "experiment_resonance_scan", "experiment_cap_benchmark", "integrable_kepler_shear_is_high_sensitivity_without_a_chaos_claim", "split_stage_guard_checks_both_trajectories_and_post_drift_position", "heliocentric_trajectory_converges_to_independent_dop853_reference", "work_cap_marks_remaining_cells", "input_bounds_and_finiteness_are_enforced", "result_is_deterministic" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" }, { "repository_path": "server/tests/kepler_stability_contract.rs", "sha256": "2cbef7e6ca1604129eb1c9de4d0fbf55ac2c513ab05c4f79c5cba7c4359ccab9", "bytes": 7436, "declared_test_function_names": [ "grid_is_evaluated_with_bounded_work", "jupiter_period_matches_third_law", "three_to_one_resonance_is_more_sensitive_than_neighbour", "user_cap_marks_unfinished_cells_and_is_deterministic", "draft_input_rejections_are_enforced", "initial_close_encounters_are_not_propagated_or_reported_as_escape", "osculating_radial_overlap_uses_current_energy_not_initial_semimajor_axis", "eccentricity_max_includes_initial_state_and_duration_is_explicit", "all_uncomputed_cells_have_no_invented_diagnostics", "strong_scattering_is_warned_and_all_serialized_diagnostics_are_bounded" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --test kepler_stability_contract -- --test-threads=1", "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --bin scorecompute-server kepler_stability::tests -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/KEPLER-STABILITY-REVIEW.md", "evidence_date": "2026-10-01", "date_semantics": "date_declared_in_report_or_named_artifact", "scope": "Bounded v0.2 review corrects encounter guards, orbital diagnostics and overstated chaos labels.", "sha256": "75ca76f8a1d1a4989dbf627f797b1788caf938468387c5cd0d5d20bd52cc987f", "bytes": 9411, "applicability_to_current_source": "historical_record_not_automatically_revalidated" }, { "repository_path": "docs/RELEASE-0.13.0.md", "evidence_date": "2026-10-01", "date_semantics": "date_declared_in_report_or_named_artifact", "scope": "Historical release verification, including private/public tool calls; not an attestation for every later source change.", "sha256": "d18bfcca29e159b61ec53879f71a27959822578705466da1cbba35b2c58a57a3", "bytes": 4599, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Planar circular restricted three-body model and bounded finite-time integrations.", "Sensitivity bands are heuristic diagnostics, not proof of chaos or long-term stability.", "Encounter guards, uncomputed cells, numerical warnings and conservation errors must be read with the map." ], "deployment_status": "not_established_by_this_export" }, { "id": "check_arithmetic", "title": "Arithmetic claim comparison", "native_route": "/api/check-arithmetic", "engine_version": "0.2.0", "version_source": "engine_manifest", "output_contract_version": "0.2.0", "source_snapshot": { "repository_path": "server/src/check_arithmetic.rs", "sha256": "add11968562a70ce7c62a187956026443f016f351d5f816edc6e2afc818d964a", "bytes": 40692 }, "direct_scientific_dependencies": [], "manifest": { "repository_path": "engines/check_arithmetic.json", "sha256": "20fd567dd9b2764822a0fcc4cbd422f354c556f8f841bd3a7090d270b6356a07", "bytes": 10818 }, "reference_coverage": [ { "kind": "independent_exact_oracle", "text": "262 stored Python Fraction comparisons, four real-JSON digest vectors checked with hashlib, and explicit cancellation/overflow/parser-limit regressions.", "anchors": [ "exact_result_drives_all_public_fields_and_the_tolerance", "oversized_decimal_exponents_are_bounded", "unsafe_json_numeric_integers_are_refused_instead_of_rounded_into_a_verdict" ] } ], "test_sources": [ { "repository_path": "server/src/check_arithmetic.rs", "sha256": "add11968562a70ce7c62a187956026443f016f351d5f816edc6e2afc818d964a", "bytes": 40692, "declared_test_function_names": [ "sha256_matches_published_vectors", "rationals_reduce_and_operate_exactly", "expressions_parse_with_expected_precedence", "decimals_are_verified_exactly_against_float_noise", "wrong_claim_is_inconsistent", "transcendental_claim_uses_float64_path", "sub_noise_tolerance_is_undetermined", "digest_is_deterministic_and_claim_sensitive", "invalid_inputs_are_rejected", "oversized_exact_ranges_fall_back_without_panicking" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" }, { "repository_path": "server/tests/check_arithmetic_contract.rs", "sha256": "e466fcfd0e78fd8d252b2344fa95b2de68b827857b346f3a444173fc1572db69", "bytes": 9133, "declared_test_function_names": [ "claims_are_classified_end_to_end", "digest_is_stable_and_carries_the_payload_version", "output_is_deterministic_apart_from_elapsed_time", "revised_wire_vectors_are_frozen_v02", "exact_result_drives_all_public_fields_and_the_tolerance", "decimal_tolerance_comparisons_are_exact_at_boundaries", "unsupported_numerics_never_acquire_an_exact_verdict", "oversized_decimal_exponents_are_bounded", "signed_minimum_negation_and_exponents_do_not_wrap_or_panic", "unsafe_json_numeric_integers_are_refused_instead_of_rounded_into_a_verdict", "derived_outputs_cannot_escape_the_json_schema", "unused_unrepresentable_decimal_values_do_not_disable_exact_evaluation", "invalid_inputs_are_refused" ], "enumeration_scope": "functions_declared_in_this_file_only_not_total_or_unique_executed_tests" } ], "reference_artifacts": [ { "repository_path": "tests/artifacts/arithmetic-review/revised-vectors-v02.json", "sha256": "d82d2a981f9f5a438a98bdd9fa3228c67375b6f418afc504c47ee45e8aa05d9f", "bytes": 18416 }, { "repository_path": "tests/artifacts/arithmetic-review/fraction-oracle-results.json", "sha256": "188e85e0148392b993aa792824d89f84b0c9ab55f3e44fbed307428dc118782a", "bytes": 121080 }, { "repository_path": "tests/artifacts/arithmetic-review/v02-provenance.json", "sha256": "b25bcf3762677705b3c75915a5a90ee87e916caad06e348b5ed333f6d7e31172", "bytes": 1383 } ], "reproduction": { "requires_repository_checkout": true, "commands": [ "CARGO_TARGET_DIR=/tmp/scorecompute-engine-evidence-target node scripts/cargo.mjs test --release --manifest-path server/Cargo.toml --test check_arithmetic_contract -- --test-threads=1" ], "requirements": [], "executes_during_export": false }, "existing_evidence": [ { "repository_path": "docs/CHECK-ARITHMETIC-CODEX-REVIEW.md", "evidence_date": "2026-10-02", "date_semantics": "date_declared_in_report_or_named_artifact", "scope": "Version 0.1 counterexamples are preserved; 0.2 exact checks and deliberately inconclusive floating fallback are separately recorded.", "sha256": "6168ee8195ccda84964283930d3d837166df48c41029a76ca2b87bd042b39868", "bytes": 10399, "applicability_to_current_source": "historical_record_not_automatically_revalidated" } ], "current_export_test_execution": "not_executed_by_exporter", "runtime_measurement": null, "runtime_measurement_note": "No normalized per-engine hardware/workload benchmark bound to this source snapshot is included. Historical report timings are not copied as current measurements.", "limitations": [ "Checks arithmetic of decoded numeric inputs and expression literals, not units or factual/model meaning.", "Numeric claims/variables are limited to the safe JSON integer-magnitude range; original JSON decimal token spelling is not retained.", "Unsupported or overflowing exact operations and libm estimates are undetermined, not a verified approximate result." ], "deployment_status": "not_established_by_this_export" } ] }