Add Commander-governed incremental closure

[FreshSoftware4]

Purpose

Advance the execution-coherence rail from proof-producing congruence to exact incremental dependency closure without persisting a second invalidation authority world.

Completed Commander chain

LOCUS64_INCREMENTAL_CLOSURE_CHANGE_CHAIN.athens is complete:

1. reverse incidence
2. closure-state evaluator
3. context-refinement impact
4. exact affected recomputation
5. local/global closure
6. incremental-closure closure

The parent rail has advanced:

incremental-closure          complete
native-upper-projection      current
legacy-authority-quarantine  next

Native capability

• reverse dependencies and context-local node lists derived from canonical type/port incidence
• derived indexes rebuilt after decode and excluded from RNA, DNA, commitments, and authority identity
• immutable direct child-context refinements represent assumption changes without rewriting prior authority
• context-relative Closed, Open, and Invalid closure states
• guarded operations, judgments, witnesses, obligations, downstream operations, and equality proofs recomputed through the existing mathematical validators
• exact reverse-reachable affected sets with independent branches excluded
• transitions carry the constraint binding that caused the state change
• separate local context closure and global aggregate closure
• closure queries leave canonical bytes, commitments, routes, contexts, and journal history unchanged

Burden control

No invalidation registry, persisted reverse index, dirty-bit schema, receipt family, string identity, or parallel graph was added. The public surface remains within the established caps:

• 11 public structs
• 8 public enums
• Node <= 32 bytes
• Port <= 8 bytes
• ClosureTransition <= 24 bytes

Verification

Local isolated verification passed with the quarantined compatibility hash boundary:

• 47 native tests
• formatting
• strict native-core Clippy
• recursive forbidden-ontology scan
• Commander containment audit

GitHub run 30009891592 passed on the source head fd90966af2191e6d9ca5e14e17f0bcaca431c260 with the repository's real BLAKE3 dependency:

• formatting
• complete workspace tests
• strict native-core Clippy

Final-head run 30010300928 passed on 291e72ceae72a0d5bf40e971cb5e7c052762a793, including the completed Commander rails and corrected contract. No Rust or CLI behavior changed after the green source head.

Remaining rail

The current stage is native upper projection: derive atlas, certification, replay, report, and research views from native authority. Final legacy authority quarantine follows.