{
  "shard_id": "FV-PROPFLOOR-SHARD-A-ENUMSEL-1",
  "spec_anchor": "FV-PBT-FLOOR-BUILD-SPEC.md §2/§3/§4",
  "population_definition": "all kernels in shard FV-PROPFLOOR-SHARD-A-ENUMSEL-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 6 rows are float:no (declared string/boolean enums only, no numeric float fields) — forced CATEGORICAL boundary cases (every declared enum/table value, and full combination sweeps where the branch count was small) are present for all 6, checked per-item below, not assumed uniform. Each kernel's source was directly read before authoring per the row's FIX-2 carry instruction, 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": "art-105-mica-token-service-scoper",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:d0eebd3034d330eb5b1a17311674632a9254db5a191bde8f9508ca7f16d2b615",
      "proptest_file": "chaingraph/kernels/__proptests__/art-105-mica-token-service-scoper.proptest.mjs",
      "properties_tested": ["delegation_consistency", "route_target_domain", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-163-vida-oss-registration-router",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:e9b1818d3a4a679dc9585a58e6326dbccbfd2d60ea6a738cf3cd6b51adfb12ef",
      "proptest_file": "chaingraph/kernels/__proptests__/art-163-vida-oss-registration-router.proptest.mjs",
      "properties_tested": ["scheme_domain", "eligibility_agreement", "same_member_state_is_domestic_vat", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-195-creative-commons-license-chooser",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:e774c0903bee2e48da8fbe099e50e3004183c9ddd51777c75ccaedfa7011f32e",
      "proptest_file": "chaingraph/kernels/__proptests__/art-195-creative-commons-license-chooser.proptest.mjs",
      "properties_tested": ["waive_always_cc0", "license_domain_and_attribution", "commercial_element_agreement", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-196-cant-be-evil-license-selector",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:c523b34f5294d1e6632a8ef888455d88c7fd1c912278c3080af0d1abac2527f4",
      "proptest_file": "chaingraph/kernels/__proptests__/art-196-cant-be-evil-license-selector.proptest.mjs",
      "properties_tested": ["waive_always_cc0", "cbe_domain_and_ord_consistency", "non_commercial_selects_personal", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-203-embedded-license-selector",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:4df7afd6d6833091adcbe684200a36fa88d6d1497cb1fac1d17f76919a1a9a05",
      "proptest_file": "chaingraph/kernels/__proptests__/art-203-embedded-license-selector.proptest.mjs",
      "properties_tested": ["tier_agrees_with_priority_table", "rights_shape_and_domain", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"],
      "fixture_oracle_result": "PASS",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-354-mletr-jurisdiction-adoption-lookup",
      "class": "A",
      "float_sensitive": false,
      "categorical_boundary_forcing_present": true,
      "kernel_digest": "sha256:182b05c2f8ecd1a36f271bfffc299baad5f581b051bf9b4f921e9e9521599ab7",
      "proptest_file": "chaingraph/kernels/__proptests__/art-354-mletr-jurisdiction-adoption-lookup.proptest.mjs",
      "properties_tested": ["verdict_domain_and_flag_agreement", "verdict_monotonicity", "unknown_code_fallback_clean", "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 string/boolean enums, no numeric float fields) — none required ULP-boundary forcing; all 6 instead carry forced categorical boundary cases (every enum/table value, and full N-flag combination sweeps for the small branch counts), checked per-item above.",
  "run_proptests_aggregate": "pending full-repo run at merge time (node scripts/run-proptests.mjs) -- each of the 6 files individually confirmed PASS (process exit 0) during authoring",
  "fv_floor_coverage": "pending post-merge node scripts/check-fv-floor-coverage.mjs confirmation that these 6 shard kernels appear in the floored set"
}