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

instrument mechanism / verified-clean

Sound Level Distance Attenuation (Inverse Square Law) mechanism

The inspectable method record for Sound Level Distance Attenuation (Inverse Square Law), kept separate from implementation and qualification.

Status: VERIFIED_CLEANLifecycle: verified-clean

Model scope

The formula is correct for an ideal omnidirectional point source in a free field. Exact ambiguity requiring review: the spec does not explicitly define the SPL reference/weighting and does not specify required distance units or the positive-distance constraint. The honest label should also mention that source directivity, near-field effects, and atmospheric absorption are excluded if those conditions matter.

  • SPL2=SPL1-20log10(d2/d1) is the standard free-field point-source relationship when both distances are positive and expressed in the same units.
  • +6 dB per halving is a rounded approximation; the exact change is +6.0206 dB per halving distance.
  • The specification does not explicitly state that the reference level is dB SPL measured with the same frequency weighting and bandwidth as the target level.

Units and conventions

  • Reference SPL and output are dB SPL referenced to 20 micropascals.
  • Reference distance and target distance must use the same length units; only their ratio is used.
  • Distances must be strictly greater than zero.
  • The source is treated as an ideal point source in a free field, with unchanged source output, frequency content, and measurement conditions.

Inspectable vector

One of 4 source-bound review vectors:

{
  "inputs": {
    "reference_spl_db_spl": 74,
    "reference_distance_m": 2,
    "target_distance_m": 8
  },
  "expected_outputs": {
    "target_spl_db_spl": 61.96
  },
  "working": "d2/d1 = 8/2 = 4. log10(4) = 0.60206. Distance loss = 20 x 0.60206 = 12.0412 dB. SPL2 = 74 - 12.0412 = 61.9588 dB SPL, approximately 61.96 dB SPL."
}

Failure boundary

BREAK_CLAIMED · SELF_FLAGGED

The specification does not explicitly state that both reference and target distances must be strictly positive. A zero reference distance produces division by zero and an undefined logarithm, so an implementation without domain validation can fail or emit a non-finite result.

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-tranche2/tranche2-results.json
  • BOUNDARY_HAZARD_CATALOG.json