Skip to content

feat(Data/Generalizations/Projectivity): hub + SolstadBott2024 overhaul#965

Merged
hawkrobe merged 2 commits into
mainfrom
projectivity-hub
Jun 28, 2026
Merged

feat(Data/Generalizations/Projectivity): hub + SolstadBott2024 overhaul#965
hawkrobe merged 2 commits into
mainfrom
projectivity-hub

Conversation

@hawkrobe

Copy link
Copy Markdown
Owner

Graduates the projection-prediction machinery from #963 into a shared Data/Generalizations/Projectivity hub, and overhauls the second projective-content paper (Solstad & Bott 2024, occasion verbs) onto it. Data verified against the paper PDF.

  • Data/Generalizations/Projectivity: theory-neutral pool — ProjectionAccount signature, ProjectionDatum adapter (reads either atIssueness or notAtIssueness from paperFeatures), 27 artifact-sourced rows pooled from both papers' Data/Examples JSON, and predictionError/predictsWithin. Clears the ≥2-papers / ≥2-accounts bar.
  • SolstadBott2024: drops the regression/Datum stats structs + native_decide; keeps the genuine structural theory (symmetric filtering and cataphoric resolution via FilteringDirection/ContextPolarity, Class C, Heim/Schlenker filtering, the IC bridge); adds the cross-paper result that occasion verbs project above the GPP diagonal — the mirror of TBD2018's establish. 558→265 lines.
  • TonhauserBeaverDegen2018: retrofitted to consume the hub (local prediction layer removed; GPP theory + accounts kept).
  • Bib: adds verified mandelkern-etal-2020; fixes two stale sources paths.

No native_decide/sorry; axiom-clean. CI runs the authoritative full build.

@github-actions github-actions Bot enabled auto-merge (squash) June 28, 2026 20:06
@hawkrobe hawkrobe disabled auto-merge June 28, 2026 20:35
@hawkrobe hawkrobe merged commit 9ea9f70 into main Jun 28, 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