Clarify inclusion learning and browsing context

[isomorphisms]

Summary

• correct the SVM terminology and make the baseline explicit: learned affine planes, separate high-recall proposal thresholds, per-example slack variables, support-vector diagnostics, positive-unlabeled evidence, overlapping category decisions, and optional bagged or hierarchical refinements
• make intentional human organization typed supervision while keeping model proposals, candidate retrieval, and accepted durable membership distinct
• establish the first two frontends as visual pre-paint and a ChatGPT-like text-only-by-default task workbench
• specify focus-region prefetch, bounded GitLab/software and arXiv investigations without speculative tab creation, cheap early source-backed summaries, and a scoped provider-neutral browser-to-assistant context bundle
• add a disposable explicit-hyperplane probe with reproducible embedding/input provenance, held-out isolation, authoritative overrides, explicit (w) and (b), support examples, slack violations, and unique provisional-unlabeled resampling
• recover only explicit prior user assertions into a provenance ledger, pin them to exact sanitized source rows, and expose a three-fit/two-held-out reading probe without converting old assistant partitions into ground truth

Experiment scope

The probe shortlists mxbai-embed-xsmall-v1, e5-small-v2, static-retrieval-mrl-en-v1, and snowflake-arctic-embed-xs. No model weights were obtained or benchmarked in this environment.

The recovery audit did not find a complete authoritative membership artifact for either the 491-row exercise or the 227-row reading/non-reading split. Both complete partitions were assistant-generated, and the saved 227-row output files were not recoverable. They remain excluded. The checked-in ledger contains only exact user assertions that could be tied to exact URLs. Five reading positives occur in the pinned 219-row sanitized fixture, enough for a positive-unlabeled reading probe with three fit and two row-disjoint held-out positives. This unlocks a limited experiment; it does not claim reproduction of either old partition.

Verification

• python3 -m py_compile experiments/category-hyperplanes/probe.py experiments/category-hyperplanes/build_url_inputs.py experiments/category-hyperplanes/validate_recovered_labels.py
• python3 experiments/category-hyperplanes/probe.py --self-test
• python3 experiments/category-hyperplanes/validate_recovered_labels.py
• pinned 219-row canonical-input build and count validation
• end-to-end CLI/report validation with recovered row-disjoint labels and dummy test-only vectors
• independent reviews of the SVM semantics, model provenance, and prefetch/frontend consistency