Skip to content

docs(Studies/Cinque2005): flag markedness transcription as unverified#748

Merged
github-actions[bot] merged 1 commit into
mainfrom
cinque2005-markedness-caveat
Jun 24, 2026
Merged

docs(Studies/Cinque2005): flag markedness transcription as unverified#748
github-actions[bot] merged 1 commit into
mainfrom
cinque2005-markedness-caveat

Conversation

@hawkrobe

Copy link
Copy Markdown
Owner

Docstring-only. Records the conclusion of a review of the markedness section: markedOptions is read from Cinque's prose and is not mechanically verified against him — the decide theorems check internal consistency and the frequency correlation, not fidelity (the (6b) error was caught by re-reading, not by a theorem).

Reverse-engineering a rule — (# distinct marked pied-piping parameters) + (1 if partial) — reproduces 11–12 of the 14 counts but diverges at (6k) and (6w); whether that's the rule's limit or a transcription artifact is left open, with the note that a fully derived markedness over derivation histories would settle it. No code change.

@github-actions github-actions Bot enabled auto-merge (squash) June 24, 2026 02:47
@github-actions github-actions Bot merged commit 1020c9c into main Jun 24, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant