{"schema_version":1,"experiment_id":"eoa_inverse_innovation_exp09_archetype_breadth150_20260804","research_id":"eoa_inverse_innovation_exp09_light_prior_art_20260804","cell_id":"constraint_propagation_and_decoupling__chemistry_materials","search_lanes":{"direct_problem_and_intervention":{"queries":["aliovalent doped perovskite charge neutrality oxygen vacancies oxygen partial pressure synthesis phase stability","perovskite synthesis constraint propagation composition firing atmosphere charge neutrality"],"source_ids":["SRC1","SRC2","SRC3"],"no_result_note":null},"synonyms_and_historical_terms":{"queries":["perovskite defect chemistry electroneutrality dopant concentration oxygen nonstoichiometry Brouwer diagram","Kröger Vink aliovalent substitution perovskite charge compensation oxygen nonstoichiometry"],"source_ids":["SRC1"],"no_result_note":null},"products_practices_and_standards":{"queries":["CALPHAD perovskite oxygen partial pressure phase stability synthesis","materials synthesis planning constraints composition temperature atmosphere phase diagram workflow"],"source_ids":["SRC2","SRC3","SRC4"],"no_result_note":null},"component_combination":{"queries":["constraint satisfaction materials synthesis charge neutrality site occupancy phase furnace","constraint satisfaction Thermo-Calc phase stability materials design","perovskite composition process optimization charge neutrality phase diagram oxygen partial pressure"],"source_ids":["SRC1","SRC3","SRC4"],"no_result_note":"No retained source described the complete combination of defect-chemical constraint propagation, minimal-conflict extraction, formal separator analysis between cation batching and furnace scheduling, and mandatory recomposition before laboratory release."}},"sources":[{"source_id":"SRC1","title":"Voltage and partial pressure dependent defect chemistry in (La,Sr)FeO3−δ thin films investigated by chemical capacitance measurements","publisher":"Royal Society of Chemistry","url":"https://pubs.rsc.org/en/content/articlehtml/2018/cp/c7cp07845e","source_type":"PRIMARY_RESEARCH","claims_supported":["For an aliovalently substituted perovskite, oxygen chemical potential and defect state depend on oxygen partial pressure and temperature.","The defect model couples oxygen vacancies, electrons, holes, oxygen incorporation, and electroneutrality.","Measured behavior deviates quantitatively from the dilute-defect model, demonstrating that omitted interactions can limit simple constraint models."]},{"source_id":"SRC2","title":"Phase Relationships in the BaO-Sm2O3-CuOx System Under 100Pa O2","publisher":"National Institute of Standards and Technology","url":"https://www.nist.gov/publications/phase-relationships-bao-sm2o3-cuox-system-under-100pa-o2","source_type":"PRIMARY_RESEARCH","claims_supported":["Controlled-atmosphere experiments established phase equilibria in an oxide system containing perovskite-related phases.","The phase diagram measured at 100 Pa oxygen differed from the literature diagram prepared in air.","Atmosphere and contamination control can change the observed phase assemblage despite nominal composition bookkeeping."]},{"source_id":"SRC3","title":"Autonomous and dynamic precursor selection for solid-state materials synthesis","publisher":"Nature Communications","url":"https://www.nature.com/articles/s41467-023-42329-9","source_type":"PRIMARY_RESEARCH","claims_supported":["ARROWS3 treats solid-state synthesis as a search over precursor choices, temperature, hold time, and atmospheric conditions.","It enumerates precursor sets, retains those that balance stoichiometrically with the target, handles gaseous byproducts, applies temperature bounds, and excludes non-favorable reactions.","The implementation fixes atmosphere rather than deriving a composition-atmosphere separator and acknowledges omitted factors including morphology, heating rate, and precursor-atmosphere reactions."]},{"source_id":"SRC4","title":"Exploration of the High Entropy Alloy Space as a Constraint Satisfaction Problem","publisher":"arXiv","url":"https://arxiv.org/abs/1712.02442","source_type":"PRIMARY_RESEARCH","claims_supported":["Materials design has previously been formulated as a continuous constraint-satisfaction problem.","The method searches composition-temperature space for regions satisfying all declared phase-constitution constraints and uses CALPHAD calculations to test candidates.","This is close prior art for constraint-based domain reduction, but it does not address perovskite charge compensation, furnace-interface separation, minimal conflicts, or recomposition of independently solved laboratory subproblems."]}],"problem_evidence":{"status":"PARTLY_SUPPORTED","finding":"The scientific coupling is plainly visible: perovskite defect populations are linked by electroneutrality and oxygen chemical potential, atmosphere can change oxide phase equilibria, and solid-state synthesis planners already balance precursor reactions while considering temperature and atmosphere. The retained sources do not establish the frequency of inconsistent spreadsheet recipes or show that organizational separation of batching and furnace work is itself a documented cause of failures.","source_ids":["SRC1","SRC2","SRC3"]},"closest_prior_art":[{"name":"Defect-chemical electroneutrality and Brouwer analysis for aliovalently substituted perovskites","source_ids":["SRC1"],"overlap":"Propagates oxygen partial pressure and temperature through oxygen incorporation, vacancy, carrier, and electroneutrality relations to determine allowable defect states.","remaining_difference":"It is a scientific defect model, not an auditable laboratory workflow that extracts conflicts, tests a separator, assigns subproblems, and recomposes their outputs."},{"name":"ARROWS3 solid-state synthesis planning","source_ids":["SRC3"],"overlap":"Balances precursor reactions, bounds synthesis temperature, considers atmosphere and byproducts, excludes unfavorable candidates, and learns from impurity-producing failures.","remaining_difference":"Atmospheric conditions are supplied as fixed inputs; the system does not derive a δ–oxygen-potential–temperature interface that licenses independent composition and furnace decisions or require the proposed recomposition release check."},{"name":"Continuous constraint-satisfaction search of thermodynamic materials spaces","source_ids":["SRC4"],"overlap":"Frames materials design as finding composition-temperature regions satisfying all phase constraints, thereby reducing a large search domain before experimentation.","remaining_difference":"The demonstrated variables and constraints concern alloy phase constitution, not coupled perovskite site occupancy, valence, oxygen nonstoichiometry, furnace capability, separator sufficiency, or laboratory release authority."}],"prior_art_disposition":"ADJACENT_PRIOR_ART","contrastive_claim_remaining":"For one declared doped-perovskite family, a workflow that first propagates balance, charge, site, phase, and equipment constraints and permits batching/furnace separation only when δ, oxygen chemical potential, and temperature form a sufficient separator will produce independently selected local proposals that recompose with zero violations and will classify blinded historical records more accurately than ordinary defect-chemistry plus phase screening alone.","contrastive_claim_falsifier":"The contrastive claim is falsified if the proposed workflow provides no classification advantage over the simpler comparator, if its separator excludes dependencies needed to explain the records, or if any pair of local proposals satisfying the derived interface violates an original declared constraint when recomposed.","gates":{"adequate_source_search":{"status":"PASS","rationale":"The screen searched direct terminology, older defect-chemistry terminology, synthesis and thermodynamic practices, and component combinations. Exactly four opened sources from four publishers were retained, all containing primary research.","source_ids":["SRC1","SRC2","SRC3","SRC4"]},"supported_problem":{"status":"PASS","rationale":"Direct measurements and phase-equilibrium research support the physical composition-atmosphere-defect-phase coupling, although the operational spreadsheet-failure frequency remains unsupported.","source_ids":["SRC1","SRC2","SRC3"]},"distinct_testable_claim":{"status":"PASS","rationale":"Separator sufficiency, recomposition violations, historical classification accuracy, and incremental performance over defect/phase screening are observable outcomes distinct from the retained prior art.","source_ids":["SRC1","SRC3","SRC4"]},"bounded_next_test":{"status":"PASS","rationale":"A read-only blinded comparison on no more than eight existing records can run the proposed workflow and a simpler defect-chemistry-plus-phase-screening comparator, then reveal diffraction and mass-change labels and record classifications, conflicts, separator failures, and recomposition violations. No new synthesis or model expansion is required.","source_ids":["SRC1","SRC3","SRC4"]},"no_obvious_safety_or_authority_stop":{"status":"PASS","rationale":"The bounded test only audits copies of existing records, leaves source records unchanged, does not alter materials or furnace conditions, preserves laboratory-lead release authority, and halts when identities or labels cannot be reconciled without guessing.","source_ids":[]}},"screen_survival":true,"world_novelty_boundary":"This bounded public-web screen supports only an adjacent-prior-art disposition and leaves a narrow procedural claim for testing. It cannot establish world novelty, patentability, freedom to operate, market size, expert acceptance, or realized scientific or operational value."}