PLAN-006 — Native temporal correspondence
Contents of the PLAN-006 native temporal correspondence bundle.
# PLAN-006 — Native temporal correspondence ## Contents * [PLAN-006: Implement native temporal-to-TL correspondence](./plan.md) - Plan overview, dependency graph, test plan, critical path, and closing gate. * [TASK-017: Formula and valuation construction](./tasks/TASK-017-formula-valuation.md) - Occurrence-preserving formula lowering and complete predicate rows. * [TASK-018: Sibling owner requests](./tasks/TASK-018-sibling-owner-requests.md) - Independent native and TL inputs under one correspondence. * [TASK-019: Formula result join and readers](./tasks/TASK-019-result-join-readers.md) - Structural result agreement and strict readback. * [TASK-020: Closing implementation review](./tasks/TASK-020-closing-review.md) - Rust, code, and traceability gates before merge.