fix: admit participant delivery temporal subjects

[Brad-Edwards]

Summary

Admit the compiler-owned participant inject delivery address as an exact temporal subject in the portable RAES time model. This closes the contract projection gap found while qualifying APTL issue 601.

Requirement UIDs

• DSL-142

Related Issues

Closes #1389

ADR Impact

• ADR-085 (implementation alignment; unchanged)

Changes

• recognize only participant.behavior-specification.<spec>.inject-delivery.<binding> as the participant temporal-subject shape
• retain the existing sdl.* temporal subject family and fail closed for other participant addresses
• document that the time binding constrains the authored delivery occurrence and does not prove dispatch or observation
• publish fresh source-bound specification-coverage and formal-semantic replay records without changing their classifications or claim limits

Test Plan

• Unit tests pass
• Integration tests pass if applicable
• Completion command passes
• No coverage regression

Focused participant compiler test: 45 passed. The specification-coverage and formal-semantic evidence checkers passed, and the combined affected evidence suites passed 249 tests. Repository fast feedback passed 204 selected tests plus policy and lint gates.

The corrected contract was also exercised by APTL run run_20260925T153251Z, which compiled and delivered four participant injects at their authored logical times.

Ground Control Checks

• Repository policy command passes
• Pre-push code review and test-quality review completed, or not run for this lane

Focused pre-commit hygiene passed. The cross-repository issue 601 review supplied the bounded pre-push review for this integration fix.

Traceability

• IMPLEMENTS: DSL-142 ← implementations/python/packages/raes_contracts/contracts/time_model.py
• IMPLEMENTS: DSL-142 ← implementations/python/packages/raes_contracts/addressing.py
• IMPLEMENTS: DSL-142 ← docs/public/participant-control.md
• TESTS: DSL-142 ← implementations/python/tests/test_dsl_142_participant_inject_delivery.py
• TESTS: DSL-142 ← docs/research/specification-coverage/bundles/raes-standardized-specification-coverage-issue-1389-v48.json
• TESTS: DSL-142 ← docs/research/formal-semantic-validation/bundles/retest-v48.json

Checklist

• Code follows the project coding standards
• FM level classified if semantic change
• Published contract schemas regenerated if models changed
• PR title is a Conventional Commit
• Architectural docs updated if applicable

Documentation

Updated docs/public/participant-control.md and the immutable evidence indexes to describe and bind the exact temporal subject and its claim boundary.