OT-2026-000001582
Publication integrity record
Temporal logic formula generation device, temporal logic formula generation method, and storage medium
This page is the evidence record. It changes as evidence arrives: a trusted timestamp, an independent retrieval, a custody deposit. The disclosure itself (/p/OT-2026-000001582) never changes.
Identity and time
| Publication number | OT-2026-000001582 · never reused |
|---|---|
| Internal UUID | 01a0a676-f5a1-77a5-8cdb-2a3a33d5bc29 · UUIDv7, RFC 9562 |
| Publication timestamp | 2026-09-15T19:06:49.121712Z Recorded by the publication infrastructure in UTC, not taken from the submission. |
| Canonical URL | https://opentechnical.org/p/OT-2026-000001582 |
| Status | PUBLIC |
Content hashes
| Canonical text | 3d78ccd18c8b9fb3ad911b09d057edef3179c0f28e621a7ddfe8f9f73bf2f915 |
|---|---|
| Markdown | 793a7a86472c4e39bb7677cde88a360274187cc4b3ebd6392f951c42e3deb7e9 |
| Publication page | 5d30d97109359e7522287cdb339edfe496a7b9172b9c8073886d8f714c2fa2d2 |
| Manifest | a5d5836246b2d532e89d7c7a02fe7808c438a698b959db5c87e784f4aedc3423 |
SHA-256, lowercase hex, over the exact bytes of each published file. Every figure is hashed individually in the manifest.
Manifest signature
| Algorithm | Ed25519 · key
OT-SIGN-2026-01 · Verified |
|---|---|
| Signature | hF60T3rapHK1xH128dNpPwwKpd2wBmNXMYL/+Oro1PvBUjrdEg4GwL3IHMkWPvbPV924Y7b0UNyYRTa28jGTCw== |
| Public key | /integrity/keys · every key we have ever used stays published |
Trusted external timestamp
| timestamp.digicert.com | 2026-09-15T19:07:03Z batch OT-TS-2026-W38-001 · RFC 3161 token · inclusion proof root 6369baadb1a246009d149835804d20ba... |
|---|
Independent retrieval
| 2026-09-16T00:42:18.483687Z | HTTP 200 · MATCHhttps://opentechnical.org/p/OT-2026-000001582observed 5d30d97109359e7522287cdb339edfe4...fetched by grabo-systems from 34.44.131.203, which resolved the name to 35.239.157.139 |
|---|---|
| 2026-09-16T00:42:17.735557Z | HTTP 200 · MATCHhttps://opentechnical.org/p/OT-2026-000001582/manifest.jsonobserved a5d5836246b2d532e89d7c7a02fe7808...fetched by grabo-systems from 34.44.131.203, which resolved the name to 35.239.157.139 |
| 2026-09-16T00:42:17.332614Z | HTTP 200 · MATCHhttps://opentechnical.org/p/OT-2026-000001582/publication.mdobserved 793a7a86472c4e39bb7677cde88a3602...fetched by grabo-systems from 34.44.131.203, which resolved the name to 35.239.157.139 |
| 2026-09-16T00:42:16.976601Z | HTTP 200 · MATCHhttps://opentechnical.org/p/OT-2026-000001582/publication.txtobserved 3d78ccd18c8b9fb3ad911b09d057edef...fetched by grabo-systems from 34.44.131.203, which resolved the name to 35.239.157.139 |
| 2026-09-15T20:00:27.176256Z | HTTP 200 · MATCHhttps://opentechnical.org/p/OT-2026-000001582observed 5d30d97109359e7522287cdb339edfe4...fetched by instance-3.rotem.ai from 127.0.0.1, which resolved the name to 35.239.157.139 |
| 2026-09-15T20:00:27.142851Z | HTTP 200 · MATCHhttps://opentechnical.org/p/OT-2026-000001582/manifest.jsonobserved a5d5836246b2d532e89d7c7a02fe7808...fetched by instance-3.rotem.ai from 127.0.0.1, which resolved the name to 35.239.157.139 |
| 2026-09-15T20:00:27.129206Z | HTTP 200 · MATCHhttps://opentechnical.org/p/OT-2026-000001582/publication.txtobserved 3d78ccd18c8b9fb3ad911b09d057edef...fetched by instance-3.rotem.ai from 127.0.0.1, which resolved the name to 35.239.157.139 |
Requested from infrastructure separate from the publication system, over the public internet, with no credential. A MATCH means an ordinary internet client could fetch the publication and received exactly the bytes recorded above.
Independent archive
| External archive | Pending Canonical URLs are submitted to an independent archive in batches. |
|---|
A capture held by an outside archive is evidence that does not depend on OpenTechnical continuing to exist. It supplements the records above; it does not replace them.
Third-party custody
| OT-CUSTODY-2026-W38 | OpenTechnical-Custody-2026-W38.tar.zstf2fc69d02142424a578267e5e3a6d3bb... · 402,218,449 bytes · held by held on site pending an external custodian · retention permanent |
|---|