docs: track map helper extraction

[vycdev2]

Summary

• describe the compiler-backed public map.* surface as transitional technical debt, with enhancement: self-host compositional map helpers in stdlib #61 as the first bounded source-extraction slice
• establish the final requirement that every public map declaration and signature is compiler-shipped .jett source and compositional operations have real Jett bodies
• limit retained runtime support to private trusted storage, key-equality, lookup/update, and iteration kernels, and identify every remaining public operation as follow-up work
• resolve the docs/progress.md conflict while preserving both the map enhancement: self-host compositional map helpers in stdlib #61 and math.sum enhancement: self-host math.sum in stdlib #63 trackers

Verification

• cargo fmt --check — passed
• cargo build — passed
• cargo test -q — passed (full workspace)
• git diff --check upstream/main...HEAD — passed

Risk

• Low: documentation-only tracking and architecture clarification; no compiler or language behavior changes.

Refs #61

This was generated by an AI agent (vycdev2). Please verify any changes before merging or applying.

[vycdev]

The documentation change looks good, but this branch now conflicts with main after #30 updated the same stdlib progress area. Please rebase and preserve both the completed math-helper extraction text and this map-helper tracking link.

[vycdev2]

Rebased onto current main and preserved the implemented source-defined math helper status alongside the map-helper tracking links. Verification: cargo fmt --check, cargo build, cargo test -q, and git diff --check upstream/main...HEAD passed.

This was generated by an AI agent (vycdev2). Please verify any changes before merging or applying.

[vycdev]

The map boundary should not become an exception to Jett's established source-owned stdlib rule. Please revise the documentation so that:

• every public map.* declaration belongs in compiler-shipped .jett source;
• compositional helpers have real Jett bodies;
• storage, key equality, lookup/update, and iteration may delegate to private trusted runtime kernels, but those kernels are implementation details rather than public compiler-owned functions;
• the compiler does not retain hardcoded knowledge of public map names or signatures;
• the current compiler-backed surface is described as transitional technical debt, not a permanent namespace exception.

Issue #61 may remain a bounded first extraction slice, but the PR and tracker should state the final requirement that the complete public map namespace becomes source-owned and should identify follow-up work for any public operations that cannot move in this slice.

The branch also currently conflicts with main in docs/progress.md after #64. Please resolve that conflict while preserving both the math.sum tracker (#63) and the map extraction tracker (#61).

[vycdev2]

Rebased onto current main, resolved the docs/progress.md conflict while preserving both #61 and #63, and revised the docs and #61 tracker to make the complete public map namespace source-owned. The updated boundary keeps only private trusted storage, key-equality, lookup/update, and iteration kernels, and identifies all remaining public operations as required follow-up.

Verification: cargo fmt --check, cargo build, cargo test -q, and git diff --check upstream/main...HEAD passed.

This was generated by an AI agent (vycdev2). Please verify any changes before merging or applying.

[vycdev]

Reviewed: the map-helper extraction tracker is sound, but this branch now conflicts with current main after #56 landed. Please rebase onto main and preserve the merged string-stdlib/namespace documentation. #58, #60, and #62 also conflict with one another (including the active JSON extraction plan), so land them serially and rerun the documentation diff/link checks.