Validation and reproducibility study
Version-Bounded Verification of a Nondimensional Taylor–Green Vortex Reconciliation
Independent derivations, executable defect controls, and revision requirements
Disclosure: Haivian Technology is the corporate author and audit provider. The related research author, audit service and journals are under common ownership or control; this is not arm’s-length external review.
Rights boundary: This article and its original figures are licensed under CC BY 4.0. That licence does not cover the Airbus challenge statement, Airbus logos, screenshots or other third-party material, none of which is reproduced here. Airbus did not review, approve or endorse this work.
Exact version identity
- Web article version
- 1.0 · 2026-10-16
- Source SHA-256
137ff67d8155b5da7d816dd1333c5eee22ed4d20385f5f259922a4ab71b6ea48- PDF SHA-256
01ca5075e9298cca11ddfa187126f6ca4402ce0638d06bdf238d5b7886d8e265- PDF pages
- 12
Abstract
We report a version-bounded validation study of a manuscript that reconciles apparently conflicting nondimensional forms of the decaying two-dimensional Taylor vortex. The original article distinguishes the side length of an assumed square domain, the trigonometric vortex scale, and the reference length used in a Reynolds number. Its central claim is that two periodic profiles can carry different numerical Reynolds labels while representing the same physical field at matched viscosity, with when . We tested that claim together with the translated exact solution, pressure convention, full-period invariants, periodic compatibility, Fourier support, and two numerical fingerprints.
The review combined direct componentwise derivations, dimensional analysis, source inspection, counterexamples, and a newly authored standard-library executable using exact Gaussian-rational Fourier coefficients for normalized spatial identities. All 28 recorded checks completed successfully. The checks included deliberately wrong pressure signs and factors, a wrong decay rate, omission of the density factor from the physical-pressure Poisson equation, omission of moving-phase differentiation, pressure-only periodicity on a half-size box, and a shifted-window counterexample to an overstrong averaging statement. High-precision decimal references independently reproduced the reported pressure and energy fingerprints to the stated tolerance.
The central analytical reconciliation in frozen version 1.0 is supported, but the original manuscript was not validatable as an unqualified whole. It required explicit dimensional-to-nondimensional mapping, complete numerical normalization, clearer attribution of the periodic box as an analysis assumption, an energy-per-unit-depth qualification, positive finite-Reynolds scope, qualified historical provenance, and figure corrections. A subsequent targeted revision check confirmed those corrections in byte-identified version 2.0 and found no outstanding scientific correction within that bounded check. No audit credit is transferred automatically across versions. The work does not validate a numerical solver, establish an official Airbus interpretation, demonstrate turbulence or industrial-flow performance, or constitute external human peer review. The review was human-directed and AI-assisted, using procedurally separated contexts from one AI provider within organisations and journals under common ownership or control.
1. Introduction
An exact analytical solution can remove discretization error from a verification problem, but it does not remove ambiguity from notation. The viscously decaying two-dimensional vortex associated with Taylor's 1923 work is historically distinct from the later three-dimensional Taylor–Green construction, although modern usage often joins the names [3–5]. In this analytical family, three lengths may have the same physical dimension while serving different roles: the side of a computational domain, the phase scale appearing inside trigonometric functions, and the reference length used to define a Reynolds number. Conflating them changes the numerical viscosity attached to a Reynolds label and can also make a locally exact field incompatible with an assumed periodic box.
The research article under review addresses that ambiguity by reconstructing a translated viscous vortex, separating physical pressure from kinematic pressure, and comparing two nondimensional profiles [1]. The principal conclusion is deliberately modest: when a periodic square contains one full velocity wavelength, , a box-based Reynolds number is times a vortex-scale Reynolds number at the same speed and viscosity. Two profiles evaluated at the same numerical label therefore decay differently, while the profiles coincide after their labels are mapped to the same physical viscosity.
Validation of such a claim requires more than agreement with the article's final formulas. The derivation must expose which parameters are held fixed, dimensional interfaces must be consistent, counterexamples must distinguish the proposed result from plausible incorrect alternatives, and the exact version examined must remain identifiable. It is equally important not to turn a successful check of a bounded analytical family into a claim about numerical solvers, turbulent flow, industrial geometries, or the intent of the source authors.
This study therefore asks four questions:
- Do the proposed velocity and pressure fields satisfy the stated constant-density incompressible equations?
- Are the periodicity, invariant, Fourier-support, and Reynolds-mapping claims correct under their stated assumptions?
- Can a fresh executable detect representative sign, factor, decay, density, translation, and boundary-condition errors while reproducing the article's numerical fingerprints?
- Which conclusions apply to the frozen original manuscript, and which require a new closure check after revision?
The answer to the first three questions is affirmative within the scope defined below. The answer to the fourth is necessarily version-specific: the core mathematics of version 1.0 is supported, and a targeted same-provider AI revision check subsequently confirmed the specified corrections in the byte-identified version 2.0 research source and PDF. That check does not convert the audit into external human peer review or whole-paper certification.
2. Materials, versions, and questions tested
2.1 Frozen original article
The primary object of the completed audit was the frozen version-1.0 Markdown manuscript, 17,936 bytes, SHA-256
e8bf95f686889a9ac75a8593f33a8ad2e76b76ea5da62907a826ba22abb71a51.
Its six-page PDF was also inspected visually against the source equations, tables, and figures. The associated DOCX was inventoried but was not independently rendered during the fresh audit. These identifiers establish which bytes were reviewed; they do not establish authorship, historical read order, or correctness.
The version-2.0 research article retains the title Reconciling Nondimensional Forms of the Decaying Taylor Green Vortex and the subtitle A reproducible symbolic and dimensional verification. The frozen prepublication editable source supplied for targeted closure contains 27,710 bytes and has SHA-256 4e2d4b10bec450bbba85c1c0ff835cb631911ac290a7edf456b027facdf50752. Its ten-page rendered PDF contains 540,196 bytes and has SHA-256 9e12911375ceb434f404a867d75a9a15add8164e1251fe5d35d4fe4c872ad008. Version 2.0 is a revision of the frozen version 1.0, not a replacement of the original audit record. The revision disposition in Section 6 attaches only to these exact prepublication version-2.0 identities and the claims examined.
The linked publication edition retains the scientific content of those reviewed files while adding journal links, licence terms, exclusions and publication metadata. Its source and PDF bytes therefore differ. The publication release ledger records these successor identities separately; the editorial repackaging is not a new scientific revision or audit and does not broaden the review disposition.
For publication correspondence, the research edition of 16 October 2026 has a 29,469-byte Markdown source, SHA-256 9da64e82d07f757d0c5b1a70ce350fb2d66d3c2a5d8fd95a20dfa1c61d33f212, and an eleven-page PDF of 544,803 bytes, SHA-256 07501ca97379ee2484c0f806474a1f9c2d53f5f825aa7fa14de73291ebd55bca. These are publication artifact identities, not additional audit targets. The final validation identity is recorded in the same release ledger.
2.2 Primary challenge source
The review consulted a locally retained inspected copy of a publicly posted Airbus challenge statement, version vF, especially pages 6–9 [2]. Its inspected file had SHA-256
4a2e084dd25d49343c98475091eede479513779c4306e90260f9b9cf518f77c6.
The source uses physical pressure in the momentum equation, omits the density factor in a displayed pressure-Poisson form, and includes density in the stated pressure field. It also uses the same length symbol in roles that the research article separates. The source supplies , , , , , a domain length , and a viscosity formula based on that domain length. It does not, however, unambiguously declare every later analytical assumption made in the research article. In particular, the periodic square and the choice are analysis assumptions rather than source-authenticated boundary data.
The publicly posted source was used as reference evidence. Public access does not itself authorize redistribution. No source page, screenshot, or logo is reproduced here, and the present public Airbus programme page [8] is not treated as the immutable historical challenge document or as an endorsement of either article.
2.3 Claims selected for validation
The validation target was not “the paper” as an indivisible object. The following material claims were separated and tested:
- continuity and both components of momentum for the translated decaying field;
- the physical- and kinematic-pressure forms of the pressure-Poisson equation;
- mean velocity, mean pressure, specific kinetic energy, dissipation rate, vorticity, and pressure extrema under full-period averaging;
- the velocity-periodicity criterion on an axis-aligned square and the distinction between local PDE validity and boundary compatibility;
- the conversion at matched physical parameters;
- different decay at equal numerical labels and exact coincidence at matched viscosity;
- fixed continuous spatial Fourier support under translation and viscous decay;
- two analytical numerical fingerprints under the complete challenge normalization;
- the actual meaning and documentary limits of historical archived check counts; and
- the manuscript's boundary, solver, turbulence, industrial, rights, and provenance limitations.
3. Methods
3.1 Review design and procedural separation
The fresh audit used five recorded high-reasoning AI contexts from the same provider: one coordinating context, three specialist contexts, and one distinct final-review context. The specialists covered (i) PDE identities and dimensions, (ii) invariants, periodicity, Fourier content, and numerical arithmetic, and (iii) source, reference, and documentary provenance. Initial specialist assessments were recorded before cross-challenge. The final reviewer assessed the consolidated report, readable validation article, claims table, executable, results, and relevant source and manuscript renderings.
This design provided procedural separation of tasks and fresh derivations, not institutional independence. It was not external human peer review, provider diversity, or a native consensus-kernel adjudication. Records describe staged read separation for some historical work, but no trusted external chronology was examined that independently proves every historical read order or authorship assertion. Agreement among the contexts is therefore not treated as a vote that establishes truth. The evidential warrants are the derivations, source observations, discriminating controls, executable results, and explicit limitations.
3.2 Direct analytical derivation
Let
with
For constant , , , and constant , we differentiated the field componentwise. The derivation did not divide by , so the local cancellation remains meaningful in the zero-amplitude limit. Physical pressure was taken as
with kinematic pressure . We then checked continuity, momentum, pressure-Poisson compatibility, exact moments on whole periods, boundary traces, and Fourier support.
3.3 Reynolds and nondimensional interfaces
The two Reynolds numbers were defined only after their reference lengths were named:
The finite-ratio comparison assumes , , and shared physical speed, geometry, units, and time. The inviscid case is an infinite-Reynolds limit, and the zero-amplitude field is a degenerate constant-velocity solution rather than a nondegenerate Reynolds-ratio example.
For a self-contained nondimensional statement, a fixed length and speed are needed:
The original manuscript did not collect this mapping and the complete example normalization in one reproducible statement. That omission was treated as a reporting defect requiring revision, not as evidence against the central algebra.
3.4 Fresh executable checks
A reviewer who had not adopted an older checker authored a new Python standard-library script. The script represents normalized spatial Fourier polynomials using exact pairs of rational numbers for complex coefficients. It performs exact addition, multiplication, differentiation, Laplacian, and zero-mode extraction. General time dependence and parameter scaling remain warranted by the hand derivation; the finite executable is not presented as a universal symbolic proof engine.
The 28 recorded checks comprised:
- exact normalized identities for continuity, two nonlinear pressure balances, two velocity Laplacians, pressure Poisson, zero means, specific energies with and without translation, mean-squared vorticity, pressure support, non-unit-density physical pressure, and moving-phase cancellation;
- expected rejection or exposure of wrong pressure sign, wrong pressure factor, wrong decay rate, density-free physical-pressure Poisson form, stationary phase with nonzero mean, a pressure-periodic but velocity-incompatible half-period box, phase-sensitive averaging on a shifted half-window, and the literal one-radian box trace;
- eight-decimal reproduction of the pressure and energy fingerprints, together with a binary floating-point matched-viscosity check at absolute tolerance ; and
- relative-error comparisons with independently computed 100-digit decimal references at tolerance .
The high-precision reference computed independently through a Machin arctangent identity and used decimal exponentiation. It was not an interval-certified transcendental proof. The script also printed the source byte count and hash but did not count that printout among the 28 checks.
3.5 Source and documentary review
Relevant source pages were text-extracted and visually inspected. Public bibliographic and technical sources were checked within access limits. The historical verification archive was examined only as documentary evidence of what its files record. No historical checker was rerun or adopted as the fresh acceptance oracle.
The archive contains 132 recorded true checks; 203 further true records decomposed as 6 clean controls, 57 negative controls, and 140 integrity records; and 42 true assumption/source records decomposed as 23 assumption records, 18 source bindings, and one aggregate check preserving ten conflict qualifications. These totals are not counts of independent theorems, PDE experiments, or physical validations. Matching hashes establish current byte correspondence, not historical authorship, chronology, institutional independence, or organizer approval.
4. Results
4.1 Exact PDE balance
Direct differentiation gives
and
The time derivative of the moving phase cancels advection by the constant translation, and the derivative of (B(t)) cancels viscous diffusion. The perturbation self-advection is
For the stated physical pressure,
so nonlinear advection and the pressure-gradient term cancel when the momentum equation is written with all terms on the left-hand side. Equivalently, the advective acceleration is balanced by the physical-pressure force . No sign, coefficient, or Galilean-translation defect was found in the core field.
4.2 Physical and kinematic pressure
If
then the dimensionally consistent interfaces are
for physical pressure and
for . At , the numerical fields coincide and a missing density factor is hidden. At non-unit density, the distinction is observable. This physical/kinematic pressure convention is also documented in the cited OpenFOAM technical documentation [6,7]. The fresh executable verified the physical equation at and rejected the density-free physical-pressure equation. This supports the research article's identification of an interface ambiguity in the challenge source, without establishing the source author's intended convention.
4.3 Full-period invariants and a necessary wording correction
On a rectangle containing whole axial velocity periods, orthogonality yields
These are continuous spatial identities. Multiplying specific kinetic energy by gives energy density; integrating it over a two-dimensional area gives energy per unit out-of-plane depth. For the square, the area is . The original paper's unqualified “integrated energy” wording therefore required correction.
Whole periods guarantee the stated mean identities independently of phase, but they are not logically necessary for every accidental equality on a smaller window. At zero phase and zero translation, the square happens to reproduce several listed averages even though its velocity traces are incompatible. Shifting both phases by produces nonzero perturbation means . The audit therefore replaced “require a full-period average” with the more exact claim that full-period averaging is a sufficient, phase-independent guarantee.
4.4 Local validity and periodic compatibility
For a nonzero perturbation on an axis-aligned square, velocity periodicity requires and is ensured by
Translation changes phase but not this condition. Pressure has half the axial period of velocity, so pressure periodicity alone cannot establish velocity compatibility. A square of side , for example, can make the pressure periodic while leaving a velocity-trace mismatch of at a suitable boundary point.
The literal identification advances phase by only one radian across the box. At , , which is nonzero for nonzero . The field remains a local solution of the differential equation, but it does not meet the assumed periodic boundary condition on that square. Because the challenge source does not itself unambiguously declare that periodic square, the finding is conditional on the analysis assumption and must not be attributed as an Airbus-declared boundary failure.
4.5 Reynolds-label reconciliation
When , , and ,
At the same numerical label , the vortex-scale convention assigns , whereas the box-scale convention assigns . Their decay rates differ because they describe different viscosities. At matched viscosity the labels obey , and the physical fields coincide when the remaining scales, units, and time are also matched. This is an exact relabelling identity, not an independent experiment.
The nonconstant velocity support remains at angular wavevectors ; nonconstant pressure remains at and . Translation changes phases and viscous decay changes amplitudes. Neither operation creates additional spatial modes in this exact family. The result does not support a claim about turbulent cascades or numerical mesh demands.
4.6 Numerical fingerprints
Under the complete example normalization , , , , , , , and , the domain-based viscosity is . The pressure extremum magnitude at is
and the mean specific kinetic energy at is
The checker's binary floating-point outputs were and . Their relative errors against the independent decimal references were approximately and , respectively, below the declared tolerance. The source plots are qualitatively consistent with values near and , but the eight-digit values are analytical evaluations, not measurements digitized from those plots.
4.7 Defect sensitivity
The negative controls were chosen to answer whether agreement could survive plausible wrong formulas:
| Seeded or exposed defect | Discriminating result |
|---|---|
| reverse the pressure sign | leaves a nonzero momentum residual |
| multiply the pressure contribution by the wrong factor | leaves a nonzero momentum residual |
| use instead of | leaves residual at a discriminating point |
| omit from the physical-pressure Poisson equation | fails at non-unit density |
| keep translated phases but omit moving-phase differentiation | leaves uncancelled mean-advection terms |
| infer velocity periodicity from pressure on a half-size box | contradicted by a velocity-trace difference |
| treat half-window averages as phase-independent | contradicted after a phase shift |
| identify on the assumed periodic square | produces the nonzero one-radian boundary trace |
Passing these controls demonstrates sensitivity to the specified defects. It is not a security proof, a sampling estimate of all possible errors, or evidence that no untested error exists.
5. Findings on frozen version 1.0
The audit's disposition was neither rejection nor blanket validation. The mathematical core was retained, while publication-quality reporting required substantive correction.
| Area | Version-1.0 finding | Required version-2.0 action |
|---|---|---|
| translated PDE solution | supported by direct derivation and fresh exact checks | retain equations and their bounded assumptions |
| physical versus kinematic pressure | core distinction supported | state and ; cite pressure convention in the body |
| nondimensionalization | incomplete as a self-contained mapping | define , , starred variables, and all example constants |
| periodic box | mathematical criterion supported conditionally | identify the periodic square and as analysis assumptions, not source-declared facts |
| energy | specific-energy formula supported | describe 2D area-integrated energy as per unit out-of-plane depth |
| averaging | whole-period formulas supported | say whole periods guarantee phase-independent identities; avoid universal necessity wording |
| Reynolds mapping | supported for common finite positive physical parameters | state endpoint restrictions and distinguish physical changes from relabelling |
| numerical fingerprints | supported to quoted rounding | collect full normalization and label values analytical, not plot measurements |
| source interpretation | source ambiguity supported | do not infer organizer intent; cite the inspected challenge copy precisely and the public programme page only for context |
| figures | scientific intent supported | correct the displaced periodicity endpoint marker; add numerical time ticks and time normalization to the decay figure |
| historical counts | archive contents documented | decompose denominators and do not use totals as counts of independent scientific proofs |
| procedural independence | records support separated workflow descriptions | disclose same-provider AI contexts and the limits of chronology evidence |
| scope | analytical family supported | retain exclusions for solver validation, turbulence, industrial flow, hardware advantage, and official endorsement |
No mathematical basis was found for an unqualified statement that every sentence or artifact in version 1.0 had been validated. Equally, no sign, factor, or translation error was found that overturns the central convention-reconciliation result.
6. Revision closure and non-transfer of audit credit
Version 2.0 applies the audit corrections while preserving version 1.0 and its audit record. The revision includes the explicit dimensional-to-nondimensional map and full normalization; assumption-qualified periodicity; positive finite-Reynolds scope and endpoint treatment; density-correct pressure interfaces; per-unit-depth energy language; phase-independent sufficiency wording for full periods; removal of unexplained workflow terminology; qualified plot consistency; accurate decomposition of historical checks; same-provider AI disclosure; and corrected figure specifications.
A targeted same-provider AI revision check against the completed fresh audit confirmed that the identified scientific and method-reporting corrections are implemented in the revised research source (27,710 bytes; SHA-256 4e2d4b10bec450bbba85c1c0ff835cb631911ac290a7edf456b027facdf50752), with a matching ten-page PDF (540,196 bytes; SHA-256 9e12911375ceb434f404a867d75a9a15add8164e1251fe5d35d4fe4c872ad008). The corrected numerical page was independently inspected, and the approximate values, classification of the floating-point check, dimensional convention and qualified time interpretation were confirmed against the existing evidence. The bounded analytical reconciliation remains supported, and no outstanding scientific correction was identified within this revision check.
This was same-provider AI scrutiny, not external human peer review, institutionally independent endorsement, a new full audit or native-consensus adjudication. Rights clearance, journal editorial acceptance and public-release decisions are separate from the scientific review. The publication package records its version identifiers and the research and validation documents' post-render identities in its release hash ledger.
The resulting status is:
- version 1.0: central analytical claims supported, with manuscript revisions required;
- version 2.0: the specified corrections are confirmed in the exact source and PDF identified above; publication consideration remains bounded by the stated limitations and separate rights/editorial decisions; and
- this validation article: scientifically complete for the original-version findings and the targeted version-2.0 revision check; the publication edition's final artifact identities are recorded separately in the release ledger.
This boundary prevents “audit laundering,” in which a favourable result on one byte-identifiable version is silently applied to another.
7. Interpretation
The value of the result is methodological rather than sensational. A Reynolds number is not a property of a field without a declared reference length. A domain side is not a trigonometric scale merely because the same source symbol is used for both. A pressure field can satisfy the momentum equation while a displayed Poisson interface is dimensionally misstated. A local exact solution can fail a chosen periodic boundary condition. A plot can be consistent with a formula without measuring its displayed digits.
The study also shows why controlled negative cases matter. Direct substitution establishes the correct formulas; seeded wrong formulas establish that the verification is capable of distinguishing several nearby alternatives. Neither replaces a clear statement of assumptions. The decisive evidence remains the combination of explicit derivation, source-grounded normalization, exact normalized checks, discriminating counterexamples, and bounded conclusions.
The fixed Fourier support deserves particular caution. In this exact smooth family, raising a consistently defined Reynolds number slows viscous decay but does not add spatial wavevectors. This says nothing general about turbulent flows, numerical truncation, or the complexity of industrial CFD. Similarly, the matched-viscosity identity is a change of label, not a new empirical confirmation of fluid mechanics.
8. Limitations
This validation study is limited in the following ways:
- It addresses a smooth, constant-density analytical family and its notation, not a numerical discretization or experimental flow.
- No solver trajectory, mesh-refinement study, convergence test, matched-accuracy comparison, or finite-volume benchmark was run.
- The 28 checks cover specified normalized identities and defects; they do not constitute 28 independent physical experiments or a universal proof system.
- The decimal transcendental comparison is high precision but not interval certified.
- The periodicity result assumes an axis-aligned square and a nonzero perturbation; the zero-amplitude constant field is an exception.
- Whole-period formulas are continuous spatial averages and do not automatically certify arbitrary grids, cells, truncated windows, or moving windows.
- The challenge's official intended nondimensional convention is unresolved.
- Source hashes identify inspected bytes but do not prove authorship, permission, chronology, or correctness.
- The historical archive was reviewed documentarily; no historical checker was rerun in this audit.
- Publication and redistribution rights for the publicly posted challenge document and internal evidence remain separate from scientific correctness and public accessibility.
- All fresh review contexts used the same AI provider. Procedural separation does not create external institutional or human independence.
- The version-2.0 closure check was performed by a same-provider AI context against the existing audit evidence; it was not external human peer review, institutionally independent validation, or a new full audit.
9. Authorship, relationships, conflicts, and AI assistance
Haivian Technology is the sole corporate author of this validation article and the provider of the audit service described here. Richard Janutka is the author of the related research article, with affiliation Qonduit Limited NZ, and provided responsible human direction and oversight for the commissioned audit and publication workflow. The research author, the audit service, and the Research and Validation Journals are under common ownership or control. The validation article is therefore not an arm's-length institutional review, and readers should not interpret journal placement as independent external endorsement.
AI systems assisted with evidence indexing, direct mathematical derivation, executable-check authorship, source and reference review, cross-challenge, drafting, and final-review preparation. The fresh process used procedurally separated contexts from one provider. No external human peer reviewers or independent institutions participated in the completed fresh audit. Responsible human oversight included defining scope, assigning the disclosed authorship, commissioning the review, and retaining the final publication decision. The corporate author is responsible for ensuring that the final published text accurately reflects the evidence and that unresolved version-closure and rights conditions are not omitted.
Airbus did not review, approve, or endorse this validation article. No ORCID, DOI, journal index status, or third-party credential is asserted here.
This paper and original figures are licensed under [Creative Commons Attribution 4.0 International (CC BY 4.0)](https://creativecommons.org/licenses/by/4.0/). The licence excludes the Airbus challenge/source document, Airbus logos, screenshots, raw/internal records and all other third-party material. None of those excluded materials is reproduced in this paper-and-figures release. The licence does not grant rights in excluded materials or imply endorsement.
10. Data, code, and materials availability
The fresh standard-library checker, captured output, audit report, claims table, specialist reviews, and final-review record are preserved in a private evidence archive. A sanitized reproducibility package has been prepared for owner release review but has not been published. Therefore this article does not claim that its code or evidence bundle is publicly available. Any later public release should remove private operational metadata, include bundle-relative instructions and a hash ledger, and receive rights review.
The publicly posted challenge statement is reference evidence; its locally retained inspected copy is not distributed with this article. Public access does not itself authorize redistribution. Equations, tables, and figures in the related research article are independently prepared rather than reproduced as source-page images. Access to private internal audit materials, if any, is subject to the owner's release decision and applicable rights.
11. Conclusion
The fresh audit supports the core analytical result of the frozen research manuscript: once the domain side, vortex scale, and Reynolds reference length are separated, two apparently conflicting nondimensional descriptions are reconciled exactly. The translated vortex satisfies the stated constant-density incompressible equations; physical and kinematic pressure obey distinct density-aware Poisson interfaces; the assumed square is velocity-periodic only at the appropriate phase advance; and the box- and vortex-based Reynolds labels satisfy at matched physical parameters.
Support for that core does not justify blanket validation. Frozen version 1.0 required substantive corrections to normalization, assumption attribution, energy dimensions, scope, provenance language, and figures. The 28 fresh executable checks and their wrong-formula controls strengthen specific mathematical findings, but they do not validate a numerical solver, establish organizer intent, or create external peer review. A targeted revision check confirmed the specified corrections in the exact version-2.0 source and PDF identified in Section 6; that bounded closure does not expand the audit's scientific scope.
The bounded conclusion is therefore both positive and precise: the mathematical reconciliation is supported; the original reporting defects are real; and validation attaches only to the exact version and claims actually examined.
References
- Janutka R. Reconciling Nondimensional Forms of the Decaying Taylor Green Vortex: A reproducible symbolic and dimensional verification. Version 2.0, reviewed prepublication edition. Qonduit Limited NZ; 2026. Editable-source SHA-256
4e2d4b10bec450bbba85c1c0ff835cb631911ac290a7edf456b027facdf50752; rendered-PDF SHA-2569e12911375ceb434f404a867d75a9a15add8164e1251fe5d35d4fe4c872ad008; revised from frozen version 1.0, SHA-256e8bf95f686889a9ac75a8593f33a8ad2e76b76ea5da62907a826ba22abb71a51. The publication successor and its separate identities are identified in Section 2. - Airbus. Airbus Quantum Computing Challenge, Challenge Statement vF, pp. 6–9. Publicly posted challenge statement; locally retained inspected copy, SHA-256
4a2e084dd25d49343c98475091eede479513779c4306e90260f9b9cf518f77c6. Public access does not itself authorize redistribution; not reproduced here. No exact current official URL is asserted. - Taylor GI. On the decay of vortices in a viscous fluid. Philosophical Magazine. 1923;46(274):671–674. https://doi.org/10.1080/14786442308634295
- Taylor GI, Green AE. Mechanism of the production of small eddies from large ones. Proceedings of the Royal Society A. 1937;158(895):499–521. https://doi.org/10.1098/rspa.1937.0036
- Antuono M, Marrone S. Weakly compressible approximation of the Taylor–Green vortex solution. Studies in Applied Mathematics. 2025;154(1):e12792. https://doi.org/10.1111/sapm.12792
- OpenCFD Ltd. Kinematic pressure. OpenFOAM documentation. https://doc.openfoam.com/2312/tools/processing/solvers/algorithm-kinematic-pressure/
- OpenCFD Ltd. Pressure function object. OpenFOAM documentation. https://doc.openfoam.com/2312/tools/post-processing/function-objects/field/pressure/
- Airbus. Airbus Quantum Challenge 3.0. Public programme context only. https://www.airbus.com/en/innovation/digital-transformation/quantum-technologies/airbus-quantum-computing-challenge