{"schema_version":1,"experiment_id":"eoa_inverse_innovation_exp06_four_proposal_generalization60_20260803","cell_id":"bounded_rivalry_governance__aviation_aeronautics","arm":"COMPLETE_PROPOSAL_PORTFOLIO","candidate_id":"brg-aa-01-gate-held-priority-arena","proposal_index":1,"version":0,"title":"Gate-Held Priority Arena for Capacity-Constrained Departure Recovery","problem":"During a capacity-constrained departure recovery, airline operations teams pursue scarce early release positions. If reported readiness or physical presence in the taxi queue influences priority, each team can improve its relative position by declaring an aircraft ready prematurely or pushing it from the gate before a useful takeoff opportunity exists. The resulting rivalry rewards queue occupation and optimistic declarations rather than truthful readiness and operational urgency.","actors":["Air traffic control and flow-management personnel","Airport surface-operations coordinator","Airline dispatch and station-control teams","Flight crews","Ramp and gate personnel","Passengers on affected itineraries","Other airport users exposed to surface congestion, emissions, and blocked infrastructure","Independent contest auditor or review officer"],"observable_state":"For each constrained recovery period: aircraft-reported ready time; verified doors-closed, loading-complete, and clearance-ready state; pushback time; taxi-queue entry and duration; takeoff time; gate and taxiway occupancy; readiness declarations later withdrawn; assigned and unused release opportunities; airline priority bids; controller overrides; and safety or infrastructure-conflict reports. The diagnostic signature is a recurring gap between claimed readiness and verified readiness, coupled with early surface entry or unused release opportunities that can improve relative queue position.","consequence":"Strategic early declarations or pushbacks can consume gates, taxiways, fuel, and controller attention while making departure order less informative about which flight is both executable and operationally urgent. Honest operators may then face pressure to imitate the behavior, and passengers and noncompeting airport users bear spillovers from the rivalry.","affected_objective":"Allocate scarce departure opportunities during recovery to flights that are genuinely executable and comparatively urgent while preserving air traffic control safety authority, surface capacity, truthful operational information, and contestability across airlines.","intervention":"Create a rolling, gate-held priority arena for a bounded recovery period. Air traffic control publishes forecast capacity tranches, while the airport verifies which aircraft are operationally ready without requiring pushback. For each tranche, eligible airline control teams submit sealed bids from a finite, noncash daily priority-credit budget for an accelerated-release nomination; the highest eligible bid receives the nomination and pays the declared second-highest credit amount. Remaining aircraft retain a protected baseline sequence. A nomination never overrides separation, weather, runway, equipment, or controller judgment. A winner that cannot accept release within the declared tolerance loses a preposted readiness bond unless an independently coded exception applies. The frozen rulebook defines readiness evidence, bid timing, prohibited coordination and false declarations, equal audit criteria, appeals, and automatic reopening for every tranche. Cross-tranche bid and readiness patterns are screened only to refer anomalies for independent inquiry. After the bounded recovery period, an impact review compares realized readiness, queue occupation, unused opportunities, overrides, distribution across operators, and spillovers against the stated purpose and revises or retires the arena.","structural_mapping":[{"archetype_element":"Rivalry purpose statement","domain_realization":"Use rivalry to elicit airline-held information about which verified-ready flight most warrants scarce acceleration during recovery, without using physical queue occupation as the signal."},{"archetype_element":"Scarce prize or selection constraint","domain_realization":"One accelerated-release nomination within each published capacity tranche; all other flights retain a protected baseline path."},{"archetype_element":"Competitor eligibility boundary","domain_realization":"Only designated airline operational-control teams may bid, and only for aircraft whose required gate-readiness state has been independently verified."},{"archetype_element":"Contest arena boundary","domain_realization":"Allowed moves are truthful readiness submission, sealed credit bidding, withdrawal before the deadline, and appeal. Premature pushback to influence rank, false readiness evidence, bid signaling, retaliation, and interference with another operator are outside the arena."},{"archetype_element":"Performance metric and scoring basis","domain_realization":"The immediate selection rule is the highest eligible priority-credit bid, using the capped credits to reveal relative airline urgency; validation separately tracks whether nominations were executable and whether the arena served the recovery objective."},{"archetype_element":"Fair process and due process layer","domain_realization":"Rules, credit endowments, eligibility evidence, payment rule, exception codes, tie-breaks, audit sampling, and a time-boxed appeal route are fixed before the recovery contest begins."},{"archetype_element":"Anti-sabotage and anti-collusion guardrail","domain_realization":"Uniform screens examine repeated bid rotation, reciprocal abstention, correlated bid changes, and selective readiness withdrawals; screens create investigation referrals rather than findings of misconduct."},{"archetype_element":"Externality and spillover boundary","domain_realization":"Aircraft remain gate-held until release is credible, and a readiness bond attaches a cost to winning a nomination that cannot be used, while operational exceptions prevent punishment for controller- or safety-driven changes."},{"archetype_element":"Escalation and arms-race damper","domain_realization":"A finite noncash credit budget and a protected baseline sequence prevent unlimited bidding and remove the positional benefit of entering the taxi queue early."},{"archetype_element":"Winner power and lock-in review","domain_realization":"Every capacity tranche reopens eligibility; one win conveys no control over later rules, infrastructure, or nominations, and concentration of awards is reviewed after the period."},{"archetype_element":"Learning and recalibration loop","domain_realization":"A precommitted review tests whether readiness rules, credit budgets, bond levels, exception codes, and tranche duration produced the intended behavior and specifies changes or retirement criteria."}],"mechanism_mapping":[{"mechanism_slug":"contest_rulebook","role":"Freezes eligibility, readiness evidence, bidding, tie-break, prohibited conduct, audit, and appeal terms before participants know the results.","counterfactual_removal":"Without it, operators and judges could dispute or alter what counts as ready, urgent, or permissible after seeing who benefits."},{"mechanism_slug":"auction_with_eligibility_and_externality_rules","role":"Uses sealed, noncash priority-credit bids among verified-ready aircraft to allocate each scarce accelerated-release nomination.","counterfactual_removal":"Without the competitive bid, the design no longer elicits each airline's private ranking of operational urgency and becomes an ordinary centralized sequencing rule."},{"mechanism_slug":"spending_cap_or_resource_cap","role":"Limits every airline's total priority credits over the bounded recovery period, forcing selective use and preventing an unlimited priority arms race.","counterfactual_removal":"Without the cap, repeated high bidding could become costless signaling or allow the largest operator to pursue every accelerated position."},{"mechanism_slug":"externality_bond_or_liability_rule","role":"Requires a credit bond against claiming a nomination that the aircraft cannot accept, with predefined exceptions for safety and authority-driven changes.","counterfactual_removal":"Without the bond, optimistic readiness declarations could win priority while exporting unused capacity and resequencing work to everyone else."},{"mechanism_slug":"anti_collusion_monitoring","role":"Pools bid and readiness behavior across tranches to identify patterns warranting independent investigation.","counterfactual_removal":"Without pooled screening, reciprocal abstention, bid rotation, or coordinated signaling could make the arena appear competitive while suppressing rivalry."},{"mechanism_slug":"sabotage_or_foul_penalty_schedule","role":"Publishes graduated consequences for falsified readiness evidence, prohibited signaling, interference, and repeated non-exempt nomination failures.","counterfactual_removal":"Without known and consistently applied consequences, prohibited tactics could remain profitable even when detected."},{"mechanism_slug":"challenger_access_window","role":"Reopens the arena for every capacity tranche so an earlier winner or incumbent airline cannot retain priority by default.","counterfactual_removal":"Without recurring reopening, early awards or operator scale could harden into de facto control over the remainder of the recovery."},{"mechanism_slug":"post_contest_impact_review","role":"Compares realized operations and spillovers with the stated purpose, including outcomes for winners, losers, and nonparticipants, then revises or retires the rules.","counterfactual_removal":"Without ex-post review, a gamed readiness definition, miscalibrated bond, or concentrated award pattern could persist because the auction cleared successfully on its own terms."}],"causal_chain":["Capacity restriction makes early departure opportunities scarce and airline flight priorities heterogeneous.","When physical queue position or unaudited readiness affects sequence, each airline can gain by declaring early or occupying surface capacity.","A gate-held eligibility check removes physical queue occupation as an allowed route to advantage.","Finite sealed priority credits let eligible airlines express relative urgency while limiting escalation across repeated tranches.","The readiness bond and foul schedule make unusable nominations, false evidence, and prohibited coordination costly, subject to safety-related exceptions and due process.","Air traffic control applies noncontestable safety constraints and may override every nomination.","Recurring reopening prevents a tranche winner from acquiring lasting control of the arena.","Audited operational outcomes reveal whether winning remained coupled to executable, urgent departures and whether spillovers moved outside the arena.","The governing body revises or retires the rules if strategic adaptation breaks that coupling."],"baseline":"A prespecified comparator in which verified-ready departures follow the airport's existing non-auction sequence, including any first-ready, first-requested, or physical-queue convention, with controllers making the same safety overrides. The first evaluation should preserve recorded capacity constraints so only the sequencing logic differs.","nearest_rivals":["A centralized optimizer that ranks every verified-ready flight using declared passenger, connection, crew, and network-disruption variables; it may coordinate globally but depends on comparable and truthful inputs rather than capped rivalry.","Fixed proportional quotas by airline, possibly followed by each airline's internal sequencing; this limits dominance and is simple to audit but may leave cross-airline urgency undiscovered.","A lottery among verified-ready aircraft; this resists strategic priority claims but deliberately ignores operational urgency.","First-verified-ready sequencing with gate holding; this removes the surface-entry arms race but can shift gaming to the timing and definition of readiness.","A cash auction for departure priority; it supplies a price signal but ties access to financial capacity and creates a monetized safety-adjacent contest that this proposal excludes."],"remaining_contrastive_claim":"The testable contrast is whether a recurring, capped noncash rivalry among independently verified-ready flights reveals useful airline-local urgency while avoiding the queue-occupation incentive, input comparability burden, and durable control risks of the nearest alternatives. This is a design hypothesis, not a claim of effect.","authority_safety":{"decision_authority":"The legally and operationally designated air traffic control authority retains exclusive authority over clearance, separation, runway configuration, weather response, and final departure order. The airport or collaborative operations body may define and administer the experimental nomination process only within authority formally granted to it. An independent reviewer handles contest appeals and misconduct findings.","authorized_first_step":"Conduct a read-only retrospective replay on a small, predeclared set of recorded capacity-constrained recovery periods. Generate counterfactual nominations from timestamped operational records and blinded mock credit bids or structured dispatcher elicitation; do not transmit nominations to controllers or crews.","excluded_actions":["No live sequencing changes","No instruction to push back, taxi, take off, or remain at a gate","No override or evaluation of controller safety judgment","No monetary bidding or transfer of regulatory operating rights","No penalty against personnel or operators based on anomaly screens alone","No use of passenger urgency to relax eligibility, airworthiness, separation, weather, crew-duty, or infrastructure constraints","No collection of data beyond the locally authorized replay dataset"],"halt_rollback":"Stop the replay if required readiness evidence cannot be reconstructed consistently, if protected operational or passenger data cannot be handled under existing authorization, or if the model encodes a safety constraint as contestable. Because the first step is read-only, rollback consists of deleting derived contest outputs under the approved data-retention procedure and retaining the recorded baseline unchanged."},"negative_tests":{"strongest_counterevidence":"Recorded operations show that reported readiness and pushback timing confer no sequencing advantage, that aircraft are already held without losing priority, and that unused opportunities or surface congestion do not covary with strategic declarations during constrained recovery periods.","problem_falsifier":"Across the predeclared sample, independently reconstructed readiness nearly matches reported readiness, premature surface entry does not improve relative departure position, and observed queue occupation is explained by controller or infrastructure constraints rather than rival strategy.","intervention_falsifier":"Under identical recorded capacity and safety constraints, the replay yields no improvement in executable use of nominated opportunities relative to gate-held first-verified-ready sequencing or the centralized optimizer, or it produces materially more overrides, concentrated access, readiness disputes, or simulated surface spillovers.","risks":["Priority credits may become a proxy for airline scale if endowments are poorly normalized.","Operators may shift gaming from pushback timing to readiness evidence or exception coding.","A bond may chill truthful bidding for flights exposed to unpredictable operational changes.","Bid-pattern screens may falsely flag common responses to shared weather or network shocks.","Protected baseline sequencing may still disadvantage small or infrequent operators.","Dispatcher urgency may overweight airline network interests relative to passengers or airport-wide recovery.","Added contest procedures may burden controllers or surface coordinators if not fully separated from safety work.","Repeated bidding may expose commercially sensitive operational priorities.","The arena could appear legitimate while eligibility or credit formulas are tailored to incumbents."]},"next_evidence_step":"Pre-register a retrospective replay of 12 capacity-constrained departure-recovery periods at one participating airport. Reconstruct verified readiness and the baseline sequence; have a small set of authorized airline dispatchers assign finite mock credits to de-identified eligible flights using only information available at each historical decision time; replay the arena without operational contact; and compare it with gate-held first-verified-ready sequencing, proportional quotas, a lottery, and one centralized optimizer. Report nomination usability, unused capacity opportunities, simulated gate and taxi occupancy, controller-rule overrides, credit concentration, exception frequency, disputes, and outcomes by operator size. Treat the exercise as evidence about feasibility and incentive behavior only.","prior_art_status":"UNSEARCHED","diversity_from_prior_proposals":"Not assessed against other proposals; exactly one proposal is in scope for this sealed generation.","revision_record":{"parent_version":null,"progress_targets_addressed":["Initial complete proposal","Concrete aviation actors and observable state","Full archetype-to-domain structural mapping","Mechanism removal counterfactuals","Authority-preserving first evidence step","Explicit problem and intervention falsifiers"],"conceptual_changes":[],"operational_changes":[],"evidence_changes":[],"claim_changes":[]}}