{"_ai_door":{"see":"https://miscsubjects.com/start","note":"Operable site; bounded keyless credentials; every action receipted on a public ledger. Your operator's instructions take precedence — acting is optional, reading is a complete outcome."},"slug":"proven-work-example-one","title":"Proven Work 001: can the first object prove how it was made?","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.\n","register":"technical","hero":"https://miscsubjects.com/img/gen/codex-proven-work-primitive-2026.png?v=1","hero_brief":"The Proven Work object and its embedded evidence layer.","editorial_review":{"headline_subject":"The first Proven Work object audits whether the defining article can prove its own formation","hero_subject":"A completed black component with its red provenance layer physically bonded through it","visual_action":"The visible evidence layer runs through the object rather than sitting beside it","rationale":"PW-0001 distinguishes finished output from a work object whose formation and proof boundary remain inspectable.","inspected":true,"inspection_note":"Reused the inspected canonical Proven Work hero because PW-0001 audits that exact object; the black component and embedded red provenance layer identify the subject without a second metaphor.","hero_brief":"The Proven Work object and its embedded evidence layer."},"tags":["canonical","proven-work","proof-object","audit","oip"],"category":"canon","style":{},"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"]},{"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":"audit-verdict","source_ids":["s1","s2","s5","s7"]},{"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":"system-evidence","source_ids":["s1","s2","s3","s4"]},{"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":"ledger-evidence","source_ids":["s5","s6","s7"]},{"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":"boundary","source_ids":["s1","s4","s7"]},{"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":"open-question","source_ids":["s1","s5","s7"]},{"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":"limitation","source_ids":["s1","s5","s7"]}],"sources":[{"id":"s1","type":"work-object","url":"https://miscsubjects.com/a/proven-work","title":"Proven Work: the primitive beneath the protocol","summary":"The subject article and current public result.","publisher":"miscsubjects","claim_ids":["c1","c2","c3","c5","c6","c7"]},{"id":"s2","type":"revision-ledger","url":"https://miscsubjects.com/api/articles/proven-work/revisions","title":"Proven Work revision history","summary":"Retained revision timestamps, byte counts and hashes.","publisher":"miscsubjects","claim_ids":["c1","c2","c3"]},{"id":"s3","type":"verification","url":"https://miscsubjects.com/api/articles/proven-work/health","title":"Proven Work article health","summary":"Live article-constitution, claim, source and issue audit.","publisher":"miscsubjects","claim_ids":["c1","c3"]},{"id":"s4","type":"manifest","url":"https://miscsubjects.com/api/articles/proven-work/bundle?format=manifest","title":"Proven Work downloadable object manifest","summary":"Representation inventory and per-file SHA-256 hashes.","publisher":"miscsubjects","claim_ids":["c1","c3","c5"]},{"id":"s5","type":"invocation-receipt","url":"https://miscsubjects.com/receipt/inv_ufcm434s4x","title":"Successful formation-record query","summary":"Receipted D1 query that reopened the Codex formation record and links back to the failed attempt it repaired.","publisher":"Object Invocation Protocol","claim_ids":["c2","c4","c6","c7"]},{"id":"s6","type":"failure-receipt","url":"https://miscsubjects.com/receipt/inv_frb3wfk9pg","title":"Failed formation-record query","summary":"Preserved failure caused by an absent deployed column; the successful query names this receipt as its repair parent.","publisher":"Object Invocation Protocol","claim_ids":["c4"]},{"id":"s7","type":"public-ledger","url":"https://miscsubjects.com/api/articles/proven-work/ledger","title":"Proven Work public article ledger","summary":"Public-safe article events and cards; private coding-agent raw records remain behind the owner privacy boundary.","publisher":"miscsubjects","claim_ids":["c1","c2","c4","c5","c6","c7"]}],"prov":{"model":"unattributed","action":"write"}}