collections/navier-stokes-packet

Navier-Stokes packet

Curated public packet for the Navier-Stokes undecidability track.

  • navier-stokes
  • undecidability
  • ergodic-theory

This packet takes the user’s guidance seriously: the seven-paper Navier-Stokes line is presented as a coherent public set rather than reduced to one isolated file.

Selected materials:

  1. Pedagogical overview markdown
  2. NS Independence
  3. K inside B companion
  4. Forward profile universality
  5. Ergodic connection
  6. Ergodic FIM
  7. Tao cascade resolution
  8. I-prime exclusion

Why this packet:

  • The sequence reads as a program rather than a single claim.
  • The first PDF anchors the track at the site level.
  • The rest remain available as a directly navigable stack.
  • The packet can later expand with a dedicated markdown overview derived from the upstream pedagogical note.

Related collections: