@zalom/plastic 2.0.0-alpha.9 → 2.0.2

package/scripts/lib/node_input_compatibility.rb

@@ -0,0 +1,62 @@
+# encoding: UTF-8
+# frozen_string_literal: true
+
+# NodeInputCompatibility (intent 338a, G6, n1, D10/D11): the one seam that
+# lets a `running` line written before the node-input rename keep reading
+# correctly. It is the ONLY shipped file allowed to name the retired field,
+# and it names it exactly once, as LEGACY_FIELD below.
+#
+# It maps, never rewrites: the raw ledger line on disk is never touched.
+# `NodeLedger.parse_transition_line` calls #fields on every parsed field hash
+# before returning it, so torn detection, attempt counting, node-run,
+# graph-measure and outcome-report all see `input` whether the line was
+# written by an old dispatch or a new one.
+#
+# No project requires (spec D10): a plain module over a plain hash, so
+# `node_ledger.rb` never gains a require cycle through this file.
+module NodeInputCompatibility
+  module_function
+
+  # The retired field name, named once. No other shipped file names it.
+  LEGACY_FIELD = "packet"
+
+  # The retired directory and suffix (338a n3, D8), named once beside
+  # LEGACY_FIELD. No other shipped file spells either literal; a caller
+  # that needs the legacy input location builds it from these constants.
+  LEGACY_DIRECTORY = "packets"
+  LEGACY_SUFFIX = ".packet"
+
+  # A copy of `fields` where LEGACY_FIELD maps to "input" when "input" is
+  # absent or blank. "input" wins when both are present (D11): the newer,
+  # authoritative name is never overwritten by the retired one. LEGACY_FIELD
+  # itself is dropped from the copy either way, so a caller that renders
+  # every field it does not recognize (outcome-report's evidence line) never
+  # sees the retired key leak through as a second, unrecognized field.
+  def fields(fields)
+    source = fields || {}
+    return source.dup unless source.key?(LEGACY_FIELD)
+
+    mapped = source.dup
+    unless present?(mapped["input"])
+      mapped["input"] = mapped[LEGACY_FIELD]
+    end
+    mapped.delete(LEGACY_FIELD)
+    mapped
+  end
+
+  # 338a n3 (D8): the new path when it exists, the legacy directory and
+  # suffix when only that file exists, and the new path when neither does
+  # (a fresh attempt names its own soon-to-be-written destination).
+  def input_path(intent_dir:, node:, attempt:)
+    new_path = File.join(intent_dir, "attempts", "#{node}--a#{attempt}.input")
+    return new_path if File.exist?(new_path)
+
+    legacy_path = File.join(intent_dir, LEGACY_DIRECTORY, "#{node}--a#{attempt}#{LEGACY_SUFFIX}")
+    File.exist?(legacy_path) ? legacy_path : new_path
+  end
+
+  def present?(value)
+    !(value.nil? || value.to_s.strip.empty?)
+  end
+  private_class_method :present?
+end

package/scripts/lib/node_ledger.rb

