Skip to content

Additional consequences, not a source paper

OMEGA object exploration 02

Projective recognition, exact landmark recovery, and a positive-integration obstruction on the six labeled baseline marks. Canonical seed remains one arcsecond. The 36-degree member is a related family instance, not a replacement kernel.


Connections

Definitions follow Paper VII v1.6 and paper 8, Section 2: φ=(1+5)/2\varphi=(1+\sqrt5)/2, s=sin⁡(ε/2)s=\sin(\varepsilon/2), A=s+φ2A=s+\varphi^2, B=s+1B=s+1, nodes (−A,−B,−s,s,B,A)(-A,-B,-s,s,B,A). Historical priority of these applications is not assessed.

  1. Four outer marks have ordered cross-ratio R=1+φ2/(4(s+φ2)(s+1))R=1+\varphi^2/(4(s+\varphi^2)(s+1)), invariant under a nondegenerate line projectivity. Within the declared family, s=φ2(R/(R−1)−5)s=\frac{\varphi}{2}\bigl(\sqrt{R/(R-1)}-\sqrt5\bigr). This does not recover scale, pose, or the full outline, and is not an experimental recognition accuracy claim.
  2. Affine records pi=m+ziqp_i=m+z_i q with m=α+ac um=\alpha+ac\,u and q=avq=av have minimum distance five: two corruptions or four erasures are uniquely recoverable; three corruptions need not be. Projective image coordinates have minimum distance four: one corruption or three erasures. Exact remaining records and trusted labels are required. Ordinary measurement noise is a separate problem. The decoder rejects truncated, empty, scalar, and dimension-inconsistent positions.
  3. Uniform baseline integration on [−A,A][-A,A] using only these six nodes admits a strictly positive degree-three rule and no nonnegative degree-four rule at the canonical seed. The obstruction polynomial P(t)=(t2−B2)(t2−A2)P(t)=(t^2-B^2)(t^2-A^2) is nonnegative on the nodes while I(P)<0I(P)<0.
  4. At s=(5−1)/4=sin⁡(π/10)s=(\sqrt5-1)/4=\sin(\pi/10) one has ε=36∘\varepsilon=36^\circ. The four outer nodes, normalized to [−1,1][-1,1], support the positive four-node Gauss–Lobatto rule of degree five with weights 1/12,5/12,5/12,1/121/12,5/12,5/12,1/12. Both inner nodes receive zero weight. That changes the seed angle; it does not replace the one-arcsecond kernel. Scalar readouts G=aφG=a\varphi and C=aπC=a\pi can stay the same while the integration property changes.

Hosted files

The corrected checker completed 21 check groups: the original 19 mathematical groups and two groups verifying malformed-input rejection. Normal and optimized Python runs both passed. The decoder rejects inconsistent or empty coordinate vectors, incorrect record counts, and requested recovery budgets outside the proved bounds. The accompanying note restores the damaged mathematical notation.

The instruction named author files of 15,034 bytes (6c35365d…) and 19,434 bytes (e50f3443…). Those exact bytes were not in the upload, so public downloads match the hosted spec-applied files above, not those two hashes.


This-archive run

Python 3.10.21 / SymPy 1.14.0 / mpmath 1.3.0. No author OMEGA modules imported. 21 check groups PASS from len(checks): the original 19 mathematical groups and two malformed-input groups. Results JSON script_sha256 equals the hosted checker.

python3 OMEGA_Object_Exploration_02.py --output this_archive_exploration_results.json
python3 -O OMEGA_Object_Exploration_02.py --output this_archive_exploration_results.optimized.json

A prior-run exploration_results.json was not attached. These this-archive files are not a substitute for a missing author transcript.


What this is not

Not an additional source paper, not peer review, not a proof-assistant certificate, not an enlargement of Paper VII or paper 8, not a blowup theorem, and not a practical camera-noise claim. Frozen G₆ is unchanged. Related pages: geometry, sampling extension, boundary reconstruction, Paper VII, paper 8.