CU-MOD-OBS-05 — Static and mutating-state finite certification: pilot and phase 2

STATUS: UNREVIEWED RESEARCH ARCHIVE / NOT PEER REVIEWED.

Two explicitly distinct finite pilots study observation errors, changing underlying states, validation-version freshness and atomic use of certificates. Phase 1 includes a synthetic Poisson cost example; phase 2 adds finite exact validations and negative examples. Pilot protocols were specified after the exploratory examples and do not prove robustness in real AI systems or globally optimal policies. UNREVIEWED RESEARCH ARCHIVE / NOT PEER REVIEWED. No priority or general theorem claimed.

Source repository: https://github.com/alexcour/couret-finite-verifications/pull/21 (frozen source commit: 992580a5263496d1772705383a397de0a128c00d).

Licensing of author-owned materials:

• Executable software and scripts: MIT License
• Scientific text, notes and demonstrations: Creative Commons Attribution 4.0 International (CC BY 4.0)
• Original numerical outputs and tabular data: Creative Commons Zero v1.0 Universal (CC0 1.0)

Published to enable independent criticism, verification, and counterexamples. No novelty, priority, or general validity is claimed beyond the stated finite bounds.

Research artifacts and documentation were prepared with AI assistance. Internal machine or AI-assisted checks are not independent human mathematical review. This unreviewed archive does not establish originality or scientific priority.