Transferable techniques

Fourteen mechanisms observed in the assessed repos that are worth stealing for your own agent-built projects. Each entry names the origin repo where the technique was verified, candidate adopters that would benefit, the expected payoff, and a concrete falsification experiment: what you would run to check whether the technique actually works when ported. None of these are recommendations to ship any repo. They are process machinery, portable across projects.

Assessors: the protocol is RULEBOOK.md  ·  Builders: the runnable kit is starter-kit/  ·  Researchers: the suite synthesis starts at synthesis/00-overview.md

Section map. This page publishes fourteen in-repo techniques (TECHNIQUE 1 through 14), each observed in an assessed repo with a falsification experiment. A second catalog, the vendor-port techniques (T-C1 through 18, T-B1 through 10, T-N1 through 7) mined from external Rust ports, lives in synthesis/vendor-port-learnings.md at the zip root and is cited here by path, not published here. Catalogs, not gates: neither list certifies a repo. Tier labels follow RULEBOOK.md §1.

Five definitions. NODUS is the program's four-ring verdict scale (Invest, Pilot, Explore, Monitor) assigned per assessment packet. TRL is technology readiness level, scored 1 to 9 per packet. CI is continuous integration: the project's automated test runs (GitHub Actions or equivalent). The pin is the exact commit the assessment froze on; every claim is evaluated at the pin, not at HEAD. The rider is the license clause withholding all rights, including benchmarking and testing, from OpenAI, Anthropic, their affiliates, and anyone acting for them.
14 techniques 44 repos scanned Each with a portability falsification experiment

Tier labels: [Verified] confirmed by direct inspection of a fresh clone or live page · [CI-observed] observed executing on live CI · [Maintainer claim] asserted by the maintainer, not independently executed · [Inference] the analyst's judgment, labeled as such. Confidence: High / Medium / Low.

TECHNIQUE 1Claim-to-proof registry with machine gates

Origin

franken_engine (the registry refuses wording whose actual_wording_state exceeds allowed_state, and emits the exact downgrade text) [Verified, High]; frankengit (SHA-256-bound claims: any mismatch is an automatic demotion, not a reviewer-overridable transition) [Verified, High]; franken_markdown (claims.tsv plus check-claim-discipline.sh) [Verified, High]; franken_node (Ed25519-signed honesty manifest) [Verified, High].

Candidate adopters

Any project whose README outruns its CI: franken_manim, franken_ocr, frankenpandas, frankenscipy, franken_whisper, and all four website repos [Inference, High].

Expected payoff

Marketing drift becomes a CI failure instead of a review-cycle argument. Claim downgrade is automatic and timestamped [Inference, High].

Falsification experiment

Point franken_engine's matrix (or a minimal reimplementation) at one sibling repo for 60 days: it either blocks a real claim promotion (demonstrated value) or proves too coupled to generalize (falsified portability) [Inference, High].

TECHNIQUE 2Freshness decay on evidence

Origin

franken_engine: every claim carries max_observed_freshness_days plus a repro.lock; the gate auto-downgrades rows whose re-verification lags [Verified, High].

Candidate adopters

franken_networkx (CI green 13 days pre-pin at last check), franken_nlp (stale DSR evidence), frankenredis (fmt-gate failure versus green prose), and any "last verified" statement in the corpus [Inference, High].

Expected payoff

"Verified" claims cannot silently age into stale ones. Staleness is typed and visible [Inference, High].

Falsification experiment

Add a freshness column to one sibling's claims registry with a 30-day ceiling: if it surfaces at least one claim the project believed was current but wasn't, the gate has teeth; if zero surface and a blind audit confirms the flagged claims were already fresh, the ceiling adds bookkeeping without catching drift, and the gate is falsified as overhead [Inference, High].

TECHNIQUE 3Negative-evidence ledger with required entry classes

Origin

frankengit (34-row registry, 13 required entry classes including overclaim_correction and non_reproducible_result) [Verified, High]; franken_numpy (67,641-line ledger, the largest counted) [Verified, High]; frankensqlite (perf-negative-results.md with retry conditions) [Verified, High]; franken_tts (NE-002/NE-003 killing the flagship optimizer twice) [Verified, High].

Candidate adopters

franken_whisper, franken_overlap, frankenterm, frankensympy: all do negative evidence informally [Inference, High].

Expected payoff

Failed optimizations stop being re-run by future agents. Reviewers can see what was tried and killed [Inference, High].

Falsification experiment

Require one sibling project to log its next 10 rejected experiments with retry conditions: either a future session avoids re-running at least one of them (value), or the ledger is never consulted (falsified as ritual) [Inference, High].

TECHNIQUE 4Anti-extrapolation rule

Origin

franken_overlap: a baseline that exceeds the compute budget is recorded as incomplete, never extrapolated into a comparison [Verified, High].

Candidate adopters

franken_ocr, franken_tts, franken_whisper: anywhere an official incumbent cannot be run [Inference, High].

Expected payoff

"N/A" rows stay honest. Benchmark tables carry no ratio computed against a non-run baseline [Inference, High].

