{"id":51735826,"url":"https://github.com/adpena/witness-machine","last_synced_at":"2026-07-18T07:16:07.826Z","repository":{"id":370741926,"uuid":"1296062754","full_name":"adpena/witness-machine","owner":"adpena","description":"Shadow-price-guided SDF level-set compression for frozen driving perception, expressed as an interactive marimo notebook","archived":false,"fork":false,"pushed_at":"2026-07-10T16:04:14.000Z","size":9248,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":0,"default_branch":"main","last_synced_at":"2026-07-10T18:05:20.016Z","etag":null,"topics":["marimo","molab","signed-distance-field","task-aware-compression","video-compression"],"latest_commit_sha":null,"homepage":"https://molab.marimo.io/github/adpena/witness-machine/blob/main/notebooks/witness_machine_v12.py","language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/adpena.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":"CITATION.cff","codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null,"zenodo":null,"notice":null,"maintainers":null,"copyright":null,"agents":null,"dco":null,"cla":null}},"created_at":"2026-07-10T04:52:22.000Z","updated_at":"2026-07-10T16:05:43.000Z","dependencies_parsed_at":null,"dependency_job_id":null,"html_url":"https://github.com/adpena/witness-machine","commit_stats":null,"previous_names":["adpena/witness-machine"],"tags_count":4,"template":false,"template_full_name":null,"purl":"pkg:github/adpena/witness-machine","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/adpena%2Fwitness-machine","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/adpena%2Fwitness-machine/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/adpena%2Fwitness-machine/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/adpena%2Fwitness-machine/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/adpena","download_url":"https://codeload.github.com/adpena/witness-machine/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/adpena%2Fwitness-machine/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":35610080,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-05-26T15:22:16.424Z","status":"online","status_checked_at":"2026-07-18T02:00:07.223Z","response_time":61,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["marimo","molab","signed-distance-field","task-aware-compression","video-compression"],"created_at":"2026-07-18T07:16:07.134Z","updated_at":"2026-07-18T07:16:07.821Z","avatar_url":"https://github.com/adpena.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# The Witness Machine\n\n**Shadow-price-guided SDF level-set compression for frozen driving perception**\n\n[Run the notebook in molab](https://molab.marimo.io/github/adpena/witness-machine/blob/main/notebooks/witness_machine_v12.py)\n· [Source](https://github.com/adpena/witness-machine)\n· [V1.2.0-rc2 release candidate](https://github.com/adpena/witness-machine/releases/tag/v1.2.0-rc2)\n\n![The Witness Machine](notebooks/__marimo__/assets/witness_machine_v12/opengraph.png)\n\nWhat is the smallest decoded video that makes a frozen driving-perception\nreceiver reach the same decision? This runnable marimo notebook implements the\nfirst-order bounded-loss spatial controller from **DNN-Driven Compressive\nOffloading for Edge-Assisted Semantic Video Segmentation** (STAC,\narXiv:2203.14481), then asks which compact geometric coordinate should carry\nthat debt.\n\nMove one global loss budget through the controller; make a boundary-only policy\ntie and then lose to uniform allocation; move an SDF wall and watch its exact\narea and first variation change together. A locked frozen-SegNet pair keeps the\nsynthesis honest. No exact comma.ai score is claimed.\n\n## Run the notebook\n\nFrom the extracted `witness_machine_v12` directory:\n\n```bash\npython -m venv .venv\nsource .venv/bin/activate\npip install -e .\nmarimo run notebooks/witness_machine_v12.py --headless\n```\n\nFor a finite execution smoke instead of a live server:\n\n```bash\nmarimo export html notebooks/witness_machine_v12.py \\\n  --no-include-code --force -o /tmp/witness-machine-smoke.html\n```\n\n`RELEASE_MANIFEST.json` records every shipped source byte. The fuller research\narchive adds the manuscript, locked figures, review packet, and reproducibility\nreports. The compact release excludes the challenge video, scorer weights,\nprivate run directories, and upstream source mutations. Rebuilding the release\narchives and repository-wide gates require the source repository.\n\n## Authority boundary\n\nPublic claims use `TOY`, `ADVISORY`, `EMPIRICAL`, `DERIVATION`, `EXTERNAL`,\n`EXACT-CANDIDATE`, or `EXACT`. No `EXACT` score is available without an exact\nscore card tied to exact archive bytes and an unmodified upstream evaluator\ntranscript. Operator GO for the public source and release was received on July\n10, 2026; identity, passwords, MFA, CAPTCHAs, and contest-form confirmation\nremain account-holder actions.\n\nMIT licensed. Built in public by `adpena`.\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fadpena%2Fwitness-machine","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fadpena%2Fwitness-machine","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fadpena%2Fwitness-machine/lists"}