IndisputableMonolith.Anthropology.KinshipGraphCohomology
The module introduces kinship graph cohomology in the anthropology domain of Recognition Science by defining three structural axes of lineage, residence and marriage. Researchers extending cost functions and time quanta to social structures would cite it. It is a definition module with no proofs.
claimKinship systems are structured by three axes (lineage, residence, marriage) modeled via graph cohomology and cost functions in units where $\tau_0 = 1$ tick.
background
Recognition Science derives all physics from one functional equation, with the time quantum $\tau_0 = 1$ tick supplied by the Constants module and cost definitions supplied by the Cost module. This anthropology module applies those structures to kinship graphs. The module doc comment states the three structural axes of kinship: lineage, residence, marriage.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The module supplies foundational definitions that feed into Recognition Science extensions to anthropology. It connects cost and constant concepts to social graphs, supporting later use of the Recognition Composition Law and forcing chain steps T5-T8.
scope and limits
- Does not derive physical constants from kinship models.
- Does not validate against ethnographic data.
- Does not specify numerical parameters on the phi-ladder.
- Does not address the eight-tick octave or spatial dimension D=3.
depends on (2)
declarations in this module (17)
-
inductive
KinshipAxis -
structure
KinshipSystem -
def
trivial -
def
isNontrivial -
theorem
trivial_not_nontrivial -
def
all -
theorem
all_length -
def
nontrivial -
theorem
nontrivial_length -
theorem
murdock_count -
theorem
nontrivial_pairwise_distinct -
def
isCrossCousin -
theorem
cross_cousin_count -
theorem
cross_cousin_half -
structure
KinshipGraphCohomologyCert -
def
kinshipGraphCohomologyCert -
theorem
kinship_one_statement