Repository navigation

Views: tree-proven bases let a clean checkout rebind without re-reading files - #1020

Closed

aft-alfonso[bot] wants to merge 9 commits into

land/views-f-lexical-routingfrom

land/views-tree-proven-bases

Closed

Views: tree-proven bases let a clean checkout rebind without re-reading files#1020
aft-alfonso[bot] wants to merge 9 commits into
land/views-f-lexical-routingfrom
land/views-tree-proven-bases

Commits on Oct 27, 2026
- mason: register tree-keyed base identity and tree proof format
  
  ualtinok
  and
  alfonso-aft
  committed
  7d2bc52
- mason: compute full index trees and Git blob object IDs
  
  ualtinok
  and
  alfonso-aft
  committed
  9883ddd
- mason: tree-keyed base identity, proof file and receipt fast path (wip, untested)
  
  ualtinok
  and
  alfonso-aft
  committed
  46dfb79
- mason: name tree proof refusals and keep published proofs unchanged
  
  ualtinok
  and
  alfonso-aft
  committed
  857d122
- mason: report why a tree-keyed bootstrap is unavailable
  
  ualtinok
  and
  alfonso-aft
  committed
  799e1a0
- mason: create the tree base member directory before writing its proof
  
  ualtinok
  and
  alfonso-aft
  committed
  7fd67ef
- mason: clarify which resolver the tree-base test exercises
  
  ualtinok
  and
  alfonso-aft
  committed
  7a5d796
- mason: check only the unchanged member's readiness after an edit
  
  ualtinok
  and
  alfonso-aft
  committed
  0d9c4bc
- Search-quality descriptor for the tree-proven views bases
  
  ualtinok
  and
  alfonso-aft
  committed
  12c67f8