SeyAero — aviation incident investigation platform logo

Capability record

The analysis engines, and what they refuse to answer

SeyAero's occurrence-analysis engines take the facts a case file holds and test each hypothesis against a stated measurement. They cover the phases an investigation actually meets — take-off, climb, cruise, approach, landing, ground roll and the impact site — and the occurrence classes that go with them: controlled-flight upset, high-energy impact, thrust loss, flight-control and trim malfunction, structural failure, landing overrun, obstacle and building strike, midair conflict, propeller asymmetry, rotorcraft occurrences solved on a rotary-wing frame rather than a fixed-wing one, structural separation, ditching, fire, icing, fuel state, pressurisation, loading, wake and deliberate interference.

Everything below is decision support for an accredited investigation. The engines discipline evidence, rank hypotheses, expose gaps and reject invalid counterfactuals. They do not conduct the investigation, and they do not stand in for the investigator-in-charge under ICAO Annex 13.

VALIDATION STATUS — two separate published corpora apply, and their totals are never combined. Analysis Engine Blind Regression Corpus: 6 public cases testing analysis behaviour from raw observables. Hull-Loss Localisation Validation Corpus: 37 recovered cases / 185 seeded runs testing search-location error and containment. The localisation record is at /validation, and the analysis corpus is at /blind-tests. A separate twelve-case occurrence-frame development harness and the documented reruns below are supporting tests, not additions to either published corpus. There is no published probable-cause accuracy rate or comparison against human investigators.

What each engine does

01

Physics matrix

Every hypothesis meets a measurement.

  • — Energy balance, specific excess power, V-n envelope, stall margin, Mach and VMO exceedance.
  • — Phase coverage from take-off roll through initial climb, cruise, approach, landing and ground roll — a landing overrun is analysed as a landing, not as an aborted cruise.
  • — Thrust availability distinguishes total power loss from an asymmetric failure, and withholds a verdict when an oscillating flight path makes the energy apex unreadable.
  • — Aircraft envelopes for common transport classes; an unlisted type is solved on a parametric synthetic envelope that is labelled as such on the result, never silently substituted.
02

Counterfactual simulator

Would the intervention have worked?

  • — Thrust restored, drag cleaned, bank limited, speed traded and immediate escape, each flown from the recorded state.
  • — Results are bounded by two physical ceilings: the class climb rate, and the energy the aeroplane actually held plus the energy the intervention added.
  • — A survivable-window scan reports the last instant at which the intervention still avoided ground contact.
  • — Interventions that do not apply to the recorded regime — an energy counterfactual against a pitch-driven dive, a low-energy trial on a high-energy event — are refused with the reason stated.
03

Sequence, sufficiency and gap radar

What is missing, and what it is worth.

  • — Causal sequencing with antecedent vocabulary for flight control, trim, air data, ATC and TCAS events.
  • — Evidence sufficiency scored per conclusion against ICAO Annex 13 reporting needs, with the specific holding that would move it most.
  • — Analytical results are reported as analysis, never as evidence: a reconstructed chain never lifts a sufficiency score in place of the recorder it stands in for.
  • — Gap radar ranks unexamined themes by the class of evidence that would close them.
04

Wreckage, structure and survivability

The site as a measurement.

  • — High-energy impact solving: TNT equivalence, crater scale, main-field and ejecta radii, fragmentation index and in-flight separation.
  • — Structural break-up and wing or lifting-surface separation, with bounded descent and separation-height estimates rather than a ballistic point claim.
  • — Ground-roll and structure-strike frames for overruns, embankment and building impacts, including ground casualties.
  • — Survivability curves from deceleration, cabin and section integrity, exits, fire onset, rescue time and environment — reported as an uncertainty band, re-solved rather than widened.
  • — No survivor is invented where no structural pocket exists, and none is rounded away where one does.
05

Midair conflict geometry

