{"schema_version":1,"experiment_id":"eoa_inverse_innovation_exp09_archetype_breadth150_20260804","research_id":"eoa_inverse_innovation_exp09_light_prior_art_20260804","cell_id":"incentive_compatible_rule_design__chemistry_materials","search_lanes":{"direct_problem_and_intervention":{"queries":["shared transmission electron microscope facility booking cancellation no show unused time policy","research core facility instrument scheduling no-shows unused booked time study"],"source_ids":["SRC1","SRC3"],"no_result_note":"Direct policies exposed unused reservations, late cancellations, no-shows, and deterrent charges, but no retained source documented a readiness-certified versus exploratory self-selection rule."},"synonyms_and_historical_terms":{"queries":["shared laboratory equipment booking overbooking strategic reservations study","electron microscopy facility reservation cancellation policy no show training sample readiness"],"source_ids":["SRC1","SRC3","SRC4"],"no_result_note":"Search included no-show, unused appointment time, overbooking, strategic appointment acquisition, assisted use, and first-come-first-served allocation; none yielded the complete proposed mechanism."},"products_practices_and_standards":{"queries":["core facility instrument scheduling cancellation fees no show policy iLab microscopy","microscope facility sample readiness reservation preflight checklist exploratory assisted session"],"source_ids":["SRC1","SRC2","SRC3"],"no_result_note":"Existing products and facility practices implement forms, approvals, booking limits, cancellation windows, usage tracking, assisted service, and monetary penalties, but not the proposed future-priority stake tied to a narrowly adjudicated readiness claim."},"component_combination":{"queries":["shared scientific instrument scheduling priority deposit readiness checklist random audit","mechanism design scarce facility reservations refundable priority deposit random audit self selection"],"source_ids":["SRC2","SRC3","SRC4"],"no_result_note":"No close public match was found for the combined protected exploratory lane, readiness-certified longer lane, bounded noncash priority stake, probabilistic verification, exceptions, and appeal."}},"sources":[{"source_id":"SRC1","title":"Facility Policy | Facility for Electron Microscopy Research","publisher":"McGill University","url":"https://www.mcgill.ca/femr/access/facility-policy","source_type":"OFFICIAL_GUIDANCE","claims_supported":["Electron-microscope reservations prevent other users from accessing the booked instrument.","The facility charges for late cancellations, no-shows, and partly used reservations and explicitly tells users not to book more time than needed.","Instrument downtime can waive charges, questionable charges can be reviewed, and hazardous or unsuitable samples require separate controls."]},{"source_id":"SRC2","title":"iLab — Schedule Settings","publisher":"Agilent Technologies","url":"https://help.ilab.agilent.com/37446-managing-schedule-equipment/266098-editing-equipment.html","source_type":"FIRST_PARTY_PRODUCT","claims_supported":["A widely used core-facility scheduling product supports reservation forms, permission groups, staff approval, usage types, reservation-length limits, cancellation windows, fees, and cancellation reporting.","Equipment-fault cancellations can be exempted from cancellation fees.","These configurable primitives could support parts of a shadow evaluation, but the documented product does not prescribe the proposed truth-revealing readiness mechanism."]},{"source_id":"SRC3","title":"Billing and cancellation rules","publisher":"Cornell University Institute of Biotechnology","url":"https://www.biotech.cornell.edu/core-facilities-brc/facilities/flow-cytometry-facility/billing-cancellation-rules","source_type":"OFFICIAL_GUIDANCE","claims_supported":["A high-demand shared-instrument facility bills unused appointment time at half rate, no-shows at full rate, and late cancellations unless another user takes the slot.","The facility distinguishes instrument categories and offers assisted or full-service work and training.","This combines differentiated service with consequences for unused capacity, but not readiness self-certification, randomized verification, or a refundable future-priority stake."]},{"source_id":"SRC4","title":"How to Avoid Black Markets for Appointments with Online Booking Systems","publisher":"American Economic Association","url":"https://www.aeaweb.org/articles?id=10.1257/aer.20191204","source_type":"PRIMARY_RESEARCH","claims_supported":["Appointment-booking rules can make strategically undesirable reservation behavior profitable.","The authors model first-come-first-served booking and report laboratory experiments confirming a predicted strategic response.","Changing the allocation mechanism to randomized batch allocation can alter participant incentives, although the studied intervention and domain differ from readiness revelation in research facilities."]}],"problem_evidence":{"status":"PARTLY_SUPPORTED","finding":"The operational symptom is visible: electron-microscopy and other core-facility policies explicitly recognize that partly used, unused, late-cancelled, and no-show reservations deny access to others and impose charges to deter them. The retained evidence does not quantify how much TEM capacity is lost specifically to controllable unreadiness, nor establish that researchers strategically inflate duration or priority because they privately know their preparation state.","source_ids":["SRC1","SRC2","SRC3","SRC4"]},"closest_prior_art":[{"name":"McGill electron-microscopy reserved-time and cancellation charges","source_ids":["SRC1"],"overlap":"Direct TEM practice charges late cancellations, no-shows, and the full reserved duration when a session is only partly used; it exempts instrument downtime and permits charge review.","remaining_difference":"It applies undifferentiated monetary consequences after booking and does not offer a protected exploratory lane, elicit readiness through self-selection, stake future priority, or randomly verify certified readiness."},{"name":"Cornell differentiated scheduling, assisted service, and unused-time charges","source_ids":["SRC3"],"overlap":"Combines differentiated instrument scheduling and assisted service with partial charges for unused or late-cancelled capacity and full charges for no-shows.","remaining_difference":"The service categories are not a readiness-revelation menu, and there is no readiness evidence standard, probabilistic audit, refundable noncash stake, or appeal-based classification of controllable unreadiness."},{"name":"Configurable iLab scheduling controls","source_ids":["SRC2"],"overlap":"Provides many implementation components: custom reservation forms, permission groups, approvals, usage types, duration limits, cancellation fees, usage sessions, and reporting.","remaining_difference":"The documentation presents configurable administrative controls rather than the candidate's coupled incentive mechanism, protected lane, randomized claim verification, shadow trial, or equity test."},{"name":"Randomized redesign of strategically exploited appointment booking","source_ids":["SRC4"],"overlap":"Primary research treats appointment allocation as a mechanism-design problem, models strategic exploitation of first-come-first-served booking, and experimentally tests a randomized alternative.","remaining_difference":"It targets appointment scalping with batch allocation, not private experimental readiness, executable microscope sessions, self-selection between certified and exploratory service, or a refundable priority stake."}],"prior_art_disposition":"ADJACENT_PRIOR_ART","contrastive_claim_remaining":"For shared characterization instruments, adding a protected short staff-assisted exploratory lane to a readiness-certified longer lane, while placing a bounded amount of future booking priority at risk and probabilistically verifying only predefined readiness claims, will make lane choice predict controllable session readiness better than ordinary forms, reminders, caps, assisted service, or undifferentiated cancellation charges, without materially reducing access for less-resourced laboratories.","contrastive_claim_falsifier":"The claim fails if controllable pre-session unreadiness is not a distinguishable, decision-relevant source of stranded time; if nonbinding lane choices do not predict independently coded readiness outcomes after adjustment for experiment type and laboratory resources; or if the exploratory lane or priority stake systematically removes a viable access path for less-resourced users.","gates":{"adequate_source_search":{"status":"PASS","rationale":"The bounded search covered the direct TEM problem, no-show and unused-time terminology, facility policies and scheduling products, assisted-service practices, and component combinations in mechanism-design research. Four opened sources span four publishers and include official facility guidance, a first-party product source, and primary research.","source_ids":["SRC1","SRC2","SRC3","SRC4"]},"supported_problem":{"status":"PASS","rationale":"Official policies directly show that unused and partly used reservations strand scarce instrument access and that facilities already impose consequences. The proposed strategic-readiness explanation remains unverified, so support is partial rather than complete.","source_ids":["SRC1","SRC3"]},"distinct_testable_claim":{"status":"PASS","rationale":"The remaining claim specifies a distinguishable mechanism and measurable comparison: whether protected exploratory access plus a future-priority stake and probabilistic readiness verification improves prediction of controllable readiness relative to existing administrative controls and penalties. No retained source disclosed that complete combination.","source_ids":["SRC1","SRC2","SRC3","SRC4"]},"bounded_next_test":{"status":"PASS","rationale":"A nonbinding review of at most 60 completed reservations, independent coding of causes and advance signals, and shadow lane choices is limited, reversible, and capable of rejecting the claim before allocation rules change. Existing systems expose relevant reservation, cancellation, form, and usage records.","source_ids":["SRC1","SRC2","SRC3"]},"no_obvious_safety_or_authority_stop":{"status":"PASS","rationale":"The authorized first step changes no access, fees, or priority. Separate handling of hazardous samples and instrument faults is consistent with observed facility practice. Any operational consequence still requires governance approval, human classification, exceptions, appeal, equity review, and rollback.","source_ids":["SRC1","SRC2"]}},"screen_survival":true,"world_novelty_boundary":"This bounded four-source public-web screen found adjacent practices and mechanism-design research but no close match to the complete combination. It cannot establish world novelty, patentability, market size, expert acceptance, or realized value."}