INFERENCE-INIT-05: Tighten with --infer-bounds (planned — currently a no-op)
What it demonstrates
Section titled “What it demonstrates”–infer-bounds is accepted but currently a no-op: it is parsed yet never read, so it does not (yet) tighten the value ladder with numeric min/max or string pattern bounds — a planned future phase.
Builds on: INFERENCE-INIT-02: Read the inferred contract
How it’s done
Section titled “How it’s done”A terminal session: the command as you’d run it, followed by the output it prints; trailing comments note the exit status.
markdown-contract init ./notes --infer-bounds# PLANNED / NO-OP. --infer-bounds is parsed (src/cli/run.ts → InferOptions.inferBounds)# but is NEVER READ in src/declarative/infer.ts — numeric min/max and string pattern# inference is a future phase. The flag is currently accepted as a no-op: the output is# byte-identical to a plain `init ./notes` (verified by diffing the two runs). It does# NOT yet add min/max or pattern bounds to the inferred schema.Surfaces exercised
Section titled “Surfaces exercised”InferOptions.inferBounds (flag parsed in src/cli/run.ts)inferFieldSchema value ladder (min/max/pattern NOT inferred — planned future phase)