{"schema_version":1,"experiment_id":"eoa_inverse_innovation_exp12_substrate_denial72_20260805","cell_id":"formal_derivation_system_design__chemistry_materials","arm":"CONSTRAINED_HIGH","candidate_id":"formal_derivation_system_design__chemistry_materials__CONSTRAINED_HIGH","decision":"PROPOSAL","abstention_reason":null,"proposal":{"schema_version":1,"experiment_id":"eoa_inverse_innovation_exp12_substrate_denial72_20260805","cell_id":"formal_derivation_system_design__chemistry_materials","arm":"CONSTRAINED_HIGH","candidate_id":"formal_derivation_system_design__chemistry_materials__CONSTRAINED_HIGH","proposal_index":1,"version":0,"title":"Capillary reaction-closure coupon for multi-step precipitate reachability in recovered-metal feeds","problem":"An aqueous metal-recovery feed can remain clear during an initial jar test yet form a clogging solid after a particular sequence of permitted plant operations, such as dilution, pH adjustment, oxidation, and residence. Because the admissible operations and their ordering are usually tested as a few informal recipes, operators may not know whether a precipitating material state is physically reachable through another allowed sequence.","actors":["Formulation or process chemist","Pilot-plant technician","Actual recovered-metal feed aliquots","Immobilized reagent plugs and capillary channels","Terminal particle-capture membranes"],"observable_state":"Replicated microliter aliquots of the same feed traverse visibly labeled, one-way channel paths. Each path applies a declared sequence of actual unit-operation analogues. A reachable solid is observable as retained material on a terminal membrane, accompanied by a persistent wetting trace showing the exact sequence that produced it.","consequence":"An untested but permitted operation sequence can generate solids that obstruct small passages, load filters, contaminate recovered fractions, or force a batch interruption.","affected_objective":"Maintain material recovery and flow continuity while avoiding operation sequences that physically generate obstructive solids.","intervention":"Build a passive branching microreactor coupon whose vocabulary is a finite set of materially defined states and permitted operations. The root receives the actual feed. Each downstream chamber contains a fixed reagent quantity or physical condition implementing one permitted operation, such as a bounded dilution, pH step, redox contact, or residence interval. Keyed capillary connections admit only declared operation sequences; replicated branches expose aliquots to every sequence within a fixed depth. The channels themselves preserve the derivation trace, while terminal membranes capture any generated solid. Blank paths, single-operation controls, and known nonreactive reference paths bound interpretation. The coupon establishes only that a solid-forming state is physically reachable under its encoded microscale conditions; it does not declare the production process safe or predict plant-scale kinetics.","structural_mapping":[{"archetype_element":"Symbol Vocabulary","domain_realization":"A finite set of actual material-state classes and operation tokens, each defined by specified reagent loading, pH range, redox treatment, dilution, or residence condition."},{"archetype_element":"Well-Formed Expression Grammar","domain_realization":"Keyed one-way channel junctions physically permit only encoded sequences of operations and prevent undefined chamber orderings."},{"archetype_element":"Axiom Base","domain_realization":"The inlet aliquot, blank, reference aliquots, and fixed initial reagent quantities are the declared starting material states."},{"archetype_element":"Inference Rule Set","domain_realization":"Each chamber performs one actual chemical or physical transformation from an admitted upstream state to a downstream state."},{"archetype_element":"Derivation Trace Record","domain_realization":"The permanently wetted, labeled channel path and its ordered chambers record which physical transformations preceded a terminal deposit."},{"archetype_element":"Closure Boundary","domain_realization":"The coupon explores only the enumerated operations, reagent ranges, path lengths, and residence intervals represented by its finite branching geometry."},{"archetype_element":"Consistency Guardrail","domain_realization":"Duplicate branches, reagent blanks, single-step controls, and nonreactive references distinguish path-specific deposits from contamination, evaporation, or membrane artifacts."},{"archetype_element":"Interpretation Boundary","domain_realization":"A deposit means that solid formation was physically reached on that encoded microscale path, not that the same amount or rate will occur in production and not that unrepresented paths are safe."},{"archetype_element":"Revision and Versioning Rule","domain_realization":"Reagent lots, chamber geometry, operation definitions, and path topology are printed as a coupon version so results remain tied to one material calculus."}],"mechanism_mapping":[{"mechanism_slug":"formal-grammar-specification","role":"The channel topology specifies which ordered unit-operation expressions are physically admissible.","counterfactual_removal":"Without constrained topology, accidental or undefined reagent orderings could not be separated from declared process sequences."},{"mechanism_slug":"axiom-schema-catalog","role":"Printed inlet and reagent definitions separate starting feed conditions from transformations applied later.","counterfactual_removal":"Without declared starting states, two deposits could not be compared as derivations from the same material premises."},{"mechanism_slug":"inference-rule-calculus","role":"Immobilized reagent and conditioning chambers implement the allowed state transitions by direct chemistry and transport.","counterfactual_removal":"Without these transformation chambers, downstream solid formation would not test reachability through the permitted operations."},{"mechanism_slug":"proof-tree-or-derivation-log","role":"Branching, labeled, stain-retaining channels leave a physical path from inlet to every terminal membrane.","counterfactual_removal":"A deposit could still occur, but the operation sequence producing it would no longer be attributable."},{"mechanism_slug":"consistency-and-contradiction-test","role":"Parallel blanks, duplicates, and isolated single-step branches test whether a claimed multi-step path is reproducible and path-dependent.","counterfactual_removal":"Contamination or a direct single-step reaction could be mistaken for a derived multi-step incompatibility."},{"mechanism_slug":"rewrite-or-transition-rule-engine","role":"Actual aliquots are successively rewritten into new chemical states as capillary transport carries them through chambers.","counterfactual_removal":"The coupon would become a static observation plate rather than a bounded physical state-transition system."}],"causal_chain":["Actual feed is divided into materially comparable microliter aliquots.","Passive capillary geometry routes the aliquots through every encoded operation sequence up to the coupon's fixed depth.","Each chamber directly changes the aliquot through reagent contact, mixing, diffusion, residence, or phase transformation.","If an encoded sequence reaches supersaturation or another solid-forming condition, solid material nucleates and is retained at or before the terminal membrane.","The stained channel and ordered chamber labels preserve the physical sequence that produced the retained solid.","The chemist can exclude that sequence from a later pilot experiment or investigate it at bench scale without treating the coupon as production clearance."],"baseline":"A technician selects a small number of jar-test recipes from experience, applies whole sequences in separate vessels, and records final appearance. Untested orderings remain unresolved, and an observed precipitate may lack a standardized step-by-step path record.","nearest_rivals":["Conventional jar tests executing selected full recipes in separate vessels","Equilibrium or kinetic speciation calculations based on assumed species, constants, and mixing histories","Automated parallel reactor plates with programmable liquid handling","Analytical measurement of feed composition followed by expert compatibility judgment"],"remaining_contrastive_claim":"Relative to a selected-recipe jar test, the coupon materially instantiates a finite grammar of allowed operation sequences and exposes the actual feed to each encoded transition, so a terminal solid is linked to a bounded physical derivation path. Relative to a speciation calculation, the operative evidence is an observed transformation of the sample under declared microscale conditions rather than a computed prediction.","authority_safety":{"decision_authority":"A qualified process chemist may authorize only subsequent contained bench or pilot investigation; the coupon itself has no authority to approve production mixing.","authorized_first_step":"Construct and run one sealed, benchtop coupon using a nonhazardous surrogate formulation and four explicitly defined transition chambers.","excluded_actions":["Connecting the coupon to a production line","Using unknown feeds capable of toxic gas release, violent reaction, or uncontrolled heating","Treating absence of a deposit as proof of compatibility","Scaling reagent quantities or operation sequences directly from the coupon","Changing a production recipe solely from a coupon result"],"halt_rollback":"Stop if a blank deposits material, duplicates disagree, channels leak or cross-feed, temperature exceeds the test enclosure limit, or any unexpected gas or pressure appears. Isolate the sealed coupon, dispose of it under the approved surrogate-material procedure, and revert to the unchanged baseline test plan."},"negative_tests":{"strongest_counterevidence":"Deposits or clear paths on the coupon fail to correspond to the same operation sequences in contained bench vessels because microscale surface area, mixing, nucleation, evaporation, or residence dominates the result.","problem_falsifier":"Across a bounded set of historical or deliberately constructed cases, every relevant solid is caused by one direct operation already captured by ordinary single-step jar tests, with no additional path-dependent reachability problem.","intervention_falsifier":"The coupon fails if blinded seeded sequences with independently confirmed solid formation do not reproducibly terminate in deposits, if non-forming controls deposit, or if changing irrelevant branch order changes results.","risks":["Channel surfaces or immobilization materials may nucleate solids not formed in process equipment.","Small volumes may suppress or accelerate nucleation relative to bench and plant scales.","Capillary splitting may produce unequal reagent ratios and false path differences.","Evaporation may create artificial supersaturation.","A finite closure boundary may encourage false confidence about unencoded operations or longer sequences.","Retained solids may obscure whether precipitation began in an earlier chamber."]},"next_evidence_step":"Fabricate one sealed coupon with a root, four benign operation chambers, paths of no more than three transitions, duplicate branches, blanks, and single-step controls. Using a nonhazardous aqueous surrogate, blind the operator to which paths have bench-confirmed solid-forming and non-forming sequences. Compare deposit presence and physical trace identity against the bench vessels; do not proceed unless blanks remain clear and duplicates agree.","prior_art_status":"UNSEARCHED","diversity_from_prior_proposals":"No other experiment candidates or prior proposals were inspected. This candidate is derived only from the supplied archetype and domain card and uses direct sample transformation in a passive material network rather than software inference or governance.","revision_record":{"parent_version":null,"progress_targets_addressed":["Preserve explicit vocabulary, grammar, starting assumptions, transitions, trace, and closure boundary in a chemistry/materials intervention","Make the essential effect independent of software, analytics, reporting, incentives, authorization, and procedural enforcement","Bound authority and distinguish physical reachability from plant-scale safety or prediction"],"conceptual_changes":["Mapped formal derivation to a finite network of actual chemical state transitions rather than abstract computational tokens"],"operational_changes":["Limited the first test to a sealed coupon, benign surrogate, four transitions, fixed path depth, duplicates, and controls"],"evidence_changes":["Specified blinded comparison against independently executed bench sequences"],"claim_changes":["Restricted the claim to observed microscale reachability within encoded conditions and disclaimed novelty, completeness, effect size, and production-scale validity"]},"substrate_contract":{"primary_allowed_process":"MEASUREMENT_INSTRUMENTATION","counterfactual_independence":"Removing software, algorithms, databases, dashboards, reporting, incentives, authorization rules, and procedural enforcement does not remove the essential effect. Capillary transport still divides and moves the actual feed; immobilized reagents still perform the encoded chemical transformations; solids still nucleate and are physically captured; and the channel geometry still preserves the sequence. Human interpretation is needed only to decide what later experiment to authorize, not to cause or detect the terminal phase change.","forbidden_channel_audit":"The coupon contains no computational inference, adaptive control loop, sensor-to-analytics pipeline, recommender, database, or software-actuated decision. Printed labels and optional photography are documentation wrappers. Governance limits who may act on the result but does not produce it. The operative intervention is direct chemical transformation, spatially constrained capillary transport, phase formation, and mechanical particle capture in the sample itself."}}}