ANCESTRAL SEPARATION — PHASE 2 BASELINE

baseline_phase0_path: ../math_record_boundary_phase0
baseline_phase1_path: ../math_record_boundary_phase1
mutation_policy: immutable; Phase 2 does not edit baseline members

PHASE 0
K0_manifest_file: K0_MANIFEST.sha256
K0_manifest_sha256: d3a498655b295ef547fd63d56fdd2063d98d72d4a1ab8db835b2c3903f675f50
P0_manifest_file: P0_MANIFEST.sha256
P0_manifest_sha256: b5ee7711785497eaefc988333b13a72cae1d9fe6f9b9e421124e927886f1267f
verification_2026_08_28: PASS
tests: PASS 47/47

PHASE 1
R1_manifest_file: R1_MANIFEST.sha256
R1_manifest_sha256: a33fbee4c209764a338f55b3c850323a3eaeab9ff5a9f47c6dd98ffc1e77e04d
release_manifest_file: RELEASE_MANIFEST.sha256
release_manifest_sha256: 4be78db1b13a34eedd1357370ba02a69af8185da5900a9531d7181c158965092
verification_2026_08_28: PASS
tests: PASS 62/62

SCOPE CARRIED FORWARD
Phase 0: typed records, forward provenance and append-only non-retroactivity
Phase 1: RBI-1 factorization/fiber theorem for an independently fixed target

PHASE 2 INDEPENDENCE CLAIM
AST-1 is a cross-layer composition, not a renaming of a prefix conflict:
the distinguishing channel required by factorization is localized to an
origin-tagged introduction in the ancestry of the declared conclusion.
FDT-2 extends single-valued targets to acceptable-answer relations and an
ordered filtration of declared views. The cut certificate localizes which
registered channels are structurally necessary in the declared finite DAG.

PRIORITY AND SEMANTIC LIMITS
external_comparison_role: none_required_as_premise
novelty_status: NOT-ASSESSED-IN-PHASE-2
priority_claim_authorized: NO
world_attestation: NOT-CLAIMED
event_occurrence: NOT-MACHINE-VERIFIED
purpose_justification: NOT-MACHINE-VERIFIED
declared_view_exhaustiveness: NOT-ATTESTED
