{
  "shard_id": "FV-PROPFLOOR-SHARD-A-THRESHOLD-1",
  "spec_anchor": "FV-PBT-FLOOR-BUILD-SPEC.md §2/§3/§4",
  "population_definition": "all kernels in shard FV-PROPFLOOR-SHARD-A-THRESHOLD-1, enumerated below by kernel id and spec digest",
  "human_sign_off": {
    "status": "PENDING",
    "name": null,
    "date": null
  },
  "independence_sentence": "Each item listed was reviewed and attested independently; the single signature is a mechanical convenience over the enumerated digests, not a bulk review.",
  "per_item_basis_of_review": "Every row ran the same two mechanical checks unconditionally: (1) the fixture-oracle gate — compute() output diffed against the kernel's own existing golden fixtures before any property was trusted, and (2) run-proptests.mjs green (process exit 0). All 5 rows are float:no (declared string/boolean enums only, no numeric float fields) — forced CATEGORICAL boundary cases (every declared enum/table value) are present for all 5, checked per-item below, not assumed uniform. No row beyond these two mechanical checks received a separate in-depth human review in this pass — that is exactly the gap human_sign_off.status=PENDING names.",
  "items": [
    {
      "kernel_id": "art-19-agentic-checkout-protocol-selector",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:4219bb286318e4b2c15e45b65ee7be8d960c49a3f2a805aee2e9b9d49ff797e0",
      "proptest_file": "chaingraph/kernels/__proptests__/art-19-agentic-checkout-protocol-selector.proptest.mjs",
      "properties_tested": ["score_bounds_and_argmax", "threshold_label_agreement", "viable_recommended_subset_nesting", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-22-agentic-payments-protocol-comparator",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:0d884710ed42dd2b36075266167a7fed1219199fa4aebad015933fabc4dfdee8",
      "proptest_file": "chaingraph/kernels/__proptests__/art-22-agentic-payments-protocol-comparator.proptest.mjs",
      "properties_tested": ["requested_subset_agreement", "crosswalk_shape_invariant", "scenario_enum_select_agreement", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-174-nist-ai-rmf-function-mapper",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:a4ebaa6b0d2dc5a1fe2ef52ae2850bc85dcbea7221acd8dbae939d00039b6f9e",
      "proptest_file": "chaingraph/kernels/__proptests__/art-174-nist-ai-rmf-function-mapper.proptest.mjs",
      "properties_tested": ["score_agreement", "threshold_band_agreement", "total_controls_fixed_and_boundedness", "forced_categorical_boundary_cases", "strict_boolean_read_non_true_never_counts", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-198-cross-license-rights-comparator",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:24102c5196e98e7832f199ffd32f1801cda6dcf14ae89fb8e8d89fdfcd8963f2",
      "proptest_file": "chaingraph/kernels/__proptests__/art-198-cross-license-rights-comparator.proptest.mjs",
      "properties_tested": ["identity_reflexivity", "permissiveness_enum_agreement", "cbe_alias_equivalence", "unknown_ref_rejection", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-240-assess-naic-ais-program-readiness",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:ed2e6920e271e9beb07ec2b652b464385e213299d2abc4cbe33b2a28397bbc61",
      "proptest_file": "chaingraph/kernels/__proptests__/art-240-assess-naic-ais-program-readiness.proptest.mjs",
      "properties_tested": ["score_agreement", "threshold_band_agreement", "gaps_and_boundedness", "clamping_invariant", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    }
  ],
  "categorical_boundary_forcing_summary": "All 5 kernels in this shard are float:no (declared string/boolean enums, no numeric float fields) — none required ULP-boundary forcing; all 5 instead carry forced categorical boundary cases (every enum/table value exercised individually), checked per-item above.",
  "run_proptests_aggregate": "58/58 passed (node scripts/run-proptests.mjs, full repo including this shard's 5 files)",
  "fv_floor_coverage": "all 5 shard kernels present in check-fv-floor-coverage.mjs floored set (58/582 total, ratchet clean), none in the unfloored list"
}