Two aircraft, one solution.

  • — Closest point of approach, closure rate, separation-minima breach and warning time available.
  • — Advisory compliance judged from the advisory instant where the time is known, and stated as a trailing-window inference where it is not.
  • — Vertical and lateral avoidance counterfactuals, so a heading change can be tested and not only a climb or descent.
06

Rotorcraft

Rotary wing solved as rotary wing.

  • — Weight-class rotorcraft envelopes — light single through heavy twin — with the fixed-wing stall and V-n tests gated off rather than misapplied.
  • — Autorotation energy budget, flare height available, height–velocity exposure and vortex-ring onset judged against induced velocity.
  • — Rotor integrity read from the wreckage: a separated head, mast, gearbox or tail boom is scored as a drive-train and rotor-system finding.
  • — Drive train, anti-torque, degraded visual environment and rotary-wing recorder carriage carried as standing systemic asks on the gap radar.
  • — Blind-tested against three public rotorcraft occurrences: a night terrain impact, an urban building strike and an offshore rotor separation.
07

Propeller-driven aircraft

A propeller is not a small fan.

  • — Windmilling versus feathered disc drag, with the climb-gradient penalty an unfeathered propeller costs on the remaining engine.
  • — Minimum control speed corrected for the bank actually held toward the live engine, and the margin the aircraft had against it.
  • — Propeller overspeed and tip-Mach checks where blade speed is recorded, and governing left open where it is not.
  • — Blade-signature forensics: bending and chordwise scoring read as power delivered at impact, with cause and consequence left undecided.
  • — Reduction-gearbox continuity, autofeather, pitch-change and asymmetric-handling carried as standing asks on the gap radar.
  • — Blind-tested against a public twin-turboprop asymmetry occurrence after lift-off; the frame is gated off entirely for turbofan aircraft.
08

Other hazard frames

Beyond fixed-wing energy.

  • — Ditching: water-entry loads, hull integrity and flotation time.
  • — In-flight fire: progression rate, containment and diversion time available.
  • — Icing: accretion rate, performance penalty and certification-envelope exceedance.
  • — Controlled flight into terrain and loss of visual reference solved as their own family, not as a control malfunction.
  • — Fuel exhaustion or contamination, slow pressurisation loss, crew incapacitation, loading errors, ramp events, turbulence injury, post-crash fire and wake encounters each use their own governing tests.
09

Deliberate interference

A real hypothesis, never a shortcut to intent.

  • — Tests sustained route deviation, communications loss, transponder state, navigation anomalies and subsequent flight-path consistency as one mechanism-specific frame.
  • — Separates navigation interference or spoofing from a deliberate diversion where the evidence permits, while leaving motive and attribution outside the model.
  • — Raises a deduplicated case alert when the saved worksheet crosses the stated threshold, so repeated analysis does not flood the alert rail.
  • — An unexplained endpoint remains unexplained when the required operational, recorder or communications evidence is absent.

Supporting documented reruns

These case-by-case reruns document broader occurrence-family coverage; they are not the 6-case published blind regression corpus and are not included in its total. Each engine change is exercised against public observables only — broadcast track, radiotelephony, aerodrome geometry, site and recovery description, weather, occupancy and survivor counts. Published findings, probable causes and system narratives are withheld from the run and used only to score it afterwards. The set spans distinct occurrence classes, because an engine tuned on one accident is not an investigation tool.

