{
  "shard_id": "FV-PROPFLOOR-SHARD-B1-1",
  "spec_anchor": "FV-PBT-FLOOR-BUILD-SPEC.md §2/§3/§4",
  "population_definition": "all kernels in shard FV-PROPFLOOR-SHARD-B1-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). ULP-boundary forcing was mandatory and present for the 9 float-sensitive rows (checked per-item below, not assumed uniform); 510-digital-asset-regulatory-classifier is the row's stated float:no exception and instead carries forced CATEGORICAL boundary cases (market_cap_eur threshold at 500,000,000) in place of ULP forcing. 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": "505-tokenized-collateral-eligibility-checker",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:37bbe20bf9c7e913038c93cc07f1425e4956c47da12a2663b58e35f50c3173c2",
      "proptest_file_digest": "sha256:4d680419561a243ec5d3f2e67b32747931b420bed110f31bc0fea674df38ecf1",
      "proptest_file": "chaingraph/kernels/__proptests__/505-tokenized-collateral-eligibility-checker.proptest.mjs",
      "properties_tested": ["monotone_in_notional", "boundedness_adjusted_value_in_range", "tier_agreement_depends_only_on_asset_type", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "506-onchain-cash-leg-finality-checker",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:a8dc570f0262a6be9c06dc3b094353f70b4e87b7b379e93f7113086935456dbc",
      "proptest_file_digest": "sha256:9b50454b2b1e747916736a37565020e22f210a14de31d1200e34a4b1248778e8",
      "proptest_file": "chaingraph/kernels/__proptests__/506-onchain-cash-leg-finality-checker.proptest.mjs",
      "properties_tested": ["monotone_in_cash_pct_genius_sum", "boundedness_declared_enums", "depeg_wide_threshold_agreement", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "508-repo-haircut-collateral-calculator",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:7acd49f6f660a85da84398f65f694822d18b97e1241d8b3fc15fc177b11285a5",
      "proptest_file_digest": "sha256:b7de8247642356afa0c6fe1b6c4e3bc9447ee5b0bdb27c9f0bcd1fb4dac35cd2",
      "proptest_file": "chaingraph/kernels/__proptests__/508-repo-haircut-collateral-calculator.proptest.mjs",
      "properties_tested": ["monotone_in_notional", "boundedness_floor_and_canton_le_legacy", "haircut_tier_threshold_agreement", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "510-digital-asset-regulatory-classifier",
      "class": "B",
      "float_sensitive": false,
      "ulp_forcing_present": false,
      "ulp_forcing_note": "stated float:no exception per the WU row — forced CATEGORICAL boundary cases (market_cap_eur threshold at 500,000,000) used instead of ULP forcing",
      "kernel_digest": "sha256:e70b5a1adf38189f6a6f09d6b4b0dcfaf16394beb5f30f8b397cadbb0ffa2a5f",
      "proptest_file_digest": "sha256:48939cb268a1d44b3d0e6fc90bce6ffb0cfd8b50a0eb7a067c38c2db43118a86",
      "proptest_file": "chaingraph/kernels/__proptests__/510-digital-asset-regulatory-classifier.proptest.mjs",
      "properties_tested": ["boundedness_fixed_framework_shape", "mifid_applies_implies_mica_not_applicable", "cbdc_always_genius_exempt", "dlt_pilot_marketcap_threshold_agreement"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "511-multi-currency-pvp-validator",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:2675f0d22096ace35e1dfb500c6f332c77fc66bba78a1e3878575bb466267925",
      "proptest_file_digest": "sha256:7762cce1dc61c9e2746b95bd1e68274f56f24a0f8745ac084646fdd0a6ce9977",
      "proptest_file": "chaingraph/kernels/__proptests__/511-multi-currency-pvp-validator.proptest.mjs",
      "properties_tested": ["monotone_in_leg_notional", "saccr_addon_identity_and_nonneg_total", "rate_deviation_threshold_agreement", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "514-tokenized-fund-collateral-validator",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:0ffd03e4aa9960ce7c1c4b4ed9d985e33b3a166f5f96942ff5eb419487a0e62b",
      "proptest_file_digest": "sha256:7821cd6c064249cec1b6bbc62558941237c143d49a1d311303dd48f233db72f6",
      "proptest_file": "chaingraph/kernels/__proptests__/514-tokenized-fund-collateral-validator.proptest.mjs",
      "properties_tested": ["monotone_in_total_fund_value", "boundedness_haircut_and_adjusted_value", "repo_collateral_always_ineligible", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "515-collateral-swap-eligibility-validator",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:678f918188301de63b9847665aa262f6fc73e09a1b28292b6bd3a8b79e4a51bf",
      "proptest_file_digest": "sha256:46786fc5a4daf2cb797fc695cb3c87094898cc4235544fdf9217787260fb0845",
      "proptest_file": "chaingraph/kernels/__proptests__/515-collateral-swap-eligibility-validator.proptest.mjs",
      "properties_tested": ["monotone_in_notional_a", "net_economic_value_identity", "hqla_impact_threshold_agreement", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-03-x402-settlement-modeler",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:5d693ae08f52fbf0719d500857977fff760b19d533358ae2f5edd6693854de81",
      "proptest_file_digest": "sha256:57bc310935de776a317dd7c60cc4bf3620cc0ad080bc482bc50b26a8173e62a0",
      "proptest_file": "chaingraph/kernels/__proptests__/art-03-x402-settlement-modeler.proptest.mjs",
      "properties_tested": ["boundedness_nonneg_fees_known_rail", "monthly_cost_identity", "recommended_rail_in_eligible_set", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (3/3 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-07-basel31-reporting-delta-calculator",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:bb655f6f08ccd299198d1eff963940525ec31c073ef296bfce08503620cb28c7",
      "proptest_file_digest": "sha256:2dc76cae3072f1fa964a68e9db89a70cc43821ec32ed097cfca46aad1b8b4d03",
      "proptest_file": "chaingraph/kernels/__proptests__/art-07-basel31-reporting-delta-calculator.proptest.mjs",
      "properties_tested": ["monotone_in_ead_bn", "boundedness_nonneg_rwa_floor_irb_only", "rwa_delta_identity", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-09-dora-incident-classifier",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:4ca4b897808a6d8852181840dd20aa62859b23b1ad3384d78cfcb7d8ddc9e4fa",
      "proptest_file_digest": "sha256:d312436788daf097a48eb3cb3bc6e335b31a193d3d846207bdbdafb6bdbda486",
      "proptest_file": "chaingraph/kernels/__proptests__/art-09-dora-incident-classifier.proptest.mjs",
      "properties_tested": ["boundedness_fixed_criteria_shape", "monotone_clients_criterion", "clients_threshold_agreement", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    }
  ],
  "ulp_forcing_summary": "9 of 10 kernels required ULP-boundary forcing (all float-sensitive rows) and all 9 carry it, checked per-item above. The 10th (510-digital-asset-regulatory-classifier) is the row's stated float:no exception and carries forced categorical boundary cases instead.",
  "run_proptests_aggregate": "10/10 passed (node scripts/run-proptests.mjs)",
  "fv_floor_coverage": "all 10 shard kernels present in check-fv-floor-coverage.mjs floored set, none in the unfloored list (node scripts/check-fv-floor-coverage.mjs --list-unfloored)"
}