Guth
NewsDocs
Page actions
View as Markdown ↗
Explore MCP tools ↗

instrument mechanism / verified-clean

HR Diagram Plotter mechanism

The inspectable method record for HR Diagram Plotter, kept separate from implementation and qualification.

Status: VERIFIED_CLEANLifecycle: verified-clean

Model scope

The honest-label warning is appropriate, but the instrument cannot be formula-verified or deterministically classified until the axis transformations, solar constants, reference table, interpolation, main-sequence-band definition, and giant/dwarf zone boundaries are specified. The four vectors verify coordinate handling and standard HR-diagram conventions under explicit assumptions, not the unspecified classification overlay.

  • The specification does not define a numerical plotting formula: it is unclear whether luminosity is plotted as L, L/L_sun, or log10(L/L_sun).
  • The main-sequence band overlay is unspecified; no reference-table values, interpolation method, band width, or uncertainty is provided, so its placement cannot be independently verified.
  • The giant and dwarf classification zones have no numerical boundaries or classification algorithm.
  • For (B-V, Mv) inputs, no color-temperature relation, magnitude-luminosity relation, or zone thresholds are specified.
  • The axis conventions are ambiguous. A conventional HR diagram reverses the Teff axis and usually reverses the absolute-magnitude axis, but this is not stated.
  • The use of 'CODATA solar values' is insufficiently specific because the exact adopted solar luminosity and effective temperature are not given.

Units and conventions

  • For Teff inputs, temperatures are assumed to be effective temperatures in kelvin, not degrees Celsius or Fahrenheit.
  • For the L-based vectors below, luminosity is assumed to be expressed in solar luminosities (L/L_sun), with a linear plotted y-coordinate unless otherwise stated.
  • If luminosity is supplied in watts, the conversion assumption is L_sun = 3.828e26 W; the specification does not state whether this conversion is required.
  • For color-magnitude inputs, B-V is dimensionless and Mv is absolute visual magnitude in magnitudes; apparent magnitude must not be accepted as Mv.
  • A conventional HR display is assumed to place hotter Teff values to the left and brighter/lower Mv values higher on the display, although the specification does not require this.

Inspectable vector

One of 4 source-bound review vectors:

{
  "inputs": {
    "mode": "Teff_L",
    "points": [
      {
        "id": "Sun",
        "Teff_K": 5772,
        "L_solar": 1
      }
    ]
  },
  "expected_outputs": {
    "sampled_points": [
      {
        "id": "Sun",
        "x_Teff_K": 5772,
        "y_L_solar": 1
      }
    ],
    "rough_stage": "main-sequence-like if the overlay labels the solar neighborhood as main sequence",
    "key_curve_features": [
      "The plotted point must lie at Teff = 5772 K and L/L_sun = 1.",
      "The point is a standard solar reference anchor; no numerical zone classification can be verified without zone boundaries."
    ]
  },
  "working": "The input already uses the assumed plot units. x = Teff = 5772 K. y = L/L_sun = 1. No conversion is needed. If the implementation instead receives 3.828e26 W: y = 3.828e26 W / 3.828e26 W per L_sun = 1 L_sun."
}

Failure boundary

BREAK_CLAIMED · SELF_FLAGGED

The zero-luminosity input produces an undefined logarithm and must be rejected. Additional hazards remain because the specification does not define an explicit input-mode discriminator, the main-sequence/giant/dwarf zone boundaries, or the exact axis-direction implementation.

Other records

Sources and evidence

These pointers bind the page to evidence. They do not grant authority or collapse verification into deployment.

  • VERIFIED_LEDGER.json
  • evidence-tranche6/tranche6-results.json
  • BOUNDARY_HAZARD_CATALOG.json