Occurrence classEngines exercisedBlind result
Cruise upset, near-vertical descentHigh-energy impact, fragmentation, crater scale, survivabilityProbable cause refused; complete fragmentation and zero survivors returned.
Landing overrun into a rigid obstacleGround roll, obstacle strike, differential survivability, official-report comparisonPredicted survivors matched the published outcome; landing-phase and embankment causality carried through.
Repeating pitch excursions after departurePeriodic-control detection, family routing, counterfactual boundsRepeating pulse detected and the powerplant explanation withheld; control and trim hypotheses ranked ahead of thrust loss.
Sustained nose-down dive after take-offDive geometry, crater calibration, trim-authority gapDive family identified, stall and loss of control contradicted on speed, no survivors.
Arrival into buildings shortly after lift-offThrust availability, structure strike, ground casualties, differential survivabilityDual thrust loss ranked highest, single-engine loss contradicted, one survivor of the occupants aboard.
Midair collision in controlled airspaceCPA and closure geometry, advisory compliance, dual-field wreckageZero separation at CPA resolved, opposite advisory movement identified, warning time quantified.
Cruise break-up of a pressurised airframeStructural integrity, pressure hull, debris distribution, energy decayIn-flight separation resolved from the debris field; intact-airframe hypotheses contradicted, cause still refused.
Dual thrust loss and water arrivalDitching frame, water-entry loads, flotation, rescue-window survivabilityWater entry solved as a ditching rather than a runway event; the survivor band bracketed the actual outcome.
Rotorcraft: night terrain impact in reduced visibilityRotorcraft envelope, height–velocity, vortex ring, loss of visual referenceVortex-ring state rejected on descent rate; the terrain and visual-reference family ranked ahead of it and cause was refused.
Rotorcraft: urban building strike after power lossRotor energy at reduced N_R, structure strike, ground casualties, rotary-wing gap radarFlare budget quantified at the recorded rotor speed; ground casualties modelled and the rotary-wing dispatch and recorder asks surfaced.
Rotorcraft: offshore rotor separationRotor integrity from wreckage, drive-train gap theme, sequence sufficiencySeparated rotor head scored as a rotor-system finding; near-zero rotor speed flagged as a departed rotor rather than a small flare margin.
Twin turboprop asymmetry after lift-offFeathering drag, Vmca margin, blade signature, propeller family routingUnfeathered disc drag and the sub-Vmca margin quantified; asymmetry hypotheses ranked ahead of stall while an overspeed claim gained nothing from evidence that cannot speak to governing.
Unlisted airframe typeEnvelope provenanceSynthetic envelope used and declared on the face of the result.
Long-range disappearance with satellite handshakesBTO/BFO arcs, fuel endurance, deliberate-interference frame, date-line-safe driftDeliberate diversion remained a supported option alongside fuel exhaustion; intent and probable cause were not asserted, and debris backcasting remained indicative.
Wing separation after departureStructural break-up, lifting-surface descent, survivability, metallurgical gapIn-flight structural separation ranked first; fatigue could not be distinguished without metallurgical evidence.

A subset of the same regression set runs inside the product, so a licensed investigator can re-run it from a case file and read the checks rather than take this page's word for it. Where a blind run has been compared against a published official report, the comparison is kept with the run, including the points on which the engine was wrong.

What the engines will not do

  • Probable cause. The engines rank and exclude; they do not state cause, and every run so far has returned that conclusion as unsupportable on public observables alone.
  • Measurements the data cannot carry. A test that would need recorder parameters the case does not hold returns insufficient, not a weak verdict.
  • Interventions outside the recorded regime, which are refused with the reason attached rather than answered optimistically.
  • Interviews, wreckage metallurgy, recorder read-out, human-factors interviewing and the judgement of the investigator-in-charge. None of these are modelled, and none are replaced.

Stated limits

  • — Aircraft envelopes are a finite library. An unlisted type is solved on a synthetic envelope derived from its class and mass, and the result says so.
  • — Site facts — fuel state, occupancy distribution, obstacle geometry, exit usability — remain investigator inputs. Where a track can supply them they are derived and labelled; where it cannot, they are listed as outstanding.
  • — Survivability is a band, not a count, and the band is the honest answer at this stage of an investigation.
  • — The rotorcraft frame is first-class and blind-tested, but it needs the type's true gross mass and rotor diameter; rotor inertia is approximated where none is supplied, and the stored-energy figures are order-of-magnitude until it is.
  • — Ditching, fire and icing are modelled as hazard frames with explicit uncertainty; they are not a substitute for type-specific certification analysis.
  • — Deliberate-interference scoring tests consistency with observed actions. It does not identify an actor, infer motive or establish unlawful conduct.