July 29 — the project got smaller and more trustworthy
Today’s highest-value progress came from disproving our own implementation assumptions:
- We removed a dormant URN-reconstruction module after proving its only consumer was its own isolated test. Production already preserves DataHub-returned identity and uses DataHub-carried file metadata.
- We fixed a verification gate that could report a match when the MCP side never answered. Missing comparisons now produce a distinct INCONCLUSIVE verdict.
- We captured a moving DataHub catalog, then reproduced both pinned lineage manifests by digest after it changed. That strengthened the topology evidence while falsifying our earlier readiness assumption.
- We brought ~3,700 lines of evidence-producing scripts under an enforced lint boundary.
The through-line: Tally should never turn “not checked” into “verified,” whether the gap is a missing node, an unanswered MCP call, or a write that was accepted but not observed.
Next: finish the golden cockpit binding, narrow the writeback mutation boundary, and cut the under-three-minute demo.
Log in or sign up for Devpost to join the conversation.