Falsification experiment

Require one sibling to adopt the rule for 90 days: if the rule blocks at least one extrapolated ratio, it caught a live hole; if zero blocks occur and an independent audit finds at least one extrapolated ratio the rule missed, the rule is decorative, and is falsified [Inference, High].

TECHNIQUE 5Committed statistical baseline gate

Origin

asupersync: methodology_baselines signoff plus a 105-row artifacts/baseline.json; the gate demonstrably fired on 2026-09-07 against drifted artifacts [CI-observed, High].

Candidate adopters

frankenredis, frankenpandas, frankenscipy [Inference, High].

Expected payoff

Benchmark regression as a signed, waiver-free gate: per-row environment tagging, layout-hyperparameter capture, and drift detection that demonstrably fires. Environment drift (new runner, new toolchain) cannot silently rebase "improvements" [Inference, High].

Falsification experiment

Replay one sibling's last benchmark comparison with environment tagging added: if any historical "win" reclassifies as environment drift, the gate caught a live confound; if zero reclassify, run a control: inject a known environment drift (runner swap, toolchain bump). If the gate does not fire on the injected drift, the drift detection is decorative, and is falsified as a control [Inference, High].

TECHNIQUE 6Per-optimization PROOF.md bundles

Origin

frankenredis: the program's optimization-evidence template. Every accepted optimization ships a bundle: SHA-pinned golden transcript plus paired/reversed runs plus a keep/reject score gate [Verified, High].

Candidate adopters

frankenjax (whose per-optimization entries with agent attribution and same-worker/same-binary criterion rows already exist; the transfer is the bundle format: a SHA-pinned golden transcript as a replayable artifact, the paired/reversed run design, and the keep/reject score gate packaged as one reviewable unit) [Verified, High]; plus frankenredis's own future work, frankentorch, frankensqlite [Inference, High].

Expected payoff

Optimizations become reviewable artifacts with kill criteria, not commit messages [Inference, High].

Falsification experiment

Require one sibling's next 5 accepted optimizations to ship bundles: either at least one optimization is rejected at the bundle stage (gate value), or all pass and a blind re-review agrees (no gate value: falsified as a control) [Inference, High].

TECHNIQUE 7Measurement-integrity four-rule gate

Origin

frankentorch: name the worker, name the harness, quote both estimators, replicate before quoting [Inference, High]. Partial overlap: frankenpandas already enforces the cross-worker rule ("A/B comparisons across different workers are invalid") via its quantified build-variance rule [Verified, High]; the transfer adds the remaining three rules.

Candidate adopters

Every benchmarking project in the corpus: frankenredis, frankenpandas, franken_whisper, franken_ocr, franken_tts, frankenscipy [Inference, High].

Expected payoff

Numbers arrive with their full provenance or don't arrive at all. Cross-worker comparisons die on sight [Inference, High].

Falsification experiment

Apply the four rules retroactively to one sibling's published ratios: if at least one ratio loses a rule's provenance and re-grades to [NO ADMISSIBLE RATIO], the gate has teeth; if zero lose provenance and a spot re-measurement under the rules confirms the ratios, the project was already compliant: the gate adds nothing there, and is falsified [Inference, High].

TECHNIQUE 8Result-class doctrine for performance verdicts

Origin

franken_whisper (PERF_LEDGER) [Verified, High]; franken_networkx (INCUMBENT-vs-SELF-SPEEDUP contract) [Verified, High]. Typed verdicts: SELF-SPEEDUP is maintenance, never a campaign win; a CAMPAIGN WIN requires the actual incumbent binary side-by-side in the same invocation, with A/A nulls in [0.98, 1.02].

Candidate adopters

franken_ocr, franken_tts, franken_nlp, frankenredis [Inference, High].

Expected payoff

"Faster" claims carry their class. Self-speedups cannot be promoted into campaign wins [Inference, High].

Falsification experiment

Reclassify one sibling's headline ratios under the doctrine: if at least one claimed win demotes to SELF-SPEEDUP, the doctrine caught promotion drift; if zero demote, the doctrine is a re-labeling exercise for that project, and is falsified as a new control [Inference, High].

TECHNIQUE 9Structured skip honesty

Origin

franken_snowflake (credential-less runs emit franken_snowflake.live_gate.v1 skip events) [Verified, High]; frankenscipy (CI control job fails if the live SciPy oracle is absent) [Verified, High]; franken_tts (XFAIL is not SKIP; GREEN WITH SKIPS is a distinct state) [Verified, High]. Runs that cannot execute honestly emit a typed skip event instead of silently passing; the absence of the oracle is itself a gate failure.

Candidate adopters

Every project with optional live dependencies: franken_nlp (HuggingFace access), franken_ocr (model weights), frankensim's DSR lanes [Inference, High].

Expected payoff

"Green with skips" is a distinguishable state from "green". Skip events are distinguishable from passes in CI output and release notes [Inference, High].

Falsification experiment