@@ -0,0 +1,386 @@
+# encoding: UTF-8
+# frozen_string_literal: true
+
+require "strscan"
+require_relative "savepoint"
+require_relative "guarded_append"
+require_relative "node_input_compatibility"
+
+# NodeLedger - the node and intent transition line (intent 335, G2). Owns the
+# line's byte-exact format, the closed state vocabulary, the required fields per
+# state, the parser, torn-line and unattributed-line detection, status as the
+# last line per subject in file order, and the guarded transition append that
+# skips dedup entirely (spec D11).
+#
+# Per spec D17 the subject vocabulary (`Savepoint::INTENT_SUBJECT`,
+# `Savepoint::NODE_SUBJECT_RE`, `Savepoint.transition_candidate?`) lives on
+# Savepoint, not here: this file requires savepoint.rb and reuses them, the
+# dependency running one way only (test/savepoint_split_test.rb:57 pins
+# savepoint.rb to loading no other project file).
+#
+# Pure and dependency-injected: every path and clock is an argument, `guard:` is
+# an injectable seam for the transition append, and this module reads no
+# environment variable.
+module NodeLedger
+  module_function
+
+  # Ten states, closed (spec D1). "ready" is computed and never written.
+  STATES = %w[
+    planned running done failed_verification needs_decision blocked deferred
+    superseded abandoned reclaimed
+  ].freeze
+
+  # A written state's RESOLVED state for the ready function 336 builds on top of
+  # this ledger (spec D2): every state resolves to itself except `reclaimed`,
+  # which resolves to `planned` ("a reclaimed node is planned again").
+  RESOLUTION = { "reclaimed" => "planned" }.freeze
+
+  # Required fields per state (spec D4), refused by #append_transition and read
+  # as torn by #torn? when absent. `done`'s evidence requirement (gates= plus at
+  # least one of commit=/verdict=) is asymmetric, so it is not representable as
+  # a flat list; DONE_EVIDENCE_FIELDS below carries the "at least one of" half.
+  REQUIRED_FIELDS = {
+    "planned" => [],
+    "running" => %w[holder expires input model],
+    "done" => %w[gates],
+    "failed_verification" => %w[gates reason],
+    "needs_decision" => %w[question],
+    "blocked" => %w[reason],
+    "deferred" => %w[reason],
+    "superseded" => %w[by],
+    "abandoned" => %w[reason],
+    "reclaimed" => %w[holder expired],
+  }.freeze
+
+  # `done` requires gates= plus at least one of these (spec D7). `model=` is
+  # deliberately absent from every required-fields list except `running` (spec
+  # D6) and is accepted, never required, everywhere else - no separate table
+  # entry is needed for that: an unlisted field is never required.
+  DONE_EVIDENCE_FIELDS = %w[commit verdict].freeze
+
+  # Canonical field render order (spec D8's "stable declared order", matrix
+  # 2.6): every key named in REQUIRED_FIELDS or DONE_EVIDENCE_FIELDS, plus
+  # `model` (accepted on any state). A field outside this list still renders,
+  # sorted after these, so an unrecognized key is never silently dropped.
+  #
+  # `harness` (intent 340b, G7c, n1, D21) sits right after `model`: both are
+  # dispatch-time metadata `running` writes and every terminal transition
+  # carries forward, accepted on every state and required by none - the same
+  # treatment `suite=`, `hop=` and `core_drift=` already get as extras, given
+  # a stable declared position instead of falling to the alphabetical extras
+  # tail (matrix row 1.17).
+  FIELD_ORDER = %w[holder expires input model harness gates commit verdict reason question by expired].freeze
+
+  SEPARATOR = "  "
+
+  # The field key character class, shared by the emitter (#render_fields, below) and
+  # the parser (FIELD_TOKEN_RE, further down): a key outside this class is a key the
+  # parser can never read back as a pair, so it must never be emitted (post-execution
+  # review row 7.7). One source of truth for the char class keeps the two families
+  # from drifting the way they did before this row's fix.
+  FIELD_KEY_CHARS = "[a-z_]+"
+  FIELD_KEY_RE = /\A#{FIELD_KEY_CHARS}\z/.freeze
+
+  # timestamp<SEP>subject<SEP>state field=value... (comment). Two-space
+  # separators keep the line a three-field line under both `split(/\s{2,}/)`
+  # and every reader's own `SAVEPOINT_RE` (spec "Line shape"). Raises
+  # ArgumentError, writing nothing, for an unknown state or a missing required
+  # field (D4/D9): the caller of #append_transition relies on this check
+  # running BEFORE the file is ever touched.
+  def transition_line(subject:, state:, fields: {}, comment: nil, now: Time.now)
+    state = state.to_s
+    raise ArgumentError, "unknown transition state: #{state.inspect}" unless STATES.include?(state)
+
+    missing = missing_fields(state, fields)
+    raise ArgumentError, "state #{state} requires #{missing.join(', ')}" if missing.any?
+
+    timestamp = now.utc.strftime("%Y-%m-%dT%H:%M:%SZ")
+    rest = ([state] + render_fields(fields)).join(" ")
+    rest = "#{rest} (#{normalize_value(comment)})" if comment && !comment.to_s.strip.empty?
+    "#{timestamp}#{SEPARATOR}#{subject}#{SEPARATOR}#{rest}\n"
+  end
+
+  # Collapse every run of two-or-more WHITESPACE characters in `text` to one
+  # (spec "Line shape": "collapses every whitespace run inside a field value
+  # to a single space"), so a caller-supplied value or comment can never
+  # reintroduce a two-or-more run the line's own separators rely on being
+  # unique to field boundaries. A tab or a newline is refused outright (raises
+  # ArgumentError) rather than collapsed: silently eating either would hide a
+  # value that could otherwise tear a ledger line. Post-execution review row
+  # 7.6: a bare `/ {2,}/` collapsed only literal spaces, so a carriage return,
+  # vertical tab or form feed beside a space still reached field 3 as a
+  # two-whitespace run that `split(/\s{2,}/)` reads as four fields while
+  # SAVEPOINT_RE reads as three - `\s{2,}` is what the acceptance criterion
+  # ("no run of two or more whitespace characters ever reaches field 3")
+  # actually requires.
+  def normalize_value(text)
+    value = text.to_s
+    raise ArgumentError, "value must not contain a tab or a newline: #{value.inspect}" if value =~ /[\t\n]/
+
+    value.gsub(/\s{2,}/, " ")
+  end
+
+  # A required-field D4 check independent of vocabulary validity: given a state
+  # (assumed valid) and a fields hash, the list of required field names still
+  # missing. `done`'s "at least one of commit=/verdict=" half renders as the
+  # literal string "commit or verdict" when both are absent.
+  def missing_fields(state, fields)
+    normalized = stringify_keys(fields)
+    required = REQUIRED_FIELDS.fetch(state.to_s, [])
+    missing = required.reject { |key| present?(normalized[key]) }
+    if state.to_s == "done" && DONE_EVIDENCE_FIELDS.none? { |key| present?(normalized[key]) }
+      missing += ["commit or verdict"]
+    end
+    missing
+  end
+
+  def present?(value)
+    !(value.nil? || value.to_s.strip.empty?)
+  end
+  private_class_method :present?
+
+  def stringify_keys(fields)
+    (fields || {}).each_with_object({}) { |(k, v), memo| memo[k.to_s] = v }
+  end
+  private_class_method :stringify_keys
+
+  def render_fields(fields)
+    normalized = stringify_keys(fields)
+    unreadable = normalized.keys.reject { |key| key.match?(FIELD_KEY_RE) }
+    if unreadable.any?
+      raise ArgumentError, "field key(s) the parser cannot read back: #{unreadable.join(', ')}"
+    end
+
+    known = FIELD_ORDER.select { |key| normalized.key?(key) }
+    extra = (normalized.keys - FIELD_ORDER).sort
+    (known + extra).map { |key| "#{key}=#{render_value(normalized[key])}" }
+  end
+  private_class_method :render_fields
+
+  def render_value(value)
+    text = normalize_value(value)
+    return text if bare_safe?(text)
+
+    escaped = text.gsub("\\") { "\\\\" }.gsub('"') { "\\\"" }
+    "\"#{escaped}\""
+  end
+  private_class_method :render_value
+
+  def bare_safe?(text)
+    !text.empty? && !text.match?(/[\s"\\]/)
+  end
+  private_class_method :bare_safe?
+
+  # --- Parsing ---------------------------------------------------------------
+
+  # timestamp<2sp>subject<2sp>rest, mirroring intent_screen.rb's SAVEPOINT_RE
+  # (the same three-field contract every reader in the tree already assumes).
+  TRANSITION_LINE_RE = /\A(\S+)#{SEPARATOR}(\S+)#{SEPARATOR}(.+?)\s*\z/.freeze
+  private_constant :TRANSITION_LINE_RE
+
+  FIELD_TOKEN_RE = /(#{FIELD_KEY_CHARS})=("(?:[^"\\]|\\.)*"|[^\s"]+)/.freeze
+  private_constant :FIELD_TOKEN_RE
+
+  # Parse one raw ledger line into {timestamp:, subject:, state:, fields:,
+  # comment:, raw:}, or nil when it does not even split into the three fields
+  # every transition line has. `#scrub`s the line first (mirrors
+  # SessionLedger.parse_checklist_line) so a stray non-UTF-8 byte anywhere in
+  # the ledger never raises out of the parser and takes down every reader
+  # (matrix 2.44); it only ever affects that one line's parsed text.
+  def parse_transition_line(line)
+    raw = line.to_s.chomp.scrub
+    m = TRANSITION_LINE_RE.match(raw)
+    return nil unless m
+
+    timestamp, subject, rest = m.captures
+    state, remainder = rest.split(/\s+/, 2)
+    fields, comment = scan_fields(remainder.to_s)
+    fields = NodeInputCompatibility.fields(fields)
+    { timestamp: timestamp, subject: subject, state: state, fields: fields, comment: comment, raw: raw }
+  end
+
+  # Scan `rest` (everything after the state token) for `key=value` pairs, quote-
+  # and-escape aware, greedily from the start; the first token that is not a
+  # pair, and everything after it, is the trailing comment (spec D8), with one
+  # layer of wrapping parens stripped when present (the shape #transition_line
+  # itself always emits). Returns [fields_hash, comment_or_nil].
+  def scan_fields(rest)
+    scanner = StringScanner.new(rest)
+    fields = {}
+    loop do
+      scanner.skip(/\s+/)
+      break if scanner.eos?
+
+      start_pos = scanner.pos
+      if scanner.scan(FIELD_TOKEN_RE)
+        fields[scanner[1]] = unquote(scanner[2])
+      else
+        scanner.pos = start_pos
+        break
+      end
+    end
+    tail = scanner.rest.to_s.strip
+    comment = tail.empty? ? nil : tail.sub(/\A\((.*)\)\z/m, '\1')
+    [fields, comment]
+  end
+  private_class_method :scan_fields
+
+  def unquote(raw)
+    return raw unless raw.start_with?('"')
+
+    raw[1..-2].gsub(/\\(.)/) { Regexp.last_match(1) }
+  end
+  private_class_method :unquote
+
+  # A transition line is torn (spec D9) when it does not parse into the three
+  # fields at all, when its state token is outside STATES, or when its state is
+  # in STATES but a field REQUIRED_FIELDS demands is missing. The second half
+  # matters more than the first: a crash-truncated write usually keeps a valid
+  # state token and loses the tail (`n1  running holder=auto-ce5`), which is
+  # the realistic torn line, not a truncated state token.
+  def torn?(line)
+    parsed = parse_transition_line(line)
+    return true unless parsed
+    return true unless parsed[:state] && STATES.include?(parsed[:state])
+
+    missing_fields(parsed[:state], parsed[:fields]).any?
+  end
+
+  def torn_reason(parsed)
+    return "does not parse as timestamp  subject  state ..." unless parsed && parsed[:state]
+    return "unknown state #{parsed[:state].inspect}" unless STATES.include?(parsed[:state])
+
+    "missing required field(s): #{missing_fields(parsed[:state], parsed[:fields]).join(', ')}"
+  end
+  private_class_method :torn_reason
+
+  # A transition line is attributed (spec D10) iff it carries a non-blank
+  # `holder=` field. Unattributed and torn are independent: a line can be
+  # unattributed and otherwise well formed at the same time.
+  def attributed?(parsed)
+    return false unless parsed
+
+    present?((parsed[:fields] || {})["holder"])
+  end
+
+  def resolved_state(state)
+    RESOLUTION.fetch(state.to_s, state.to_s)
+  end
+
+  # --- Reading the ledger ------------------------------------------------------
+
+  # Every transition candidate line in `path`, in file order, each annotated
+  # with its parse, torn-ness, and attribution. Non-candidate lines (a stage
+  # line, a Lock takeover line) are excluded entirely: they are never a
+  # transition and are never reported as torn by this module (spec Acceptance
+  # Criteria; Savepoint's own phantom detector covers the stage family).
+  # `#scrub`s the whole file up front (matrix 2.44) so one bad byte anywhere
+  # never raises out of this reader.
+  def entries(path)
+    return [] unless path && File.exist?(path)
+
+    entries_from_content(File.read(path))
+  end
+
+  # Same as #entries, but over an in-memory string rather than a path (post-
+  # execution review row 7.1/7.2): the readiness decision `node-transition`
+  # makes for `running` must be evaluated against the exact content
+  # GuardedAppend read under its lock hold, never a re-read of the path (which
+  # could observe a different file than the one the guard is holding closed
+  # against other writers, and reintroduces the check-then-append gap this row
+  # exists to close).
+  def entries_from_content(content)
+    content.to_s.scrub.each_line.filter_map do |raw|
+      line = raw.chomp
+      next nil if line.strip.empty?
+      next nil unless Savepoint.transition_candidate?(line)
+
+      parsed = parse_transition_line(line)
+      torn = torn?(line)
+      {
+        raw: line,
+        timestamp: parsed && parsed[:timestamp],
+        subject: parsed ? parsed[:subject] : line.split(/\s{2,}/)[1],
+        state: parsed && parsed[:state],
+        fields: parsed ? parsed[:fields] : {},
+        comment: parsed && parsed[:comment],
+        torn: torn,
+        attributed: parsed ? attributed?(parsed) : false,
+      }
+    end
+  end
+
+  # Status per subject: the last NON-TORN line for that subject in FILE order
+  # (never by timestamp, spec Acceptance Criteria), resolved (spec D2). An
+  # unattributed-but-well-formed line still counts for status (D10: status
+  # shows it; only the readiness check ignores it).
+  def status(path)
+    status_from_content(path && File.exist?(path) ? File.read(path) : "")
+  end
+
+  # Content-based counterpart to #status (see #entries_from_content).
+  def status_from_content(content)
+    entries_from_content(content).each_with_object({}) do |entry, memo|
+      next if entry[:torn]
+
+      memo[entry[:subject]] = resolved_state(entry[:state])
+    end
+  end
+
+  # A subject with no line at all reads as "planned" (spec D1's implicit
+  # starting state), never raises.
+  def status_for(path, subject)
+    status(path).fetch(subject.to_s, "planned")
+  end
+
+  # Content-based counterpart to #status_for (see #entries_from_content).
+  def status_for_content(content, subject)
+    status_from_content(content).fetch(subject.to_s, "planned")
+  end
+
+  # The last (file-order) non-torn `running` entry for `subject`, or nil. Used
+  # by the reclaim precondition (S3) to find the `expires=` this subject's live
+  # dispatch carries.
+  def last_running(path, subject)
+    entries(path).select { |e| !e[:torn] && e[:subject] == subject.to_s && e[:state] == "running" }.last
+  end
+
+  # Torn and unattributed lines, each paired with a reason (spec C2/C5's
+  # reader): [{line:, reason:}, ...]. A clean or absent ledger returns []. A
+  # torn line is reported once, as torn; a well-formed unattributed line is
+  # reported once, as unattributed - the two categories never conflate.
+  def anomalies(path)
+    entries(path).filter_map do |entry|
+      if entry[:torn]
+        { line: entry[:raw], reason: "torn: #{torn_reason(parse_transition_line(entry[:raw]))}" }
+      elsif !entry[:attributed]
+        { line: entry[:raw], reason: "unattributed (no holder=)" }
+      end
+    end
+  end
+
+  # --- Writing -----------------------------------------------------------------
+
+  # Refuse an unknown state or a missing required field BEFORE touching the
+  # file (spec C20), then append through `guard` (default GuardedAppend,
+  # strict), skipping dedup entirely (spec D11: transition lines never consult
+  # savepoint_recorded_pairs). Returns whatever `guard.call` returns
+  # (:written or :refused); propagates GuardedAppend::Unavailable rather than
+  # swallowing it (a caller must never believe a line landed when it did not).
+  #
+  # `precondition:` (post-execution review rows 7.1-7.3) is an optional
+  # callable evaluated INSIDE the guard's lock hold, against the exact
+  # `content` the guard just read - never a value captured before the call.
+  # When it returns falsy, the block returns nil (GuardedAppend's own
+  # refusal contract) and nothing is written; the caller sees :refused,
+  # distinguishable from :written, and must not believe the line landed. This
+  # is what makes "is the subject still ready" and "append running" atomic
+  # against a second writer: a check followed by a separate append never is.
+  def append_transition(path, subject:, state:, fields: {}, comment: nil, now: Time.now, guard: GuardedAppend,
+                         precondition: nil)
+    line = transition_line(subject: subject, state: state, fields: fields, comment: comment, now: now)
+    guard.call(path, strict: true) do |content|
+      precondition && !precondition.call(content) ? nil : line
+    end
+  end
+end

package/scripts/lib/node_progress.rb

@@ -0,0 +1,153 @@
+# encoding: UTF-8
+# frozen_string_literal: true
+
+require_relative "graph_file"
+require_relative "graph_edges"
+require_relative "node_ledger"
+require_relative "intent_screen"
+
+# NodeProgress (intent 337a, n1): the graph-era progress reader every report
+# screen's node count calls instead of counting checklist.md items. A
+# graph-era intent (graph.md AND nodes/ both present, D4) counts declared
+# nodes - GraphFile.parse's ## Graph section, via GraphEdges - against
+# NodeLedger.status's last-non-torn-line-per-subject state; a checklist-era
+# intent gets nil, so its screen keeps counting checklist.md exactly as
+# before. No second parser: every number here comes from GraphFile,
+# GraphEdges or NodeLedger, never a hand-rolled scan.
+#
+# Pure: an explicit intent_dir and store_root: in, a fields hash or nil out;
+# no ENV, no Dir.pwd, no raise across the boundary (a malformed record
+# answers nil or zeroed fields, matrix row 1.16).
+module NodeProgress
+  module_function
+
+  # Same keys IntentScreen.progress_fields returns, plus "progress.unit".
+  # nil for a pre-graph intent (D4), so the caller keeps counting
+  # checklist.md.
+  def fields(intent_dir, store_root: nil)
+    return nil unless graph_era?(intent_dir)
+
+    nodes = declared_nodes(File.join(intent_dir, "graph.md"))
+    return nil if nodes.nil? || nodes.empty?
+
+    status = NodeLedger.status(File.join(intent_dir, "savepoint.md"))
+    superseded = nodes.count { |n| status[n] == "superseded" }
+    abandoned = nodes.count { |n| status[n] == "abandoned" }
+    remaining = nodes.reject { |n| status[n] == "superseded" || status[n] == "abandoned" }
+    done = remaining.count { |n| status[n] == "done" }
+    running = remaining.count { |n| status[n] == "running" }
+    total = remaining.length
+
+    inferred = done.zero? && total.positive? && delivered?(intent_dir, store_root)
+    done = total if inferred
+
+    {
+      "progress.bar" => bar_for(done, total),
+      "progress.done" => done.to_s,
+      "progress.total" => total.to_s,
+      "progress.note" => note_for(done, total, running, inferred, superseded, abandoned),
+      "progress.unit" => "nodes",
+    }
+  rescue StandardError
+    nil
+  end
+
+  # D4: graph-era means graph.md AND nodes/ both exist.
+  def graph_era?(intent_dir)
+    File.exist?(File.join(intent_dir, "graph.md")) && Dir.exist?(File.join(intent_dir, "nodes"))
+  end
+
+  # Declared node ids from the ## Graph section (GraphFile/GraphEdges), never
+  # from Dir over nodes/. nil for a missing ## Graph section or one that
+  # declares no nodes (matrix row 1.16).
+  def declared_nodes(graph_md_path)
+    parsed = GraphFile.parse(graph_md_path)
+    graph = parsed && parsed[:graph]
+    return nil unless graph
+
+    ids = graph[:nodes]
+    ids.nil? || ids.empty? ? nil : ids
+  end
+  private_class_method :declared_nodes
+
+  def bar_for(done, total)
+    width = IntentScreen::BAR_WIDTH
+    on = total.zero? ? 0 : (done * width) / total
+    (IntentScreen::ON * on) + (IntentScreen::OFF * (width - on))
+  end
+  private_class_method :bar_for
+
+  # D8's four exact note strings, plus a superseded/abandoned suffix (n6, B1):
+  # a node whose resolved state is superseded or abandoned leaves the total
+  # and the numerator, and the note names it, superseded first, appended as
+  # ", K superseded" and/or ", J abandoned". Unchanged when there are none of
+  # either. The inferred case never carries a suffix: it counts the already-
+  # reduced total, so the note stays exactly "inferred: delivered before the
+  # node ledger".
+  def note_for(done, total, running, inferred, superseded, abandoned)
+    return "inferred: delivered before the node ledger" if inferred
+
+    base =
+      if total.zero?
+        "no nodes counted"
+      else
+        open = total - done
+        if open.zero?
+          "all nodes done"
+        elsif running.positive?
+          "#{open} nodes open, #{running} running"
+        else
+          "#{open} nodes open"
+        end
+      end
+
+    suffix = []
+    suffix << "#{superseded} superseded" if superseded.positive?
+    suffix << "#{abandoned} abandoned" if abandoned.positive?
+    suffix.empty? ? base : "#{base}, #{suffix.join(', ')}"
+  end
+  private_class_method :note_for
+
+  # Delivered, proven twice (the inferred fallback's precondition):
+  # outcome.md on disk plus either an INDEX ## Completed line (store_root:
+  # given) or a Done savepoint line (store_root: nil, the roadmap-entries
+  # path that pays for no INDEX read per entry).
+  def delivered?(intent_dir, store_root)
+    return false unless File.exist?(File.join(intent_dir, "outcome.md"))
+
+    store_root ? index_completed?(store_root, intent_id(intent_dir)) : done_savepoint_line?(intent_dir)
+  end
+  private_class_method :delivered?
+
+  def intent_id(intent_dir)
+    File.basename(intent_dir).split("--", 2).first
+  end
+  private_class_method :intent_id
+
+  def index_completed?(store_root, id)
+    path = File.join(store_root, "INDEX.md")
+    return false unless File.exist?(path)
+
+    content = File.read(path).scrub
+    section = content[/^## Completed\n(.*?)(?=^## |\z)/m, 1]
+    return false unless section
+
+    section.each_line.any? { |line| line.strip.match?(/\A-\s*\[#{Regexp.escape(id)}(?=[\s\]])/) }
+  end
+  private_class_method :index_completed?
+
+  # Only a Done line whose text begins with "delivered" proves delivered (n6,
+  # B3): end-intent writes "Done  delivered" or "Done  abandoned"
+  # (scripts/end-intent, Savepoint.append_terminal_savepoint), and only the
+  # first disposition is delivery.
+  def done_savepoint_line?(intent_dir)
+    path = File.join(intent_dir, "savepoint.md")
+    return false unless File.exist?(path)
+
+    File.read(path).scrub.each_line.any? do |line|
+      m = line.strip.match(IntentScreen::SAVEPOINT_RE)
+      m && m[2] == "Done" && m[3].to_s.start_with?("delivered")
+    end
+  end
+  private_class_method :done_savepoint_line?
+end