Skip to content

quickstart.md

Latest commit

 

History

History
63 lines (44 loc) · 2.49 KB

quickstart.md

File metadata and controls

63 lines (44 loc) · 2.49 KB
Raw

PCS quickstart

This walkthrough verifies and signs a LabTrust conformance bundle. You need only this repository and, when you want schema checks against pcs-core, an optional sibling checkout of pcs-core.

One-command demo

From the repository root, run the following command.

make demo-pcs

The demo runs pf verify science-claim on the certified bundle, pf sign science-claim to a demo signed output, pf inspect science-claim --strict on the signed bundle, and pf inspect science-claim --reverify on the LabTrust-export signed fixture.

Manual commands

./pf verify science-claim tests/pcs/fixtures/labtrust/science_claim_bundle.certified.json
./pf sign science-claim tests/pcs/fixtures/labtrust/science_claim_bundle.certified.json \
  --out tests/pcs/signed_science_claim_bundle.demo.json
./pf inspect science-claim tests/pcs/signed_science_claim_bundle.demo.json --strict

You can also invoke the CLI with Go directly.

go -C core/cli/pf run . verify science-claim \
  tests/pcs/fixtures/labtrust/science_claim_bundle.certified.json

End-to-end flow (overview)

flowchart LR
  LT[LabTrust-Gym] --> RR[Runtime receipt]
  LT --> B[Pending science claim bundle]
  CE[CertifyEdge] --> TC[Trace certificate]
  B --> CERT[Certified bundle]
  TC --> CERT
  CERT --> PF[Provability Fabric]
  PF --> SM[Scientific Memory]
Loading

LabTrust runs a demo and exports trace, runtime receipt, and a pending bundle. CertifyEdge emits a trace certificate. LabTrust attaches the certificate to produce science_claim_bundle.certified.json. Provability Fabric verifies consistency and signs an importable result. Scientific Memory imports the signed bundle.

Provability Fabric focuses on internal consistency, provenance, certificate status, and trace-hash alignment. LabTrust simulation and temporal checking happen in the upstream repositories.

Release-mode smoke test

Frozen release fixtures live under tests/pcs/fixtures/labtrust-release/.

make demo-pcs-release

For strict release admission with handoff, registry, admission profile, and formal artifacts, see Verification.

Next steps