{"schema_version":1,"experiment_id":"eoa_inverse_innovation_exp04_retrieval_first_paired20_20260802","cell_id":"computability_boundary_mapping__art_aesthetics","round_index":0,"assessments":[{"hypothesis_id":"H1","search_queries":["interactive art installation formal verification model checking safety","museum interactive installation photosensitive epilepsy flashing safety guidelines","creative coding platform photosensitive seizure flash warning accessibility","formal verification interactive systems safety model checking installation"],"sources":[{"source_id":"H1-S1","title":"ISO 9241-391:2016 — Requirements, analysis and compliance test methods for the reduction of photosensitive seizures","publisher":"International Organization for Standardization","url":"https://www.iso.org/standard/56350.html","source_class":"STANDARD","claims_supported":["A formal standard already specifies requirements and compliance-test methods for reducing seizure risk from flashing images and repetitive patterns on electronic displays.","The standard applies to image content independently of the display device or environment."]},{"source_id":"H1-S2","title":"Understanding Guideline 2.3: Seizures and Physical Reactions","publisher":"World Wide Web Consortium","url":"https://www.w3.org/WAI/WCAG22/Understanding/seizures-and-physical-reactions.html","source_class":"OFFICIAL_GUIDANCE","claims_supported":["WCAG already defines machine-testable flash-related accessibility criteria, including three-flash thresholds and animation caused by interaction.","The guidance aims to prevent known seizure-triggering content rather than relying only on warnings."]},{"source_id":"H1-S3","title":"LTSA Eclipse","publisher":"Imperial College London Department of Computing","url":"https://www.doc.ic.ac.uk/ltsa/eclipse/","source_class":"OFFICIAL_PRODUCT_DOCUMENTATION","claims_supported":["LTSA models concurrent systems and required properties as interacting finite-state machines.","It exhaustively performs compositional reachability analysis to find property violations."]},{"source_id":"H1-S4","title":"Visitors with epilepsy","publisher":"Questacon — The National Science and Technology Centre","url":"https://www.questacon.edu.au/visiting/accessibility-and-inclusion/epilepsy","source_class":"OFFICIAL_ORGANIZATION_DATA","claims_supported":["A public exhibition institution reports testing flashing or changing-light exhibits for exhibition safety.","The institution nevertheless publishes exhibit-specific residual cautions and changing-experience caveats."]}],"closest_analogue":"Photosensitive-flash conformance testing under ISO/WCAG combined with finite-state reachability checking such as LTSA.","overlap":"Existing sources already supply formal flash-hazard predicates, compliance testing, finite-state behavioral models, exhaustive reachability analysis, and an exhibition workflow in which interactive exhibits are tested and residual cautions disclosed.","remaining_difference":"The testable remainder is an installation-specific pipeline that derives a sound over-approximation from an executable artwork and its event model, checks both flashing and nonvisual hazardous states, and demonstrates on retrospective builds that every certified-safe result remains safe under reproduced in-model behavior while inconclusive results are not cleared.","classification":"POSSIBLE_DISTINCTION","disposition":"ADVANCE","rationale":"The ingredients are mature, but the shallow search did not reveal their first-party deployment as a sound, abstaining acceptance screen for executable interactive artworks. The proposed retrospective falsification test can distinguish that workflow from ordinary frame testing and generic model checking."},{"hypothesis_id":"H2","search_queries":["decidable constraint language graphic design composition rules system","visual constraint language layout solver creative design primary paper","Sketchpad constraints graphic design language composition","constraint based graphic design system visual composition rules"],"sources":[{"source_id":"H2-S1","title":"A Decidable Constraint Diagram Reasoning System","publisher":"Journal of Logic and Computation","url":"https://academic.oup.com/logcom/article/15/6/975/1086842","source_class":"PRIMARY_RESEARCH","claims_supported":["Prior research formalized a restricted visual constraint language and proved its reasoning system sound and complete.","A decision procedure was extracted for the restricted fragment."]},{"source_id":"H2-S2","title":"Solvi: A visual constraint modeling tool","publisher":"Journal of Computer Languages / University of Victoria repository","url":"https://dspace.library.uvic.ca/bitstreams/c3ad84eb-c9ed-4df6-90aa-ae8e431501ff/download","source_class":"PRIMARY_RESEARCH","claims_supported":["Solvi provides a visual language for authoring constraint models, translates them to a constraint-programming language, invokes a solver, and visualizes solutions.","Its evaluation explicitly studies whether nonexperts can express useful constraints through the restricted interface."]},{"source_id":"H2-S3","title":"Sketchpad: A Man-Machine Graphical Communication System","publisher":"University of Cambridge Computer Laboratory archive","url":"https://www.cl.cam.ac.uk/~pr10/iui/sutherland63.pdf","source_class":"PRIMARY_RESEARCH","claims_supported":["Sketchpad allowed users to impose mathematical and geometric relationships on drawings and automatically attempted to satisfy them.","The work already exposed the distinction between one-pass terminating solutions and relaxation that might not reach a correct solution in finite time."]},{"source_id":"H2-S4","title":"13 Graphic Design Principles + How To Apply Them","publisher":"Figma","url":"https://www.figma.com/resource-library/graphic-design-principles/","source_class":"COMMERCIAL_FIRST_PARTY","claims_supported":["A contemporary creative tool operationalizes composition-related rules such as alignment, grids, spacing, balance, hierarchy, repetition, and proximity.","Figma identifies auto layout, layout grids, grouping, and design systems as tool-supported ways to enforce several such relationships."]}],"closest_analogue":"A Decidable Constraint Diagram Reasoning System, augmented by Sketchpad-style geometric constraints and Solvi-style end-user visual constraint authoring.","overlap":"The central intervention—restricting a visual constraint language, mechanically solving it, proving decidability or soundness, and exposing it through an authoring interface—already appears directly in prior research. Existing creative software also operationalizes common composition constraints such as alignment, grids, and spacing.","remaining_difference":"The remaining measurable difference is only the proposed corpus-specific claim that one particular fragment covers at least 75% of machine-checkable artistic composition rules while rejecting all out-of-fragment scripts before analysis.","classification":"OBVIOUS_COLLISION","disposition":"REJECT","rationale":"The hypothesis primarily applies established decidable-fragment and visual-constraint-language designs to a neighboring rule corpus. The coverage study could be useful product research, but it does not preserve a sufficiently distinct core intervention for advancement in this shallow screen."},{"hypothesis_id":"H3","search_queries":["software art conservation migration behavioral equivalence interaction replay testing","time based media conservation software emulation authenticity variable media questionnaire official","software-based art conservation significant properties behavior migration testing","museum software art conservation emulation artist intent interaction"],"sources":[{"source_id":"H3-S1","title":"Seeing Double: Emulation in Theory and Practice","publisher":"Solomon R. Guggenheim Museum and Foundation","url":"https://www.guggenheim.org/exhibition/seeing-double-emulation-in-theory-and-practice","source_class":"OFFICIAL_ORGANIZATION_DATA","claims_supported":["The Guggenheim publicly compared original and emulated versions of interactive media artworks to test preservation by emulation.","The preservation target includes artistic intent and integrity rather than byte identity alone."]},{"source_id":"H3-S2","title":"Variable Media Questionnaire: documentation","publisher":"Forging the Future / Variable Media Network","url":"https://variablemediaquestionnaire.net/","source_class":"OFFICIAL_GUIDANCE","claims_supported":["The questionnaire records work-specific functional components, creator priorities, and acceptable preservation strategies including emulation and migration.","It explicitly anticipates slippage during translation and rejects a one-size-fits-all definition of authenticity."]},{"source_id":"H3-S3","title":"Introducing ‘Code Resituation’: Applying the Concept of Minimal Intervention to the Conservation Treatment of Software-based Art","publisher":"Electronic Media Review","url":"https://resources.culturalheritage.org/emg-review/volume-5-2017-2018/engel-2/","source_class":"PRIMARY_RESEARCH","claims_supported":["Software-art migration practice already aims to reproduce intended functional and aesthetic behaviors while preserving significant original code and algorithms.","Two Guggenheim case studies used extensive prototyping and testing to choose and validate treatments."]},{"source_id":"H3-S4","title":"Evaluation of preservation strategies for an interactive, software-based artwork with complex behavior using the case study Horizons (2008) by Geert Mul","publisher":"iPRES / DigiPresPubs","url":"https://www.digipres.org/publications/ipres/ipres-2018/papers/evaluation-of-preservation-strategies-for-an-interactive-softwar/","source_class":"PRIMARY_RESEARCH","claims_supported":["A published conservation case study compares migration and emulation for a complex interactive software artwork.","The evaluation found that a combined migration-and-emulation strategy was needed to preserve behavior with adequate graphics performance."]}],"closest_analogue":"The Variable Media Questionnaire and Guggenheim/iPRES migration-versus-emulation case-study evaluations of interactive software artworks.","overlap":"Current conservation practice already specifies significant behavior and artist intent, compares original and migrated or emulated realizations, prototypes treatments, and records work-specific scope and acceptable change.","remaining_difference":"The testable remainder is a formally enumerated interaction grammar and depth bound whose entire trace space is compared and accompanied by a machine-checkable coverage certificate. The key empirical question is whether conservators can define bounds that are both mechanically enforceable and faithful to the artist-identified significant behaviors.","classification":"POSSIBLE_DISTINCTION","disposition":"ADVANCE","rationale":"The conservation analogues rely on documentation, expert comparison, and case-specific testing, but the opened sources do not describe complete bounded trace-space certification. That difference is narrow, operational, and independently falsifiable without claiming unrestricted behavioral identity."},{"hypothesis_id":"H4","search_queries":["generative art edition exhaustive test all token outputs Art Blocks quality assurance","Art Blocks artist testing outputs edition uniqueness traits official","fxhash generative art iteration testing all seeds edition","generative art mint uniqueness collisions edition pre mint audit"],"sources":[{"source_id":"H4-S1","title":"Art Blocks Docs","publisher":"Art Blocks","url":"https://docs.artblocks.io/","source_class":"OFFICIAL_PRODUCT_DOCUMENTATION","claims_supported":["Art Blocks generates a unique on-chain hash at mint and feeds it to a deterministic artist script.","The same hash is expected to reproduce the same output."]},{"source_id":"H4-S2","title":"Staging & Testing","publisher":"Art Blocks","url":"https://docs.artblocks.io/creator-onboarding/artists/2-staging-and-testing/","source_class":"OFFICIAL_PRODUCT_DOCUMENTATION","claims_supported":["Art Blocks fixes a maximum edition size but recommends minting roughly 20–40 test tokens and rapidly previewing many hashes rather than exhaustively rendering the seed space.","Its review checklist includes rendering errors, trait distributions, undesirable outputs, viewport behavior, edge cases, and performance."]},{"source_id":"H4-S3","title":"Building Your Project","publisher":"Art Blocks","url":"https://docs.artblocks.io/creator-onboarding/artists/1-building-your-project/","source_class":"OFFICIAL_PRODUCT_DOCUMENTATION","claims_supported":["The platform separates token ID from a 32-byte token hash that serves as the artwork's randomness source.","Official testing guidance again calls for testing many hashes and edge cases, while requiring deterministic behavior for any fixed hash."]},{"source_id":"H4-S4","title":"The Art Blocks Generator","publisher":"Art Blocks","url":"https://docs.artblocks.io/protocol/on-chain-generator/","source_class":"OFFICIAL_PRODUCT_DOCUMENTATION","claims_supported":["The generator combines per-token hashes, artist scripts, and dependency libraries to construct browser-viewable outputs.","Token IDs encode project and invocation numbers, while distinct 32-byte hashes supply primary randomness."]}],"closest_analogue":"Art Blocks' pre-lock staging, deterministic-hash testing, trait review, and edge-case inspection for finite-edition generative projects.","overlap":"The platform already freezes scripts, declares maximum invocations, renders deterministic outputs, checks traits and undesirable cases, and tests many seeds before release. These are most of the proposed audit's inputs and predicates.","remaining_difference":"The bounded question for an independent critic is whether any relevant publishing protocol exposes a complete, pre-release mapping from every future edition identifier and render profile to its actual seed, rather than drawing an unpredictable 32-byte hash at mint. Only for such protocols can the proposed pre-mint exhaustive certificate cover the real edition instead of an arbitrary sample of a vastly larger seed space.","classification":"INDETERMINATE_RESEARCH_NEEDED","disposition":"REJECT","rationale":"The official analogue uses sampling, leaving a potential distinction, but its token model also undermines the hypothesis's assumed finite pre-mint domain. Search failure cannot establish novelty; protocol-level seed assignment must be resolved before the exhaustive-audit claim is coherent."},{"hypothesis_id":"H5","search_queries":["constraint based generative art formal brief solver timeout unknown","program synthesis visual art constraints candidate generation SMT solver","Sketch-n-Sketch program synthesis graphic design constraints paper","generative design constraint solver reports unknown timeout satisfiable"],"sources":[{"source_id":"H5-S1","title":"Programmatic and Direct Manipulation, Together at Last","publisher":"ACM research paper via arXiv","url":"https://arxiv.org/abs/1507.02988","source_class":"PRIMARY_RESEARCH","claims_supported":["Sketch-n-Sketch performs program synthesis for SVG graphics by searching for program updates constrained by a desired visual output.","It explicitly handles multiple candidate solutions and search-space ambiguity."]},{"source_id":"H5-S2","title":"The SMT-LIB Standard, Version 2.7","publisher":"SMT-LIB Initiative","url":"https://smt-lib.org/papers/smt-lib-reference-v2.7-r2025-02-05.pdf","source_class":"STANDARD","claims_supported":["The standard distinguishes sat, unsat, and unknown.","Unknown specifically means the search was inconclusive because of resource limits, solver incompleteness, or other reasons; it is not unsat."]},{"source_id":"H5-S3","title":"SUNNY: a Lazy Portfolio Approach for Constraint Solving","publisher":"Theory and Practice of Logic Programming","url":"https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/abs/sunny-a-lazy-portfolio-approach-for-constraint-solving/F65F2BB44129A947982CF74830665F73","source_class":"PRIMARY_RESEARCH","claims_supported":["SUNNY schedules a portfolio of constraint solvers to exploit complementary search behavior.","The approach was empirically evaluated against exhaustive MiniZinc benchmark collections."]},{"source_id":"H5-S4","title":"Program Synthesis from Visual Specification","publisher":"Primary research paper via arXiv","url":"https://arxiv.org/abs/1806.00938","source_class":"PRIMARY_RESEARCH","claims_supported":["Prior work formulates creation of drawing programs from visual specifications as search over a bounded program grammar.","It compares search schedules under explicit state budgets and documents cases where a search exhausts its budget before reaching deeper candidates."]}],"closest_analogue":"Visual program synthesis under a formal or visual specification, using solver portfolios and the SMT-LIB sat/unsat/unknown result contract.","overlap":"Prior work already searches candidate graphic-generating programs, checks candidates against a specification, compares alternative search schedules under equal budgets, and formally distinguishes a witness from inconclusive resource exhaustion. Solver portfolios already prevent dependence on one search strategy.","remaining_difference":"The remaining difference is the commissioning label and a benchmark of planted artistic witnesses; the core witness-only result, explicit unknown state, and multi-generator scheduling protocol are already established.","classification":"OBVIOUS_COLLISION","disposition":"REJECT","rationale":"The proposed causal lever is a direct domain application of existing visual program synthesis, solver-portfolio scheduling, and standardized unknown semantics. Its evaluation design does not create a distinct mechanism beyond those analogues."}],"nominated_ids":["H1","H3"],"replenishment_recommended":false}