Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/workflows/pages.yml
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
name: Deploy read-only evidence replay
name: Deploy interactive action decision lab

on:
push:
Expand Down
2 changes: 2 additions & 0 deletions CITATION.cff
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,8 @@ type: software
version: 1.0.0
license: Apache-2.0
date-released: 2026-08-13
repository-code: "https://github.com/dingyucanada/ProofMesh"
url: "https://dingyucanada.github.io/ProofMesh/"
abstract: >-
A policy-bound execution and evidence control plane for multi-agent business
side effects, with Action Passports, recoverable operations, Human approval,
Expand Down
348 changes: 113 additions & 235 deletions README.md

Large diffs are not rendered by default.

13 changes: 4 additions & 9 deletions artifacts/external-evidence/claim-status.json
Original file line number Diff line number Diff line change
@@ -1,10 +1,6 @@
{
"schema_version": "proofmesh.external-claim-register/v1",
"policy": "fail-closed: a claim remains PENDING until every declared requirement is represented by a hashed release artifact and an external reviewer is named",
"score_target": {
"engineering": "approximately 88 internal target; not an official competition score",
"external_evidence": "95+ competitiveness target; not a promise or judge result"
},
"policy": "fail-closed: a maturity claim remains PENDING until every declared requirement is represented by a hashed release artifact and an external reviewer is named",
"claims": [
{
"id": "model_driven_agentteams",
Expand Down Expand Up @@ -80,17 +76,16 @@
"verified_at": null
},
{
"id": "public_repository_and_identity",
"id": "public_release_and_maintenance",
"status": "PENDING",
"allowed_claim": "A scrubbed local release is reproducible; public repository and competition identity links are not yet supplied.",
"allowed_claim": "The scrubbed source repository is public at https://github.com/dingyucanada/ProofMesh; an immutable signed release, public security contact, and independent adoption evidence are not yet verified.",
"prohibited_claims": [
"public open-source adoption evidence",
"public competition identity verified"
"maintained production-grade open-source project"
],
"evidence_requirements": [
"public_repository_record",
"immutable_release_record",
"competition_identity_record",
"public_contact_record"
],
"evidence_files": [],
Expand Down
2 changes: 1 addition & 1 deletion config/trust/action-issuers.json
Original file line number Diff line number Diff line change
Expand Up @@ -52,4 +52,4 @@
]
}
}
}
}
13 changes: 8 additions & 5 deletions demo/README.md
Original file line number Diff line number Diff line change
@@ -1,10 +1,13 @@
# Public evidence replay
# Public action decision lab

This directory is the source for the GitHub Pages demo. It is intentionally static and read-only.
This directory powers the GitHub Pages demo. It has two deliberately separate layers:

The page replays three frozen reference workflows and links to the corresponding proof bundles, external verification reports, AgentDojo authorization replay, and independent-process HTTP fault experiment. The deployment workflow copies only those selected evidence files into the Pages artifact.
1. a browser-side decision simulator for exploring policy, approval, contract mismatch, reconciliation, compensation, and `UNKNOWN_MANUAL` outcomes;
2. a replay of three frozen reference workflows with SHA-256 verification and links to their machine-readable proofs.

It does **not** run the FastAPI service, call a model, use payment or CRM accounts, accept customer data, or create side effects. For the real local reference workflow, follow the repository root README.
The simulator is interactive but deterministic. It implements the documented decision rules in client-side JavaScript and never claims to be a hosted ProofMesh backend. The frozen proofs were produced by the local reference runtime.

The page does not accept free text, credentials, workflow IDs, approval assertions, or customer records. It does not call a model, payment provider, CRM, deployment platform, or FastAPI service.

Local preview:

Expand All @@ -13,4 +16,4 @@ python3 scripts/build_public_demo.py --output /tmp/proofmesh-pages
python3 -m http.server 4173 --directory /tmp/proofmesh-pages
```

The GitHub Pages deployment uses `.github/workflows/pages.yml`.
The GitHub Pages workflow is `.github/workflows/pages.yml`.
Loading
Loading