docs: make PROOF-PROGRESS true, amend ADR-0002 OPAQUE triggers, record D4

[hyperpolymath]

Docs-only. Carries out three owner rulings (selector R8/R9).

PROOF-PROGRESS.adoc: checked against PLAN and corrected

The old file said "implementation not started". It also used an M0–M4 scheme that PLAN.adoc never had. It is now rewritten against main at 7ec7e08:

• Landed: M0–M2 (M0+M1+M2: workspace, engine skeleton, T0 catalogue + falsifier gate #19) and M3 (feat(report): M3 — JSON and SARIF reporters, --format, per-file scan tolerance #27, fix(report,core): SARIF URIs, UTF-16 columns, and tolerant discovery (#28, #30, #29) #34).
• In progress: M4 (the probe branch is unmerged).
• Not started: M5–M8.
• Tagging: unblocked by M8 blocker: Immutable-Tags forbids tag *creation* with no bypass — v0.1.0 cannot be cut by anyone #36.
• Verification: the finding.rs invariant claims were checked in the source. RawFinding has no rule_id, and FindingWire has no evidence field.
• Known gaps:
  • The docs describe a CLI the binary lacks (docs: USAGE.adoc, catalogue.adoc and man/pons.1 document subcommands and flags the binary does not have #43).
  • There are two ADR-0005 files; renumbering is the owner's call.
  • The OPAQUE hatch is not built yet.
  • T2 aliasing.

ADR-0002 amendment

• Trigger 1, except* (PEP 654). Measured against the pinned tree-sitter-python 0.25.0, except* parses as an ordinary except_clause with an anonymous * child. There is no except_group_clause and has_error() is false, so a structural detector is required.
• Trigger 2, a parse error in the unit.
• Binding path correction. The except E as e binding lives at value: (as_pattern … alias: (as_pattern_target …)), not at except_clause.alias.

OWNER-DECISIONS: D4 ratified

The RSR Rust template is adopted now. The adoption lands as its own PR, with each workflow shown to spawn jobs under sha_pinning_required.

🤖 Generated with Claude Code

https://claude.ai/code/session_01WRvDivYwLSeVCJUrfjic3f

[coderabbitai]

Warning

Review limit reached

Next included review available in 32 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Learn how review limits work.

Review configuration:

⚙️ Run configuration

Configuration used: Organization UI

Review profile: ASSERTIVE

Plan: Advanced

Run ID: 5d8b987d-3d0b-4254-a885-dc991d4e785e

📥 Commits

Reviewing files that changed from the base of the PR and between 7ec7e08 and 2709497.

📒 Files selected for processing (3)

• PROOF-PROGRESS.adoc
• docs/OWNER-DECISIONS.adoc
• docs/adr/0002-t1-language-and-cfg.adoc

---

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.}