Convert one sibling's silent skips to typed skip events for one release cycle: if any event reveals a lane that never ran in production, the honesty was load-bearing; if all lanes ran and the project's docs already distinguished skips from passes, the conversion adds ceremony without information, and is falsified [Inference, High].

TECHNIQUE 10Maturity vocabulary plus dated maturity registry

Origin

franken_drone_geometry_reconstruction (five-label vocabulary: source-present, reference-implemented, publicly-invokable, locally-qualified, production-admitted; "no lower label implies a higher one") [Verified, High]; frankensim (15-entry L1–L5 registry: L1=3, L2=11, L3=1, L4=0, L5=0) [Maintainer claim, High].

Candidate adopters

franken_remote, franken_surveillance_system, franken_native_capsule: capability-rich, validation-poor projects [Inference, High].

Expected payoff

"It exists" stops meaning "it works". The maturity distribution itself is publishable [Inference, Medium].

Falsification experiment

Label one sibling's capabilities under the vocabulary: if any capability the README treats as mature lands below "publicly-invokable," the vocabulary caught drift; if none do, the vocabulary is a re-labeling of an already-calibrated README, and is falsified as a new control [Inference, High].

TECHNIQUE 11Evidence-color and no-laundering composition algebra

Origin

frankensim (fs-evidence: "evidence color" and "no-launder" rules found in no other packet) [Maintainer claim, High]. Measurement evidence carries typed colors; composition rules prevent weak evidence from being laundered into strong claims.

Candidate adopters

frankenpandas (359-lane aggregation), franken_networkx (multi-ledger verdicts), frankenterm (attestation bundles) [Inference, High].

Expected payoff

Aggregated verdicts cannot inherit the strongest color of their components. The weakest link is visible [Inference, Medium].

Falsification experiment

Re-color at least three of one sibling's aggregate verdicts under the algebra: if any aggregate's color weakens, the algebra caught laundering; if all stay unchanged, the algebra restates existing practice, and is falsified as a new control [Inference, High].

TECHNIQUE 12Receipt-bound remote execution

Origin

franken_alignment (dispatch plus receipts plus a self-disqualification rule: code landing after the last executed gate opens a self-disqualification ledger) [Verified, High].

Candidate adopters

frankenjax: the genuine RCH-dependent case (zero GitHub Actions workflows; all green claims execute on the maintainer's private RCH fleet, attested only by checked-in artifact JSON) [Verified, High]. franken_node: with the distinction that node already has a hash-chained decision-receipt lineage, so the transfer is the self-disqualification rule for post-gate code and retention of failed attempts, not receipts per se [Inference, High].

Expected payoff

"It ran on the private runner" becomes a checkable receipt instead of a prose claim. Post-gate code is explicitly disqualified, not silently trusted [Inference, High].

Falsification experiment

Require frankenjax to retain and publish its next 10 batch receipts with source-hash binding: if any receipt contradicts the prose claim it supports, the binding caught drift; if all agree, trust is receipted but untested; and if a receipt can be regenerated post-hoc with altered hashes without detection, the binding is decorative, and is falsified [Inference, High].

TECHNIQUE 13Full-funnel verdict aggregation with selection pressure stated

Origin

frankenpandas: 359 lanes aggregate into typed verdicts (FASTER / SLOWER / NULL_UNDECIDABLE / DROPPED_HIGH_CV / PARITY) as 201 / 20 / 74 / 62 / 2 [Verified, High]; one row retracts its own 1.20x win as build variance, in the same row [Verified, High].

Candidate adopters

frankenredis, frankenscipy, franken_whisper [Inference, High].

Expected payoff

"201 faster" cannot be quoted without "62 dropped for high CV". The funnel is the number [Inference, High].

Falsification experiment

Re-aggregate one sibling's benchmark history as a full funnel: if the decidable-subset statistic changes the headline, the funnel was load-bearing; if the headline is unchanged and the project already disclosed its dropped lanes, the funnel restates existing disclosure, and is falsified as a new control [Inference, High].

TECHNIQUE 14Adversarial self-audit of the evidence machinery

Origin

franken_alignment (planted-mutation testing: deliberately introduced defects must fail after controls pass) [Verified, High]; frankensympy (caught and remediated its own fails-open harness) [Verified, High]; franken_code_browser (six named defects: demo hardcoding, proof laundering, refusal farming, commit pumping, gate self-weakening, follow-up laundering) [Verified, High]. The evidence gate itself gets audited adversarially: planted defects, fails-open harness hunts, named failure modes of honesty culture.

Candidate adopters

Every project with a claims gate: franken_engine, frankengit, franken_networkx, frankensim [Inference, High].

Expected payoff

Gates get tested against adversaries, not just against the happy path. A gate that cannot catch a planted defect is known to be decorative [Inference, High].

Falsification experiment

Plant 3 defects in one sibling's gate (a laundered claim, a weakened gate, a pumped commit) and see if the gate catches them: caught 2 or more means the gate is adversarially sound; caught 1 means partial soundness, inconclusive, re-run with a fresh defect set before judging; caught 0 means the gate is theater, and is falsified [Inference, High].