{
  "shard_id": "FV-PROPFLOOR-SHARD-B11-1",
  "spec_anchor": "FV-PBT-FLOOR-BUILD-SPEC.md §2/§3/§4",
  "population_definition": "all kernels in shard FV-PROPFLOOR-SHARD-B11-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 5 float-sensitive rows named in the WU (art-298-aca-affordability-safe-harbor, art-299-aca-esrp-exposure, art-301-section125-ndt, art-302-401k-adp-acp-test, art-306-agent-insurability-evidence-scorer — all five compute raw-double ratios/products/weighted-sums compared against fixed thresholds or summed into a composite), checked below. The other 5 rows (art-290-check-linea-l2-finality-window, art-295-einvoice-jurisdiction-mandate-router, art-296-einvoice-transmission-receipt-builder, art-305-aiuc1-evidence-freshness-lint, art-313-traiga-exposure-assessor) are the row's stated float:no exceptions and instead carry forced CATEGORICAL boundary cases (empty inputs, unrecognized enum values, exact-tier ties, malformed types, negative/duplicate inputs) 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": "art-290-check-linea-l2-finality-window",
      "class": "B",
      "float_sensitive": false,
      "ulp_forcing_present": false,
      "ulp_forcing_note": "stated float:no exception per the WU row — pure tier-ranking/lookup logic over two status strings, no continuous arithmetic; forced CATEGORICAL boundary cases (unrecognized corridor_cutoff, exact tier-rank ties, null l2_block) used instead of ULP forcing",
      "kernel_digest": "sha256:fb5a1be978689c0d35c8e8c231bdfcdc0c54da4223e73833b31cce3948bcc51a",
      "proptest_file_digest": "sha256:e92b552facb8e0b92be3db760963f36ef07aa02af16ee0fbebb54aae7b8160da",
      "proptest_file": "chaingraph/kernels/__proptests__/art-290-check-linea-l2-finality-window.proptest.mjs",
      "properties_tested": ["monotone_finality_tier_nondecreasing_on_improvement", "boundedness_tier_and_risk_from_known_sets", "safe_to_release_matches_fixed_tier_rank_rule"],
      "fixture_oracle_result": "PASS (2/2 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-295-einvoice-jurisdiction-mandate-router",
      "class": "B",
      "float_sensitive": false,
      "ulp_forcing_present": false,
      "ulp_forcing_note": "stated float:no exception per the WU row — version-pinned table lookup + string-compare date logic only; forced CATEGORICAL boundary cases (lowercase/whitespace country codes, exact mandatory_from date ties, unrecognized values) used instead of ULP forcing",
      "kernel_digest": "sha256:b02a9e30e2bd0f0086ca064fa77f1a49da8659ae4889831342f1c8fbfb487a6a",
      "proptest_file_digest": "sha256:0f64c9f6e4b1ac22d170cdf9da4d938a160bdf3614bb30548912e92f73fd7284",
      "proptest_file": "chaingraph/kernels/__proptests__/art-295-einvoice-jurisdiction-mandate-router.proptest.mjs",
      "properties_tested": ["boundedness_phase_status_and_table_version_from_known_set", "regime_country_matches_supplier_or_buyer_when_present", "b2c_non_my_always_out_of_scope"],
      "fixture_oracle_result": "PASS (7/7 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-296-einvoice-transmission-receipt-builder",
      "class": "B",
      "float_sensitive": false,
      "ulp_forcing_present": false,
      "ulp_forcing_note": "stated float:no exception per the WU row — boolean-gate AND-combination logic only, no continuous arithmetic; forced CATEGORICAL boundary cases (missing document fields, string-typed booleans, null routed_mandate) used instead of ULP forcing",
      "kernel_digest": "sha256:96f5d33248497f132d16bc20b15dea490b61aa7bddbf9f43a546f365d87b0233",
      "proptest_file_digest": "sha256:bd04429db9fd1af9ce95b05d5f426d5c16fe68a375b91bd80a3dc37668ff6481",
      "proptest_file": "chaingraph/kernels/__proptests__/art-296-einvoice-transmission-receipt-builder.proptest.mjs",
      "properties_tested": ["validated_matches_fixed_and_gate_rule", "steps_fixed_length_and_order", "downgrading_any_gate_never_increases_validated"],
      "fixture_oracle_result": "PASS (3/3 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-298-aca-affordability-safe-harbor",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:ea58be48cb6952b060bc4497ac31e719068b753ea96017c4fdfbeaffc872868c",
      "proptest_file_digest": "sha256:25865a176fd0027f1740413fd912c3450482cca3eba21d2d78ecd850300d2345",
      "proptest_file": "chaingraph/kernels/__proptests__/art-298-aca-affordability-safe-harbor.proptest.mjs",
      "properties_tested": ["monotone_affordable_nonincreasing_as_premium_rises", "boundedness_harbor_maxima_finite_nonnegative", "affordable_matches_exact_premium_le_max_comparison", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (5/5 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-299-aca-esrp-exposure",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:63c47665ca6ea5d115ee195ae212be51bd97cc85a5eca9abc193cc762918aea9",
      "proptest_file_digest": "sha256:27ffd60ed3eee3cc8f36af69d8e741bedf58e3bd3f70e25527bc4ab8295643d2",
      "proptest_file": "chaingraph/kernels/__proptests__/art-299-aca-esrp-exposure.proptest.mjs",
      "properties_tested": ["monotone_a_exposure_nonincreasing_as_offer_rate_rises", "boundedness_exposures_finite_nonnegative", "a_applicable_matches_exact_offer_rate_threshold", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (5/5 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-301-section125-ndt",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:86493cfc7915be8a6df372c7edb3a176d651228f7cbebc3b983bec803ed8efa7",
      "proptest_file_digest": "sha256:9af4cbe49f528934e715b4a3abbf4ca4f5989a9424792115a2309bfb5c07d11a",
      "proptest_file": "chaingraph/kernels/__proptests__/art-301-section125-ndt.proptest.mjs",
      "properties_tested": ["monotone_concentration_pass_nonincreasing_as_key_share_rises", "boundedness_ratios_finite_nonnegative", "concentration_pass_matches_exact_025_threshold", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (5/5 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-302-401k-adp-acp-test",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:cfedf3ff0ef87ac809412df20fb99a2c3efc1aa985ea67b5f9dcd2db5f9fcfb9",
      "proptest_file_digest": "sha256:18101fa3e594527fa757099a29219a76d0e344a3277d5c1e9182cddd6ea3abcb",
      "proptest_file": "chaingraph/kernels/__proptests__/art-302-401k-adp-acp-test.proptest.mjs",
      "properties_tested": ["monotone_adp_pass_nonincreasing_as_hce_pct_rises", "boundedness_allowed_max_pct_finite_nonnegative", "pass_matches_exact_hce_le_allowed_max_comparison", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (5/5 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-305-aiuc1-evidence-freshness-lint",
      "class": "B",
      "float_sensitive": false,
      "ulp_forcing_present": false,
      "ulp_forcing_note": "stated float:no exception per the WU row — pure integer civil-calendar day-count arithmetic (Howard Hinnant's days_from_civil), no floating-point at all; forced CATEGORICAL boundary cases (exact 90-day staleness tie, exact 12-month cert-expiry tie, leap-day/month-end anniversary clamping) used instead of ULP forcing",
      "kernel_digest": "sha256:3597d7ea924b5db1b1a5c6887a87745e40260ba4d1e12edee08eb205ff594a02",
      "proptest_file_digest": "sha256:2b34601c4c171a086908365526e9e6aed57948d1e6f5d082e102b5fd367272b2",
      "proptest_file": "chaingraph/kernels/__proptests__/art-305-aiuc1-evidence-freshness-lint.proptest.mjs",
      "properties_tested": ["monotone_stale_count_nonincreasing_as_receipts_freshen", "boundedness_stale_count_matches_length_and_age_days_integer", "same_day_receipt_never_stale_roundtrip"],
      "fixture_oracle_result": "PASS (4/4 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-306-agent-insurability-evidence-scorer",
      "class": "B",
      "float_sensitive": true,
      "ulp_forcing_present": true,
      "kernel_digest": "sha256:a7dc48eb1eff2fb12164681b1b8bb838153d5819a26c7bdfbb88cbb1c739f4d8",
      "proptest_file_digest": "sha256:e5147caa6c2f0131bf4620d77db15f1bd6ed066c66bdc2ccee0017cf337af293",
      "proptest_file": "chaingraph/kernels/__proptests__/art-306-agent-insurability-evidence-scorer.proptest.mjs",
      "properties_tested": ["boundedness_composite_and_dims_in_unit_interval", "monotone_determinism_nondecreasing_with_matched_receipts", "composite_matches_exact_weighted_sum_formula", "ULP_boundary_forcing"],
      "fixture_oracle_result": "PASS (6/6 vectors)",
      "run_proptests_result": "PASS"
    },
    {
      "kernel_id": "art-313-traiga-exposure-assessor",
      "class": "B",
      "float_sensitive": false,
      "ulp_forcing_present": false,
      "ulp_forcing_note": "stated float:no exception per the WU row — boolean gate + fixed-list array-filter logic only, no continuous arithmetic; forced CATEGORICAL boundary cases (non-array asserted_use_flags, string-typed booleans, attempted constant override) used instead of ULP forcing",
      "kernel_digest": "sha256:24b6d6ea0e0d64702691ffb397888c9754d6fed5fd2974fd765e8dafda5e3aa1",
      "proptest_file_digest": "sha256:72d13cdffe3596ea1fd08de046690d121f4aa7e1050e2164f3e079fa6594d084",
      "proptest_file": "chaingraph/kernels/__proptests__/art-313-traiga-exposure-assessor.proptest.mjs",
      "properties_tested": ["monotone_prohibited_use_never_unflags_on_addition", "boundedness_matched_uses_subset_of_fixed_category_list", "applicability_and_detection_match_exact_boolean_rules"],
      "fixture_oracle_result": "PASS (4/4 vectors)",
      "run_proptests_result": "PASS"
    }
  ]
}