s615.py

from research import *
s=begin(615,'Refine the candidate generative grammar','Does indexed carrier substitution require abandoning the existing transformation grammar?',{'prior_operation_classes':7,'newly_explicit_actions':['indexed carrier realization','bounded attribution']},['C531; C552–C609'])
spec='''# Candidate grammar after the expanded family test

The object being transformed is a labelled source structure: ordered rows or segments, measured durations, endpoint roles, a selected chronology state, a unit, and a coordinate convention.

| Layer | Actions | What remains explicit |
|---|---|---|
| Source | Edit biography components; select rows; assign occupants to fixed slots | Source authority, order and scope |
| Realization | Project begetting ages or lifespans; evaluate counted carriers; round with residuals | Counts, phase, regular/cumulative mode |
| Transformation | Translate selected objects; apply anchored E/P/J; reverse admitted decimal segments once; reflect in a declared coordinate system | Anchor, domain, role and operator order |
| Comparison | Evaluate path totals, widths, ratios, centers and common endpoints | Which information the comparison discards |

Indexed realization uses coefficient and role-offset data, e.g. x=(N−7)u−64. It is already expressible as arithmetic on a source expression, but cannot always be reduced to one affine map of its evaluated date. Bounded attribution changes slot occupants while preserving the metric grid. Both deserve explicit names in an implementation; neither implies a new universal chronology-wide transformation.

Derived relations include affine frame covariance, fixed-offset translation commutation, local H7 followed by H7=T14, C3 rotation of Joseph duration components, gain allocation for E/P/J, and source-conditioned Enoch center theorems. There is no claim that all actions form one group or that this grammar is globally minimal.
'''
meta=artifact('model/candidate_grammar.md',spec)
finish(s,{'artifact':meta,'architecture':['source','realization','transformation','comparison'],'new_clarity':'expressions must retain counts and role offsets before evaluation'},'The expanded grammar remains small when it acts on labelled expressions, not bare dates. Indexed carrier realization and bounded attribution make explicit two operations hidden by date-only descriptions. Minimality remains a research question.','Consolidate successful coverage and failure cases into one model assessment.',{'four_layers':spec.count('| Source |')==1 and spec.count('| Comparison |')==1,'no_global_group_claim':'There is no claim' in spec})