<script>window.huggingface={variables:{"SPACE_CREATOR_USER_ID":"6a740582a4967f863de76eef"}};</script><meta property="og:title" content="DGAF — Governed Agent Proof of Operation"><meta property="og:description" content="DGAF governed-action proof with receipts and claim limits."><meta property="og:image" content="https://cdn-thumbnails.huggingface.co/social-thumbnails/spaces/Ndrorchestration/dgaf-governed-agent-proof.png"><meta name="twitter:card" content="summary_large_image"><meta name="twitter:image" content="https://cdn-thumbnails.huggingface.co/social-thumbnails/spaces/Ndrorchestration/dgaf-governed-agent-proof.png">&lt;!doctype html&gt;
&lt;html lang=&quot;en&quot;&gt;
&lt;head&gt;
  &lt;meta charset=&quot;utf-8&quot;&gt;
  &lt;meta name=&quot;viewport&quot; content=&quot;width=device-width,initial-scale=1&quot;&gt;
  &lt;meta name=&quot;description&quot; content=&quot;DGAF bounded proof-of-operation: explicit authority, admission, execution receipts, provenance, and claim limits for agentic systems.&quot;&gt;
  &lt;title&gt;DGAF — Governed Agent Proof of Operation&lt;/title&gt;
  &lt;style&gt;
    :root{
      color-scheme:dark;
      --bg:#081019;--surface:#0e1824;--surface2:#13202e;--border:#26384b;
      --text:#edf4fb;--muted:#94a7ba;--accent:#7dd3fc;--ok:#86efac;
      --warn:#fcd34d;--deny:#fca5a5;--max:1180px
    }
    *{box-sizing:border-box}
    html{scroll-behavior:smooth}
    body{margin:0;background:
      radial-gradient(circle at 80% 0%,rgba(125,211,252,.09),transparent 35%),
      linear-gradient(180deg,#07101a,#09131d 48%,#07101a);
      color:var(--text);font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,&quot;Segoe UI&quot;,sans-serif;line-height:1.55}
    a{color:inherit}
    main{max-width:var(--max);margin:auto;padding:32px 22px 64px}
    .eyebrow{font:800 12px/1.2 ui-monospace,SFMono-Regular,Menlo,monospace;letter-spacing:.13em;color:var(--accent)}
    .hero{padding:52px 0 30px;display:grid;grid-template-columns:minmax(0,1.35fr) minmax(280px,.65fr);gap:28px;align-items:center}
    h1{font-size:clamp(2.5rem,6vw,5.4rem);line-height:.95;letter-spacing:-.055em;margin:12px 0 20px;max-width:850px}
    h1 span{color:var(--accent)}
    .lead{font-size:clamp(1rem,2vw,1.2rem);max-width:760px;color:#c4d2df;margin:0}
    .actions{display:flex;gap:11px;flex-wrap:wrap;margin-top:26px}
    .button{display:inline-flex;align-items:center;justify-content:center;text-decoration:none;border:1px solid var(--border);border-radius:10px;padding:12px 16px;font-weight:800;font-size:.9rem;background:var(--surface)}
    .button.primary{background:var(--accent);color:#041019;border-color:var(--accent)}
    .button:hover{transform:translateY(-1px)}
    .boundary,.panel{border:1px solid var(--border);border-radius:16px;background:rgba(14,24,36,.88)}
    .boundary{padding:20px}
    .boundary strong{display:block;margin:5px 0 9px;font:800 .82rem ui-monospace,SFMono-Regular,Menlo,monospace;color:var(--warn)}
    .boundary p{margin:0;color:var(--muted);font-size:.86rem}
    .section{margin-top:32px}
    h2{font-size:1.55rem;margin:8px 0 8px}
    .section-intro{color:var(--muted);max-width:760px;margin:0 0 18px}
    .pipeline{display:grid;grid-template-columns:repeat(6,minmax(0,1fr));gap:8px}
    .stage{padding:16px 12px;min-height:128px;border:1px solid var(--border);border-radius:12px;background:var(--surface)}
    .num{font:800 .68rem ui-monospace,SFMono-Regular,Menlo,monospace;color:var(--accent)}
    .stage strong{display:block;margin:8px 0 5px;font-size:.82rem}
    .stage p{font-size:.72rem;color:var(--muted);margin:0}
    .cases{display:grid;grid-template-columns:1fr 1fr;gap:14px}
    .case{padding:22px}
    .case h3{margin:3px 0 8px}
    .case p{color:var(--muted);margin:0 0 13px}
    .outcome{display:inline-block;border-radius:8px;padding:7px 9px;font:800 .7rem ui-monospace,SFMono-Regular,Menlo,monospace}
    .allow .outcome{color:var(--ok);background:rgba(134,239,172,.08);border:1px solid rgba(134,239,172,.25)}
    .deny .outcome{color:var(--deny);background:rgba(252,165,165,.08);border:1px solid rgba(252,165,165,.25)}
    .proof{padding:22px}
    .proof-grid{display:grid;grid-template-columns:repeat(3,1fr);gap:1px;background:var(--border);border:1px solid var(--border);border-radius:12px;overflow:hidden;margin-top:16px}
    .proof-grid div{background:var(--surface);padding:13px;min-width:0}
    .proof-grid span{display:block;color:var(--muted);font-size:.67rem}
    .proof-grid code{display:block;margin-top:5px;font-size:.7rem;overflow-wrap:anywhere}
    .claims{display:grid;grid-template-columns:repeat(4,1fr);gap:10px}
    .claim{padding:16px;border:1px solid var(--border);border-radius:12px;background:var(--surface)}
    .claim span{font-size:.68rem;color:var(--muted)}
    .claim strong{display:block;margin-top:5px;font:800 .72rem ui-monospace,SFMono-Regular,Menlo,monospace;color:var(--warn);overflow-wrap:anywhere}
    .explain{padding:24px;border-left:3px solid var(--accent)}
    .explain blockquote{margin:0;font-size:1.1rem;font-weight:700}
    .explain p{color:var(--muted);margin:12px 0 0}
    footer{margin-top:38px;padding-top:22px;border-top:1px solid var(--border);display:flex;justify-content:space-between;gap:18px;flex-wrap:wrap;color:var(--muted);font-size:.76rem}
    footer a{color:var(--accent)}
    @media(max-width:900px){.hero{grid-template-columns:1fr}.pipeline{grid-template-columns:repeat(3,1fr)}.proof-grid{grid-template-columns:1fr 1fr}.claims{grid-template-columns:1fr 1fr}}
    @media(max-width:620px){main{padding-inline:15px}.pipeline,.cases,.proof-grid,.claims{grid-template-columns:1fr}.hero{padding-top:30px}.button{width:100%}}
    @media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}.button:hover{transform:none}}
  &lt;/style&gt;
&lt;/head&gt;
&lt;body&gt;
&lt;main&gt;
  &lt;section class=&quot;hero&quot;&gt;
    &lt;div&gt;
      &lt;div class=&quot;eyebrow&quot;&gt;DYNAMIC GOVERNANCE AGENTIC FORMATION&lt;/div&gt;
      &lt;h1&gt;Can act is not the same as &lt;span&gt;may act.&lt;/span&gt;&lt;/h1&gt;
      &lt;p class=&quot;lead&quot;&gt;DGAF is an experimental governance and evidence framework for agentic systems. It keeps capability, evidence, verification, authority, execution, and claim scope from silently collapsing into one another.&lt;/p&gt;
      &lt;div class=&quot;actions&quot;&gt;
        &lt;a class=&quot;button primary&quot; href=&quot;https://project-7ybao.vercel.app/demo&quot; target=&quot;_blank&quot; rel=&quot;noopener&quot;&gt;Run the live proof →&lt;/a&gt;
        &lt;a class=&quot;button&quot; href=&quot;https://github.com/ndrorchestration/DGAF-Framework&quot; target=&quot;_blank&quot; rel=&quot;noopener&quot;&gt;Inspect the source&lt;/a&gt;
      &lt;/div&gt;
    &lt;/div&gt;
    &lt;aside class=&quot;boundary&quot;&gt;
      &lt;div class=&quot;eyebrow&quot;&gt;EVIDENCE BOUNDARY&lt;/div&gt;
      &lt;strong&gt;SAME-SYSTEM · BOUNDED ENGINEERING DEMO&lt;/strong&gt;
      &lt;p&gt;This showcase is presentation-only. The governed effect runs on the accepted DGAF deployment. Neither this page nor a successful demo establishes independent validation, general efficacy, certification, or High-Assurance authority.&lt;/p&gt;
    &lt;/aside&gt;
  &lt;/section&gt;

  &lt;section class=&quot;section&quot;&gt;
    &lt;div class=&quot;eyebrow&quot;&gt;THE CONTROL CHAIN&lt;/div&gt;
    &lt;h2&gt;What happens around the button&lt;/h2&gt;
    &lt;p class=&quot;section-intro&quot;&gt;The demo makes each state transition visible instead of treating successful execution as automatic permission or proof.&lt;/p&gt;
    &lt;div class=&quot;pipeline&quot;&gt;
      &lt;article class=&quot;stage&quot;&gt;&lt;span class=&quot;num&quot;&gt;01&lt;/span&gt;&lt;strong&gt;REQUEST&lt;/strong&gt;&lt;p&gt;Bind the exact action, target, parameters, and policy.&lt;/p&gt;&lt;/article&gt;
      &lt;article class=&quot;stage&quot;&gt;&lt;span class=&quot;num&quot;&gt;02&lt;/span&gt;&lt;strong&gt;AUTHORITY&lt;/strong&gt;&lt;p&gt;Inspect scope, delegation, expiry, and revocation.&lt;/p&gt;&lt;/article&gt;
      &lt;article class=&quot;stage&quot;&gt;&lt;span class=&quot;num&quot;&gt;03&lt;/span&gt;&lt;strong&gt;ADMISSION&lt;/strong&gt;&lt;p&gt;Evaluate predicates and explicitly allow or deny.&lt;/p&gt;&lt;/article&gt;
      &lt;article class=&quot;stage&quot;&gt;&lt;span class=&quot;num&quot;&gt;04&lt;/span&gt;&lt;strong&gt;EFFECT&lt;/strong&gt;&lt;p&gt;Execute only after admission succeeds.&lt;/p&gt;&lt;/article&gt;
      &lt;article class=&quot;stage&quot;&gt;&lt;span class=&quot;num&quot;&gt;05&lt;/span&gt;&lt;strong&gt;RECEIPT&lt;/strong&gt;&lt;p&gt;Retain what happened and verify the postcondition.&lt;/p&gt;&lt;/article&gt;
      &lt;article class=&quot;stage&quot;&gt;&lt;span class=&quot;num&quot;&gt;06&lt;/span&gt;&lt;strong&gt;CLAIM BOUNDARY&lt;/strong&gt;&lt;p&gt;Keep the conclusion inside what the evidence supports.&lt;/p&gt;&lt;/article&gt;
    &lt;/div&gt;
  &lt;/section&gt;

  &lt;section class=&quot;section&quot;&gt;
    &lt;div class=&quot;eyebrow&quot;&gt;60-SECOND EVALUATION&lt;/div&gt;
    &lt;h2&gt;Run these two cases first&lt;/h2&gt;
    &lt;div class=&quot;cases&quot;&gt;
      &lt;article class=&quot;case panel allow&quot;&gt;
        &lt;div class=&quot;eyebrow&quot;&gt;A · ALLOWED&lt;/div&gt;
        &lt;h3&gt;Live, scoped authority&lt;/h3&gt;
        &lt;p&gt;A bounded request carries valid delegated scope, a passing verifier state, and an untampered action binding.&lt;/p&gt;
        &lt;span class=&quot;outcome&quot;&gt;ALLOW → EXECUTE → VERIFIED RECEIPT&lt;/span&gt;
      &lt;/article&gt;
      &lt;article class=&quot;case panel deny&quot;&gt;
        &lt;div class=&quot;eyebrow&quot;&gt;B · BLOCKED&lt;/div&gt;
        &lt;h3&gt;Revoked authority&lt;/h3&gt;
        &lt;p&gt;The action remains well formed, but its authorization is explicitly revoked. Execution stops before an effect occurs.&lt;/p&gt;
        &lt;span class=&quot;outcome&quot;&gt;DENY · AUTHORIZATION_REVOKED · NO RECEIPT&lt;/span&gt;
      &lt;/article&gt;
    &lt;/div&gt;
  &lt;/section&gt;

  &lt;section class=&quot;section panel proof&quot;&gt;
    &lt;div class=&quot;eyebrow&quot;&gt;ACCEPTED PROOF IDENTITY&lt;/div&gt;
    &lt;h2&gt;Bound to exact retained evidence&lt;/h2&gt;
    &lt;p class=&quot;section-intro&quot;&gt;The public proof was verified against an exact production source identity and retained as a machine-readable workflow artifact.&lt;/p&gt;
    &lt;div class=&quot;proof-grid&quot;&gt;
      &lt;div&gt;&lt;span&gt;Source SHA&lt;/span&gt;&lt;code&gt;ae0d254158fa831162274077872c3f752a891431&lt;/code&gt;&lt;/div&gt;
      &lt;div&gt;&lt;span&gt;Production deployment&lt;/span&gt;&lt;code&gt;dpl_6W1uTG3sJ6dyU7KJsAzHpXpFXvvU&lt;/code&gt;&lt;/div&gt;
      &lt;div&gt;&lt;span&gt;Workflow run&lt;/span&gt;&lt;code&gt;36476664359&lt;/code&gt;&lt;/div&gt;
      &lt;div&gt;&lt;span&gt;Proof artifact ID&lt;/span&gt;&lt;code&gt;10993339146&lt;/code&gt;&lt;/div&gt;
      &lt;div&gt;&lt;span&gt;Verifier result&lt;/span&gt;&lt;code&gt;TEKTITE_PROOF_OF_OPERATION_V1 = PASS&lt;/code&gt;&lt;/div&gt;
      &lt;div&gt;&lt;span&gt;Showcase effect&lt;/span&gt;&lt;code&gt;PRESENTATION_ONLY · AUTHORITY_EFFECT=NONE&lt;/code&gt;&lt;/div&gt;
    &lt;/div&gt;
  &lt;/section&gt;

  &lt;section class=&quot;section&quot;&gt;
    &lt;div class=&quot;eyebrow&quot;&gt;CLAIM CEILING&lt;/div&gt;
    &lt;h2&gt;What the accepted demo does not establish&lt;/h2&gt;
    &lt;div class=&quot;claims&quot;&gt;
      &lt;div class=&quot;claim&quot;&gt;&lt;span&gt;Scientific N increment&lt;/span&gt;&lt;strong&gt;0&lt;/strong&gt;&lt;/div&gt;
      &lt;div class=&quot;claim&quot;&gt;&lt;span&gt;Independent validation&lt;/span&gt;&lt;strong&gt;NOT_ESTABLISHED&lt;/strong&gt;&lt;/div&gt;
      &lt;div class=&quot;claim&quot;&gt;&lt;span&gt;Canonical DGAF efficacy&lt;/span&gt;&lt;strong&gt;NOT_ESTABLISHED&lt;/strong&gt;&lt;/div&gt;
      &lt;div class=&quot;claim&quot;&gt;&lt;span&gt;High-Assurance authority&lt;/span&gt;&lt;strong&gt;NOT_AUTHORIZED&lt;/strong&gt;&lt;/div&gt;
    &lt;/div&gt;
  &lt;/section&gt;

  &lt;section class=&quot;section panel explain&quot;&gt;
    &lt;blockquote&gt;“DGAF is not the button. DGAF is the control chain around the button.”&lt;/blockquote&gt;
    &lt;p&gt;The central question is not only whether an agent can perform an operation. It is whether the current evidence and authority permit that exact operation—and what the resulting evidence is actually entitled to support afterward.&lt;/p&gt;
  &lt;/section&gt;

  &lt;footer&gt;
    &lt;span&gt;Static showcase · presentation_effect=NONE · authority_effect=NONE&lt;/span&gt;
    &lt;span&gt;&lt;a href=&quot;https://github.com/ndrorchestration/DGAF-Framework/blob/main/docs/DEMO_WALKTHROUGH.md&quot; target=&quot;_blank&quot; rel=&quot;noopener&quot;&gt;Evaluator walkthrough&lt;/a&gt; · &lt;a href=&quot;evidence.json&quot;&gt;Machine-readable evidence identity&lt;/a&gt;&lt;/span&gt;
  &lt;/footer&gt;
&lt;/main&gt;
&lt;/body&gt;
&lt;/html&gt;