{"schema_version":1,"experiment_id":"eoa_inverse_innovation_exp04_retrieval_first_paired20_20260802","cell_id":"computability_boundary_mapping__public_administration_policy","hypothesis_id":"H4","search_queries":["\"hypothetical household\" tax benefit model policy combinations","eligibility rules \"model-based testing\" government benefits system","public policy rules exhaustive state space verification eligibility","OpenFisca exhaustive combinations household situations policy tests","site:openfisca.org documentation scenario axes combinations policy simulation","\"Cartesian product\" tax benefit microsimulation households","EUROMOD HHoT full factorial household characteristics generate combinations","rules as code policy verification model checking public administration"],"sources":[{"source_id":"PA1","title":"Replicating a situation along axes","publisher":"OpenFisca","url":"https://openfisca.org/doc/simulate/replicate-simulation-inputs.html","source_class":"OFFICIAL_PRODUCT_DOCUMENTATION","claims_supported":["OpenFisca can replicate tax-benefit test situations over user-defined variable ranges.","Perpendicular axes vary independently and generate every combination of their values.","The resulting Cartesian-product simulations are explicitly intended to show how variables interact."]},{"source_id":"PA2","title":"The Hypothetical Household Tool (HHoT) in EUROMOD: a new instrument for comparative research on tax-benefit policies in Europe","publisher":"EUROMOD, Institute for Social and Economic Research, University of Essex","url":"https://www.iser.essex.ac.uk/wp-content/uploads/files/working-papers/euromod/em5-19.pdf","source_class":"PRIMARY_RESEARCH","claims_supported":["HHoT lets analysts define detailed hypothetical households, vary multiple numeric characteristics over ranges, and run them through interacting tax-benefit policies.","The tool supports rare household types, policy reforms, multiple countries and years, and explicit scope analysis.","The authors warn that hypothetical-household results do not represent a population and that EUROMOD omits some regional or local policies."]},{"source_id":"PA3","title":"TaxBEN: The OECD tax-benefit simulation model—Methodology, user guide and policy applications","publisher":"OECD","url":"https://www.oecd.org/content/dam/oecd/en/topics/policy-sub-issues/income-support-redistribution-and-work-incentives/oecd-taxben-methodology-and-manual.pdf","source_class":"OFFICIAL_GUIDANCE","claims_supported":["TaxBEN calculates interacting tax liabilities and benefit entitlements for configurable stylized families.","It varies household composition, employment, earnings, hours, unemployment duration and other characteristics for policy analysis.","OECD distinguishes selected hypothetical families from population-wide inference and documents policies outside the model's scope."]},{"source_id":"PA4","title":"Practical Combinatorial Testing","publisher":"National Institute of Standards and Technology","url":"https://www.govinfo.gov/content/pkg/GOVPUB-C13-PURL-gpo14815/pdf/GOVPUB-C13-PURL-gpo14815.pdf","source_class":"STANDARD","claims_supported":["NIST defines finite parameter-value spaces, constrained valid combinations and measurable interaction coverage.","It explicitly identifies full-strength coverage as exhaustive testing and states that exhaustive testing may be warranted for small critical modules.","Its test-generation output records parameters, interaction strength and configuration counts, providing much of the proposed coverage-certificate machinery."]},{"source_id":"PA5","title":"Verification and Test Methods for Access Control Policies/Models","publisher":"National Institute of Standards and Technology","url":"https://www.nist.gov/publications/verification-and-test-methods-access-control-policiesmodels","source_class":"STANDARD","claims_supported":["Formalized policy models are already subjected to systematic verification and testing for inconsistency, incompleteness and conformance with policy-author intent.","The publication establishes policy-model verification as a recognized professional practice, although in access control rather than social-policy microsimulation."]},{"source_id":"PA6","title":"Cracking the code: Rulemaking for humans and machines","publisher":"OECD","url":"https://www.oecd.org/en/publications/cracking-the-code_3afe6ba5-en.html","source_class":"OFFICIAL_GUIDANCE","claims_supported":["Rules as Code is an established public-administration approach for producing machine-consumable government rules.","Executable, consistent policy representations supply the neighboring-domain infrastructure needed to enumerate and evaluate encoded cases."]}],"proximity":"SUBSTANTIAL_COLLISION","closest_analogues":[{"name":"OpenFisca perpendicular-axis simulations","similarity":"Same policy-computation domain and nearly the same core mechanism: define bounded values for household variables, form their independent Cartesian product, and compute policy outcomes for all resulting combinations.","remaining_difference":"The documentation presents multivariate observation rather than a jurisdiction-wide completeness obligation, validity-constrained state census and signed machine-verifiable coverage certificate for legislative review.","source_ids":["PA1"]},{"name":"EUROMOD Hypothetical Household Tool","similarity":"Generates controlled household states, varies several characteristics, evaluates interacting tax-benefit rules and exposes outcomes for rare cases that representative samples may miss.","remaining_difference":"HHoT supports analyst-selected households and ranges, expressly disclaims population inference, and does not claim that every valid encoded state has been generated or certify that coverage.","source_ids":["PA2"]},{"name":"NIST exhaustive and combinatorial testing practice","similarity":"Defines finite parameter domains, handles invalid combinations through constraints, distinguishes partial interaction coverage from 100-percent exhaustive coverage, and records coverage metadata.","remaining_difference":"It is a general software-testing method rather than an ex ante census of local-policy outcomes tied to a jurisdiction, policy package and fixed horizon.","source_ids":["PA4","PA5"]},{"name":"OECD TaxBEN hypothetical-family analysis","similarity":"Runs executable tax-benefit policies over configurable household characteristics to reveal policy mechanics, interactions and otherwise hard-to-observe situations.","remaining_difference":"Its unit is a broad but selected set of stylized families, not every valid state in an enforceably complete local schema, and it supplies no exhaustive-coverage certificate.","source_ids":["PA3","PA6"]}],"overlapping_components":["Executable representation of public rules","Explicit household and person state variables","User-defined finite ranges and discrete characteristics","Independent variation producing Cartesian-product cases","Bulk evaluation of tax and benefit outcomes","Detection of policy interactions and rare outcomes","Constraints for excluding invalid combinations","Quantified distinction between partial and exhaustive coverage","Documented model and jurisdictional scope limits","Feasibility tradeoff between exhaustive and reduced combinatorial testing"],"remaining_contrastive_claim":"Within this bounded search, no located system combines an enforceably complete local-jurisdiction-and-horizon state schema, enumeration of every valid encoded household or firm state under a proposed policy package, and a machine-verifiable coverage certificate used in pre-adoption review.","claim_falsifier":"A product, patent, agency protocol or research deployment showing pre-adoption local-policy analysis that defines a complete constrained state schema, executes every valid state, and emits auditable evidence proving one-to-one coverage of that schema would falsify the remaining claim.","problem_support":"MODERATE","recommendation":"REJECT","world_novelty_boundary":"Finite policy microsimulation, Cartesian-product generation, exhaustive configuration testing, constrained validity, coverage measurement and executable government rules are all established separately and substantially overlap in OpenFisca and EUROMOD; any defensible novelty is confined to integrating them into a formally complete local-policy schema plus a machine-verifiable pre-adoption coverage certificate and demonstrating the stated 10-percent discovery rate, neither of which was located in this bounded search."}