{
  "shard_id": "FV-PROPFLOOR-SHARD-B15-1",
  "spec_anchor": "FV-PBT-FLOOR-BUILD-SPEC.md §2/§3/§4",
  "population_definition": "all kernels in shard FV-PROPFLOOR-SHARD-B15-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 4 float-sensitive rows named in the WU (art-60, art-63, art-64, art-68 — all four hit their weighted-average/division-by-count computation as the actual float surface, per-file header comments state the concrete rounding case). The other 6 rows (art-59, art-61, art-62, art-65, art-66, art-67) are the row's stated float:no exceptions; art-59/art-62 are pure enum-table classifiers with zero arithmetic, art-61 declares user-supplied amounts float:no per the WU (categorical tolerance-boundary forcing used instead), and art-65/art-66/art-67 compute weighted averages over fixed small-integer tables whose denominators (24, 40, 16) always reduce to exact decimal fractions with no accumulating float error — each carries forced CATEGORICAL boundary cases (all-max, all-min, exact enum-threshold ties) in place of ULP forcing. No kernel in this shard was found misclassified against its WU-stated float flag during authoring — each kernel file was read in full before its floor file was written, per the WU's FIX-2 carry instruction. No row beyond these 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-59-settlement-asset-finality-classifier",
      "class": "B",
      "float_sensitive": false,
      "ulp_forcing_present": false,
      "ulp_forcing_note": "stated float:no exception per the WU row — pure enum-table classifier (ASSET_TIER/FINALITY_MOD/SINGLENESS lookups + Math.min/Math.max clamp), no float arithmetic anywhere; forced CATEGORICAL boundary cases (unrecognized enum defaults, clamp-at-floor-tier-1, clamp-at-ceiling-tier-4) used instead of ULP forcing",
      "kernel_digest": "sha256:f03969b8c19acf958fd9f90055c4580aa2432c04700b20a42156fa57473ace45",
      "proptest_file_digest": "sha256:d59777417f2dcd744f35293071566eac55aaf3336d3aed4ee32339f8e9f351cf",
      "proptest_file": "chaingraph/kernels/__proptests__/art-59-settlement-asset-finality-classifier.proptest.mjs",
      "properties_tested": ["finality_tier_integer_bounded_1_to_4", "singleness_verdict_fixed_3_state_enum", "SFD_designated_tier_never_worse_than_none"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-60-agent-economy-runtime-fit-diagnostic",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:05da7b2247131bc9f19b998edc08d9be543cdf7507b90012e036e3e7b28289f1",
      "proptest_file_digest": "sha256:814388e9d6387079617017b67e56eb066dd9c7b7a38089299178c46fbf50db5f",
      "proptest_file": "chaingraph/kernels/__proptests__/art-60-agent-economy-runtime-fit-diagnostic.proptest.mjs",
      "properties_tested": ["dim_and_overall_scores_bounded_0_to_100", "grades_match_fixed_85_70_55_40_thresholds", "rail_score_nondecreasing_as_settlement_protocol_upgrades", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-61-x402-batch-settlement-reconciler",
      "class": "B",
      "float_sensitive": false,
      "ulp_forcing_present": false,
      "ulp_forcing_note": "stated float:no exception per the WU row — voucher/onchain amounts travel as user-supplied minor-currency-unit integers and every recon_verdict branch compares batch_delta against the user-supplied tolerance_minor_units parameter (no hardcoded numeric constant to force ULP boundaries against); forced CATEGORICAL boundary cases (delta exactly at tolerance, one unit past tolerance on both sides, zero-voucher empty state, non-numeric amount coercion) used instead of ULP forcing",
      "kernel_digest": "sha256:93f57377ae56edc40fdb3e1381a0bc126350b4fa9584d9b59a931175ef17d054",
      "proptest_file_digest": "sha256:4f99a1b202788a8bd06b5f7ac680a2f7156557206cfa472d0a6f812f75291002",
      "proptest_file": "chaingraph/kernels/__proptests__/art-61-x402-batch-settlement-reconciler.proptest.mjs",
      "properties_tested": ["recon_verdict_fixed_5_state_enum", "batch_delta_exact_redeemed_minus_onchain", "within_tolerance_matches_abs_delta_le_tolerance"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-62-ap2-payment-receipt-verifier",
      "class": "B",
      "float_sensitive": false,
      "ulp_forcing_present": false,
      "ulp_forcing_note": "stated float:no exception per the WU row — only arithmetic is an integer minor-units subtraction (authorized_amount_headroom) and Math.round of a millisecond-to-second age conversion; every verdict is a boolean/enum decision; forced CATEGORICAL boundary cases (amount exactly at cap, mandate age exactly at max, cart-freshness exact-tie timestamps, empty allowed_categories) used instead of ULP forcing",
      "kernel_digest": "sha256:ca4201c7c2cff9069746a1e76dc3f53f390845654f2049dfb8769857a7ae12b9",
      "proptest_file_digest": "sha256:93a538ebd4994dff14c197c615eae2780967945973936ca6ddf005d5913c197d",
      "proptest_file": "chaingraph/kernels/__proptests__/art-62-ap2-payment-receipt-verifier.proptest.mjs",
      "properties_tested": ["receipt_verdict_exact_AND_of_three_subchecks", "hnp_verdict_na_iff_human_present", "headroom_exact_max_minus_amount_when_within_cap"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-63-agent-service-metering-modeler",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "ulp_forcing_note": "includes near-zero-rate case (take_rate_pct=0, -0, 0.1*3 non-exact double) and near-zero denominator case (calls_per_day=1, unit_price_minor=0 triggering the gross_revenue_day>0 guard) per mandatory ULP forcing — net_margin_pct and breakeven_calls_day both divide by user-supplied quantities that can approach zero",
      "kernel_digest": "sha256:db80ef83629be0220c5b3db867b3911ee1a7817bb6e530149ec725258b0edafe",
      "proptest_file_digest": "sha256:fcdeacc8c52124129912fa2e176c0edf651b0c21253ac6ae807a5a81f2e62067",
      "proptest_file": "chaingraph/kernels/__proptests__/art-63-agent-service-metering-modeler.proptest.mjs",
      "properties_tested": ["net_margin_day_exact_revenue_minus_cost_minus_takeinfra", "net_margin_pct_always_finite", "settlement_cost_nonincreasing_as_batch_size_grows", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-64-ai-act-highrisk-fit-diagnostic",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:e7cbaf562ec7a4b991bdd70cfafb39fcd09bb43a73d085fd0ea270e45dd2c0cb",
      "proptest_file_digest": "sha256:c5bcc48a4e3dd115811be0c14626f03514c6d7cfcf3bf9b2fd693568e3b10aae",
      "proptest_file": "chaingraph/kernels/__proptests__/art-64-ai-act-highrisk-fit-diagnostic.proptest.mjs",
      "properties_tested": ["dim_and_overall_scores_bounded_0_to_100", "grades_match_fixed_85_70_55_40_thresholds", "prohibited_practice_verdict_matches_exposure_exactly", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-65-ai-conformity-pack-builder",
      "class": "B",
      "float_sensitive": false,
      "ulp_forcing_present": false,
      "ulp_forcing_note": "stated float:no exception per the WU row — annex_iv_score = tdTotal/40*100 where tdTotal is always an even integer in [0,40] (fixed STATUS_SCORE table {complete:4,partial:2,missing:0}), so every possible value is an exact half-integer double with no accumulating float error; forced CATEGORICAL boundary cases (all-complete, all-missing, all-partial, empty technical_documentation array, exactly-9-of-10-sections) used instead of ULP forcing",
      "kernel_digest": "sha256:4d9a56ae5ea8a88287765b48baed1e6137e5d8cac49886082c0a07310239f74e",
      "proptest_file_digest": "sha256:93807d5149dfd40c35646b137b42cb8ba2690e2a8ada6c7043cdb3de47a3a57d",
      "proptest_file": "chaingraph/kernels/__proptests__/art-65-ai-conformity-pack-builder.proptest.mjs",
      "properties_tested": ["annex_iv_and_article_scores_bounded", "annex_iv_score_exact_tdTotal_over_40_times_100", "ce_ready_exact_AND_of_annexiv_ge85_art_ge70_len_ge10"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-66-fria-postmarket-monitoring-builder",
      "class": "B",
      "float_sensitive": false,
      "ulp_forcing_present": false,
      "ulp_forcing_note": "stated float:no exception per the WU row — fria_score = friaTotal/24*100 where friaTotal is always an even integer in [0,24] (fixed STATUS_SCORE table {complete:4,partial:2,'not-started':0}) and overall_score sums four fixed-weight terms whose weights (0.45+0.25+0.15+0.15) sum to exactly 1.0; forced CATEGORICAL boundary cases (all-complete, all-not-started, empty fria array, all-best/all-worst-case composition) used instead of ULP forcing",
      "kernel_digest": "sha256:3aff37d79ff68de2a055c1d32bdabb4376e3fe242656398b2c1d35ca48331cc0",
      "proptest_file_digest": "sha256:b4c4d21d1e9c9fcd0ec3a9675f5a8d9904800959c2821b78049e24aef3ae4a41",
      "proptest_file": "chaingraph/kernels/__proptests__/art-66-fria-postmarket-monitoring-builder.proptest.mjs",
      "properties_tested": ["fria_and_overall_scores_bounded_0_to_100", "fria_score_exact_friaTotal_over_24_times_100", "oversight_and_logging_verdict_text_matches_enum_exactly"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-67-agentic-ai-risk-classifier",
      "class": "B",
      "float_sensitive": false,
      "ulp_forcing_present": false,
      "ulp_forcing_note": "stated float:no exception per the WU row — overall_score sums six fixed integer dim values (0-4 each) over a fixed denominator (24); the only non-enum numeric input (model.training_compute_flop) is compared via >= against a single fixed constant (1e25), which this file forces directly as a categorical threshold case rather than a continuous ULP surface; forced CATEGORICAL boundary cases (flop exactly at 1e25, one unit below, exactly 0, NaN) used instead of ULP forcing",
      "kernel_digest": "sha256:e54de58d609e2ca40d3ef029fc40d7560ae0d23ce483dc067fbe7ed9f60165af",
      "proptest_file_digest": "sha256:f8e76478a36d16cfa74b5511eb711533354ddb866ad886b5797f2941daa2c017",
      "proptest_file": "chaingraph/kernels/__proptests__/art-67-agentic-ai-risk-classifier.proptest.mjs",
      "properties_tested": ["overall_and_dim_scores_bounded_0_to_100", "gpai_class_exact_3_state_rule", "oversight_score_nondecreasing_full_control_vs_none"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-68-carbon-compliance-fit-diagnostic",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:a8f0b6c702c3793a684793530ccd427f11067b356e3c3c899f614c15de976da2",
      "proptest_file_digest": "sha256:ce7ea43879057c91c4e98f2513fdd8bf8c24fcf7fd62f265d00d0fb0d6588c85",
      "proptest_file": "chaingraph/kernels/__proptests__/art-68-carbon-compliance-fit-diagnostic.proptest.mjs",
      "properties_tested": ["dim_and_overall_scores_bounded_0_to_100", "grades_match_fixed_85_70_55_40_thresholds", "cbam_declarant_required_exact_above_50t_check", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (1/1 vectors)",
      "run_proptests_result": "PASS"
    }
  ]
}