Library / First Principles Framework (FPF) - Core Conceptual Specification
Jump to passage
In this reading

Link to current text

Published source confirmed at last check

Source changed 2026-10-03 07:42:37 UTC · snapshot created 2026-10-03 07:43:27 UTC · last check 2026-10-03 07:55:10 UTC

A.14:9.6 - Collection belonging and separately grounded parthood

IDRequirementPurpose
CC-MEM-1State collection belonging with the predicate defined for that subject. Name the entity, collection, collection identity rule, what makes belonging begin and end, whether it can recur, and how past belonging is said.Keeps unlike fleets, corpora, communities, populations, products, and Suites under their own rules.
CC-MEM-2From collection belonging alone infer neither a constructive part relation nor holonhood. Also do not infer that either is impossible.Separates non-implication from universal prohibition.
CC-MEM-3If the same collection independently passes all six A.1 matters and a constructive part relation obtains, publish that second claim under its direct pattern. A direct belonging sentence needs no B.3.5 fields. When B.3.5 assurance is elected for it, use validationMode=axiomatic and one current C.13 set trace; the trace reports the collection, entities, relation occurrences, rule, and identity conditions and creates none of them.Keeps collection belonging, constructive parthood, assurance, and collective action separate.