{"schema_version":1,"experiment_id":"eoa_inverse_innovation_exp12_substrate_denial72_20260805","research_id":"eoa_inverse_innovation_exp12_light_screen_20260805","cell_id":"formal_derivation_system_design__computer_science","search_lanes":{"direct_problem_and_intervention":{"queries":["hardware in the loop test system wrong connection voltage damage wiring safety interlock","hardware-in-the-loop test system wiring errors wrong voltage DUT protection signal conditioning","hardware in loop test bench wiring fault equipment damage connector mismatch","NASA test equipment incorrect connection voltage damage cable connector"],"source_ids":["SRC1","SRC2"],"no_result_note":null},"synonyms_and_historical_terms":{"queries":["keyed connectors prevent mismating electrical connectors poka yoke","mistake proofing connectors poka-yoke electrical interlock plugboard permissive","mechanical logic key exchange trapped key interlock electrical connections","trapped key interlock sequence electrical power mechanical key exchange"],"source_ids":["SRC2","SRC3"],"no_result_note":null},"products_practices_and_standards":{"queries":["HIL test safety wiring validation connector keying standard","modular test system interlock keyed connectors safety","ISO 19837 trapped key interlocking mechanical sequence","NASA connector incorrect mating prevention"],"source_ids":["SRC1","SRC2","SRC3"],"no_result_note":null},"component_combination":{"queries":["passive mechanical proof checker tiles keyed geometry electrical enable","mechanical rule tiles branch obligations interlock topology","patent mechanical enable only when multiple electrical connectors correctly connected interlock plate","mechanical interlock verifies cable routing topology connectors before energization"],"source_ids":["SRC3","SRC4"],"no_result_note":null}},"sources":[{"source_id":"SRC1","title":"Hardware-in-the-Loop (HIL) Test System Architectures","publisher":"National Instruments","url":"https://www.ni.com/en/solutions/transportation/hardware-in-the-loop/hardware-in-the-loop--hil--test-system-architectures.html","source_type":"FIRST_PARTY_PRODUCT","claims_supported":["HIL rigs connect analog, digital, and bus I/O interfaces to the unit under test.","High-channel-count HIL systems can require hundreds or thousands of signals, making wiring implementation and maintenance costly and time-consuming.","Distributed modular I/O is an existing approach for reducing wiring complexity and supporting configuration changes."]},{"source_id":"SRC2","title":"9.0 Hardware and Equipment, NASA Human Integration Design Handbook Volume 2","publisher":"NASA","url":"https://www.nasa.gov/reference/9-0-hardware-and-equipment-vol-2/","source_type":"OFFICIAL_GUIDANCE","claims_supported":["NASA requires cable and electrical-umbilical connector designs to prevent mismating and associated damage.","NASA identifies pins, keys, and other physically preventive designs as preferable to color or labeling alone.","Connector access can occur during assembly, reconfiguration, or maintenance, and mating operations can expose personnel and equipment to electrical and stored-energy hazards."]},{"source_id":"SRC3","title":"ISO/TS 19837:2018 — Safety of machinery — Trapped key interlocking devices — Principles for design and selection","publisher":"International Organization for Standardization","url":"https://www.iso.org/standard/66335.html","source_type":"OFFICIAL_STANDARD","claims_supported":["Trapped-key interlocking is an established class of machinery-safety system.","The specification covered design, selection, and application of trapped-key interlocking devices independently of the energy being controlled.","The 2018 specification was withdrawn in December 2024 and was intended to be used with ISO 14119; it did not provide testing requirements."]},{"source_id":"SRC4","title":"EP2190075A1 — Multi-connector apparatus with connection-sequencing interlock mechanism","publisher":"Google Patents","url":"https://patents.google.com/patent/EP2190075A1","source_type":"OTHER","claims_supported":["A passive interlock plate can enforce the insertion and removal order of multiple power and signal connectors.","The disclosed plate cannot advance until all required power connectors are inserted, creating a mechanical multi-input obligation.","The mechanism addresses component damage and technician safety, including surge protection, without requiring each connector to perform a software validation."]}],"problem_evidence":{"status":"PARTLY_SUPPORTED","finding":"The problem is visible at coarse resolution: HIL systems can contain hundreds or thousands of physical I/O connections and face recognized wiring complexity, while official NASA guidance treats connector mismating during assembly or reconfiguration as a damage and hazard mechanism requiring physical prevention. Prior art also expressly links multi-connector sequencing errors to component damage. The retained evidence does not establish how frequently HIL rigs suffer the proposal's particular composed voltage, directionality, isolation, or grounding-class failures.","source_ids":["SRC1","SRC2","SRC4"]},"closest_prior_art":[{"name":"NASA physically keyed incorrect-mating prevention","source_ids":["SRC2"],"overlap":"Uses pins, keys, or other forcing geometry to prevent an improper cable or electrical-connector mating and rejects labels as the sole safeguard.","remaining_difference":"It addresses installation and pairwise mating errors, not a retained derivation through licensed cable, adapter, isolation, split, and merge transformations."},{"name":"Trapped-key interlocking systems","source_ids":["SRC3"],"overlap":"Established passive or mechanically mediated interlocks encode permitted states or sequences and withhold access or operation until obligations are satisfied.","remaining_difference":"The standard concerns machinery-safety interlocking rather than a type vocabulary whose composable rule elements derive admissibility of a reconfigurable HIL signal topology."},{"name":"EP2190075A1 multi-connector sequencing interlock plate","source_ids":["SRC4"],"overlap":"A captive mechanical mechanism checks several connector-presence obligations, prevents an unsafe sequence, and advances only after all required connectors are inserted.","remaining_difference":"It enforces one application-specific make/break sequence at a fixed header; it does not propagate interface classes through arbitrary adapter chains, represent transformation rules or versioned branch trees, or retain such a derivation beside a reconfigurable rig."}],"prior_art_disposition":"ADJACENT_PRIOR_ART","contrastive_claim_remaining":"For a fixed, explicitly characterized vocabulary, a captive chain of keyed transformation tiles can do more than pairwise keying or fixed connection sequencing: it can mechanically accept every pre-enumerated topology derivable through the licensed transformations, reject every non-derivable topology including unresolved branches and mixed versions, preserve a connector-congruent derivation trace, and close a passive low-energy contact without software or procedural enforcement.","contrastive_claim_falsifier":"The claim fails if any pre-enumerated prohibited topology closes the contact, any permitted topology cannot close it within specified tolerances, a tile can remain apparently valid after its corresponding connector is substituted, an unresolved branch or mixed rule-set version can be bypassed, or a directly matching prior system is found that already performs the same compositional type propagation and passive terminal-enable check.","gates":{"adequate_source_search":{"status":"PASS","rationale":"The bounded search covered the proposal directly, HIL wiring terminology, mistake-proofing and trapped-key terminology, official guidance and standards, products and patents, and combinations involving multi-connector mechanical obligations. Four opened sources from four publishers were retained, including first-party and official sources. This is adequate for a coarse screen, not an exhaustive prior-art search.","source_ids":["SRC1","SRC2","SRC3","SRC4"]},"supported_problem":{"status":"PASS","rationale":"HIL wiring complexity and the recognized damage or hazard from connector mismating support the problem at least partly, although prevalence and the exact composed-class failure mode remain unquantified.","source_ids":["SRC1","SRC2","SRC4"]},"distinct_testable_claim":{"status":"PASS","rationale":"The remaining claim is distinguishable from pairwise keying, trapped-key sequencing, and fixed multi-connector plates by its propagation of interface classes through composable rules, retained derivation trace, branch and version obligations, and passive terminal check. It has explicit false-acceptance, false-rejection, substitution, and bypass falsifiers.","source_ids":["SRC2","SRC3","SRC4"]},"bounded_next_test":{"status":"PASS","rationale":"An isolated nonenergizing mock-up with no more than six endpoint classes and eight rule types, a preregistered finite topology set, blinded assembly, and stopping at the first false acceptance is bounded and directly tests the contrastive mechanism.","source_ids":["SRC2","SRC4"]},"no_obvious_safety_or_authority_stop":{"status":"PASS","rationale":"No obvious stop applies to the proposed unpowered or current-limited indicator-only mock-up if it remains under the lab owner's electrical-safety authority and does not control a real rig. Existing protections, qualified review, and de-energization practices must remain; later hazardous-energy use would require a separate standards and safety assessment.","source_ids":["SRC2","SRC3","SRC4"]}},"screen_survival":true,"world_novelty_boundary":"This bounded public-web screen found adjacent but not identical prior art. It cannot establish world novelty, patentability, freedom to operate, market size, expert acceptance, field effectiveness, or realized value."}