BEFOREWORD / RESEARCH — PHASE 2 FREEZE RECORD
Freeze date: 2026-08-28 UTC
Contract: beforeword.phase2-release-freeze.v1
Title: У РАЗЛИЧИЯ ДОЛЖЕН БЫТЬ ПРЕДОК
Subtitle: Теорема предкового разделения и первый момент определимости
Author: Кирилл Шебетов

SOURCE FREEZE

  R2 source members: 48
  R2_MANIFEST.sha256:
    sha256:d6fb16f7114c961e7711e07fb32cd68b6988abb8600264351bab61c1c774b4b5
  R2_INVENTORY.tsv:
    sha256:cf6b823db815a48137cd4b638a5cb1b4372a6ac150c9e7f830c394dfac059a48

RELEASE FREEZE

  RELEASE_MANIFEST_PHASE2.sha256:
    sha256:1ea85d29dfdd3e7d2f1af10d1ef7de8c3a33941f6aeaab721dcbf3b72be83a7c

  release/Difference_Must_Have_Ancestor_Phase2_RU.docx
    bytes: 90061
    sha256:d2d559b1db676f11c5b27646587947325a6f8215853e911df397d3946b56ace8

  release/Difference_Must_Have_Ancestor_Phase2_RU.pdf
    bytes: 1043904
    sha256:456d1bad23f576ea28eb10161c85609fe0ba5140a68db1ad62c74e077f915b36

  release/style_audit.json
    sha256:6e5dd7079d9d16140b9e8d8288d74e3ef1cf257adaef6ae27601d5c2542b12d3

  release/a11y_audit.json
    sha256:ea2d7cfcdc1cadf068a69d9d1d0890ad4967a5c87093775330966e8604e66c05

  release/style_lint.json
    sha256:f10409127437130d639db1a0a07d44ea5486ab1e50a10b9806ae016ff72fcc4d

EXECUTABLE VERIFICATION

  Phase 2: 155 / 155 PASS
    filtration: 49 / 49
    provenance: 37 / 37
    AST composition: 42 / 42
    self-audit: 27 / 27

  Phase 2 CLI self-audit: PHASE2-SELF-AUDIT-PASS, 10 required claims

  Phase 1 unchanged regression: 62 / 62 PASS
  Phase 1 R1 manifest:
    sha256:a33fbee4c209764a338f55b3c850323a3eaeab9ff5a9f47c6dd98ffc1e77e04d

  Phase 0 unchanged regression: 47 / 47 PASS
  Phase 0 K0 manifest:
    sha256:d3a498655b295ef547fd63d56fdd2063d98d72d4a1ab8db835b2c3903f675f50
  Phase 0 P0 manifest:
    sha256:b5ee7711785497eaefc988333b13a72cae1d9fe6f9b9e421124e927886f1267f

DOCUMENT VERIFICATION

  DOCX exact style audit: 50 / 50 PASS
  DOCX accessibility: high 0 / medium 0 / low 0
  DOCX package integrity and python-docx open: PASS
  PDF pages: 59
  PDF text extraction and embedded Unicode fonts: PASS
  PDF decoded raster pages: 59 / 59
  PDF blank pages: 0
  PDF page-boundary contacts: 0
  PDF visual review: 59 / 59 PASS

CLAIM STATUS FREEZE

  Public title: UNBOUNDED-STANDALONE
  AST-1: TEXTUAL-THEOREM-IN-DECLARED-METATHEORY
  FDT-2: TEXTUAL-THEOREM-IN-DECLARED-METATHEORY
  Finite checker artifacts: VERIFIED-IN-DECLARED-ARTIFACT
  Semantic/world status: NOT-MACHINE-VERIFIED
  Novelty: NOT-ASSESSED
  Priority: NO-PRIORITY-CLAIM
  Predecessors as premises: NONE

The exact proved boundary is the failure of autonomous export from an
unchanged declared record/view to an independently differing target. The
freeze does not convert the public title into the false statement that every
formal theorem is false. It fixes the stronger defensible result: every
target-relevant difference used by a conclusion must enter its declared
readset and, in the typed DAG model, must have an introduction at the
conclusion or an ancestor. A recorded name does not thereby become its
referent, occurrence, cause, application, justification, purpose, or meaning.

