SynDiff investigation · all five selected FFIs · 2 October 2026 · Codex takeover

Removed neighbours never reached the fitting scenes.

Causal result: 900 controlled injections locate the near-star loss in PS1 footprint removal. Catalogued faint neighbours are recorded as removed, but the five actual fitting scenes stop at TESS magnitude 13 and omit them. Complete one-source tests reproduce bright-flux contamination; including the neighbour removes at least 99.7% of the controlled error in every field.

Scope: this identifies a real mechanism and an actual scene-input omission. It does not assign every earlier population-stack contrast to that mechanism, measure the distribution of real stellar-flux bias, or replace a full ePSF/WCS retrain. Production products remain unchanged.

Full methods, commands and record · Run README

Detailed LaTeX PDF: 58 pages, 45 figure plates · Portable LaTeX source and figures

Latest: the loss stage is identified by known photons

Full causal-test report, equations, commands, errors and limitations. The same raw PS1 scene is processed with and without an injected source. All original masks and the original noise realization are preserved. Tagged injected photons are separated from collateral changes to the existing scene.

There are 900 injections: 30 real host configurations across five fields, three catalogue-equivalent brightness levels, five nominal radii, and paired clean-sky controls. At nominal 0.7 TESS pixel, the T17 near-source packets retain 99.78% of their light after detection, then 0% after footprint removal. Clean controls retain 98.93%. Every near T17 injection is recorded as catalog_neighbor.

Original PS1 images, known injected photons and their source-removal output
These are the actual PS1 contexts of the complete one-source tests. Green marks the injected source. It is added before segmentation and then disappears with the bright-star footprint. The scene before, added signal and processed output are shown directly; no summary metric is needed to see the removal.
Known-photon retention after detection and after footprint removal versus distance
All 120 catalogued T15/T17 near injections at nominal radii 0.35 and 0.7 are erased and recorded. Farther sources usually survive. The faintest, deliberately untracked sources can be erased without a record. Radii use the declared 81.4 PS1 pixels per nominal TESS pixel; actual WCS distances are recorded per injection.
Ideal source, surviving template photons, residual light in hp_d and recorded-source accounting
The image evidence behind the photon curves. A recorded erased source can be modelled in hp_d; an untracked erased source cannot be recovered from the removal list alone. Outside footprints, source-detection thresholds also clip faint wings. These images isolate tagged photons; complete recovery below includes collateral changes too.

Faint-wing clipping is a separate effect: clean controls retain about 99.99%, 98.93% and 91.17% of tagged T15, T17 and T19 light for these profiles/noise maps. Those are not universal net photometric corrections, because changing detection masks also changes some original scene pixels.

The real removal records are not being consumed by the fit

The actual five scene_boot bundles have tmag_max=13. Their source-ID lists contain none of the fainter removed neighbours. Existing “nuisance” entries are demoted stars from that original source list; they are not the erased faint population.

FieldRecorded faint neighbours in audited regionIncluded in sceneOmitted centres on valid fitted pixels
F15,99003,952
F25,70803,185
S224,22402,659
C13,58402,478
C410,28806,700

18,974 omitted centres fall on valid fitted pixels. These are exact source-list/support counts, not measurements of each neighbour’s flux. The builder swaps new hp_d pixels into an old source scene without adding the newly removed sources: build_scene.

Real recorded neighbours absent from scene source lists, marked on template and hp_d images
Cyan marks a modelled bright star; green marks an actual recorded removed neighbour absent from the scene. The markers identify catalogue membership, not a claim that the faint source is separately resolved in TESS.

Including the erased neighbour removes the controlled bright-flux error

One T17 source was injected alone at a preselected host in each field. Every changed PS1 pixel, including collateral changes outside the source packet, was propagated through the saved operators. The same real hp_d baseline was fit before and after the perturbation, with fixed PSFs/positions, flat weights and a free background plane.

FieldBright-flux error: neighbour omittedNeighbour included
F1+19.8201 e−/s≈0
F2+19.3121 e−/s≈0
S22+19.7817 e−/s+0.02125 e−/s
C1+17.3911 e−/s≈0
C4+17.6223 e−/s+0.04284 e−/s

