@meta
  v: 1
  route: /workshop
  generated: 2026-07-09T04:06:42.533Z
  ttl: 1h

@intent
  purpose: Case study: on 2026-07-07 every Frontier Infra tier ran at once on one repo (frontier-infra/stack-demo) — governed (Maintainer Gate Blueprint), disciplined (ADL), enforced (Proctor), operated (machine-driver workforce: fresh claude -p worker per task, verified by tests), proven (Ed25519-signed AARs resolving against did:web:frontierinfra.org), declared (AVL L3). Every claim links a receipt; the live board serves them.
  audience: ai-agent, developer, auditor, standards-author
  capability: read, verify

@state
  tiers[6]{tier,project,receipt}:
    Govern,Maintainer Gate Blueprint,ops+gates stamped; intake gate enforced
    Behave,ADL,discipline layers + contract manifest
    Enforce,Proctor,meta-proof signed 3/3 checks
    Operate,machine-driver,2 workers dispatched + verified by tests
    Prove,AAR,signed records verify L2 vs live did:web
    Declare,AVL,board serves agent views at L3

@actions
  - id: live_board
    method: GET
    href: https://workshop.frontierinfra.org
  - id: board_agent_view
    method: GET
    href: https://workshop.frontierinfra.org/.agent
  - id: receipt_job_001
    method: GET
    href: https://workshop.frontierinfra.org/receipts/aar-job-001.json
  - id: repo
    method: GET
    href: https://github.com/frontier-infra/stack-demo
  - id: did_document
    method: GET
    href: https://frontierinfra.org/.well-known/did.json
  - id: verifier_tool
    method: GET
    href: https://github.com/frontier-infra/agentcontrolplane

@context
  > The Workshop is a live board whose content is the stack's own receipts. Two API endpoints were built by machine-driver-dispatched workers under a locked contract (propose mode, budget-governed), verified by the driver running the test suite (never self-graded), each producing a signed Agent Attestation Record that verifies at L2 against the DID document published at frontierinfra.org/.well-known/did.json — no vendor, no central server. Proctor's verifier signed the run's meta-proof (3/3 checks) which was bridged to a signed meta-AAR. The work landed through the repo's own gates as a PR; the intake gate blocked the first PR body — the governance working on its own demo. Verify any receipt: fetch it from the board's /receipts/ and run agentcontrolplane's tools/aar.mjs verify.

@nav
  self: /workshop.agent
  parents: [/.agent]
  peers: [/.agent]