CYCLIC ORIGIN AND SUPPORT GROUNDING — PHASE 3 BASELINE

baseline_phase0_path: ../math_record_boundary_phase0
baseline_phase1_path: ../math_record_boundary_phase1
baseline_phase2_path: ../math_record_boundary_phase2
mutation_policy: immutable; Phase 3 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

PHASE 2
R2_manifest_file: R2_MANIFEST.sha256
R2_manifest_sha256: d6fb16f7114c961e7711e07fb32cd68b6988abb8600264351bab61c1c774b4b5
release_manifest_file: RELEASE_MANIFEST_PHASE2.sha256
release_manifest_sha256: 1ea85d29dfdd3e7d2f1af10d1ef7de8c3a33941f6aeaab721dcbf3b72be83a7c
verification_2026_08_28: PASS
tests: PASS 155/155

UNCHANGED BASELINE TOTAL
tests: PASS 264/264
manifests: PASS

SCOPE CARRIED FORWARD
Phase 0: typed records, bridge provenance and append-only non-retroactivity
Phase 1: RBI-1 factorization/fiber theorem for independently fixed targets
Phase 2: AST-1 origin-tagged ancestry, FDT-2 and exact cuts in finite DAGs

PHASE 3 INDEPENDENCE CLAIM
CP-LFP-3 extends origin-tagged provenance from DAG ancestry to finite directed
graphs with cycles by an exact least-fixed-point path characterization.
SG-LFP-3 characterizes least positive support by finite seed-grounded trees.
FP-SEL-3 makes fixed-point policy an explicit input and isolates unsupported
circular residue in nonleast fixed points. Theorems use declared objects in
this package; predecessor comparison is not a premise.

PRIORITY AND SEMANTIC LIMITS
external_comparison_role: none_required_as_premise
novelty_status: NOT-ASSESSED-IN-PHASE-3
priority_claim_authorized: NO
world_attestation: NOT-CLAIMED
semantic_status: NOT-MACHINE-VERIFIED
event_occurrence: NOT-MACHINE-VERIFIED
referent_presence: NOT-MACHINE-VERIFIED
purpose_justification: NOT-MACHINE-VERIFIED
declared_readset_exhaustiveness: NOT-ATTESTED
