{ "checker": { "claims": [ { "claim": "Displays system /proc/meminfo values.", "command": "/usr/bin/script -q -c /dev/null", "evidence": "\u2026MemTotal\u001b[K\r\u001b[4d 3,487.3 MemAvailable\u001b[K\r\u001b[5d\u001b(0\u001b[0;7mq\u001b(0\u001b[0mqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq\u001b(B\u001b(B\u001b[m\u001b[6;1H\u001b(0\u001b[0m\u001b(B\u001b[0m 2,975.2 MemFree\u001b[K\u001b[7;6H\u001b[1K 25.9 Buffers\u001b[K\u001b[8;5H\u001b[1K 677.4 Cached\u001b[K\u001b[9;5H\u001b[1K 284.4 Active\u001b[K\u001b[10;5H\u001b[1K 474.1 Inactive\u001b[K\u001b[11;6H\u001b[1K 67.8 Active(anon)\u001b[K\u001b[12;5H\u001b[1K 474.1 Inactive(file)\u001b[K\u001b[13;6H\u001b[1K 29.8 Unevictable\u001b[K\u001b[14;6H\u001b[1K 26.8 Mlocked\u001b[K\u001b[15;7H\u001b[1K 0.3 Dirty\u001b[K\u001b[16;6H\u001b[1K 85.2 AnonPages\u001b[K\u001b[17;6H\u001b[1K 63.0 Mapped\u001b[K\u001b[18;7H\u001b[1K 3.9 Shmem\u001b[K\u001b[19;6H\u001b[1K 39.6 KReclaimable\u001b[K\u001b[20;6H\u001b[1K 88.7 Slab\u001b[K\u001b[21;6H\u001b[1K 39.6", "expected": "MemTotal is visible.", "input": "Run interactively and quit.", "kind": "claim", "outcome": "Real input produced the expected result: MemTotal", "returncode": 0, "source": "`memfo` is a viewer for `/proc/meminfo` that shows its data:", "source_checked": true, "source_file": "README.md", "verdict": "yes" } ], "cycle_checks": [ { "claim": "Scheduled or looping main behavior", "command": "", "evidence": "Inspected README command-line options, interaction keys, and memfo/memfod entrypoints. The README describes continuous sampling and optional daemon startup, but provides no one-shot cycle trigger; the documented operation is an interactive viewer.", "expected": "identify the product trigger", "input": "source inspection", "kind": "cycle", "outcome": "Inspected README command-line options, interaction keys, and memfo/memfod entrypoints. The README describes continuous sampling and optional daemon startup, but provides no one-shot cycle trigger; the documented operation is an interactive viewer.", "source": "repository entry points", "verdict": "yes" } ], "details": { "argv": [ "/usr/bin/script", "-q", "-c", "", "/dev/null" ], "kind": "cli", "needs_browser": false, "needs_credentials": false, "returncode": 0, "scope": "product operation", "stderr": "", "stdout": "q\n[?1049h[22;0;0t[1;24r(B[m[4l[?7h[?25l[?1h=[39;49m[39;49m[H[2J(B[0;2m (B[0;1;2;4mu(B[0;2mnits:MiB (B[0;1;2;4mi(B[0;2mtvl=Var (B[0;1;2;4md(B[0;2meltas:off zeros=off Dump (B[0;1;2;4mc(B[0;2mlock (B[0;1;2;4me(B[0;2mdit ?:help (B[0;1;2;4mq(B[0;2muit(B[0m[K[2;8H(B[0;1m[1K 0s 10/28 06:52:48(B[0m[K\n[3d 3,915.3 MemTotal[K\n[4d 3,494.9 MemAvailable[K\n[5d(0[0;7mq(0[0mqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqqq(B(B[m[6;1H(0[0m(B[0m 2,982.8 MemFree[K[7;6H[1K 25.9 Buffers[K[8;5H[1K 677.3 Cached[K[9;5H[1K 284.5 Active[K[10;5H[1K 474.1 Inactive[K[11;6H[1K 67.8 Active(anon)[K[12;5H[1K 474.1 Inactive(file)[K[13;6H[1K 29.8 Unevictable[K[14;6H[1K 26.8 Mlocked[K[15;7H[1K 1.2 Dirty[K[16;6H[1K 85.2 AnonPages[K[17;6H[1K 62.9 Mapped[K[18;7H[1K 3.9 Shmem[K[19;6H[1K 39.6 KReclaimable[K[20;6H[1K 88.7 Slab[K[21;6H[1K 39.6 SReclaimable[K[22;6H[1K 49.1 SUnreclaim[K[23;7H[1K 2.6 PageTables[K\n[24d 1,957.6 CommitLimit[K[5;2H(B[mExiting memfo application.\n[?1l>[?12l[?25h[24;1H[?1049l[23;0;0t\n[?1l>\n[excerpt truncated]", "working": true }, "evidence_strength": "readme_checked", "example_checks": [ { "claim": "Start the interactive memory viewer and quit.", "command": "/usr/bin/script -q -c /dev/null", "deferred": false, "evidence": ";6H\u001b[1K 25.9 Buffers\u001b[K\u001b[8;5H\u001b[1K 677.4 Cached\u001b[K\u001b[9;5H\u001b[1K 284.5 Active\u001b[K\u001b[10;5H\u001b[1K 474.2 Inactive\u001b[K\u001b[11;6H\u001b[1K 67.8 Active(anon)\u001b[K\u001b[12;5H\u001b[1K 474.2 Inactive(file)\u001b[K\u001b[13;6H\u001b[1K 29.8 Unevictable\u001b[K\u001b[14;6H\u001b[1K 26.8 Mlocked\u001b[K\u001b[15;7H\u001b[1K 0.3 Dirty\u001b[K\u001b[16;6H\u001b[1K 85.1 AnonPages\u001b[K\u001b[17;6H\u001b[1K 63.0 Mapped\u001b[K\u001b[18;7H\u001b[1K 3.9 Shmem\u001b[K\u001b[19;6H\u001b[1K 39.6 KReclaimable\u001b[K\u001b[20;6H\u001b[1K 88.7 Slab\u001b[K\u001b[21;6H\u001b[1K 39.6 SReclaimable\u001b[K\u001b[22;6H\u001b[1K 49.1 SUnreclaim\u001b[K\u001b[23;7H\u001b[1K 2.6 PageTables\u001b[K\r\u001b[24d 1,957.6 CommitLimit\u001b[K\u001b[5;2H\u001b(B\u001b[mExiting memfo application.\n\u001b[?1l\u001b>\u001b[?12l\u001b[?25h\u001b[24;1H\u001b[?1049l\u001b[23;0;0t\r\u001b[?1l\u001b>", "expected": "Memory rows include MemTotal.", "input": "q", "kind": "example", "outcome": "command completed successfully", "returncode": 0, "source": "README.md / Quick Start", "verdict": "yes" } ], "status": "PASS" }, "deviations": [ "The first direct pipx install attempt failed with externally-managed-environment; installing the OS pipx package resolved setup.", "Checker replay requires /usr/bin/script to provide a PTY to curses; the raw command fails cbreak() returned ERR in noninteractive replay.", "Manually tried documented ? help key; it crashes with AttributeError: 'ConsoleWindow' object has no attribute 'put_body'. The basic viewer operation succeeds." ], "fault_owner": null, "main_blocker": null, "operation": "Interactive /proc/meminfo monitor", "operation_scope": "Installed memfo 2.0.8 with Python 3.12.3; verified terminal rendering of MemTotal and related live memory rows using a PTY, then quit with q.", "outcome": "working", "plain_failure": null, "steps": [ "Checked Python 3.12.3 against README Python 3.11+ requirement.", "Installed pipx and python3-venv with sudo apt-get after system pip refused user install under externally-managed-environment.", "Ran pipx install memfo.", "Ran memfo in a pseudo-terminal and confirmed MemTotal rendering and normal quit.", "Validated and replayed probe, README claim, example and cycle evidence." ], "stuck_step": null, "suggested_fix": null }