Artifact Description [5a16099f48]

Artifact 5a16099f486976e04609e6b365457954a23d7c6a02003d370646cb0ab9285950:

• File internal/deck/legality.go
  • 2026-10-17 20:49:24 — part of check-in [f51becc770] on branch feat/submanifest-reader — feat(manifest): read sub-manifest trees (draft-fossil-submanifests-00)

    Parse the S card and the SUBMANIFEST artifact type, and read tree manifests through one enumeration seam.

    deck: the S card (exact arity, decoded filename, raw 40/64-hex hash, strictly ascending run between R and T), type Submanifest reached only by reassigning a D-less manifest, its F S Z legality row, and the 4.4 checks: no B with S, no F with S in a manifest, F xor S in a sub-manifest.

    manifest: checkinFileCards, ownFileCards and lookupFileCard are the one place a check-in's file set is assembled (9.3). A tree manifest is walked depth first with an explicit stack, a depth bound of 16, the repeated-artifact check and the least-filename and ordering checks of 5.1; lookup binary-searches one sub-manifest per level (5.3); a delta may name a tree as its baseline (5.4). A tree that cannot be walked is an error, never a partial file set (5.2). mlink derivation, R-card verification and the delta-manifest builder read through the seam, and a commit on a tree parent is written flat.

    Crosslink defers a check-in whose tree cannot be walked, recording the blocking sub-manifest in orphan so the phantom-fill cascade links it on arrival (7.3, 9.4). Storing an S-bearing artifact reserves phantoms for its absent references with the referrer's privacy (7.1) and sets the seen-submanifest indicator (8.1). A sub-manifest is filed as examined so the sweep never reselects it (9.2). The examined-blob table is versioned, so verdicts a parser without S cards reached are dropped. (user: [email protected], size: 5175) [annotate] [blame] [check-ins using]

  • 2026-10-21 21:20:46 — part of check-in [7244496a09] on branch main — Merge pull request #437 from danmestas/feat/submanifest-reader

    feat: sub-manifest trees and sparse cones (draft-fossil-submanifests-00, draft-fossil-sparse-cone-00) (user: [email protected], size: 5175) [annotate] [blame] [check-ins using]