{
  "shard_id": "FV-PROPFLOOR-SHARD-A-REMAINDER-1",
  "spec_anchor": "FV-PBT-FLOOR-BUILD-SPEC.md §2/§3/§4",
  "population_definition": "all kernels in shard FV-PROPFLOOR-SHARD-A-REMAINDER-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 7 rows are float:no (declared string/boolean enums, small fixed lookup tables, no numeric float fields) — forced CATEGORICAL boundary cases (every declared enum/table value, including full-grid enumeration for the two small-table kernels art-157 (24 cells) and art-158 (32 cells), which is boundary forcing over their own small declared domain, not a totality claim) are present for all 7, checked per-item below, not assumed uniform. Each kernel's shape was confirmed against direct source read before authoring, not inherited from the triage-table rationale text. 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": "507-canton-dvp-atomicity-validator",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:e8b30471c1feafecb89b5283df71ad9b4f2aeafe3b4606af46ae14e48849f55c",
      "proptest_file": "chaingraph/kernels/__proptests__/507-canton-dvp-atomicity-validator.proptest.mjs",
      "properties_tested": ["enum_membership", "herstatt_agreement", "compliance_flags_shape", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-100-mica-casp-authorization-readiness",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:83af4fb729adb2375b158401895030ed23a4469569312c67aa80c1240640c70e",
      "proptest_file": "chaingraph/kernels/__proptests__/art-100-mica-casp-authorization-readiness.proptest.mjs",
      "properties_tested": ["composite_agreement", "grade_band_agreement", "gaps_and_flags_agreement", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-14-psd3-psr-readiness-checker",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:3826069610c670c6d4dc65d677690bc66f56d815d0e4d6085fa20f0c7c59e463",
      "proptest_file": "chaingraph/kernels/__proptests__/art-14-psd3-psr-readiness-checker.proptest.mjs",
      "properties_tested": ["overall_self_consistency", "verdict_agreement", "compliance_flags_shape", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-155-emir-upi-validator",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:2be3027f20c68ebb83ae9bccb958a04a894f56b2b7acda2a0ff5bf0e091d6f0f",
      "proptest_file": "chaingraph/kernels/__proptests__/art-155-emir-upi-validator.proptest.mjs",
      "properties_tested": ["boolean_algebra_agreement", "compliance_flags_shape", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-157-emir-lifecycle-event-validator",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:9d3b6b68b0c7bf0cd0b08b8e320a2f27a849be1e49c1044ee5a8fd4c432c9191",
      "proptest_file": "chaingraph/kernels/__proptests__/art-157-emir-lifecycle-event-validator.proptest.mjs",
      "properties_tested": ["forced_categorical_grid_agreement_24cells", "compliance_flags_shape", "out_of_table_prior_state_fallback", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-158-emir-reporting-readiness-diagnostic",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:ba0317cc05e0610e68e6437fcb9a46d69ab6269f880d37d61987314c1142faed",
      "proptest_file": "chaingraph/kernels/__proptests__/art-158-emir-reporting-readiness-diagnostic.proptest.mjs",
      "properties_tested": ["forced_categorical_grid_agreement_32cells", "strict_boolean_read_non_true_never_counts", "compliance_flags_shape", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-168-eudr-country-benchmark-risk-scorer",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:0288186f1dd58a2533034a3b040a7d456f2cbb39fb19ee39c3c0b86c4e37bbdc",
      "proptest_file": "chaingraph/kernels/__proptests__/art-168-eudr-country-benchmark-risk-scorer.proptest.mjs",
      "properties_tested": ["forced_categorical_boundary_cases", "inspection_rate_agreement", "compliance_flags_shape_unknown_falls_to_standard", "due_diligence_level_agreement", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    }
  ],
  "categorical_boundary_forcing_summary": "All 7 kernels in this shard are float:no (declared string/boolean enums or small fixed lookup tables, no numeric float fields) — none required ULP-boundary forcing; all 7 instead carry forced categorical boundary cases (every enum/table value exercised individually, or full-grid enumeration for the two small-domain kernels art-157/art-158), checked per-item above.",
  "run_proptests_aggregate": "266/266 passed (node scripts/run-proptests.mjs, full repo including this shard's 7 files)",
  "fv_floor_coverage": "all 7 shard kernels present in check-fv-floor-coverage.mjs floored set (236/582 total, ratchet clean), none in the unfloored list"
}