Skip to content

Seams found end to end, and a match is not taken at its word (0.4.3) - #48

Merged
sotashimozono merged 4 commits into
mainfrom
seams
Sep 23, 2026
Merged

sotashimozono merged 4 commits into
mainfrom
seams

Conversation

@sotashimozono

@sotashimozono sotashimozono commented Sep 22, 2026 •

Copy link
Copy Markdown
Member

Found by running the whole chain (SweepRunner with 2 workers → DataVault → Pinax.report → deposit(...; provenance)) on archeion-demo, plus fixes from review:

  • deposit takes the file a render returns. Pinax.render and Pinax.report return index.html / agent.json, while deposit wanted their directories. A file now stands for its directory, and a missing directory is a clear error.

  • No leftovers. A deposit that fails at any step removes _incoming/<rev>, not only one that fails in provenance. If that cleanup itself fails, the step's own error is still what is raised.

  • A lean site. At 79,500 points (synthetic, same shape as the real vault):

    size
    points.tsv per revision (raw / gzip) 24.4 MiB / 4.5 MiB
    git pack, first revision +4.5 MiB
    git pack, re-render on the same data +0
    git pack, 1% of points recomputed +0.06 MiB
    git pack, every point recomputed +4.3 MiB

    Git is fine. The site was the problem: it copied whole revision directories. It now leaves out provenance/ and repro/, and still serves provenance.toml.

  • A match is not taken at its word. A match cannot be shown from inside the computing process: a recipe written in a script, a closure, or a method added to Base leaves nothing to check it against. DataVault 0.8.6 stops writing loaded-matches-disk (Never claim loaded-matches-disk (0.8.6) DataVault.jl#57).

    • Any loaded-matches-disk in a deposited observation is now warned on and counted as unverified, both in the summary deposit writes and in the check.
    • SPEC §5.5 now says so.

No new DataVault floor. Tests were run locally for the touched files (test_provenance, test_deposit, test_build, test_validate: 95 checks pass). The full run is left to CI.

🤖 Generated with Claude Code

… (0.4.3)

From running SweepRunner -> DataVault -> Pinax.report -> deposit on archeion-demo:
- deposit takes the file Pinax.render/report returns (index.html, agent.json) as its directory.
- a deposit that fails at any step, not only in provenance, leaves no _incoming/<rev>.
- the built site leaves out provenance/ and repro/: at 79_500 points the table is 24.4 MiB per
  revision (4.5 MiB gzip; git packs a re-render at +0 and a full recompute at +4.3 MiB), and the
  site would carry it once per revision. provenance.toml is still served.
- validate warns on a loaded-matches-disk from observation_version 1, whose check for code
  defined in a script never fired (DataVault 0.8.6).

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@codecov

codecov Bot commented Sep 22, 2026 •

Copy link
Copy Markdown

Codecov Report

✅ All modified and coverable lines are covered by tests.

📢 Thoughts on this report? Let us know!

…leanup failure

A match cannot be shown from inside the computing process, and DataVault 0.8.6 stops writing
one (DataVault#57). An earlier observation's loaded-matches-disk is now warned on and counted
as unverified, in the deposited summary and in the check, rather than only warned on while the
count kept it. A deposit whose cleanup rm fails rethrows the step's own error, not the rm's.

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@sotashimozono sotashimozono changed the title Seams found end to end: face paths, cleanup, a lean site, v1 bindings (0.4.3) Seams found end to end, and a match is not taken at its word (0.4.3) Sep 22, 2026
sotashimozono and others added 2 commits September 23, 2026 03:00
…a warning

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
@sotashimozono
sotashimozono merged commit 630f56d into main Sep 23, 2026
15 checks passed
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