{
  "shard_id": "FV-PROPFLOOR-SHARD-A-REMAINDER-2",
  "spec_anchor": "FV-PBT-FLOOR-BUILD-SPEC.md §2/§3/§4",
  "population_definition": "all kernels in shard FV-PROPFLOOR-SHARD-A-REMAINDER-2, 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 6 rows are float:no (declared boolean/string enums or fixed-table lookups only, no numeric float fields) — forced CATEGORICAL boundary cases (every enum/table/trigger value) are present for all 6, 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-173-ai-system-governance-classifier",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:5caa326f1f78233acb0b409deb37a1a0a943cd726640f2c145b2ddcfb4f632e6",
      "proptest_file": "chaingraph/kernels/__proptests__/art-173-ai-system-governance-classifier.proptest.mjs",
      "properties_tested": ["tier_cascade_agreement", "profile_control_set_pure_function_of_tier", "gpai_obligations_agreement", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-175-gpai-code-of-practice-conformance",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:2d637077ba70bc4b83f6fac794cc8969d09aefb67b7e5db694afbe5d9ffe8907",
      "proptest_file": "chaingraph/kernels/__proptests__/art-175-gpai-code-of-practice-conformance.proptest.mjs",
      "properties_tested": ["not_applicable_short_circuit", "base_score_agreement", "systemic_and_overall_agreement", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-18-mcp-developer-readiness-scorecard",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:c81916c6a7e22cfeeef2b25f1f7aabff7bdbe4b32867e558653e5324e016ab4c",
      "proptest_file": "chaingraph/kernels/__proptests__/art-18-mcp-developer-readiness-scorecard.proptest.mjs",
      "properties_tested": ["score_agreement", "verdict_threshold_agreement", "gaps_and_boundedness", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-315-ab2013-training-data-disclosure-linter",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:669f7fe95b37812eccdd1636cf1b71298e1b1e396e96e5b505afa035a479631e",
      "proptest_file": "chaingraph/kernels/__proptests__/art-315-ab2013-training-data-disclosure-linter.proptest.mjs",
      "properties_tested": ["per_datapoint_agreement", "counts_and_all_present_agreement", "insufficient_evidence_agreement", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-99-mica-transitional-deadline-router",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:d8ddfc05bd855396319ce509d55e21199ea94e0933e893db6f293b964d64b21c",
      "proptest_file": "chaingraph/kernels/__proptests__/art-99-mica-transitional-deadline-router.proptest.mjs",
      "properties_tested": ["deadline_lookup_agreement", "window_months_agreement", "decision_agreement", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-202-tdmrep-reservation-builder",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:77d5d176f6eb5aa056509c41f30ed50029f753eba0fb68413759e38b7b670e08",
      "proptest_file": "chaingraph/kernels/__proptests__/art-202-tdmrep-reservation-builder.proptest.mjs",
      "properties_tested": ["reservation_coercion_agreement", "schema_checks_agreement", "builder_output_agreement", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    }
  ],
  "categorical_boundary_forcing_summary": "All 6 kernels in this shard are float:no (declared boolean/string enums or fixed-table lookups, no numeric float fields) — none required ULP-boundary forcing; all 6 instead carry forced categorical boundary cases (every enum/trigger/table value exercised individually), checked per-item above.",
  "run_proptests_aggregate": "265/265 passed (node scripts/run-proptests.mjs, full repo including this shard's 6 files)",
  "fv_floor_coverage": "all 6 shard kernels present in check-fv-floor-coverage.mjs floored set (235/582 total, ratchet clean), none in the unfloored list"
}