“≈0” is below 4 × 10−7 e−/s. These are deterministic recovery errors for known added signals of 24.4–25.4 e−/s, not estimates of the real population’s bias. The same known PSF is used for injection and recovery; this is not a production ePSF/WCS retrain.

Complete paired injected-source recovery, showing the residual disappearing when the neighbour is modelled
The omitted-source residual is visibly asymmetric/dipolar in individual stamps. The neighbour model removes that feature and at least 99.7% of the controlled bright-flux error. Small residuals in S22/C4 include measured collateral changes to original pixels.
Photon accounting, normalization checks and limitations
$$Z(I+S)-Z(I)=M_+S+(M_+-M_0)I.$$

$I$ is the original finite PS1 image in PS1 flux units/pixel; $S$ is the realized added signal on available pixels; $Z$ is the actual removal operator. Original unavailable pixels remain unavailable during processing. $M_+$ and $M_0$ are its binary retention masks with and without the source. The first term is surviving injected photons; the second is collateral change to real scene light. Both are measured. Net collateral changes range from about −0.7% to +7.7% of an arm’s incident flux, motivating the full one-source checks.

$$\Delta d=L_0(S_{\rm ideal})-L_M[Z(I+S)-Z(I)].$$

$S_{\rm ideal}$ is the full incident source packet. $L_0$ propagates it through the saved Gaussian, mapping and Hotpants kernel without PS1 bad-pixel suppression; $L_M$ includes the actual bit-12 suppression on the processed template. Both map to e−/s per native pixel. $\Delta d$ is the paired change left in hp_d; the saved constant background cancels. The experiment keeps uncertainty fixed and adds no separate random-noise realization.

Baseline replay is exact. Catalogue-on/off repeats produce identical image pixels in every field. Gaussian and unmasked-binning flux checks close below 8.4 × 10−9; there is no unmapped injected flux. Configured bit-12 suppression reaches 1.70% for individual sampled packets and is accounted separately.

The first kernel-normalization gate made an incorrect assumption: equal local kernel sums do not guarantee exact point-source flux conservation when coefficients vary across blocks. A fixed-local-kernel null closes within 2.6 × 10−8; actual spatial point gain differs from the DC approximation by at most 0.021–0.065%, depending on field. Actual propagated ideal sources are the reference, and this small effect is not called zero.

Spatial and fixed-local kernel images and their small differences
The normalization null that corrects the original test assumption. It does not hide the spatial-kernel effect or relax a numerical tolerance.

S22’s first preparation had only two eligible hosts before any response was measured; the next preselected skycell supplied five with unchanged gates. Host migration interrupted some jobs; checkpoint copies resumed into separate directories. Initial scheduler resumes failed environment activation, so completion was established from actual saved data and gates. No production file or fitted parameter was changed.

Conclusion: the dominant near-star photon loss is the configured footprint removal; the concrete modelling bug is that recorded erased neighbours are absent from the fitting scenes. Add the actually removed Gaia neighbours as nuisance sources, preserve the bright training cutoff, and then validate real held-out fits. No evidence here calls for a flat template pedestal or an unexplained convolution-loss correction.

Do not overinterpret: this does not make the old population-stack contrast a direct missing-flux measurement. Known-neighbour omission cannot directly explain all of a strictly zero-recorded-neighbour subset. Selection, untracked faint light and detection/mask losses remain distinct contributions. Their exact real-sky shares have not been measured by this experiment.

The sections below preserve the preceding five-field trace and original C4 investigation as history. The paired injection and scene audit above are the latest causal result.

Preceding result: the same check on all five selected FFIs

Full five-field report, commands and limitations. Each field uses nine cells selected on a 3×3 detector grid, with a fresh raw-band replay in the centre cell. All input FFI/template/hp_c/kernel hashes were unchanged during the checks.

