Chain of custody receipt

Source #40245

Cryptographic attestation that the document below was captured in Goblin House's archive at the timestamp shown, with the hash listed. If the original URL goes dark or its content changes, this receipt remains as evidence of what the public record looked like at capture time.

TitleSEC EDGAR: filing — Kelly Ortberg (2025-08-12)
Original URLhttps://efts.sec.gov/LATEST/search-index?q=%22Kelly%20Ortberg%22&dateRange=custom&forms=4,SC%2013D,SC%2013G,DEF%2014A,10-K,10-Q
PublicationSEC EDGAR
Source typesec_filing
Date2025-08-12
EntityKelly Ortberg
Captured1970-01-01T00:00:00.000Z UTC
Hash computed at2026-05-13T05:15:17.880Z UTC
SHA-2564ae7209b0bf3250818800fafe91ddd383159275af194bb0105f29d0e1266db81
Content length631 bytes
Content preview (first 800 chars)
{
  "ciks": [
    "0001377692",
    "0000012927"
  ],
  "period_ending": "2025-08-08",
  "file_num": [
    "001-00442"
  ],
  "display_names": [
    "Ortberg Robert Kelly  (CIK 0001377692)",
    "BOEING CO  (CIK 0000012927)"
  ],
  "xsl": null,
  "sequence": "2",
  "root_forms": [
    "4"
  ],
  "file_date": "2025-08-12",
  "biz_states": [
    "VA"
  ],
  "sics": [
    "3721"
  ],
  "form": "4",
  "adsh": "0001225208-25-007215",
  "film_num": [
    "251208483"
  ],
  "biz_locations": [
    "",
    "Arlington, VA"
  ],
  "file_type": "EX-24",
  "file_description": null,
  "inc_states": [
    "",
    "DE"
  ],
  "items": []
}

Verifying this receipt

The hash above was computed as:

sha256( coalesce(url, '<no-url>') || '\n' || raw_content )

Anyone with a copy of the original document can verify the match:

  1. Take the URL field and the original document content.
  2. Concatenate url + '\n' + content and SHA-256 it.
  3. Compare to the SHA-256 row above.

Or POST the candidate content to /source/40245/verify and our server will compare for you:

curl -X POST https://www.goblinhouse.net/source/40245/verify \
  -H "Content-Type: text/plain" \
  --data-binary @document.txt

Companion machine-readable receipt: /source/40245/receipt.json