{"id":"600c7df3-8c55-4d78-9ed4-622637e08295","arxiv_id":"2606.28851","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The cathetus rule equals the assumption of a stigmatic image with well-defined cathetus, holds approximately in paraxial optics, and lets sagittal image points be located on the chief ray alone for leading-order astigmatism assessment.","lead":"The paper traces the cathetus rule from ancient optics through Kepler, Barrow and Newton, then shows it is equivalent to assuming a stigmatic image with a defined cathetus. A smart generalist might read it to see how an old geometric shortcut still simplifies modern paraxial ray-tracing for astigmatism.","discovery_kind":"new_application","skeptic_critique":{"model":"grok-4.3","headline":"Cathetus rule application to sagittal images on chief ray lacks shown equivalence to standard first-order astigmatism formulas","rationale":"The reader's weakest assumption directly identifies the same unverified step in the strongest claim. Because the paper is a historical synthesis whose modern application rests on this equivalence, and no explicit check or derivation is visible in the supplied abstract, the UNVERDICTED status is appropriate pending the full derivations.","tokens_in":1900,"tokens_out":355,"duration_ms":49846,"concrete_test":"For a single spherical surface (R=100 mm, n=1 to n'=1.5, object at s=-200 mm with height h=10 mm, chief ray at incidence angle ~5°), compute sagittal image distance via cathetus intersection with refracted chief ray and compare to sagittal Coddington formula n'/s'_s - n/s = (n'-n)cos i / R; agreement within 1% confirms the leading-order claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim requires that the cathetus (perpendicular from off-axis object point to the surface) intersects the traced chief ray at the correct leading-order sagittal image location for both reflection and refraction at spherical surfaces, and that this construction chains across multiple surfaces when each sagittal image serves as object for the next. The abstract states this fills the gap for astigmatism assessment without non-meridional rays, but provides no derivation linking the construction to the Coddington equations or Seidel astigmatism term; the equivalence to the paraxial stigmatic assumption is asserted rather than demonstrated for the off-axis, finite-angle case even to O(field^2).","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper argues that the ancient 'cathetus rule' (image lies on the perpendicular from object point to surface) is equivalent to the assumption of a stigmatic image, holds approximately in the paraxial (Gaussian) limit, and was historically applied or salvaged for sagittal images (Newton) after disproof for tangential ones (Barrow). It further claims that applying the rule to successive sagittal images along a traced chief ray in meridional ray-tracing through spherical surfaces allows assessment of leading-order astigmatism without tracing non-meridional rays.","tokens_in":2052,"tokens_out":579,"duration_ms":25643,"significance":"If the claimed equivalence and validity for sagittal images to leading order are established, the work offers historical insight into the development of image concepts from Euclid through Kepler, Tacquet, Barrow, and Newton, while identifying an unacknowledged shortcut in modern first-order optics. The absence of fitted parameters or invented entities strengthens the historical claims, but the modern application requires explicit linkage to standard results.","major_comments":[{"comment":"Abstract (final paragraph) and the section on modern application: the central claim that the cathetus rule 'fills a critical gap' by locating sagittal image-points on the chief ray to assess astigmatism to leading order requires an explicit derivation showing equivalence to the Coddington equations or the Seidel astigmatism term for off-axis points at spherical surfaces, even to O(field²); the manuscript asserts the validity for the sagittal image without providing the steps, error analysis, or comparison to standard formulas.","section":"Abstract and modern-application section"},{"comment":"The discussion of the paraxial equivalence: while the rule is stated to be 'equivalent to the assumption that the image is stigmatic and the cathetus well defined,' no explicit mapping is given between the geometric construction and the standard paraxial ray-transfer matrix or the condition for zero astigmatism in the sagittal plane.","section":"Section on paraxial/Gaussian analysis"}],"minor_comments":[{"comment":"The historical narrative would benefit from explicit section headings or subsection numbering to separate the Euclid-to-Newton history from the modern ray-tracing claim.","section":null},{"comment":"Notation for the cathetus and chief-ray extension should be defined once with a diagram or equation reference rather than relying on prose description alone.","section":null}],"recommendation":"major_revision","confidential_remarks":"The manuscript blends history-of-optics with a technical optics claim; while the journal (physics.hist-ph) is appropriate for the former, the latter may stretch scope unless the derivation is supplied. Citation pattern appears balanced but could note any overlap with prior work on Coddington equations."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful and constructive report. The two major comments correctly identify places where the manuscript asserts key equivalences without supplying the explicit derivations or mappings requested. We will revise the paper to include these, as detailed in the point-by-point responses below.","responses":[{"response":"We agree that the manuscript asserts the utility of the cathetus rule for locating successive sagittal images along the chief ray without furnishing the requested derivation. In the revised version we will add a dedicated subsection that derives the sagittal image location obtained by repeated application of the cathetus construction and shows, via a small-field-angle expansion of the exact reflection/refraction law, that this location coincides with the sagittal focal length given by the Coddington equations to O(field²). The same expansion will be compared term-by-term with the Seidel astigmatism contribution for a spherical surface; an explicit remainder estimate will quantify the leading-order error. This addition directly addresses the gap noted by the referee.","revision_made":"yes","referee_comment":"[Abstract and modern-application section] Abstract (final paragraph) and the section on modern application: the central claim that the cathetus rule 'fills a critical gap' by locating sagittal image-points on the chief ray to assess astigmatism to leading order requires an explicit derivation showing equivalence to the Coddington equations or the Seidel astigmatism term for off-axis points at spherical surfaces, even to O(field²); the manuscript asserts the validity for the sagittal image without providing the steps, error analysis, or comparison to standard formulas."},{"response":"The referee is correct that the manuscript states the equivalence to the stigmatic-image assumption without an explicit mapping to the paraxial formalism. We will insert a short derivation that begins from the geometric definition of the cathetus (the perpendicular from object point to surface) and shows that, under the standard paraxial approximations (small angles, neglect of higher powers), this construction is identical to the condition that the sagittal ray-transfer matrix maps the object height to an image height lying on the chief ray. The same steps will demonstrate that the resulting sagittal astigmatism vanishes identically in the Gaussian limit, thereby supplying the missing link between the ancient geometric rule and the modern ray-transfer matrix.","revision_made":"yes","referee_comment":"[Section on paraxial/Gaussian analysis] The discussion of the paraxial equivalence: while the rule is stated to be 'equivalent to the assumption that the image is stigmatic and the cathetus well defined,' no explicit mapping is given between the geometric construction and the standard paraxial ray-transfer matrix or the condition for zero astigmatism in the sagittal plane."}],"tokens_in":1559,"tokens_out":574,"duration_ms":21330,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main thing to know is that this paper proposes applying the old cathetus rule to place successive sagittal image points directly on the traced chief ray, allowing leading-order astigmatism checks without any rays outside the meridional plane. That is the concrete modern claim.\n\nThe historical sections do solid work. They correct the record on Benedetti's priority over Kepler for the disproof-and-salvage of the rule, and they document how the same geometric assumption quietly appears in standard paraxial treatments of lenses and mirrors. Those points rest on external citations and add a useful clarification.\n\nThe soft spot is the central modern application. The abstract states that the rule remains valid for the sagittal image to leading order and therefore fills the gap in meridional tracing, but it supplies no explicit steps showing how the construction reproduces the Coddington equations or the Seidel astigmatism term for off-axis points at finite angles. The stress-test note correctly flags that the equivalence is asserted rather than demonstrated. Without that link or a short error analysis, it is hard to judge how accurate the shortcut actually is once you move beyond the paraxial limit.\n\nThe paper contains no fitted parameters or circular definitions, and the historical claims look externally grounded. The modern part is a narrow but self-contained extension.\n\nThis is for readers who work on simple ray-tracing implementations or the history of geometric optics. Someone building a quick meridional astigmatism estimator might find the construction useful once the equivalence is verified. It is coherent on its own terms and shows clear engagement with the literature, so it deserves a serious referee to check the missing derivation steps.","headline":"The paper revives the cathetus rule as a meridional shortcut for sagittal images but asserts rather than derives its match to standard first-order astigmatism.","tokens_in":2543,"tokens_out":404,"would_cite":false,"duration_ms":26133,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"The cathetus rule holds for sagittal images and enables astigmatism assessment via meridional ray tracing alone.","keywords":["cathetus rule","sagittal image","astigmatism","meridional ray tracing","paraxial optics","spherical surfaces","history of optics","stigmatic image"],"falsifier":"A paraxial ray-trace calculation through a spherical surface that shows the sagittal image point lying off the chief ray would falsify the claim.","tokens_in":2783,"feed_emoji":"📐","tokens_out":715,"duration_ms":30440,"temperature":0.7,"pith_summary":"The paper traces the cathetus rule from Euclid through Ptolemy, Kepler, Tacquet, Barrow, and Newton, noting its historical disproof for tangential images outside the paraxial limit. It argues that the rule is equivalent to assuming a stigmatic image with a well-defined perpendicular, an assumption that holds approximately in first-order Gaussian optics. This validity for the sagittal image allows tracing only the chief ray from an off-axis object point through successive spherical surfaces, locating each sagittal image point on the rectilinearly extended chief ray by applying the rule at each surface. The result fills a gap in meridional ray tracing by permitting leading-order astigmatism evaluation without any rays outside the meridional plane.","feed_headline":"Cathetus rule locates sagittal images on chief ray","feed_subtitle":"The ancient perpendicular rule, valid for sagittal focus, lets astigmatism be checked using only meridional rays through spherical surfaces.","key_machinery":"The cathetus rule, which places the image point on the perpendicular from the object point to the surface, applied to the sagittal image in the paraxial limit.","core_discovery":"The cathetus rule is equivalent to the assumption that the image is stigmatic and the cathetus well defined. This narrow assumption is approximately true in the first-order (paraxial, Gaussian) analysis of lenses and mirrors. The validity of the rule for the sagittal image fills a critical gap in meridional ray-tracing through spherical surfaces: by tracing the chief ray from an off-axis object-point, then applying the cathetus rule to the successive surfaces, one can locate successive sagittal image-points on the chief ray (produced rectilinearly through surfaces as necessary), and hence assess astigmatism to leading order, without tracing any rays outside the meridional plane.","pith_inferences":["Lens design software could incorporate the rule for quick initial sagittal-focus estimates before full three-dimensional tracing.","The historical rule may offer computational shortcuts in other paraxial optical problems involving off-axis points.","Higher-order extensions of the method would require separate handling of tangential-image deviations."],"forward_implications":["Successive sagittal image points can be found on the chief ray after each reflection or refraction.","Astigmatism can be assessed to leading order using only rays in the meridional plane.","The rule applies to both reflection and refraction at spherical surfaces under the paraxial approximation.","Modern Gaussian optics expositions contain unacknowledged applications of the rule."],"fun_headline_variants":["Cathetus rule spots sagittal images on chief ray","Ancient rule checks astigmatism with meridional rays","Cathetus locates sagittal focus along chief ray","Sagittal images via cathetus in single-plane tracing"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The cathetus rule remains valid for the sagittal image formed at spherical surfaces to leading order, allowing the image point to be placed on the rectilinearly extended chief ray without additional non-meridional rays.","fun_headline_variants_meta":{"raw":{"variants":["Cathetus rule spots sagittal images on chief ray","Ancient rule checks astigmatism with meridional rays","Cathetus locates sagittal focus along chief ray","Sagittal images via cathetus in single-plane tracing"]},"model":"grok-4.3","cost_usd":0.004822,"raw_usage":{"total_tokens":2458,"prompt_tokens":843,"num_sources_used":0,"completion_tokens":60,"cost_in_usd_ticks":48224500,"prompt_tokens_details":{"text_tokens":843,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":1555,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":843,"tokens_out":60,"duration_ms":18612,"temperature":1.0,"reasoning_tokens":1555,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-06-30T08:45:42.594791+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A paraxial ray-trace calculation through a spherical surface that shows the sagittal image point lying off the chief ray would falsify the claim.","supporting_citations":[],"review_version":1}