-
Notifications
You must be signed in to change notification settings - Fork 0
Review and Reporting
kadubon edited this page Aug 25, 2026
·
1 revision
Use this sequence for an evidence review, an audit explanation, or a handoff between systems:
- Define the question. Specify the target requirement, the workspace and immutable generation if applicable, and the exact document or bundle digests under review.
- Identify source ownership. Name the source system for every external mission, lease, certificate, claim, or acceptance decision. CPCF's projection is not a transfer of that authority.
- Check document identity. Verify the closed kind, generated schema identity, canonical subject, metadata, and source pointers.
- Recompute trust. Use admitted keys, protected DSSE payloads, pinned identity, trusted time, policy sequence, lifecycle, and required role quorum. Do not accept self-carried keys, cached Booleans, unsigned time, or unsigned capabilities as authority.
- Establish the snapshot. Record the analysis-basis digest and the material inputs. Do not mix witnesses from different snapshots.
-
Report dimensions separately. Preserve every
satisfied,violated,unknown, andunknown_due_to_budgetresult. - State limits and next action. Identify declared bounds, missing evidence, incomplete implementation rows, and the least-effectful step that could reduce uncertainty.
| Field | Include |
|---|---|
| Scope | Workspace, generation, exact digests, question, and declared contract. |
| Sources | CPCF objects and the external systems that remain source of record. |
| Trust basis | Policy identity, trusted-time evidence, signers, roles, and quorum result. |
| Findings | Relevant independent dimensions and their unmodified statuses. |
| Effects | Whether any external-runner receipt exists; distinguish a receipt from containment or success proof. |
| Limits | Unknown evidence, budget limits, model scope, and non-claims. |
| Next safe step | A read, evidence request, or bounded action that has the necessary authority. |
Avoid phrases such as “the collective phase was achieved,” “the agents are independent because they have different labels,” “the exit code proves success,” “the experiment proves causality,” or “the runner is safely isolated.” Each substitutes a broader conclusion for the record actually checked.
Prefer statements that name the result and its boundary, for example: “The declared structural
reachability condition is satisfied in immutable snapshot S; causal formation remains unknown.”
Read Evidence and Authority and Operational Profile and Scientific Scope for the underlying distinctions.