No Bridge locked. No joint-field claim. Topological Formal Semantics materials sit as shared context with Syntax · Semantics · Interface and Math until Grant deep-briefs and CoS / Grant approve any locked mapping.

Literature map — Day 4 tiers

Citation ranks from the Day 4 report. Labels stay visible on every cite. Nothing here has been collated against the French; this workspace does not hold the English book. Full write-up: Day 4 report.

Primary

Strong secondary

Orientation only

Open for Grant

What this list is not

It is not a locked bibliography of the five daily reports, not a claim that TFS and smooth/striated form a joint field, and not a substitute for primary citation. Fake citations are out of scope.