{"schema_version":1,"experiment_id":"eoa_inverse_innovation_exp04_retrieval_first_paired20_20260802","cell_id":"computability_boundary_mapping__ethnography_qualitative_methods","hypothesis_id":"H3","search_queries":["\"fieldwork protocol\" branching logic interview software ethics","qualitative interview \"adaptive\" protocol software branching","research ethics executable protocol model checking consent workflow","formal verification human subjects research protocol finite state consent","patent adaptive interview protocol branching consent safety model checking","site:qualtrics.com/support survey branching logic end of survey consent official","site:hhs.gov OHRP protocol changes IRB approval unanticipated problems informed consent","\"model checking\" \"research protocol\" ethics consent"],"sources":[{"source_id":"PA1","title":"AI Interview Platform for Qualitative Research","publisher":"Fieldwork","url":"https://dofieldwork.io/product/interviews","source_class":"COMMERCIAL_FIRST_PARTY","claims_supported":["A current qualitative-research product conducts adaptive interviews using researcher-defined topics, depth settings, and rules for moving between topics.","Executable, data-dependent qualitative interviewing is therefore a present product capability rather than merely a hypothetical representation."]},{"source_id":"PA2","title":"Branch Logic","publisher":"Qualtrics","url":"https://www.qualtrics.com/support/survey-platform/survey-module/survey-flow/standard-elements/branch-logic/","source_class":"OFFICIAL_PRODUCT_DOCUMENTATION","claims_supported":["Qualtrics represents respondent-dependent research instruments as nested branches, question blocks, conditions, and terminating End of Survey elements.","Its survey flow already provides a workflow-like representation in which answers and embedded data determine subsequent states."]},{"source_id":"PA3","title":"Preview Survey","publisher":"Qualtrics","url":"https://www.qualtrics.com/support/survey-platform/survey-module/preview-survey/","source_class":"OFFICIAL_PRODUCT_DOCUMENTATION","claims_supported":["Qualtrics recommends previewing a survey to test skip logic, branch logic, piped text, and other interactive elements.","Testing logic dependent on embedded data can require supplying particular test values, illustrating a trace- or case-testing practice distinct from an exhaustive safety proof."]},{"source_id":"PA4","title":"Model-Checking the Implementation of Consent","publisher":"arXiv","url":"https://arxiv.org/abs/2409.11803","source_class":"PRIMARY_RESEARCH","claims_supported":["The authors translate informed-consent requirements into operational state-transition models, mechanize them in TLA+, and model-check privacy and consent properties.","The model checker explores nondeterministically triggered events and verifies that concrete refinements implement an abstract consent semantics.","The work reports state-explosion limits, confirming that the guarantee is model-relative and does not automatically scale to arbitrarily enlarged models."]},{"source_id":"PA5","title":"Reviewing and Reporting Unanticipated Problems Involving Risks to Subjects or Others and Adverse Events: OHRP Guidance","publisher":"U.S. Department of Health and Human Services, Office for Human Research Protections","url":"https://www.hhs.gov/ohrp/regulations-and-policy/guidance/reviewing-unanticipated-problems/index.html","source_class":"GOVERNMENT_OR_REGULATOR","claims_supported":["IRB approval requires minimizing risk, assessing risk-benefit reasonableness, and, where appropriate, providing safety monitoring.","Unexpected protocol-related events may create physical, psychological, social, or economic risks and can require protocol or consent changes.","This supports the safety-review problem but does not establish that IRBs presently demand universal algorithmic safety guarantees."]},{"source_id":"PA6","title":"Understanding Qualitative Field Work: Ethical Considerations","publisher":"University of Nottingham","url":"https://www.nottingham.ac.uk/helmopen/rlos/research-evidence-based-practice/designing-research/types-of-study/understanding-qualitative-field-work/section07.html","source_class":"OFFICIAL_GUIDANCE","claims_supported":["Qualitative fieldwork requires ethical approval and protocol preparation.","The guidance emphasizes that ethical issues can arise at any point in natural, uncontrolled field settings, exposing a substantive limitation of any finite formal model of fieldwork."]},{"source_id":"PA7","title":"Attachment C: Recommendation on Protocol Deviations","publisher":"U.S. Department of Health and Human Services, Secretary's Advisory Committee on Human Research Protections","url":"https://www.hhs.gov/ohrp/sachrp-committee/recommendations/2012-march-30-letter-attachment-c/index.html","source_class":"OFFICIAL_GUIDANCE","claims_supported":["Human-subjects governance already distinguishes approved protocol behavior, amendments, deviations, and emergency departures.","Changes affecting participant rights, safety, or welfare generally require review, while emergency departures remain possible to eliminate immediate hazards.","This is a governance analogue to quarantining unsupported extensions, although it is not a formal-language or model-checking system."]}],"proximity":"ADJACENT_PRIOR_ART","closest_analogues":[{"name":"TLA+ model checking of operational consent implementations","similarity":"It formalizes consent as state transitions, exhaustively checks stated properties within a model, and separates abstract requirements from operational implementations—the central verification mechanism proposed by H3.","remaining_difference":"It concerns data-processing consent in cookie-banner and Bluetooth scenarios, not an authoring language for adaptive qualitative fieldwork with mechanically rejected extensions and ethics-reviewer-facing expressiveness disclosures.","source_ids":["PA4"]},{"name":"Qualtrics branching survey flows plus preview testing","similarity":"It already represents research interactions as conditional branches, nested blocks, and terminating states, and provides a pre-deployment testing workflow.","remaining_difference":"The opened documentation does not establish exhaustive model checking of participant-safety properties, a proved finite safe fragment, or rejection of out-of-fragment behavior.","source_ids":["PA2","PA3"]},{"name":"Fieldwork adaptive AI qualitative interviewer","similarity":"It executes researcher-defined adaptive interview structure and movement rules in the exact qualitative-research domain.","remaining_difference":"The opened first-party page does not document finite-state semantics, exhaustive verification, formal safety properties, or quarantine of unrestricted model behavior.","source_ids":["PA1"]},{"name":"IRB protocol-change and deviation control","similarity":"Existing human-subjects governance already bounds approved conduct, reviews safety-affecting changes, and distinguishes approved amendments from deviations and emergency departures.","remaining_difference":"The control is documentary and institutional rather than a mechanically enforced language boundary coupled to model checking.","source_ids":["PA5","PA7"]}],"overlapping_components":["Executable data-dependent research protocols","Conditional branching and explicit terminal states","Adaptive qualitative interviewing","Formal state-transition models","Model checking of informed-consent properties","Pre-deployment protocol testing","IRB review of participant risks","Governance of protocol changes and deviations","Explicit recognition that field conditions can exceed the approved model"],"remaining_contrastive_claim":"Within this bounded search, no located source integrates a qualitative-fieldwork-specific, mechanically enforced finite-state authoring language with exhaustive checking of participant-safety and consent properties, automatic quarantine of unrestricted extensions, and reviewer-visible disclosure of the resulting expressiveness loss.","claim_falsifier":"A preexisting publication, product manual, deployed IRB workflow, or patent showing adaptive qualitative interview or observation protocols compiled into an enforceable finite-state fragment, exhaustively checked for consent or participant-safety properties, and automatically rejected or quarantined when extensions escape that fragment would falsify the remaining claim.","problem_support":"MODERATE","recommendation":"RESEARCH","world_novelty_boundary":"The individual mechanisms are not world-new: adaptive qualitative interview execution, branching research instruments, formal model checking of consent, and governance of protocol deviations all have direct prior art. The potentially novel boundary is only their domain-specific integration into an ethics-review workflow for qualitative fieldwork, especially the formal property vocabulary, mechanically enforced extension boundary, and explicit accounting of field-relevant behavior lost by restriction. The eight-query search did not surface a patent directly claiming that complete combination, but this was not a comprehensive patent-landscape search."}