{
  "type": "agenda",
  "result": {
    "total": 43,
    "cardType": null,
    "cursor": 0,
    "nextCursor": null,
    "cards": [
      {
        "id": "blind-write:Demo/Pricing/reset#io_9",
        "type": "blind-write",
        "package": "Demo/Pricing",
        "subject": "reset",
        "fact": "the binding writes cell 'cell' without any read of that cell in this binding",
        "cell": "cell",
        "ioSiteId": "io_9"
      },
      {
        "id": "constant-despite-reach:constant-result:Demo/Pricing/summary",
        "type": "constant-despite-reach",
        "package": "Demo/Pricing",
        "subject": "summary",
        "fact": "across 8 seeded runs (seed 6321458022832390279), Demo/Pricing/summary always produced 42; bounded observation, not proof; parameter(s) o statically reach the produced value and no literal-result fact applies \u2014 the constancy is not statically explained",
        "observation": "constant-result",
        "runs": "8",
        "seed": "6321458022832390279",
        "result": "42",
        "staticReachParams": "o"
      },
      {
        "id": "constant-despite-reach:constant-result:Demo/Pricing/surge_bonus",
        "type": "constant-despite-reach",
        "package": "Demo/Pricing",
        "subject": "surge_bonus",
        "fact": "across 8 seeded runs (seed 6321458022832390279), Demo/Pricing/surge_bonus always produced 7; bounded observation, not proof; parameter(s) x statically reach the produced value and no literal-result fact applies \u2014 the constancy is not statically explained",
        "observation": "constant-result",
        "runs": "8",
        "seed": "6321458022832390279",
        "result": "7",
        "staticReachParams": "x"
      },
      {
        "id": "constant-despite-reach:constant-result:Demo/Report/report_total",
        "type": "constant-despite-reach",
        "package": "Demo/Report",
        "subject": "report_total",
        "fact": "across 8 seeded runs (seed 6321458022832390279), Demo/Report/report_total always produced 42; bounded observation, not proof; parameter(s) o statically reach the produced value and no literal-result fact applies \u2014 the constancy is not statically explained",
        "observation": "constant-result",
        "runs": "8",
        "seed": "6321458022832390279",
        "result": "42",
        "staticReachParams": "o"
      },
      {
        "id": "dead-field:Demo/Pricing/Order.discount_code",
        "type": "dead-field",
        "package": "Demo/Pricing",
        "subject": "Order.discount_code",
        "fact": "no compiled extraction of the field exists in the supplied Bosatsu IR (reads: []); no declared API wire consumer was established; other engine or host consumers are outside this evidence; extraction absence alone does not justify removing the field",
        "scope": "supplied-bosatsu-ir",
        "consumerScope": "declared-api-wire",
        "externalConsumers": ""
      },
      {
        "id": "detached-read:Demo/Pricing/refresh#io_5",
        "type": "detached-read",
        "package": "Demo/Pricing",
        "subject": "refresh",
        "fact": "the binding performs a read and its attributed result influences nothing (neither data nor guards)",
        "stateRef": "c",
        "ioSiteId": "io_5"
      },
      {
        "id": "discarded-argument:Demo/Pricing/summary->Demo/Pricing/quote(o)",
        "type": "discarded-argument",
        "package": "Demo/Pricing",
        "subject": "summary -> Demo/Pricing/quote(o)",
        "fact": "a call passes a value into a callee parameter that influences nothing in the callee: the passed value is discarded there",
        "calleePackage": "Demo/Pricing",
        "calleeBinding": "quote",
        "parameter": "o",
        "parameterIndex": "0"
      },
      {
        "id": "discarded-argument:Demo/Report/report_total->Demo/Pricing/quote(o)",
        "type": "discarded-argument",
        "package": "Demo/Report",
        "subject": "report_total -> Demo/Pricing/quote(o)",
        "fact": "a call passes a value into a callee parameter that influences nothing in the callee: the passed value is discarded there",
        "calleePackage": "Demo/Pricing",
        "calleeBinding": "quote",
        "parameter": "o",
        "parameterIndex": "0"
      },
      {
        "id": "guard-only-parameter:Demo/Pricing/shipping_fee(region)",
        "type": "guard-only-parameter",
        "package": "Demo/Pricing",
        "subject": "shipping_fee(region)",
        "fact": "the parameter only selects among branches; its data never reaches the produced value"
      },
      {
        "id": "literal-result:Demo/Pricing/quote",
        "type": "literal-result",
        "package": "Demo/Pricing",
        "subject": "quote",
        "fact": "takes arguments, none of whose data reaches the produced value; every value the result can take originates in literals",
        "literals": "42"
      },
      {
        "id": "package-reach:Demo/Report->Demo/Pricing",
        "type": "package-reach",
        "package": "Demo/Report",
        "subject": "Demo/Report -> Demo/Pricing",
        "fact": "the package transitively reaches the target through the import path in 'path'",
        "to": "Demo/Pricing",
        "path": "Demo/Report -> Demo/Pricing"
      },
      {
        "id": "run-evidence:never-referenced:Demo/Pricing/cell",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "cell",
        "fact": "across a sweep of 10 entry bindings x 2 runs each (seed 6321458022832390279), Demo/Pricing/cell had no global value forced by another sampled entry; its only static referrers (Demo/Pricing/refresh, Demo/Pricing/reset) were neither successful sampled entries nor forced global values; global-value forcing does not establish execution of function bodies; bounded observation, not proof",
        "observation": "never-referenced",
        "referenceBasis": "global-value-forcing",
        "entries": "10",
        "runsPerEntry": "2",
        "seed": "6321458022832390279",
        "staticReferrers": "Demo/Pricing/refresh, Demo/Pricing/reset"
      },
      {
        "id": "run-evidence:param-influence:Demo/Pricing/fallback_quote:x",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "fallback_quote",
        "fact": "parameter 'x' of Demo/Pricing/fallback_quote changed the result from 104 to 77 (seed 6321458022832390279, variations 0/1)",
        "observation": "param-influence",
        "parameter": "x",
        "seed": "6321458022832390279",
        "results": "104 / 77"
      },
      {
        "id": "run-evidence:varying-result:Demo/Pricing/fallback_quote",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "fallback_quote",
        "fact": "runs 0 and 1 (seed 6321458022832390279) of Demo/Pricing/fallback_quote produced 84 and 82 \u2014 the result depends on its inputs",
        "observation": "varying-result",
        "seed": "6321458022832390279",
        "runs": "0,1",
        "results": "84 / 82"
      },
      {
        "id": "run-evidence:never-referenced:Demo/Pricing/line_total",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "line_total",
        "fact": "across a sweep of 10 entry bindings x 2 runs each (seed 6321458022832390279), Demo/Pricing/line_total had no global value forced by another sampled entry; no binding references it statically; global-value forcing does not establish execution of function bodies; bounded observation, not proof",
        "observation": "never-referenced",
        "referenceBasis": "global-value-forcing",
        "entries": "10",
        "runsPerEntry": "2",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:param-influence:Demo/Pricing/line_total:o",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "line_total",
        "fact": "parameter 'o' of Demo/Pricing/line_total changed the result from -35 to -2 (seed 6321458022832390279, variations 0/1)",
        "observation": "param-influence",
        "parameter": "o",
        "seed": "6321458022832390279",
        "results": "-35 / -2"
      },
      {
        "id": "run-evidence:varying-result:Demo/Pricing/line_total",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "line_total",
        "fact": "runs 0 and 1 (seed 6321458022832390279) of Demo/Pricing/line_total produced -42 and -5 \u2014 the result depends on its inputs",
        "observation": "varying-result",
        "seed": "6321458022832390279",
        "runs": "0,1",
        "results": "-42 / -5"
      },
      {
        "id": "run-evidence:never-referenced:Demo/Pricing/order_id",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "order_id",
        "fact": "across a sweep of 10 entry bindings x 2 runs each (seed 6321458022832390279), Demo/Pricing/order_id had no global value forced by another sampled entry; no binding references it statically; global-value forcing does not establish execution of function bodies; bounded observation, not proof",
        "observation": "never-referenced",
        "referenceBasis": "global-value-forcing",
        "entries": "10",
        "runsPerEntry": "2",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:param-influence:Demo/Pricing/order_id:o",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "order_id",
        "fact": "parameter 'o' of Demo/Pricing/order_id changed the result from 11 to 14 (seed 6321458022832390279, variations 0/1)",
        "observation": "param-influence",
        "parameter": "o",
        "seed": "6321458022832390279",
        "results": "11 / 14"
      },
      {
        "id": "run-evidence:varying-result:Demo/Pricing/order_id",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "order_id",
        "fact": "runs 0 and 1 (seed 6321458022832390279) of Demo/Pricing/order_id produced -10 and -6 \u2014 the result depends on its inputs",
        "observation": "varying-result",
        "seed": "6321458022832390279",
        "runs": "0,1",
        "results": "-10 / -6"
      },
      {
        "id": "run-evidence:never-referenced:Demo/Pricing/order_qty",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "order_qty",
        "fact": "across a sweep of 10 entry bindings x 2 runs each (seed 6321458022832390279), Demo/Pricing/order_qty had no global value forced by another sampled entry; no binding references it statically; global-value forcing does not establish execution of function bodies; bounded observation, not proof",
        "observation": "never-referenced",
        "referenceBasis": "global-value-forcing",
        "entries": "10",
        "runsPerEntry": "2",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:param-influence:Demo/Pricing/order_qty:o",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "order_qty",
        "fact": "parameter 'o' of Demo/Pricing/order_qty changed the result from 9 to 2 (seed 6321458022832390279, variations 0/1)",
        "observation": "param-influence",
        "parameter": "o",
        "seed": "6321458022832390279",
        "results": "9 / 2"
      },
      {
        "id": "run-evidence:varying-result:Demo/Pricing/order_qty",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "order_qty",
        "fact": "runs 0 and 1 (seed 6321458022832390279) of Demo/Pricing/order_qty produced -15 and 23 \u2014 the result depends on its inputs",
        "observation": "varying-result",
        "seed": "6321458022832390279",
        "runs": "0,1",
        "results": "-15 / 23"
      },
      {
        "id": "run-evidence:never-referenced:Demo/Pricing/pick_quote",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "pick_quote",
        "fact": "across a sweep of 10 entry bindings x 2 runs each (seed 6321458022832390279), Demo/Pricing/pick_quote had no global value forced by another sampled entry; no binding references it statically; global-value forcing does not establish execution of function bodies; bounded observation, not proof",
        "observation": "never-referenced",
        "referenceBasis": "global-value-forcing",
        "entries": "10",
        "runsPerEntry": "2",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:param-influence:Demo/Pricing/pick_quote:x",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "pick_quote",
        "fact": "parameter 'x' of Demo/Pricing/pick_quote changed the result from -21 to 16 (seed 6321458022832390279, variations 0/1)",
        "observation": "param-influence",
        "parameter": "x",
        "seed": "6321458022832390279",
        "results": "-21 / 16"
      },
      {
        "id": "run-evidence:varying-result:Demo/Pricing/pick_quote",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "pick_quote",
        "fact": "runs 0 and 1 (seed 6321458022832390279) of Demo/Pricing/pick_quote produced -18 and 8 \u2014 the result depends on its inputs",
        "observation": "varying-result",
        "seed": "6321458022832390279",
        "runs": "0,1",
        "results": "-18 / 8"
      },
      {
        "id": "run-evidence:constant-result:Demo/Pricing/quote",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "quote",
        "fact": "across 8 seeded runs (seed 6321458022832390279), Demo/Pricing/quote always produced 42; bounded observation, not proof",
        "observation": "constant-result",
        "runs": "8",
        "seed": "6321458022832390279",
        "result": "42"
      },
      {
        "id": "run-evidence:param-no-influence:Demo/Pricing/quote:o",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "quote",
        "fact": "varying parameter 'o' of Demo/Pricing/quote across 5 values with the others fixed (seed 6321458022832390279), the result never changed; bounded observation, not proof",
        "observation": "param-no-influence",
        "parameter": "o",
        "runs": "5",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:never-referenced:Demo/Pricing/refresh",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "refresh",
        "fact": "across a sweep of 10 entry bindings x 2 runs each (seed 6321458022832390279), Demo/Pricing/refresh had no global value forced by another sampled entry; no binding references it statically; global-value forcing does not establish execution of function bodies; bounded observation, not proof",
        "observation": "never-referenced",
        "referenceBasis": "global-value-forcing",
        "entries": "10",
        "runsPerEntry": "2",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:never-referenced:Demo/Pricing/reset",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "reset",
        "fact": "across a sweep of 10 entry bindings x 2 runs each (seed 6321458022832390279), Demo/Pricing/reset had no global value forced by another sampled entry; no binding references it statically; global-value forcing does not establish execution of function bodies; bounded observation, not proof",
        "observation": "never-referenced",
        "referenceBasis": "global-value-forcing",
        "entries": "10",
        "runsPerEntry": "2",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:never-referenced:Demo/Pricing/shipping_fee",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "shipping_fee",
        "fact": "across a sweep of 10 entry bindings x 2 runs each (seed 6321458022832390279), Demo/Pricing/shipping_fee had no global value forced by another sampled entry; no binding references it statically; global-value forcing does not establish execution of function bodies; bounded observation, not proof",
        "observation": "never-referenced",
        "referenceBasis": "global-value-forcing",
        "entries": "10",
        "runsPerEntry": "2",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:param-influence:Demo/Pricing/shipping_fee:subtotal",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "shipping_fee",
        "fact": "parameter 'subtotal' of Demo/Pricing/shipping_fee changed the result from -18 to -11 (seed 6321458022832390279, variations 0/1)",
        "observation": "param-influence",
        "parameter": "subtotal",
        "seed": "6321458022832390279",
        "results": "-18 / -11"
      },
      {
        "id": "run-evidence:param-no-influence:Demo/Pricing/shipping_fee:region",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "shipping_fee",
        "fact": "varying parameter 'region' of Demo/Pricing/shipping_fee across 5 values with the others fixed (seed 6321458022832390279), the result never changed; bounded observation, not proof",
        "observation": "param-no-influence",
        "parameter": "region",
        "runs": "5",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:varying-result:Demo/Pricing/shipping_fee",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "shipping_fee",
        "fact": "runs 0 and 1 (seed 6321458022832390279) of Demo/Pricing/shipping_fee produced 14 and -1 \u2014 the result depends on its inputs",
        "observation": "varying-result",
        "seed": "6321458022832390279",
        "runs": "0,1",
        "results": "14 / -1"
      },
      {
        "id": "run-evidence:never-referenced:Demo/Pricing/summary",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "summary",
        "fact": "across a sweep of 10 entry bindings x 2 runs each (seed 6321458022832390279), Demo/Pricing/summary had no global value forced by another sampled entry; no binding references it statically; global-value forcing does not establish execution of function bodies; bounded observation, not proof",
        "observation": "never-referenced",
        "referenceBasis": "global-value-forcing",
        "entries": "10",
        "runsPerEntry": "2",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:param-no-influence:Demo/Pricing/summary:o",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "summary",
        "fact": "varying parameter 'o' of Demo/Pricing/summary across 5 values with the others fixed (seed 6321458022832390279), the result never changed; bounded observation, not proof",
        "observation": "param-no-influence",
        "parameter": "o",
        "runs": "5",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:never-referenced:Demo/Pricing/surge_bonus",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "surge_bonus",
        "fact": "across a sweep of 10 entry bindings x 2 runs each (seed 6321458022832390279), Demo/Pricing/surge_bonus had no global value forced by another sampled entry; no binding references it statically; global-value forcing does not establish execution of function bodies; bounded observation, not proof",
        "observation": "never-referenced",
        "referenceBasis": "global-value-forcing",
        "entries": "10",
        "runsPerEntry": "2",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:param-no-influence:Demo/Pricing/surge_bonus:x",
        "type": "run-evidence",
        "package": "Demo/Pricing",
        "subject": "surge_bonus",
        "fact": "varying parameter 'x' of Demo/Pricing/surge_bonus across 5 values with the others fixed (seed 6321458022832390279), the result never changed; bounded observation, not proof",
        "observation": "param-no-influence",
        "parameter": "x",
        "runs": "5",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:never-referenced:Demo/Report/report_total",
        "type": "run-evidence",
        "package": "Demo/Report",
        "subject": "report_total",
        "fact": "across a sweep of 10 entry bindings x 2 runs each (seed 6321458022832390279), Demo/Report/report_total had no global value forced by another sampled entry; no binding references it statically; global-value forcing does not establish execution of function bodies; bounded observation, not proof",
        "observation": "never-referenced",
        "referenceBasis": "global-value-forcing",
        "entries": "10",
        "runsPerEntry": "2",
        "seed": "6321458022832390279"
      },
      {
        "id": "run-evidence:param-no-influence:Demo/Report/report_total:o",
        "type": "run-evidence",
        "package": "Demo/Report",
        "subject": "report_total",
        "fact": "varying parameter 'o' of Demo/Report/report_total across 5 values with the others fixed (seed 6321458022832390279), the result never changed; bounded observation, not proof",
        "observation": "param-no-influence",
        "parameter": "o",
        "runs": "5",
        "seed": "6321458022832390279"
      },
      {
        "id": "unexecuted-reference:never-referenced:Demo/Pricing/fallback_quote",
        "type": "unexecuted-reference",
        "package": "Demo/Pricing",
        "subject": "fallback_quote",
        "fact": "across a sweep of 10 entry bindings x 2 runs each (seed 6321458022832390279), Demo/Pricing/fallback_quote had no global value forced by another sampled entry; it IS statically referenced by Demo/Pricing/pick_quote; those referrers were evaluated as entries or forced as global values; global-value forcing does not establish execution of function bodies; bounded observation, not proof",
        "observation": "never-referenced",
        "referenceBasis": "global-value-forcing",
        "entries": "10",
        "runsPerEntry": "2",
        "seed": "6321458022832390279",
        "executedStaticReferrers": "Demo/Pricing/pick_quote",
        "staticReferrers": "Demo/Pricing/pick_quote"
      },
      {
        "id": "unused-parameter:Demo/Pricing/quote(o)",
        "type": "unused-parameter",
        "package": "Demo/Pricing",
        "subject": "quote(o)",
        "fact": "the parameter influences nothing in the binding (neither data nor guards)",
        "parameterKind": "checked-other"
      },
      {
        "id": "unused-parameter:Demo/Pricing/refresh(_a)",
        "type": "unused-parameter",
        "package": "Demo/Pricing",
        "subject": "refresh(_a)",
        "fact": "the parameter influences nothing in the binding (neither data nor guards)",
        "parameterKind": "checked-other"
      }
    ],
    "coverage": [
      {
        "type": "dead-field",
        "examined": 3,
        "cards": 1
      },
      {
        "type": "discarded-argument",
        "examined": 3,
        "cards": 2
      },
      {
        "type": "unused-parameter",
        "examined": 14,
        "cards": 2
      },
      {
        "type": "guard-only-parameter",
        "examined": 14,
        "cards": 1
      },
      {
        "type": "detached-read",
        "examined": 1,
        "cards": 1
      },
      {
        "type": "blind-write",
        "examined": 1,
        "cards": 1
      },
      {
        "type": "literal-result",
        "examined": 12,
        "cards": 1
      },
      {
        "type": "package-reach",
        "examined": 2,
        "cards": 1
      },
      {
        "type": "run-evidence",
        "examined": 10,
        "cards": 29
      },
      {
        "type": "unexecuted-reference",
        "examined": 10,
        "cards": 1
      },
      {
        "type": "constant-despite-reach",
        "examined": 10,
        "cards": 3
      },
      {
        "type": "flow-instance",
        "examined": 0,
        "cards": 0
      },
      {
        "type": "flow-divergence",
        "examined": 0,
        "cards": 0
      }
    ]
  }
}