Repository navigation

Prove bounded workspace observation - #22

Merged

flyingrobots merged 15 commits into

mainfrom

task/10-bounded-workspace-observation

Jul 30, 2026

Merged

Prove bounded workspace observation#22
flyingrobots merged 15 commits into
mainfrom
task/10-bounded-workspace-observation

Commits on Jul 30, 2026
- test: define bounded observation witness
  flyingrobots
  committed
  cb11afa
- feat: prove bounded workspace observation
  flyingrobots
  committed
  4408e04
- docs: record bounded observation proof
  flyingrobots
  committed
  580b809
- docs: note bounded observation witness
  flyingrobots
  committed
  3ca14f4
- test: prove stale observation basis refusal
  flyingrobots
  committed
  3ecd857
- docs: count basis refusal evidence
  flyingrobots
  committed
  eec0fb9
- test: define review remediation contracts
  flyingrobots
  committed
  dbb8818
- fix: bind observation request authority
  flyingrobots
  committed
  34a8e68
- fix: settle observation uncertainty without a root
  flyingrobots
  committed
  2c8aa67
- docs: record rootless observation uncertainty
  flyingrobots
  committed
  767db18
- docs: note rootless observation settlement
  flyingrobots
  committed
  2657819
- test: require typed post-request artifact refusal
  flyingrobots
  committed
  916dafd
- fix: harden effect witness boundaries
  flyingrobots
  committed
  049e23a
- docs: clarify effect boundary refusals
  flyingrobots
  committed
  309a999
- docs: record hardened effect witness
  flyingrobots
  committed
  97be4f1