docs: propose proof-carrying findings

[PhysShell]

What changed

• adds P-035 — Proof-carrying findings and replayable derivation certificates;
• defines the trust boundary between source extraction, canonical facts, the inference engine, and a small independent verifier;
• sketches a versioned certificate envelope and closed primitive rule vocabularies;
• scopes the first implementation to PRG001 / Own.Progress;
• records verifier failure semantics, determinism laws, delivery slices, acceptance criteria, non-goals, and open questions;
• indexes P-035 in docs/proposals/README.md.

Why

Own.NET already emits human-readable evidence and ordered paths, but those are still produced by the same analyzer that computed the verdict. This proposal records a narrower and more defensible next step: selected deterministic findings may carry replayable derivation certificates checked against canonical facts by an independent bounded verifier.

The intended claim is verified derivation over canonical facts, not “formally proven arbitrary C# bug.”

Impact

Documentation only. No schemas, CLI behavior, diagnostics, verifier, or gates change in this PR.

Validation

• reviewed the diff against the existing proposal structure;
• branch is two commits ahead of main and touches only the new proposal plus the proposal index;
• no code tests were run because this is a documentation-only design PR.

[coderabbitai]

Important

Review skipped

Draft detected.

Please check the settings in the CodeRabbit UI or the .coderabbit.yaml file in this repository. To trigger a single review, invoke the @coderabbitai review command.

⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: CHILL

Plan: Pro Plus

Run ID: 411aeba2-ea0e-4b5a-9f54-44d798dda647

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

• 🔍 Trigger review

✨ Finishing Touches

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch agent/proof-carrying-findings

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}