Skip to content

Drop the Source File column where it repeats one path on every row - #218

Merged
abrignoni merged 1 commit into
mainfrom
chore/drop-redundant-source-file-column
Sep 17, 2026
Merged

abrignoni merged 1 commit into
mainfrom
chore/drop-redundant-source-file-column

Conversation

@abrignoni

@abrignoni abrignoni commented Sep 17, 2026 •

Copy link
Copy Markdown
Owner

Levels DLEAPP #175 into VLEAPP.

An artifact's third return element already carries the evidence location: it becomes the report's "located at" line and the LAVA manifest source_path, which is what the artifact information modal shows. So when an artifact reads a single file, a per-row Source File column repeats that same path on every row and adds nothing the modal did not already give.

Removes the column from the three ford_power_history artifacts. The Ford logical corpus holds exactly one reset-history.txt, and the two siblings read a single last-shutdown.txt and reset-reason.txt through the shared _POWER_HEADERS, which the checker cannot read statically but which are redundant for the same reason.

berla_ive_export is deliberately left alone: an iVe export can describe more than one vehicle and that artifact joins several source paths, so its column can legitimately differ between rows.

Adds admin/scripts/check_source_file_column.py, byte-identical with the other cores, wired into python_lint. It flags only a path anchored at a directory that exists once per machine, so anything it cannot prove keeps its column. That asymmetry is deliberate: a wrongly removed column costs per-row attribution, a wrongly kept one costs a repeated cell.

Validated with validate_sample_data --run against ford_syncg4_logical: 25 artifacts compared against the LAVA manifest, 0 errors and 0 warnings, so the recorded row counts are unchanged.

🤖 Generated with Claude Code

@abrignoni
abrignoni force-pushed the chore/drop-redundant-source-file-column branch from 5f92ad8 to 464489f Compare September 17, 2026 15:40
Levels the DLEAPP #175 change into VLEAPP.

An artifact's third return element already carries the evidence location: it
becomes the report's "located at" line and the LAVA manifest source_path, which
is what the artifact information modal shows. When an artifact reads a single
file, a per-row Source File column repeats that same path on every row and adds
nothing the modal did not.

Removes the column from the three ford_power_history artifacts. The Ford logical
corpus holds exactly one reset-history.txt, and the two sibling artifacts read a
single last-shutdown.txt and reset-reason.txt through the shared _POWER_HEADERS,
which the checker cannot read statically but which are redundant for the same
reason.

berla_ive_export is deliberately left alone: an iVe export can describe more than
one vehicle, and that artifact joins several source paths, so its column can
legitimately differ between rows.

Adds admin/scripts/check_source_file_column.py, byte-identical with the other
cores, and wires it into python_lint. It flags only a path anchored at a
directory that exists once per machine, so anything it cannot prove keeps its
column: a wrongly removed column costs per-row attribution, a wrongly kept one
costs a repeated cell.

Validated with validate_sample_data --run against ford_syncg4_logical: every
artifact compared against the LAVA manifest, 0 errors and 0 warnings, so the
recorded row counts are unchanged.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
@abrignoni
abrignoni force-pushed the chore/drop-redundant-source-file-column branch from 464489f to c00d62f Compare September 17, 2026 15:44
@abrignoni
abrignoni merged commit 08c7ee9 into main Sep 17, 2026
10 checks passed
@abrignoni
abrignoni deleted the chore/drop-redundant-source-file-column branch September 17, 2026 15:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant