{"schema_version":1,"experiment_id":"eoa_inverse_innovation_exp04_retrieval_first_paired20_20260802","cell_id":"computability_boundary_mapping__art_aesthetics","hypothesis_id":"H3","search_queries":["software-based art conservation behavioral testing migration interaction protocol significant properties","interactive digital artwork preservation acceptance testing test cases behavior conservation","bounded trace equivalence exhaustive testing interactive systems conformance standard","finite state trace equivalence model checking exhaustive bounded interactions","patent bounded trace equivalence software migration exhaustive interaction testing","museum time-based media conservation software migration validation test protocol interactive artwork","Alloy Analyzer bounded exhaustive analysis scope official"],"sources":[{"source_id":"C1","title":"The Conserving Computer-Based Art Initiative","publisher":"Solomon R. Guggenheim Museum and Foundation","url":"https://www.guggenheim.org/conservation/the-conserving-computer-based-art-initiative","source_class":"OFFICIAL_ORGANIZATION_DATA","claims_supported":["Computer-based-art treatments already include migration, emulation, virtualization, and repair.","Conservators assess treatment effects on intended behavior and decide, often with artists, which changes preserve integrity.","Identity and iteration reports document behaviors, significant properties, dependencies, and successive realizations."]},{"source_id":"C2","title":"Preserving Software-Based Art at Tate: From Research to Best Practices","publisher":"Electronic Media Review / American Institute for Conservation","url":"https://resources.culturalheritage.org/emg-review/volume-7-2021-2022/preserving-software-based-art-at-tate-from-research-to-best-practices/","source_class":"PRIMARY_RESEARCH","claims_supported":["Tate has standardized acquisition and preservation workflows for software-based artworks, including condition checking, documentation, disk imaging, emulation, and variant records.","The practice remains resource-intensive and technically heterogeneous, with unresolved questions concerning sustainability, source-code analysis, and automation.","The described workflow does not require exhaustive bounded comparison of original and migrated interaction traces."]},{"source_id":"C3","title":"Computer-Based Art: Best Practices","publisher":"Electronic Arts Intermix","url":"https://www.eai.org/resourceguide/preservation/computer/bestpractices_p.html","source_class":"OFFICIAL_GUIDANCE","claims_supported":["Professional guidance treats behavior, audience interaction, essential components, acceptable change, and physical or conceptual boundaries as conservation documentation targets.","The guidance acknowledges that computer-art preservation lacks strict, uniform standards.","Suggested interaction documentation uses interviews, recordings, diagrams, and narratives rather than complete trace-space certification."]},{"source_id":"C4","title":"Regression Testing and Conformance Testing Interactive Programs","publisher":"National Institute of Standards and Technology","url":"https://www.nist.gov/publications/regression-testing-and-conformance-testing-interactive-programs","source_class":"GOVERNMENT_OR_REGULATOR","claims_supported":["Automated regression and standards-conformance testing of interactive programs was demonstrated by 1992.","Scripted interaction can replace some expensive human testing, establishing a neighboring mechanism for replaying and comparing interactive behavior.","The source does not claim exhaustive coverage of a declared finite interaction grammar."]},{"source_id":"C5","title":"Questa Equivalent RTL","publisher":"Siemens","url":"https://www.siemens.com/en-gb/products/ic/questa-one/formal-verification/equivalent-rtl/","source_class":"COMMERCIAL_FIRST_PARTY","claims_supported":["A commercial product already performs automated exhaustive comparison between specification and implementation code.","The product identifies output-behavior differences across inputs through formal equivalence analysis.","Its target is hardware RTL, not artist-defined preservation behavior or museum acceptance."]},{"source_id":"C6","title":"Model-Checking Process Equivalences","publisher":"arXiv","url":"https://arxiv.org/abs/1210.2451","source_class":"PRIMARY_RESEARCH","claims_supported":["Formal process equivalences already capture competing meanings of two dynamic systems having the same behavior, including trace equivalence and bisimulation.","The paper gives model-checking decision procedures for multiple process-equivalence relations.","It shows that behavioral identity requires selecting a precise equivalence relation rather than relying on an informal notion of sameness."]},{"source_id":"C7","title":"Scope-Complete Code Analysis","publisher":"MIT Computer Science and Artificial Intelligence Laboratory","url":"https://publications.csail.mit.edu/abstracts/abstracts05/gdennis/gdennis.html","source_class":"PRIMARY_RESEARCH","claims_supported":["Scope-complete analysis explicitly bounds execution-trace length and allocated objects, then exhaustively searches every execution within those bounds.","The resulting guarantee is complete only inside the user-declared scope and may miss divergences requiring a larger bound.","This is a close technical precedent for replacing finite replay samples with an exhaustive, explicitly bounded behavioral claim."]}],"proximity":"SUBSTANTIAL_COLLISION","closest_analogues":[{"name":"MIT Scope-Complete Code Analysis","similarity":"Nearly identical computational contract: declare trace and state bounds, exhaustively analyze the bounded region, and withhold any claim beyond it.","remaining_difference":"It checks conventional software against a specification, not two artwork realizations against an artist- and conservator-authored interaction grammar at collection acceptance.","source_ids":["C7"]},{"name":"Formal process-equivalence model checking and commercial RTL equivalence checking","similarity":"Already formalizes behavioral sameness between implementations and supplies automated exhaustive comparison procedures.","remaining_difference":"The equivalence relation and observable outputs are engineering specifications, not conservation judgments about significant artistic behavior.","source_ids":["C5","C6"]},{"name":"Guggenheim and Tate software-art conservation workflows","similarity":"Already compare and document realizations, intended behavior, significant properties, dependencies, acceptable changes, and migration or emulation decisions.","remaining_difference":"The opened workflows do not require complete enumeration of an enforceable interaction grammar, a declared depth bound, or a machine-checkable trace-coverage certificate.","source_ids":["C1","C2","C3"]},{"name":"Automated regression and conformance testing of interactive programs","similarity":"Automates audience-like interaction sequences and checks interactive software behavior against prior or normative behavior.","remaining_difference":"It is test-suite based and does not establish completeness over all traces within a formally declared finite space.","source_ids":["C4"]}],"overlapping_components":["Work-specific behavioral and significant-property specification","Comparison of original and migrated or emulated realizations","Automated interaction replay and conformance checking","Formal process or trace equivalence","Declared finite trace and state bounds","Exhaustive exploration within the declared scope","Explicit non-generalization beyond the analysis bound","Acquisition and treatment documentation for future iterations"],"remaining_contrastive_claim":"At migration acceptance, conservators can translate artist-identified significant behavior into an enforceable finite interaction grammar and issue a machine-checkable certificate that two artwork implementations agree on every trace through a declared depth while explicitly classifying all other interactions as out of scope.","claim_falsifier":"An earlier conservation protocol, deployed product, patent, or documented artwork treatment requiring pairwise original-versus-migration comparison over every trace of an enforceable interaction grammar through a stated depth, with machine-checkable coverage and explicit out-of-scope handling, would eliminate the remaining distinction.","problem_support":"MODERATE","recommendation":"DIFFUSION_LANE","world_novelty_boundary":"The bounded search found strong collision with established scope-complete analysis, process-equivalence checking, interactive conformance testing, and software-art migration documentation, but no opened source combined them into the stated museum-acceptance certificate. Any novelty is therefore bounded to domain-specific formalization, governance, and adoption in software-art conservation—not to bounded exhaustive checking, trace equivalence, or behavioral migration assessment themselves."}