mosaicstack/stack
19
0
Fork 1
Code Issues 335 Pull Requests 16 Actions Packages Projects Releases 15 Wiki Activity

docs: roll-up projection contract (S2 contract 8) #1442

Merged
fred merged 3 commits from contract/rollup-projection into next 2026-08-27 02:10:13 +00:00
Conversation 1 Commits 3 Files Changed 1
+351
3 Commits
Author SHA1 Message Date
fred 61d8c5fdd9 docs: roll-up projection contract revision 3 (terra re-review residuals)
ci/woodpecker/pr/ci Pipeline was successful
Details 
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)
ci/woodpecker/pr/ci Pipeline was canceled
Details
2026-08-26 19:57:56 -05:00
fred 61c495dd63 docs: roll-up projection contract (S2 contract 8)
ci/woodpecker/pr/ci Pipeline is pending
Details
2026-08-26 19:41:47 -05:00