FieldSector / camera / CCDFFIhp_c replay RMS (e−/s/pixel)
F124 / 2 / 2tess20201201829197.97 × 10−7
F220 / 3 / 3tess20200132159238.01 × 10−7
S2222 / 3 / 3tess20200710129217.69 × 10−7
C124 / 1 / 2tess2020118235919 · corrected WCS7.23 × 10−7
C423 / 4 / 2tess20200870429209.37 × 10−7

Across the five fresh centre cells, 199,540,467 raw-removal output pixels match exactly. Direct binning checks 3,124,925 interior OS4 pixels; saved contributions equal the published template exactly there. There are 135 strict-interior Gaussian cutout checks and 2,145 saved-kernel replay patches, including 526 removed-star centres. Maximum hp_c replay difference is 3.05 × 10−5 e−/s/pixel.

Original PS1, segmented combination and published removal for each of the five fields
The original PS1 bands were fetched again for each field. Representative stars shown here before and after source removal; unavailable original PS1 cores appear grey. Full-array replay comparisons are exact, not fitted.
Five fields: published hp_c, saved-kernel replay, numerical difference and matched population residual
The numerical-replay column is blank on its narrow common scale in every field. The final column is a different quantity: the T11–12 population contrast after matching controls. Those smaller residuals remain scientifically unresolved.

Matched controls reduce the contrast in every field

For the common TESS magnitude interval 11–12, after requiring zero recorded deleted neighbours:

FieldStarsOriginal control (e−/s)Matched control (e−/s)
F11,292−42.6 ± 6.7−16.9 ± 4.7
F21,256−22.2 ± 7.0−4.3 ± 7.8
S221,243−32.2 ± 7.3−16.7 ± 5.1
C11,128−27.1 ± 6.1−10.5 ± 4.2
C41,240−42.6 ± 7.4−17.6 ± 5.5

Values are sums within 3 native pixels after local annulus subtraction; errors bootstrap 128-pixel detector cells. Matching uses detector cell and nearest retained-source distance, with both real and control positions away from other bright stars. It does not use central template intensity. Source brightness and the full neighbour scene remain unmatched systematic uncertainties.

Selected stars, matched controls and original and matched contrasts for all five fields
The central depressions also appear in matched empty controls. Comparing like source environments reduces the effect substantially, but does not remove every field’s residual. F2 is consistent with zero in this magnitude interval; the other fields retain negative contrasts of varying significance.
All field and magnitude residual stamps with measured aperture contrasts
The measured residual images behind every magnitude-bin trend, on a shared scale. Several bright-bin residuals are broad or off-centre rather than a simple central component. Quoted statistical errors do not include incomplete scene matching.
Five-field matched contrasts, empty-sky null and numerical closure
Metrics interpreted alongside the images. The untouched-sky null reproduces a selection-induced depression. F2’s null has visibly strong off-centre control features and larger uncertainty; no clean universal amplitude is inferred. The two numerical-closure curves have their own stated units.
Per-field measured stage images and nine-cell residual maps

Bookkeeping correction: the earlier zero-neighbour test omitted some cross-cell associations and neighbours without usable magnitudes. This extension preserves all associations before deduplicating sources. Four common stars in each of C4 and F2 change from “zero” to having recorded neighbours, too few to explain the broad effect. C4 was also rerun with the same WCS/catalogue and spatial-sampling protocol as the other fields; use this section for cross-field numerical comparisons.

Conclusion: the tested stage implementation is consistent across all five original bootstrap templates. The apparent hole cannot be read directly as lost stellar flux. A smaller population contrast remains; paired known-flux injection is still needed to establish or exclude photometric bias. Overlap seams and the separate v3 rebuild are outside this interior audit.

The sections below retain the original C4 investigation and its narrower sample as history. The common five-field results above are the latest comparison.

1. Verify the original PS1 pixels

The original r, i, z and y bands for cell 2528.005 were downloaded again. Pinned band combination reproduces the cached image, mask and uncertainty exactly, including missing-data patterns. Replaying segmentation and bright-star removal then reproduces all 39,942,231 published pixels and the same 60 removal records.

