Repository navigation
The catalog and the ledger described: what each holds, when the record is written, the ladder, and what a receipt means - #912
Merged
Conversation
…d is written, the ladder, and what a receipt means 4-resource-management.md gains §5.8, four subsections against pkg/op/resource_catalog.go: the catalog as the live model and its doors, each door the claim it makes; the ledger as the record captured once at the end of Run, its fields split into identity and observation, its readers; the etag/digest ladder in both its applications, with a found tree recording its etag alone; and a field-by-field table of what a reader of a receipt may rely on, including what an empty digest means and the UUIDv7 commit stamp as the only clock the record carries. One word, one thing: "ledger" names the record only. The catalog's storage is the entries, in §2, §3, §4 and in twenty-two comments of resource_catalog.go. The status file carries the revision and the rows for PR #911 and this section. Closes #906 Claude-Session: https://claude.ai/code/session_01SqQVFZz7AdiLZkGoAcUqRW
This was referenced Sep 22, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
Lane 18 of #887, PR F, the last lane: a documentation task
under the resource model epic, feature #908.
subsections written against
pkg/op/resource_catalog.goat75350893: the catalog as the live model and itsdoors, each door the claim it makes (file.mkdir stamps a directory it found as its product: every deploy parent, home included, enters the ledger as made, and the trace digests it #907 as the worked example); the ledger as the record captured once at the
end of
Run, its fields split into identity and observation, its readers; the ladder in both its applications(§4.1's reconciler and
Snapshot(prior)), with a found tree recording its etag alone; and a field-by-fieldtable of what a reader of a receipt may rely on, what an empty digest means, and the UUIDv7 commit stamp as the
only clock the record carries (#910).
is "the entries" (§2's summary and surface listing, §3, §4, twenty-two comments in
resource_catalog.go, noidentifier changes).
Evidence
75350893-dirtymake checkexit 0; every name in §5.8 checked against the codedanoble-ud24-1.locallinux/arm64deploy common noblefactor-opsunderstoprefused three occupants the VM's personal checkout had moved between layers a minute earlier (#883, open, not this lane); underreplace166 files in 0.54 s; a secondstoppass 166 files in 0.77 s;upgradenothingdanoble-wd11-3.localwindows/arm64deploy common noblefactor-ops --allow-dirty70 links, 1 skipped, 28.5 s understop, 27.6 s underreplace;upgradeno copied filesRaw logs under
build/e2e/906-*.log. The markdown lint is not in CI and its tool is not installed here; not run.Test plan
make checkgreengrep -n ledgerover the document read line by line: the record onlyTime
Computed by the algorithm of noblefactor-ops#188 at merge.
https://claude.ai/code/session_01SqQVFZz7AdiLZkGoAcUqRW