[MauScheff]

Problem and outcome

Uncertain static analysis and generic public-field preferences blocked native product work. Repeated parsing also made a focused consumer report exceed 120 seconds.

Bounded change

• Keep unknown analysis visible and advisory; preserve errors for known effects, explicit validated construction, ownership, schemas, revisions and native failures.
• Reuse immutable Rust source snapshots in existing resolvers; no new inference catalog.
• Classify exact same-file module and enum import roots without exempting unknown or absolute external imports.
• Make RMS self-audit and full example certification advisory only in this repository CI. Keep native regressions, solver conformance, consumer validation/composition and cross-platform tests required.
• Include previously approved formatter-only cleanup and synchronized skill guidance. No schemas, dependencies, states or contracts added. No BeepBeep files changed.

Native proof

All-target release compilation passed. Exact isolated inventory: 884 passed, 0 failed, 2 ignored external-consumer reproducers. cvc5 conformance remains required in CI. Format and whitespace checks passed. Consumer structure: 5.342 seconds, zero errors; 9 advisory findings and 88 retained evidence placeholders. Consumer validation and composition passed.

Honest scope

Root self-validation completed in 612.409 seconds with 41 self-description errors. Full example production audit also fails; both remain advisory diagnostics under the explicitly approved CI policy, not certified results. No downstream gate is changed. CI must pass all required jobs before merge/install.

Compatibility

No public formats or wire contracts changed. Diagnostic severity and own-repository CI acceptance policy change as documented in CONTRIBUTING.md and FUNCTIONAL_CORE.md.