{"selection":"Named agenda cards, one read-origin flow, compiler-located definition excerpts, and one concrete Why result. Other facts are omitted, not asserted absent.","agenda":{"totalCards":241,"omittedCards":233,"cards":[{"id":"dead-field:Yichus/Probe/FieldBoundary/Envelope.token","type":"dead-field","package":"Yichus/Probe/FieldBoundary","subject":"Envelope.token","fact":"no compiled extraction of the field exists in the supplied Bosatsu IR (reads: []); declared external consumers: API request schema of Yichus/Probe/FieldBoundary::echo at /echo; API result schema of Yichus/Probe/FieldBoundary::echo at /echo; extraction absence alone does not justify removing the field","scope":"supplied-bosatsu-ir","consumerScope":"declared-api-wire","externalConsumers":"API request schema of Yichus/Probe/FieldBoundary::echo at /echo; API result schema of Yichus/Probe/FieldBoundary::echo at /echo"},{"id":"dead-field:Yichus/Probe/FieldBoundary/Reserved.note","type":"dead-field","package":"Yichus/Probe/FieldBoundary","subject":"Reserved.note","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:Yichus/Probe/TransactionReadProvenance/discarded#io_5","type":"detached-read","package":"Yichus/Probe/TransactionReadProvenance","subject":"discarded","fact":"the binding performs a read and its attributed result influences nothing (neither data nor guards)","ioSiteId":"io_5"},{"id":"unused-parameter:Yichus/Probe/NoPayload/ping(_a)","type":"unused-parameter","package":"Yichus/Probe/NoPayload","subject":"ping(_a)","fact":"the parameter influences nothing in the binding (neither data nor guards); its checked type is Unit, which has one value and carries no input payload","parameterKind":"unit-no-payload"},{"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":"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 -8286620872315255046), 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 — the constancy is not statically explained","observation":"constant-result","runs":"8","seed":"-8286620872315255046","result":"7","staticReachParams":"x"},{"id":"run-evidence:varying-result:Demo/Forum/can_see","type":"run-evidence","package":"Demo/Forum","subject":"can_see","fact":"runs 0 and 1 (seed -8286620872315255046) of Demo/Forum/can_see produced variant1 and variant0 — the result depends on its inputs","observation":"varying-result","seed":"-8286620872315255046","runs":"0,1","results":"variant1 / variant0"},{"id":"blind-write:Yichus/Tests/DirectSharedState/change_label#io_3","type":"blind-write","package":"Yichus/Tests/DirectSharedState","subject":"change_label","fact":"the binding writes cell 'label' without any read of that cell in this binding","cell":"label","ioSiteId":"io_3"}]},"flows":[{"type":"traceFlow","result":{"root":"default/Yichus/Probe/TransactionReadProvenance/consumed","monad":"Yichus/IO::IO","bindingCount":1,"edgeCount":1,"maxDepthReached":false,"bindings":[{"path":"default/Yichus/Probe/TransactionReadProvenance/consumed","depth":0,"isEffectful":true,"signalTags":[],"literalCount":0,"crudAnalysis":null,"permissionFindings":[],"queryDiagnostics":[]}],"edges":[{"source":"read:io_2","target":"default/Yichus/Probe/TransactionReadProvenance/consumed","depth":0,"kind":"read-origin","influence":"return-data","stateRef":null,"ioSiteId":"io_2","recursive":false}]}}],"definitions":[{"id":"default/Demo/Pricing/line_total","type":"Demo/Pricing::Order -> Bosatsu/Predef::Int","isIO":false,"source":{"file":"pricing","line":55,"column":3,"snippet":"55|  Order(id, qty, _) = o\n     ^\n\nto:\n55|  Order(id, qty, _) = o\n56|  add(add(qty, qty), id)\n                          ^"}},{"id":"default/Demo/Pricing/shipping_fee","type":"(Bosatsu/Predef::Int, Bosatsu/Predef::Int) -> Bosatsu/Predef::Int","isIO":false,"source":{"file":"pricing","line":37,"column":3,"snippet":"37|  match cmp_Int(region, 0):\n     ^\n\nto:\n37|  match cmp_Int(region, 0):\n38|    case GT: add(subtotal, 5)\n39|    case _: add(subtotal, 5)\n                              ^"}},{"id":"default/Yichus/Probe/TransactionReadProvenance/consumed","type":"Yichus/Transaction::Scope[c] -> Yichus/Transaction::Txn[c, Bosatsu/Predef::String, Bosatsu/Predef::Int]","isIO":true,"source":{"file":"transaction","line":7,"column":3,"snippet":"7|  row <- tx_bind(tx_database_time_millis(scope))\n    ^\n\nto:\n7|  row <- tx_bind(tx_database_time_millis(scope))\n8|  tx_pure(row)\n               ^"}}],"executions":[{"binding":{"package":"Demo/Pricing","name":"surge_bonus","id":"Demo/Pricing::surge_bonus","type":"Bosatsu/Predef::Int -> Bosatsu/Predef::Int","isIO":false,"arity":1},"inputs":[{"param":"x","type":"Bosatsu/Predef::Int","shape":{"kind":"int"},"origin":"provided","json":1001,"rendered":"1001"}],"output":{"type":"Bosatsu/Predef::Int","json":1001,"jsonStatus":"encoded","rendered":"1001"},"epistemics":"soundFacts hold for every input (static dataflow). observed entries are bounded observations from seeded runs. Decision rule: influence is ruled OUT only by a sound guard-only or unused fact; it is ruled IN only by a concrete witness. A return-data (may-reach) fact combined with observed-constant runs stays UNRESOLVED — the reaching path may need input regions these runs never visited, so vary the OTHER parameters' regions to hunt a witness before concluding anything."}]}