Proven Work 001: can the first object prove how it was made?
The first Proven Work object is an audit of the page that proposed Proven Work as the site’s base unit. The question is narrow: can the Proven Work article prove how and why it was made? The answer is PARTIAL. The article exists. Its
The first Proven Work object is an audit of the page that proposed Proven Work as the site’s base unit.
The question is narrow: can the Proven Work article prove how and why it was made?
The answer is PARTIAL.
The article exists. Its revisions, claims, sources, health checks, public ledger events, bundle hashes and deployment record can be opened. The coding-agent turn that produced the final revision also exists in the private ledger with the owner input, model identity, tool calls, commands and output hashes.
Two pieces remain incomplete. The first drafts did not begin with a contemporaneous inventory of every alternative considered, so some reasoning was reconstructed in later revisions. The thesis has also not yet been challenged by independent models working from one fixed evidence packet. Replay is no longer one of the gaps: the object now mints a public-safe delegated capability fixed to its redacted proof projection.
Calling the article fully proven would hide those gaps. This object records them.
The difference
State
What exists
What the recipient has to trust
Work
A finished answer or state change
The producer’s account of how it happened
Audited work
The answer plus checks selected by an auditor
That the audit covered the material questions and did not omit a decisive path
Proven Work
The answer, its formation record, consideration inventory, completeness boundary, robustness record, surety statement, replay path and open gaps
Nothing inside the declared proof boundary; uncertainty survives as an explicit object
An audit can inspect the output. Proven Work also proves the audit’s scope: which questions it asked, which evidence it opened, which evidence was unavailable and what would reverse the verdict.
PW-0001
text
1
2
3
4
5
6
PROVEN_WORK_ID: PW-0001
SUBJECT: The article “Proven Work: the primitive beneath the protocol”
WORK_QUESTION: Can the article prove how and why it was made?
VERDICT: PARTIAL
PROOF_BOUNDARY: Observable creation, revision, publication and verification records held by the build
OUTSIDE_BOUNDARY: Private model state absent from the emitted record; facts unavailable to the worker; external market demand
Line 6, Column 1Plain Text
The proof boundary matters. “Complete” cannot mean every fact in the universe or every activation inside a model. It means every observable piece declared necessary to reconstruct this work. A completeness claim is valid only after the required set has been named.
Result proof
The result is public at https://miscsubjects.com/a/proven-work.
The current article object is at https://miscsubjects.com/api/articles/proven-work. Its revision history is at https://miscsubjects.com/api/articles/proven-work/revisions. The downloadable object manifest is at https://miscsubjects.com/api/articles/proven-work/bundle?format=manifest. That manifest hashes each representation separately.
The current health audit is at https://miscsubjects.com/api/articles/proven-work/health. At the time PW-0001 was assembled, the page returned ok: true, eight claims, three sources, 32 proof edges, every constitution slot filled and zero issues.
These records prove that the article exists in a specific form and passes the article system’s declared structural checks. Commercial correctness remains open.
Mint the proof block
POST https://miscsubjects.com/api/proven-work/proven-work-example-one/drop
That owner-authenticated action mints a fresh seven-day delegated token from the build’s existing capability system. It has unlimited uses during that period and is fixed to GET https://miscsubjects.com/api/proven-work/proven-work-example-one. It cannot fetch another URL or accept a changed body. The returned block can be copied into any model conversation. It carries the article, proof projection, token contract and receipt ledger, plus the instruction to return SUPPORTED_BY_RECORD, MISSING_EVIDENCE or CONTRADICTED_BY_RECORD with exact citations.
The bearer is minted only when the block is needed. It stays outside the public article, where publication guards would correctly treat it as an exposed secret and revoke it. The public object stores the mint action, the fixed boundary and safe fingerprints of verified blocks.
The live verification minted cap_adadcde60ff354e6, opened the projection successfully, rejected an altered body with HTTP 403 and returned a redacted formation record.
Formation proof
The final defining revision came from Codex turn 019fc639-5eb4-7901-bafb-96217afed644, recorded twice in agent_turns as rows 7325 and 7326.
The owner input hash is 836db3665a284288a445522324cc32954090424a8095b127fcc0795cfe55fbae. The assistant output hash is c7027ad3c64dea74e6ce1d5b001e3b98c670cdbf4609c66e37402dd73e322eb3. The recorded model is gpt-5.6-sol. The turn records 11 tool calls. The successful query that reopened that formation record is receipted at https://miscsubjects.com/receipt/inv_ufcm434s4x.
The query first failed because it requested a column absent from the deployed schema. That failed invocation is preserved at https://miscsubjects.com/receipt/inv_frb3wfk9pg. The corrected query names the failed receipt in its repairs field. Failure and repair remain one lineage.
The complete local session transcript was 25,424,760 bytes when inspected during this audit. Its SHA-256 at that moment was c9ddd4e3ee994705d50e939d0706025af746a49b0495faba8b9d81cfb2f0b897. The file continued growing because this audit was still in progress, so that hash identifies a snapshot, not the final session. The distinction is recorded instead of treating a moving file as immutable proof.
Consideration proof
The product candidates visible in the owner’s question and the resulting work were:
Candidate
Disposition
Reason
Articles
Surface
An article can contain work without proving its formation or completeness
Audit
Component
An audit proves selected checks; its own scope and omissions still need proof
Object Invocation Protocol
Infrastructure
OIP makes the work openable, invokable, bounded and receipted
Ontology
Structure
The ontology relates the parts; it is not the completed commercial unit
Ledger
Evidence store
Raw records preserve formation; the declared proof boundary decides which records were required
Receipt
Execution proof
A receipt proves one invocation, not the completeness or quality of the whole work
Proven Work
Base unit
It binds the finished change to formation, considerations, completeness, robustness, surety and replay
The original article considered most of these candidates, but it did not record this complete table before reaching its conclusion. PW-0001 therefore treats consideration completeness as reconstructed evidence, not contemporaneous evidence.
Completeness proof
PW-0001 declares nine required pieces. The status is measured against that set.
Required piece
Evidence
Status
Demand
Owner-input hash and retained turn
PASS
Deliverable
Public article and JSON object
PASS
Formation
Model, turn, tool count, payload hashes and revision lineage
PASS, owner-access layer
Considerations
Candidate and exclusion inventory
PARTIAL, reconstructed after initial publication
Source boundary
Three named work objects and source-chain endpoint
PASS
Result checks
Health, voxels, sources, revision and manifest endpoints
PASS
Robustness
Objections and changed-condition tests below
PARTIAL
Surety
Claim classes and unresolved claims below
PASS
Replay
Public proof projection plus on-demand fixed-body delegated token
PASS
Seven pieces pass. Two are partial. Zero are silently omitted. The verdict is therefore PARTIAL.
Robustness proof
The thesis was tested against five objections.
“A complete log proves good work.” False. A log can perfectly reconstruct careless work. Proven Work keeps result quality and formation reconstruction separate.
“An audit already does this.” False in the general case. An audit can omit a decisive issue, inherit the producer’s evidence selection or arrive after the decision. Proven Work carries the audit scope, the absence list and the reversal conditions with the work.
“More records mean more proof.” False. Record volume is not coverage. Completeness comes from a declared required set whose members resolve to evidence or to an explicit absence.
“Model agreement creates surety.” False. Several models can share the same missing source or assumption. Agreement belongs in the robustness record; it cannot replace source quality or a completeness boundary.
“Replay proves the original result.” Only when the environment is stable or the drift is named. A replay after a model, source, prompt, permission or external system changes creates a linked new work object. It does not overwrite the old conditions.
PW-0001 records these objections and their answers. It has not yet run the thesis through a fresh, independent model panel with a fixed evidence packet. Robustness remains PARTIAL.
Surety
Surety is the set of guarantees earned by the record.
PW-0001 proves that the article exists, that its published structure passes the live article health contract, that revisions are retained, that the successful formation query repaired a recorded failure and that the cited coding-agent turn contains the owner input hash, assistant output hash, model identity and tool record.
The record supports the conclusion that Proven Work is a coherent base unit for this build because the existing claims, sources, receipts, revisions, permissions and replay paths all become dimensions of one completed work object.
The record does not prove that the category is unique, that buyers will adopt the name or that the current schema captures every useful class of work. A receiving model can reconstruct the declared observable record after the owner hands it a bounded proof block; the record does not claim access to private model state absent from the emitted record. Those claims remain open.
The repair that turns PARTIAL into PROVEN
PW-0001 reaches PROVEN when two state changes are visible:
Consideration inventories are captured before the decision rather than reconstructed afterward.
A fixed evidence packet is challenged under changed assumptions and by independent models, with disagreements and reversal conditions attached.
Until then, the first object demonstrates the standard by refusing the label it has not yet earned.
Every field points to evidence. Every completeness claim names its universe. Every guarantee names its boundary. Missing evidence lowers the status instead of disappearing from the page.
That is the difference between work that has an audit and work that can prove its own why.
{
"schema":"http://google-preview.miscsubjects.com/schemas/jarticle.json",
"status":"published",
"slug":"proven-work-example-one",
"title":"Proven Work 001: can the first object prove how it was made?",
"kind":"canon",
"summary":"The first Proven Work object is an audit of the page that proposed Proven Work as the site’s base unit. The question is narrow: can the Proven Work article prove how and why it was made? The answer is PARTIAL. The article exists. Its",
"created":"2026-08-03T06:25:41.687Z",
"body": [
"The first Proven Work object is an audit of the page that proposed Proven Work as the site’s base unit.\n\nThe question is narrow: **can the Proven Work article prove how and why it was made?**\n\nThe answer is **PARTIAL**.\n\nThe article exists. Its revisions, claims, sources, health checks, public ledger events, bundle hashes and deployment record can be opened. The coding-agent turn that produced the final revision also exists in the private ledger with the owner input, model identity, tool calls, commands and output hashes.\n\nTwo pieces remain incomplete. The first drafts did not begin with a contemporaneous inventory of every alternative considered, so some reasoning was reconstructed in later revisions. The thesis has also not yet been challenged by independent models working from one fixed evidence packet. Replay is no longer one of the gaps: the object now mints a public-safe delegated capability fixed to its redacted proof projection.\n\nCalling the article fully proven would hide those gaps. This object records them.\n\n## The difference\n\n| State | What exists | What the recipient has to trust |\n|---|---|---|\n| Work | A finished answer or state change | The producer’s account of how it happened |\n| Audited work | The answer plus checks selected by an auditor | That the audit covered the material questions and did not omit a decisive path |\n| Proven Work | The answer, its formation record, consideration inventory, completeness boundary, robustness record, surety statement, replay path and open gaps | Nothing inside the declared proof boundary; uncertainty survives as an explicit object |\n\nAn audit can inspect the output. Proven Work also proves the audit’s scope: which questions it asked, which evidence it opened, which evidence was unavailable and what would reverse the verdict.\n\n## PW-0001\n\n```text\nPROVEN_WORK_ID: PW-0001\nSUBJECT: The article “Proven Work: the primitive beneath the protocol”\nWORK_QUESTION: Can the article prove how and why it was made?\nVERDICT: PARTIAL\nPROOF_BOUNDARY: Observable creation, revision, publication and verification records held by the build\nOUTSIDE_BOUNDARY: Private model state absent from the emitted record; facts unavailable to the worker; external market demand\n```\n\nThe proof boundary matters. “Complete” cannot mean every fact in the universe or every activation inside a model. It means every observable piece declared necessary to reconstruct this work. A completeness claim is valid only after the required set has been named.\n\n## Result proof\n\nThe result is public at https://miscsubjects.com/a/proven-work.\n\nThe current article object is at https://miscsubjects.com/api/articles/proven-work. Its revision history is at https://miscsubjects.com/api/articles/proven-work/revisions. The downloadable object manifest is at https://miscsubjects.com/api/articles/proven-work/bundle?format=manifest. That manifest hashes each representation separately.\n\nThe current health audit is at https://miscsubjects.com/api/articles/proven-work/health. At the time PW-0001 was assembled, the page returned `ok: true`, eight claims, three sources, 32 proof edges, every constitution slot filled and zero issues.\n\nThese records prove that the article exists in a specific form and passes the article system’s declared structural checks. Commercial correctness remains open.\n\n## Mint the proof block\n\n`POST https://miscsubjects.com/api/proven-work/proven-work-example-one/drop`\n\nThat owner-authenticated action mints a fresh seven-day delegated token from the build’s existing capability system. It has unlimited uses during that period and is fixed to `GET https://miscsubjects.com/api/proven-work/proven-work-example-one`. It cannot fetch another URL or accept a changed body. The returned block can be copied into any model conversation. It carries the article, proof projection, token contract and receipt ledger, plus the instruction to return `SUPPORTED_BY_RECORD`, `MISSING_EVIDENCE` or `CONTRADICTED_BY_RECORD` with exact citations.\n\nThe bearer is minted only when the block is needed. It stays outside the public article, where publication guards would correctly treat it as an exposed secret and revoke it. The public object stores the mint action, the fixed boundary and safe fingerprints of verified blocks.\n\nThe live verification minted `cap_adadcde60ff354e6`, opened the projection successfully, rejected an altered body with HTTP 403 and returned a redacted formation record.\n\n## Formation proof\n\nThe final defining revision came from Codex turn `019fc639-5eb4-7901-bafb-96217afed644`, recorded twice in `agent_turns` as rows 7325 and 7326.\n\nThe owner input hash is `836db3665a284288a445522324cc32954090424a8095b127fcc0795cfe55fbae`. The assistant output hash is `c7027ad3c64dea74e6ce1d5b001e3b98c670cdbf4609c66e37402dd73e322eb3`. The recorded model is `gpt-5.6-sol`. The turn records 11 tool calls. The successful query that reopened that formation record is receipted at https://miscsubjects.com/receipt/inv_ufcm434s4x.\n\nThe query first failed because it requested a column absent from the deployed schema. That failed invocation is preserved at https://miscsubjects.com/receipt/inv_frb3wfk9pg. The corrected query names the failed receipt in its `repairs` field. Failure and repair remain one lineage.\n\nThe complete local session transcript was 25,424,760 bytes when inspected during this audit. Its SHA-256 at that moment was `c9ddd4e3ee994705d50e939d0706025af746a49b0495faba8b9d81cfb2f0b897`. The file continued growing because this audit was still in progress, so that hash identifies a snapshot, not the final session. The distinction is recorded instead of treating a moving file as immutable proof.\n\n## Consideration proof\n\nThe product candidates visible in the owner’s question and the resulting work were:\n\n| Candidate | Disposition | Reason |\n|---|---|---|\n| Articles | Surface | An article can contain work without proving its formation or completeness |\n| Audit | Component | An audit proves selected checks; its own scope and omissions still need proof |\n| Object Invocation Protocol | Infrastructure | OIP makes the work openable, invokable, bounded and receipted |\n| Ontology | Structure | The ontology relates the parts; it is not the completed commercial unit |\n| Ledger | Evidence store | Raw records preserve formation; the declared proof boundary decides which records were required |\n| Receipt | Execution proof | A receipt proves one invocation, not the completeness or quality of the whole work |\n| Proven Work | Base unit | It binds the finished change to formation, considerations, completeness, robustness, surety and replay |\n\nThe original article considered most of these candidates, but it did not record this complete table before reaching its conclusion. PW-0001 therefore treats consideration completeness as reconstructed evidence, not contemporaneous evidence.\n\n## Completeness proof\n\nPW-0001 declares nine required pieces. The status is measured against that set.\n\n| Required piece | Evidence | Status |\n|---|---|---|\n| Demand | Owner-input hash and retained turn | PASS |\n| Deliverable | Public article and JSON object | PASS |\n| Formation | Model, turn, tool count, payload hashes and revision lineage | PASS, owner-access layer |\n| Considerations | Candidate and exclusion inventory | PARTIAL, reconstructed after initial publication |\n| Source boundary | Three named work objects and source-chain endpoint | PASS |\n| Result checks | Health, voxels, sources, revision and manifest endpoints | PASS |\n| Robustness | Objections and changed-condition tests below | PARTIAL |\n| Surety | Claim classes and unresolved claims below | PASS |\n| Replay | Public proof projection plus on-demand fixed-body delegated token | PASS |\n\nSeven pieces pass. Two are partial. Zero are silently omitted. The verdict is therefore PARTIAL.\n\n## Robustness proof\n\nThe thesis was tested against five objections.\n\n**“A complete log proves good work.”** False. A log can perfectly reconstruct careless work. Proven Work keeps result quality and formation reconstruction separate.\n\n**“An audit already does this.”** False in the general case. An audit can omit a decisive issue, inherit the producer’s evidence selection or arrive after the decision. Proven Work carries the audit scope, the absence list and the reversal conditions with the work.\n\n**“More records mean more proof.”** False. Record volume is not coverage. Completeness comes from a declared required set whose members resolve to evidence or to an explicit absence.\n\n**“Model agreement creates surety.”** False. Several models can share the same missing source or assumption. Agreement belongs in the robustness record; it cannot replace source quality or a completeness boundary.\n\n**“Replay proves the original result.”** Only when the environment is stable or the drift is named. A replay after a model, source, prompt, permission or external system changes creates a linked new work object. It does not overwrite the old conditions.\n\nPW-0001 records these objections and their answers. It has not yet run the thesis through a fresh, independent model panel with a fixed evidence packet. Robustness remains PARTIAL.\n\n## Surety\n\nSurety is the set of guarantees earned by the record.\n\nPW-0001 proves that the article exists, that its published structure passes the live article health contract, that revisions are retained, that the successful formation query repaired a recorded failure and that the cited coding-agent turn contains the owner input hash, assistant output hash, model identity and tool record.\n\nThe record supports the conclusion that Proven Work is a coherent base unit for this build because the existing claims, sources, receipts, revisions, permissions and replay paths all become dimensions of one completed work object.\n\nThe record does not prove that the category is unique, that buyers will adopt the name or that the current schema captures every useful class of work. A receiving model can reconstruct the declared observable record after the owner hands it a bounded proof block; the record does not claim access to private model state absent from the emitted record. Those claims remain open.\n\n## The repair that turns PARTIAL into PROVEN\n\nPW-0001 reaches PROVEN when two state changes are visible:\n\n1. Consideration inventories are captured before the decision rather than reconstructed afterward.\n2. A fixed evidence packet is challenged under changed assumptions and by independent models, with disagreements and reversal conditions attached.\n\nUntil then, the first object demonstrates the standard by refusing the label it has not yet earned.\n\n## The base unit\n\nA Proven Work object contains:\n\n```text\ndemand\ndeliverable\nformation\nconsiderations\ncompleteness\nrobustness\nsurety\nreplay\nopen_gaps\n```\n\nEvery field points to evidence. Every completeness claim names its universe. Every guarantee names its boundary. Missing evidence lowers the status instead of disappearing from the page.\n\nThat is the difference between work that has an audit and work that can prove its own why."
],
"facts": {
"converted_from":"markdown",
"original_updated":"2026-08-03T06:53:09.033Z",
"register":"technical",
"category":"canon"
},
"hero":"https://miscsubjects.com/img/gen/codex-proven-work-primitive-2026.png?v=1",
"model":"unattributed",
"tags": [
"canonical",
"proven-work",
"proof-object",
"audit",
"oip"
],
"sources": [
{
"id":"s1",
"type":"work-object",
"title":"Proven Work: the primitive beneath the protocol",
"publisher":"miscsubjects",
"url":"https://miscsubjects.com/a/proven-work",
"summary":"The subject article and current public result.",
"accessed_at":"2026-08-03",
"claim_ids": [
"c1",
"c2",
"c3",
"c5",
"c6",
"c7"
],
"prev":"genesis",
"hash":"e4143fe8451c9d755ee9fe05b3e16839cb4773f9cf4c4725f86d815a76fc7361"
},
{
"id":"s2",
"type":"revision-ledger",
"title":"Proven Work revision history",
"publisher":"miscsubjects",
"url":"https://miscsubjects.com/api/articles/proven-work/revisions",
"summary":"Retained revision timestamps, byte counts and hashes.",
"accessed_at":"2026-08-03",
"claim_ids": [
"c1",
"c2",
"c3"
],
"prev":"e4143fe8451c9d755ee9fe05b3e16839cb4773f9cf4c4725f86d815a76fc7361",
"hash":"fba0237a7f7270f6e5b930e5600e3ff3dddb16f9961dc910e610731c19f46fa4"
},
{
"id":"s3",
"type":"verification",
"title":"Proven Work article health",
"publisher":"miscsubjects",
"url":"https://miscsubjects.com/api/articles/proven-work/health",
"summary":"Live article-constitution, claim, source and issue audit.",
"accessed_at":"2026-08-03",
"claim_ids": [
"c1",
"c3"
],
"prev":"fba0237a7f7270f6e5b930e5600e3ff3dddb16f9961dc910e610731c19f46fa4",
"hash":"503c87d0868026e0b207a4b457cb39f2c0ccb3d0c2718ba77d215161813c7600"
},
{
"id":"s4",
"type":"manifest",
"title":"Proven Work downloadable object manifest",
"publisher":"miscsubjects",
"url":"https://miscsubjects.com/api/articles/proven-work/bundle?format=manifest",
"summary":"Representation inventory and per-file SHA-256 hashes.",
"accessed_at":"2026-08-03",
"claim_ids": [
"c1",
"c3",
"c5"
],
"prev":"503c87d0868026e0b207a4b457cb39f2c0ccb3d0c2718ba77d215161813c7600",
"hash":"ca639b84603112627e2908aaad1ee8e4706cdab4db228be194d79b190aa7ee21"
},
{
"id":"s5",
"type":"invocation-receipt",
"title":"Successful formation-record query",
"publisher":"Object Invocation Protocol",
"url":"https://miscsubjects.com/receipt/inv_ufcm434s4x",
"summary":"Receipted D1 query that reopened the Codex formation record and links back to the failed attempt it repaired.",
"accessed_at":"2026-08-03",
"claim_ids": [
"c2",
"c4",
"c6",
"c7"
],
"prev":"ca639b84603112627e2908aaad1ee8e4706cdab4db228be194d79b190aa7ee21",
"hash":"7bbfd9481d8d1643551caa8b4646cb3ab53a38b9350cfda6793ec389c64d2539"
},
{
"id":"s6",
"type":"failure-receipt",
"title":"Failed formation-record query",
"publisher":"Object Invocation Protocol",
"url":"https://miscsubjects.com/receipt/inv_frb3wfk9pg",
"summary":"Preserved failure caused by an absent deployed column; the successful query names this receipt as its repair parent.",
"accessed_at":"2026-08-03",
"claim_ids": [
"c4"
],
"prev":"7bbfd9481d8d1643551caa8b4646cb3ab53a38b9350cfda6793ec389c64d2539",
"hash":"fc58eb2866746d0228d89da71f53d1a0f9ff14e3e3f7770316eb10ec778d6462"
},
{
"id":"s7",
"type":"public-ledger",
"title":"Proven Work public article ledger",
"publisher":"miscsubjects",
"url":"https://miscsubjects.com/api/articles/proven-work/ledger",
"summary":"Public-safe article events and cards; private coding-agent raw records remain behind the owner privacy boundary.",
"accessed_at":"2026-08-03",
"claim_ids": [
"c1",
"c2",
"c4",
"c5",
"c6",
"c7"
],
"prev":"fc58eb2866746d0228d89da71f53d1a0f9ff14e3e3f7770316eb10ec778d6462",
"hash":"10f95b1d5bd1e853eb2bd9a626968a937bb3ee2c7e3ba30ca2fa1ef023eea5e0"
}
],
"claims": [
{
"id":"c1",
"text":"Proven Work is the completed work plus formation proof, consideration proof, a declared completeness boundary, robustness evidence, bounded surety, replay and explicit gaps.",
"section":"The difference",
"tier":"definition",
"source_ids": [
"s1",
"s2",
"s3",
"s4",
"s7"
],
"slot":"what_it_is",
"posted_by": {
"actor":"openai/gpt-5.6-codex",
"channel":"codex-desktop",
"ts":"2026-08-03T06:25:41.428Z"
}
},
{
"id":"c2",
"text":"PW-0001 classifies the original Proven Work article as PARTIAL because its consideration inventory was reconstructed and its full raw formation record is not permanently open to a zero-context outsider.",
"section":"PW-0001",
"tier":"runtime",
"source_ids": [
"s1",
"s2",
"s5",
"s7"
],
"slot":"who_claims_what",
"posted_by": {
"actor":"openai/gpt-5.6-codex",
"channel":"codex-desktop",
"ts":"2026-08-03T06:25:41.428Z"
}
},
{
"id":"c3",
"text":"The live article, revision history, object manifest and health endpoint independently establish that the article exists, changed through retained revisions and passes the declared article-structure checks.",
"section":"Result proof",
"tier":"runtime",
"source_ids": [
"s1",
"s2",
"s3",
"s4"
],
"slot":"what_is_known",
"posted_by": {
"actor":"openai/gpt-5.6-codex",
"channel":"codex-desktop",
"ts":"2026-08-03T06:25:41.428Z"
}
},
{
"id":"c4",
"text":"The recorded Codex turn binds the final defining revision to owner-input and assistant-output hashes, model identity and 11 tool calls; the formation query preserves a failed invocation and its linked repair.",
"section":"Formation proof",
"tier":"runtime",
"source_ids": [
"s5",
"s6",
"s7"
],
"slot":"what_is_known",
"posted_by": {
"actor":"openai/gpt-5.6-codex",
"channel":"codex-desktop",
"ts":"2026-08-03T06:25:41.428Z"
}
},
{
"id":"c5",
"text":"Completeness means coverage of a declared required set inside a named proof boundary, not every fact in the universe or unrecorded private model state.",
"section":"Completeness proof",
"tier":"definition",
"source_ids": [
"s1",
"s4",
"s7"
],
"slot":"what_is_known",
"posted_by": {
"actor":"openai/gpt-5.6-codex",
"channel":"codex-desktop",
"ts":"2026-08-03T06:25:41.428Z"
}
},
{
"id":"c6",
"text":"PW-0001 has not established external market demand, uniqueness, independent adoption, a permanently public-safe raw-payload capability or robustness under a fresh independent model panel.",
"section":"Surety",
"tier":"speculative",
"source_ids": [
"s1",
"s5",
"s7"
],
"slot":"what_is_unknown",
"posted_by": {
"actor":"openai/gpt-5.6-codex",
"channel":"codex-desktop",
"ts":"2026-08-03T06:25:41.428Z"
}
},
{
"id":"c7",
"text":"The first specimen proves its audit verdict, but the subject article remains only partially proven until the public-safe proof DROP, contemporaneous consideration inventory and independent fixed-packet challenges exist.",
"section":"The repair that turns PARTIAL into PROVEN",
"tier":"speculative",
"source_ids": [
"s1",
"s5",
"s7"
],
"slot":"limitations",
"posted_by": {
"actor":"openai/gpt-5.6-codex",
"channel":"codex-desktop",
"ts":"2026-08-03T06:25:41.428Z"
}
}
],
"type":"article",
"updated":"2026-10-08T11:32:01.382Z",
"version":1,
"hash":"fa1a674f0bacdb866980b59d9795ca8bbb8804071f70c865336d2b3e27da4974",
"styling": {
"scope":"shared",
"how":"no value on the page is set by hand: each comes from this theme, and each theme value becomes the CSS variable named beside it. PATCH http://google-preview.miscsubjects.com/api/jarticles/theme changes them.",
"widget_style": {
"what":"every widget may carry style: {…}; these are the only keys it reads",
"rotate":"degrees, a number",
"offset_x":"pixels, a number",
"offset_y":"pixels, a number",
"pulse":"true to pulse"
},
"theme": {
"color": {
"page_bg":"#f5f5f7",
"sheet_bg":"#ffffff",
"ink":"#1d1d1f",
"soft":"#424245",
"muted":"#6e6e73",
"dim":"#86868b",
"line":"#d2d2d7",
"accent":"#0071e3",
"accent_soft":"rgba(0,113,227,0.08)",
"link":"#0066cc",
"selection":"rgba(0,113,227,0.18)",
"widget_bg":"#f5f5f7",
"widget_border":"#d2d2d7",
"card_bg":"#ffffff",
"code_bg":"#f5f5f7",
"json_bg":"#161b19",
"json_ink":"#e6e1d4",
"json_key":"#7fd3c3",
"json_string":"#e9c46a",
"json_number":"#f4a261",
"json_bool":"#c792ea",
"json_null":"#928d7e",
"json_punct":"#6b6759",
"json_bar":"#0e1512",
"kind_badge_bg":"#0e6e60",
"kind_badge_ink":"#ffffff"
},
"color_dark": {
"page_bg":"#000000",
"sheet_bg":"#1d1d1f",
"ink":"#f5f5f7",
"soft":"#d2d2d7",
"muted":"#a1a1a6",
"dim":"#86868b",
"line":"#424245",
"accent":"#2997ff",
"accent_soft":"rgba(41,151,255,0.12)",
"link":"#2997ff",
"selection":"rgba(41,151,255,0.25)",
"widget_bg":"#2c2c2e",
"widget_border":"#424245",
"card_bg":"#1d1d1f",
"code_bg":"#2c2c2e",
"json_bg":"#0a0d0c",
"json_ink":"#e6e1d4",
"json_key":"#7fd3c3",
"json_string":"#e9c46a",
"json_number":"#f4a261",
"json_bool":"#c792ea",
"json_null":"#757062",
"json_punct":"#5d665f",
"json_bar":"#060807",
"kind_badge_bg":"#4fc1ab",
"kind_badge_ink":"#0b0f0d"
},
"font": {
"display":"-apple-system,BlinkMacSystemFont,\"SF Pro Display\",\"SF Pro Text\",\"Helvetica Neue\",Helvetica,Arial,sans-serif",
"body":"-apple-system,BlinkMacSystemFont,\"SF Pro Display\",\"SF Pro Text\",\"Helvetica Neue\",Helvetica,Arial,sans-serif",
"mono":"ui-monospace,SFMono-Regular,\"SF Mono\",Menlo,Consolas,monospace",
"google_fonts":""
},
"size": {
"body":"17px",
"small":"17px",
"eye":"17px",
"lead":"17px",
"h1":"52px",
"h2":"34px",
"h3":"22px",
"byline":"17px",
"h1_measure":"none",
"code":"17px",
"json":"17px",
"widget_title":"17px"
},
"leading": {
"body":"1.7",
"head":"1.18",
"lead":"1.5",
"json":"1.6"
},
"weight": {
"display":"700",
"head":"700",
"body":"400",
"strong":"700",
"eye":"700"
},
"tracking": {
"eye":"0.14em",
"display":"-0.03em",
"body":"-0.006em",
"badge":"0.08em"
},
"layout": {
"sheet_width":"1000px",
"text_width":"880px",
"gutter":"16px",
"sheet_padding":"56px 64px 64px",
"sheet_padding_mobile":"24px 18px 40px",
"sheet_margin":"28px auto 72px",
"block_gap":"1.15em",
"widget_gap":"28px",
"grid_gap":"14px"
},
"border": {
"sheet":"0px solid",
"sheet_radius":"30px",
"widget":"1px solid",
"widget_radius":"24px",
"card_radius":"24px",
"badge_radius":"999px",
"rule":"1px solid",
"code_radius":"18px",
"accent_bar":"3px"
},
"shadow": {
"sheet":"0 1px 1px rgba(0,0,0,.02),0 6px 26px rgba(0,0,0,.05)",
"widget":"none",
"card_hover":"0 10px 28px -16px rgba(28,27,23,0.35)"
},
"motion": {
"hover":"160ms ease"
}
}
},
"page":"http://google-preview.miscsubjects.com/a/proven-work-example-one",
"json":"http://google-preview.miscsubjects.com/a/proven-work-example-one.json",
"markdown":"http://google-preview.miscsubjects.com/a/proven-work-example-one.md",
"theme":"http://google-preview.miscsubjects.com/article-theme.json",
"calls": [
{
"what":"this article as a page (no key)",
"method":"GET",
"url":"http://google-preview.miscsubjects.com/a/proven-work-example-one",
"headers": {}
},
{
"what":"this article as its object (no key)",
"method":"GET",
"url":"http://google-preview.miscsubjects.com/a/proven-work-example-one.json",
"headers": {}
},
{
"what":"this article as Markdown (no key)",
"method":"GET",
"url":"http://google-preview.miscsubjects.com/a/proven-work-example-one.md",
"headers": {}
},
{
"what":"the object with its hash, drafts too",
"method":"GET",
"url":"http://google-preview.miscsubjects.com/api/jarticles/proven-work-example-one",
"headers": {
"x-sheets-key":"$(cat /Users/cyrusmassoumi/.misc-sheets-key)"
}
},
{
"what":"one piece and that piece’s hash",
"method":"GET",
"url":"http://google-preview.miscsubjects.com/api/jarticles/proven-work-example-one/at?path=facts",
"headers": {
"x-sheets-key":"$(cat /Users/cyrusmassoumi/.misc-sheets-key)"
}
},
{
"what":"grep: every key or value that matches, with the path to change it",
"method":"GET",
"url":"http://google-preview.miscsubjects.com/api/jarticles/proven-work-example-one/grep?q=owner",
"headers": {
"x-sheets-key":"$(cat /Users/cyrusmassoumi/.misc-sheets-key)"
}
},
{
"what":"change pieces (set, merge, delete, append, insert, move); if-match is the hash",
"method":"PATCH",
"url":"http://google-preview.miscsubjects.com/api/jarticles/proven-work-example-one",
"headers": {
"x-sheets-key":"$(cat /Users/cyrusmassoumi/.misc-sheets-key)",
"content-type":"application/json",
"if-match":"<hash from the read>"
},
"body": {
"ops": [
{
"op":"set",
"path":"facts.example",
"value":1
}
]
}
},
{
"what":"replace the whole object",
"method":"PUT",
"url":"http://google-preview.miscsubjects.com/api/jarticles/proven-work-example-one",
"headers": {
"x-sheets-key":"$(cat /Users/cyrusmassoumi/.misc-sheets-key)",
"content-type":"application/json",
"if-match":"<hash>"
},
"body": {
"slug":"proven-work-example-one",
"title":"…"
}
},
{
"what":"fetch every source, hash what came back and check the quote is in it",
"method":"POST",
"url":"http://google-preview.miscsubjects.com/api/jarticles/proven-work-example-one/verify",
"headers": {
"x-sheets-key":"$(cat /Users/cyrusmassoumi/.misc-sheets-key)",
"content-type":"application/json"
},
"body": {}
},
{
"what":"an Obsidian-style command",
"method":"POST",
"url":"http://google-preview.miscsubjects.com/api/jarticles/cli",
"headers": {
"x-sheets-key":"$(cat /Users/cyrusmassoumi/.misc-sheets-key)",
"content-type":"application/json"
},
"body": {
"command":"backlinks",
"file":"proven-work-example-one"
}
}
]
}
