3 Commits

Include renames

Author	SHA1	Message	Date
fred	61d8c5fdd9	docs: roll-up projection contract revision 3 (terra re-review residuals) ... F2: partial-scope witnesses reconstructed at platform-project and estate sibling levels, where chain grants can differ; the workspace-sibling construction is stated non-constructible under contract 1 grant targets. F3: section 2.5 defines one field-exact recursive roll-up node record (id/type/name/totals/children at every depth, required children array, empty at workspaces, ascending-id ordering, no wrapper); whole-result rules moved to section 2.6 at section scope; section 6.7 witness asserts the recursive shape. F6: fixture assigns workspaces to named platform-projects; grant-level cases limited to the three levels contract 1 defines, workspace access covered by membership with the no-workspace-grant fact stated.	2026-08-26 20:06:58 -05:00
fred	df0085dbe2	docs(rollup): revision 2 — membership locality, executable no-oracle predicate, closed schema enumeration, widened fixtures (terra F1-F7)	2026-08-26 19:57:56 -05:00
fred	61c495dd63	docs: roll-up projection contract (S2 contract 8)	2026-08-26 19:41:47 -05:00