README.md

Examples

These examples are included to show how PBC reads in practice across different levels of maturity.

Included Examples

• billing.pbc.md

  • the canonical billing example with rich Markdown presentation and current block patterns
  • good for pbc:config, states, behaviors, rules, and polished authoring

• feature-flags.pbc.md

  • a feature flag and progressive rollout example
  • good for stable configuration, precedence rules, and safe fallbacks

• workspaces-roles.pbc.md

  • a permissions/capability example
  • good for role modeling and behavior/rule interplay

• permissions.pbc.md

  • a general permissions + entitlements example
  • good for deny-by-default, entitlement gating, and decision outcomes

• auth-signin-session-access.pbc.md

  • an authentication and session-control example
  • good for states, transitions, step-up checks, and access rules

• proximity-agent.pbc.md

  • a hardware/embedded system example (nRF52840 proximity sensor)
  • good for physical grounding, hardware validation dependencies, and provenance tracing

• aw-zepp-alignment.pbc.md

  • an ML-pipeline example (Apple Watch → Zepp swing alignment and trained replacement models)
  • good for empirical trust graduation: rules promoted to trusted only after passing a stated quantitative gate, provisional until the evidence exists

• tennis-agent.pbc.md

  • a parent-charter composition example (TennisAgent root composing the aw-zepp-alignment leaf via pbc:include)
  • good for product trees: a root that owns cross-cutting behavior and delegates a leaf's rules through an explicit owns split, with no overlap

Interactive Viewing

All examples above are bundled in the PBC Viewer. Run the viewer to explore these contracts as interactive cards, state diagrams, and validation results instead of raw Markdown.

Notes

• Examples are illustrative, not normative.
• Some examples are more polished than others by design.
• The format allows both richly narrated documents and more compact, block-centered authoring styles.