Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Jun 9, 2026

• Merge pull request #81 from logannye/rosalind/diff-localizer

  Show description for 6128317
  logannye

  authored
  6128317

  Copy full SHA for 6128317

• style: rustfmt the diff core + CLI + tests

  Show description for 5ea03c3
  

  logannye

  and

  claude

  committed
  5ea03c3

  Copy full SHA for 5ea03c3

• feat(cli): rosalind diff <a> <b> — claim-level divergence localizer

  Show description for 7ab3ac7
  

  logannye

  and

  claude

  committed
  7ab3ac7

  Copy full SHA for 7ab3ac7

• feat(receipt): pure diff_receipts claim-level localizer

  Show description for 0d842af
  

  logannye

  and

  claude

  committed
  0d842af

  Copy full SHA for 0d842af

• feat(receipt): BUILD_IDENTITY_KEYS const (the code-identity claim keys)

  Show description for abbbbd7
  

  logannye

  and

  claude

  committed
  abbbbd7

  Copy full SHA for abbbbd7

• docs(plan): rosalind diff <a> <b> implementation plan (TDD)

  Show description for 415d2b7
  

  logannye

  and

  claude

  committed
  415d2b7

  Copy full SHA for 415d2b7

• docs(spec): rosalind diff <a> <b> — claim-level divergence localizer

  Show description for d4203e1
  

  logannye

  and

  claude

  committed
  d4203e1

  Copy full SHA for d4203e1

• Merge pull request #80 from logannye/rosalind/analyze-verb

  Show description for 12eb457
  logannye

  committed
  12eb457

  Copy full SHA for 12eb457

• Merge pull request #78 from logannye/rosalind/predicted-working-set-claim

  Show description for c640708
  logannye

  committed
  c640708

  Copy full SHA for c640708

• Merge pull request #79 from logannye/rosalind/emit-all-positions

  Show description for 7e6167e
  logannye

  committed
  7e6167e

  Copy full SHA for 7e6167e

• test(receipt): analyzer.-prefixed params stay in the claim

  Show description for 79bde15
  

  logannye

  and

  claude

  committed
  79bde15

  Copy full SHA for 79bde15

• feat(cli): rosalind analyze <kind> — verifiable receipt for any analyzer

  Show description for f395b92
  

  logannye

  and

  claude

  committed
  f395b92

  Copy full SHA for f395b92

• feat(columnkit): first-party CoverageTrack analyzer

  Show description for 1edb630
  

  logannye

  and

  claude

  committed
  1edb630

  Copy full SHA for 1edb630

• refactor(features): extract run_bounded_analysis (one analyzer-agnostic path)

  Show description for a7faa00
  

  logannye

  and

  claude

  committed
  a7faa00

  Copy full SHA for a7faa00

• docs(plan): rosalind analyze <kind> implementation plan (TDD)

  Show description for 3919231
  

  logannye

  and

  claude

  committed
  3919231

  Copy full SHA for 3919231

• docs(spec): rosalind analyze <kind> — verifiable receipt for any ColumnAnalyzer

  Show description for 1b5f293
  

  logannye

  and

  claude

  committed
  1b5f293

  Copy full SHA for 1b5f293

• style(pileup): rustfmt the emit_all_positions tests

  Show description for 4057c8c
  

  logannye

  and

  claude

  committed
  4057c8c

  Copy full SHA for 4057c8c

• fix(example): coverage track reports zero-coverage loci (emit_all_positions)

  Show description for ea3a7e4
  

  logannye

  and

  claude

  committed
  ea3a7e4

  Copy full SHA for ea3a7e4

• feat(pileup): emit_all_positions — bounded reference-complete output

  Show description for 93147b7
  

  logannye

  and

  claude

  committed
  93147b7

  Copy full SHA for 93147b7

• docs(plan): emit_all_positions implementation plan (TDD)

  Show description for 09d918f
  

  logannye

  and

  claude

  committed
  09d918f

  Copy full SHA for 09d918f

• docs(spec): emit_all_positions — bounded reference-complete per-locus output

  Show description for ab1d728
  

  logannye

  and

  claude

  committed
  ab1d728

  Copy full SHA for ab1d728

• feat(verify): offline re-check that predicted >= realized working set

  Show description for 8541d65
  

  logannye

  and

  claude

  committed
  8541d65

  Copy full SHA for 8541d65

• feat(contract): record predicted_working_set_bytes in the variants claim

  Show description for e8e5467
  

  logannye

  and

  claude

  committed
  e8e5467

  Copy full SHA for e8e5467

• docs(plan): predicted_working_set claim + verify soundness re-check (TDD)

  Show description for c5c8f0f
  

  logannye

  and

  claude

  committed
  c5c8f0f

  Copy full SHA for c5c8f0f

• docs(spec): predicted_working_set claim + offline verify soundness re-check

  Show description for 73da1fb
  

  logannye

  and

  claude

  committed
  73da1fb

  Copy full SHA for 73da1fb

• Merge pull request #77 from logannye/rosalind/index-receipt-chain-verify

  Show description for 7147e17
  logannye

  authored
  7147e17

  Copy full SHA for 7147e17

• test(chain): tamper -> CHAIN BROKEN (exit 5); BAM input -> external

  Show description for 3491c45
  

  logannye

  and

  claude

  committed
  3491c45

  Copy full SHA for 3491c45

• feat(cli): rosalind chain verify <dir> — offline provenance-DAG walk

  Show description for 7cfa7d8
  

  logannye

  and

  claude

  committed
  7cfa7d8

  Copy full SHA for 7cfa7d8

• feat(receipt): pure walk_chain provenance-DAG walker

  Show description for 81c6607
  

  logannye

  and

  claude

  committed
  81c6607

  Copy full SHA for 81c6607

• test(chain): the index->variants edge resolves by content hash

  Show description for f8555ef
  

  logannye

  and

  claude

  committed
  f8555ef

  Copy full SHA for f8555ef

• feat(index): emit a content-addressed receipt (chain root)

  Show description for 1ff90b1
  

  logannye

  and

  claude

  committed
  1ff90b1

  Copy full SHA for 1ff90b1

• docs(plan): index receipt + chain verify implementation plan (TDD)

  Show description for fbed110
  

  logannye

  and

  claude

  committed
  fbed110

  Copy full SHA for fbed110

• docs(spec): index receipt + chain verify (rooted provenance DAG)

  Show description for 838985c
  

  logannye

  and

  claude

  committed
  838985c

  Copy full SHA for 838985c

• Merge pull request #76 from logannye/docs/relaunch-landing-readme

  Show description for ce4ad6d
  logannye

  authored
  ce4ad6d

  Copy full SHA for ce4ad6d

• docs: landing page + README freshness (up-to-date, informative)

  Show description for f9cefa7
  

  logannye

  and

  claude

  committed
  f9cefa7

  Copy full SHA for f9cefa7