Read first: corrected brief and rejected claims
Preserved research record. This public derivative removes local-only path links; scientific wording and original status claims remain historical. Internal AI reviews are not external peer review. Original SHA-256: 93077c5abdeb842a7a38329d9ec8061eca0352b26290bfd1523ddca8ed88fae0.
Equations in these preserved Markdown records retain their TeX notation where present; this is not a newly typeset proof edition.
Research brief — Observation Refinement Beyond a Fixed Carrier, with Constrained Observation Design
Canonical owner: GR — General ProLT Observation Refinement (Research Direction).
Stage / recommended form: early research direction / One research direction; theory/methods article only after validation.
Unique results or bounded research targets
- GR1: Fiber-profile normal form and forgetful projection for refinements that split old observational equivalence classes (v0.2 thm:normalform).
- GR2: Redundancy, adjoint/fiber and mapping-cone criteria with separating examples and universality boundaries; identify which are standard translations.
- GR3: Preserved observation-design subdirection: destructive three-chain and compensating five-state examples distinguish coordinatewise, joint and sequential safety; constrained predicate selection is an open target.
Shared or excluded from novelty
PL owns observation framework; BT owns one-bit height-two recognition, repair/collapse and sharp fixed-carrier results. Classical Quillen/McCord/Barmak fiber criteria and mapping cones are background. GU owns its minimum-test/probe interface; generic hitting-set reduction alone is not a new design result.
Corrections and excluded claims
v0.5 odim_P(Q)=dim_2(Q) is false; dependent NP-completeness proof is unsupported. For P=Q a nontrivial chain, relative dimension is 0 while Boolean embedding dimension is positive. v0.3 TeX is zero bytes and must not be reconstructed silently. v0.4 and the old eight-state v0.5 example are history where BT is stronger.
Evidence and locators
Current source: RESEARCH_BRIEF.md. Line ranges below refer to the preserved source text after normalizing newline sequences for inspection; theorem labels/section titles are authoritative locators.
01_RESEARCH_NOTES/ProLT_Observation_Refinement_Classification_v0.2.tex:144-26001_RESEARCH_NOTES/ProLT_Observation_Refinement_Classification_v0.2.tex:377-879OBSERVATION_DESIGN_AND_SAFE_REFINEMENT/HISTORY/WORKING_NOTES/ProLT_Simultaneous_Observation_Refinement_v0.5.tex:213-270OBSERVATION_DESIGN_AND_SAFE_REFINEMENT/HISTORY/WORKING_NOTES/ProLT_Simultaneous_Observation_Refinement_v0.5.tex:402-495
File and ZIP-member SHA-256, titles/objectives and section anchors are in the complete evidence inventory. The pairwise matrix specifies ownership, treatment and residual content for every project pair.
Work still required
Audit carrier maps, restrict to a meaningful theorem class, and distinguish redundancy/homology/homotopy/collapse; validate a certificate algorithm or new theorem. State permitted observations and costs before optimizing. A separate design paper requires new independent substance.
Most general criteria are applications of standard topology. Strong internal research boundary does not establish novel theorems. Historical universality/undecidability and neutrality claims still need specialist review.
This is an unfinished direction, not a submission manuscript. The referenced working notes retain their original claims and corrections as evidence.