IndisputableMonolith.ArtHistory.StyleSuccessionFromJCost
The module defines artistic styles with approximate emergence years and derives succession gaps from the J-cost function of Recognition Science. Quantitative art historians or RS researchers modeling cultural timelines would cite it. It is a definition module containing no proofs, only declarations, lists, and basic equalities.
claimAn art style is a pair $(name, year)$ with $year$ an approximate emergence time in RS ticks. The western canon is a finite sequence of such styles; gaps between consecutive styles are computed via the J-cost, with average gaps shown to lie in the gap45 band.
background
The module sits in the ArtHistory domain and imports the RS time quantum τ₀ = 1 tick from Constants together with the cost machinery from Cost. It introduces ArtStyle as a structure pairing a style name with an emergence year measured in native ticks. Further definitions include the westernCanon list, styleGap between successive entries, averageGap, and predicates such as averageGap_in_gap45_band.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the concrete objects needed to apply Recognition Science to art history and directly supports the art_history_one_statement theorem. It shows how J-uniqueness and the phi-ladder can appear in cultural succession patterns.
scope and limits
- Does not validate emergence years against external historical data.
- Does not extend the model beyond the listed western canon.
- Does not claim to predict future styles or non-Western traditions.
- Does not derive the J-cost itself from art-historical observations.