Four raw PS1 bands, segmented combination and published source-removal output for the same stars
Same stars in the original bands and removal output. Grey marks unavailable PS1 pixels, including masked bright-star cores; it is not measured zero sky. The last column removes the central bright source while retaining the surrounding detected sources. Band intensities are physically different.
Published PS1 cell, independently replayed removal and zero difference
Published cell and pinned removal replay. The right-hand residual is exactly zero. Display uses block means; equality was checked on every native PS1 pixel.

2. Follow the same pixels to the TESS template

Eight cached cells were checked. The comparison uses the frozen PS1-to-TESS assignments, the actual bit-12 mask and the saved padding-aware input. It excludes assignment seams. No flux rescaling or new fitted model is used.

ComparisonMeasured closureScope
Direct binning → saved contributionsRMS 2.85 × 10−6 PS1 units / OS4 pixel319,888 interior output pixels
Saved contributions → published templateExactly equalSame interior pixels
Saved Hotpants kernel → published hp_cRMS 1.35 × 10−6 e−/s/pixel; max 3.05 × 10−5356 patches, including 87 removed-star centres
Absolute star stacks, control stacks and their differences at successive processing stages
The central depression is already present in the source-removed PS1 pixels. Ordinary Gaussian convolution broadens it. Subsequent predicted and published template panels agree. These descriptive stacks use 114 directional pairs involving 65 star entries; spatially limited coverage makes them noisy.
Published template, rebinned actual inputs, masked flux and prediction residual
Measured image, direct prediction, actual bit-12 suppression and prediction residual for cell 005. The mask loss is included explicitly. White outside the footprint is excluded from the interior comparison.
Show the same individual star through all stages
Same star from raw PS1 combination through source removal and final template
One star on the identical OS4 coordinate grid. Missing raw PS1 values are zero only for reproducing the pipeline sums. The final residual panel has a separate narrow scale.
Matched stage profiles and direct operator residuals by cell
Profiles are measured from the images above. Convolution is checked with a direct discrete Gaussian; binning residuals are at float32 rounding level, and saved contributions equal the template. Zero residuals are plotted at the display floor. The final strict-interior Gaussian check excludes both the 480-pixel overlap and the kernel support.
Published hp_c, saved-kernel reconstruction and residual for one star and the mean stack
The saved spatial kernel and constant background reproduce hp_c, including its depression. This verifies application of that kernel; it does not establish that the fitted kernel is the ideal astrophysical PSF match.

3. A negative stack can appear without a central source removal

Select unmodified random sky positions, each more than 5 pixels from a bright star, and compare with nearby controls. Requiring the selected centres to lack retained Gaia sources produces a dark central stack. The images have not been edited.

No retained source withinAperture contrast, r < 3 px
No restriction+3.5 ± 4.8 e−/s
1 native pixel−23.7 ± 5.2 e−/s
1.5 native pixels−55.8 ± 4.9 e−/s
2 native pixels−93.7 ± 4.6 e−/s

Each setting samples 4,000 positions. Errors bootstrap 128-pixel detector cells. This is a counterexample to the former inference that the zero-neighbour deficit uniquely diagnoses extra missing light.

Empty-sky selection creates a negative central stack on untouched template pixels
Top: selected positions. Middle: unrestricted nearby controls. Bottom: their difference. All panels share a colour scale. A compact dark feature develops solely by changing which unchanged locations are sampled.
Aperture contrast versus empty-centre exclusion radius
The aperture statistic measured from those images. These null amplitudes are not a correction fitted to the real stars and do not prove that all of their contrast is selection.

4. More comparable controls reduce, but do not erase, the real-star contrast

For stars with zero recorded deleted neighbours, match four controls by 128-pixel detector cell and nearest retained-source distance (0.2-pixel bins). The stricter comparison also puts both real and control locations more than 5 pixels from other bright stars. No match uses central template intensity.

TESS magnitudeStarsOriginal controlMatched control
8–10213−88.1 ± 17.4−26.7 ± 10.5
10–11469−61.1 ± 12.7−25.4 ± 7.5
11–121,255−44.1 ± 7.3−16.8 ± 5.7
12–133,076−36.9 ± 5.1−9.8 ± 3.9

