Document rejected affine ablation and resumable federation training.

Publish case-context proxy rejection and source error audit

Publish clean federation GPU ablation and bottleneck audit

Audit federation leakage and enforce source provenance

Separate public research conversion from private P mobile release

Expose raster top-4 strokes and add end-to-end release lineage gate

Bind Android benchmark to online and raster model pair

Add Android 3-tier benchmark release gate

Add fail-closed P formula release and student export

Add fail-closed P formula student distillation path

Add P-only formula adapter training and 3-seed gates

Add fail-closed local P Formula intake contract

Document rejected isolated-symbol formula proxy

Add 3-seed formula-domain generalization study

Add online consensus audit and family-fusion runtime fix

Add composite CPU latency and memory proxy

Fix Python composite runtime and atomic export

Add reproducible LiteRT Colab conversion bundle

Add fail-closed real P formula data contract

Correct shared-state lineage and add composite torch exports

Add 3-seed device-contract stress validation

Add adopted 3-seed P boundary joint deltas and formal research summary

Promote full P proxy boundary head after validation and paired-test gates

Add P-track boundary auxiliary head smoke and shared encoder integration

Add AIFlow Math Ink 0.6 intermediate research snapshot