{ "shard_id": "FV-PROPFLOOR-SHARD-A-CHECKSOBJ-1", "spec_anchor": "FV-PBT-FLOOR-BUILD-SPEC.md §2/§3/§4", "population_definition": "all kernels in shard FV-PROPFLOOR-SHARD-A-CHECKSOBJ-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 11 rows are float:no (declared string/boolean/enum fields only, no numeric float fields, and one integer-timestamp subtraction in art-132 that is not floating point) — forced CATEGORICAL boundary cases (every enum/boolean combination that governs the derived verdict) are present for all 11, 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-113-saleable-returns-verifier", "class": "A", "float_sensitive": false, "categorical_boundary_forcing_present": true, "kernel_digest": "sha256:37fb88e02fb51dff2a85a09a2f98bcba462e1ed90a7dbd5612953ffa0a61c8b0", "proptest_file": "chaingraph/kernels/__proptests__/art-113-saleable-returns-verifier.proptest.mjs", "properties_tested": ["match_derivation", "verdict_priority", "forced_boolean_boundary_cases", "output_shape_no_nan_undefined"], "fixture_oracle_result": "PASS", "run_proptests_result": "PASS" }, { "kernel_id": "art-114-suspect-product-quarantine", "class": "A", "float_sensitive": false, "categorical_boundary_forcing_present": true, "kernel_digest": "sha256:69c6f567735fc1a35f728f1f226793ff94b9664813a2c9dfbcfe3569c93f1ed6", "proptest_file": "chaingraph/kernels/__proptests__/art-114-suspect-product-quarantine.proptest.mjs", "properties_tested": ["status_derivation", "required_actions_agreement", "forced_boolean_boundary_cases", "output_shape_no_nan_undefined"], "fixture_oracle_result": "PASS", "run_proptests_result": "PASS" }, { "kernel_id": "art-122-timestamp-attestation-verifier", "class": "A", "float_sensitive": false, "categorical_boundary_forcing_present": true, "kernel_digest": "sha256:88a9d131ffff2a2a578a46cabdc2f1b0987df22f56462b7eee51dedc4fb65120", "proptest_file": "chaingraph/kernels/__proptests__/art-122-timestamp-attestation-verifier.proptest.mjs", "properties_tested": ["checks_derivation", "forced_boolean_boundary_cases_all_8", "output_shape_no_nan_undefined"], "fixture_oracle_result": "PASS", "run_proptests_result": "PASS" }, { "kernel_id": "art-126-ai-act-art50-marking-checker", "class": "A", "float_sensitive": false, "categorical_boundary_forcing_present": true, "kernel_digest": "sha256:3baa21f9a81107596607b29ef5a324d8ef993842384da54dac31e65811e55479", "proptest_file": "chaingraph/kernels/__proptests__/art-126-ai-act-art50-marking-checker.proptest.mjs", "properties_tested": ["checks_derivation", "gaps_agreement", "forced_categorical_boundary_cases_all_source_types", "output_shape_no_nan_undefined"], "fixture_oracle_result": "PASS", "run_proptests_result": "PASS" }, { "kernel_id": "art-127-dual-layer-disclosure-verifier", "class": "A", "float_sensitive": false, "categorical_boundary_forcing_present": true, "kernel_digest": "sha256:5562ad0d21f0602d5f812fea8b7149afe980514fd642b2231bfb9e48713486c2", "proptest_file": "chaingraph/kernels/__proptests__/art-127-dual-layer-disclosure-verifier.proptest.mjs", "properties_tested": ["checks_derivation", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"], "fixture_oracle_result": "PASS", "run_proptests_result": "PASS" }, { "kernel_id": "art-128-content-binding-assertion-validator", "class": "A", "float_sensitive": false, "categorical_boundary_forcing_present": true, "kernel_digest": "sha256:37bac36fc216d5a8a8c3828b47eaa645982663dd39ebcbd34e14dfd78ddead1f", "proptest_file": "chaingraph/kernels/__proptests__/art-128-content-binding-assertion-validator.proptest.mjs", "properties_tested": ["checks_derivation", "forced_categorical_boundary_cases", "output_shape_no_nan_undefined"], "fixture_oracle_result": "PASS", "run_proptests_result": "PASS" }, { "kernel_id": "art-132-agent-key-rotation-auditor", "class": "A", "float_sensitive": false, "categorical_boundary_forcing_present": true, "kernel_digest": "sha256:25ff3998171f39653fb0799f0c1892c148031af3615a59fe45b4a7e1ab3cecd3", "proptest_file": "chaingraph/kernels/__proptests__/art-132-agent-key-rotation-auditor.proptest.mjs", "properties_tested": ["checks_derivation", "forced_threshold_boundary_cases", "output_shape_no_nan_undefined"], "fixture_oracle_result": "PASS", "run_proptests_result": "PASS" }, { "kernel_id": "art-133-agent-payment-rail-trust-crosswalk", "class": "A", "float_sensitive": false, "categorical_boundary_forcing_present": true, "kernel_digest": "sha256:a7e15f563cd47402550a3b4c1164e8dcc35ca0576feb53d0ab18cf0971a9b8bf", "proptest_file": "chaingraph/kernels/__proptests__/art-133-agent-payment-rail-trust-crosswalk.proptest.mjs", "properties_tested": ["checks_derivation", "forced_categorical_boundary_cases_all_16", "output_shape_no_nan_undefined"], "fixture_oracle_result": "PASS", "run_proptests_result": "PASS" }, { "kernel_id": "art-134-agent-directory-publish-readiness", "class": "A", "float_sensitive": false, "categorical_boundary_forcing_present": true, "kernel_digest": "sha256:46abd179f6af07c11f97b205b1762ce25fc640e75366b96c65663b338f3b9f7b", "proptest_file": "chaingraph/kernels/__proptests__/art-134-agent-directory-publish-readiness.proptest.mjs", "properties_tested": ["gaps_agreement", "forced_categorical_boundary_cases_all_32", "output_shape_no_nan_undefined"], "fixture_oracle_result": "PASS", "run_proptests_result": "PASS" }, { "kernel_id": "art-139-cra-annex1-completeness-checker", "class": "A", "float_sensitive": false, "categorical_boundary_forcing_present": true, "kernel_digest": "sha256:8d0924a6bc66cc3c3c6e9211692dd759285b3c07143163946ef596a4b48c6235", "proptest_file": "chaingraph/kernels/__proptests__/art-139-cra-annex1-completeness-checker.proptest.mjs", "properties_tested": ["gaps_agreement", "forced_categorical_boundary_cases_32x5", "output_shape_no_nan_undefined"], "fixture_oracle_result": "PASS", "run_proptests_result": "PASS" }, { "kernel_id": "art-140-cra-vuln-reporting-readiness", "class": "A", "float_sensitive": false, "categorical_boundary_forcing_present": true, "kernel_digest": "sha256:1f1af6d462795616cf87a1f261b777582c1188b28d24a8324ac7f3f180011b58", "proptest_file": "chaingraph/kernels/__proptests__/art-140-cra-vuln-reporting-readiness.proptest.mjs", "properties_tested": ["gaps_agreement", "forced_categorical_boundary_cases_all_32", "output_shape_no_nan_undefined"], "fixture_oracle_result": "PASS", "run_proptests_result": "PASS" } ], "categorical_boundary_forcing_summary": "All 11 kernels in this shard are float:no per the triage table (declared string/boolean/enum fields; art-132's key_age_s is integer unix-timestamp subtraction, not floating point) — none required ULP-boundary forcing; all 11 instead carry forced categorical boundary cases (every governing enum/boolean combination exercised, several exhaustively at 2^n), checked per-item above.", "run_proptests_aggregate": "run via node chaingraph/kernels/__proptests__/run-proptests.mjs (see check-off for aggregate count)", "fv_floor_coverage": "all 11 shard kernels present in check-fv-floor-coverage.mjs floored set, none in the unfloored list (see check-off for exact ratio)" }