Values are electron/s in the same 3-pixel aperture, with spatial-bootstrap errors. The smaller residuals are approximately 2.5–3.4 statistical standard errors per bin. Source brightness and the full neighbour scene are not matched, so these errors omit that systematic uncertainty.

Real zero-neighbour stars, matched sky controls, original and matched difference stacks
The matched controls themselves have central depressions. Subtracting them leaves much less contrast. Residuals remain, and some are broad or lopsided; they must not be treated automatically as a pure missing central flux component.
Show the first match without the additional other-bright-star cut
First environment-matched comparison
Same detector-cell and retained-source-distance match, before equalizing proximity to other bright stars. The same qualitative reduction is present.

5. What was tested

$$I_1=Z(I_0),\qquad C=G_{40}*I_1,\qquad T=B[(1-M)C_{\rm pad}],\qquad H=K_\theta(T)+b.$$

Definitions: $I_0$ is the original band-combined PS1 image; $Z$ is the pinned segmentation and source-removal rule; $I_1$ is its published output. Both images have PS1 flux units per PS1 pixel. $G_{40}$ is the normalized, configured Gaussian of standard deviation 40 and truncation radius 470 PS1 pixels; $*$ denotes convolution. $C_{\rm pad}$ is the saved padding-aware convolution. $M$ is the binary bit-12 mask. $B$ sums the actual pixel assignments onto the OS4 grid. $T$ is the published template in PS1 flux units per OS4 pixel. $K_\theta$ applies the saved fitted spatial kernel coefficients $\theta$ and sums to native pixels. $b$ is the saved constant background, 0.1569122709 e−/s/pixel. $H$ is published hp_c in e−/s/native pixel.

Operator closure compares each prediction with its actual saved output. The earlier statistic compared star apertures with unrelated sky apertures. It need not equal the flux removed from any individual star’s neighbourhood.

$$D=\langle A(H,\boldsymbol{x}_s)-A(H,\boldsymbol{x}_c)\rangle.$$

$D$ is the mean aperture contrast in e−/s. $A$ sums within 3 native pixels after subtracting the mean 20–30-pixel annulus, reproducing the old estimator. $\boldsymbol{x}_s$ and $\boldsymbol{x}_c$ are selected and control positions in crop-local TESS pixels. Angle brackets denote a mean over positions. New control-test errors bootstrap detector cells rather than pretending all overlapping apertures are independent.

Provenance: C4 paper frame tess2020087042920, recipe e17a198a4942aa2d, pinned processing commit 648c0bc. Frozen r/i/z/y weights: 0.254 / 0.4368 / 0.1654 / 0.1438. Diagnostic branch codex/ps1-stage-trace. Full commands and input paths are in the linked report.

6. Original C4 corrections and conclusion

Historical conclusion before the paired injections. The recommended injection test has now been completed; see the causal result above.

Conclusion: the observed template depression is real, but the old 0.3–3% “photometric bias” interpretation was not established by those stacks. Direct tracing finds no unexplained downstream loss in the tested interiors. Better controls remove a large part of the signal; a smaller residual remains.

Next discriminating test: inject known faint sources into matched raw PS1 scenes and propagate paired with/without-source differences through removal and template construction. Check whether the downstream scene model includes the sources recorded as removed. This gives a known photon budget, unlike a star-minus-random-sky contrast. No template pedestal should be added based only on the old statistic.

Enlarged diagnostic

2 October: fitting faint neighbours with brightness priors

The small conditional test uses 30 hosts, 180 magnitude/separation configurations and five complete paired cases. Soft priors reduce variance in close blends; inaccurate tight priors and positivity alone introduce systematic bright-flux bias. Candidate widths still need real catalogue calibration.

Complete prior comparison, method and figures

Prior error transferred to bright fluxUnderlying residual stacks across magnitude and separation

Conclusion: include removed neighbours with fitted amplitudes; validate broad soft priors alongside a free-flux reference before adopting real scene priors.