Commit Graph

Select branches

Hide Pull Requests

main

archive/engine-change-scoped-evidence-pass

archive/engine-typescript

archive/fix-mechanisms

archive/trained-classifier

archive/unseen-eval

v0.1.0

v1.0.0

v1.1.0

v1.2.0-alpha.1

v2.0.0

v2.0.1

Mono Color

• 5628052b51 feat(learning-harness): per-family detector configurations and the family runner Marius CiepluchandClaude Opus 5 2026-09-06 10:01:36 +02:00
• e0a28eb813 docs(learning-harness): tick group 1 and record review round 1 Marius CiepluchandClaude Opus 5 2026-09-06 09:40:45 +02:00
• 17fc18c785 test(learning-harness): apply the group 1 review suggestions Marius CiepluchandClaude Opus 5 2026-09-06 09:40:24 +02:00
• d05c516a10 fix(learning-harness): a preprocessor directive is code, not a provenance header Marius CiepluchandClaude Opus 5 2026-09-06 09:37:54 +02:00
• 6d98e47e42 docs(learning-harness): record implementation notes for group 1 and tasks 2.1-2.4 Marius CiepluchandClaude Opus 5 2026-09-06 09:33:54 +02:00
• 95ffd901e4 feat(learning-harness): aggregation, noise handling and honest denominators Marius CiepluchandClaude Opus 5 2026-09-06 09:33:08 +02:00
• 241af31a9a feat(learning-harness): per-pair family scoring Marius CiepluchandClaude Opus 5 2026-09-06 09:31:04 +02:00
• 09898529bd feat(learning-harness): the classifier measures itself and queues disagreements Marius CiepluchandClaude Opus 5 2026-09-06 09:29:03 +02:00
• 37af831b0d feat(learning-harness): three-tier auto-classifier Marius CiepluchandClaude Opus 5 2026-09-06 09:25:45 +02:00
• 6965c39b7b feat(learning-harness): curated repository tools and a parameterised hunter loop Marius CiepluchandClaude Opus 5 2026-09-06 09:22:23 +02:00
• 6b58c81ba0 feat(learning-harness): TypeScript and TSX rows parse under the semantic extra Marius CiepluchandClaude Opus 5 2026-09-06 09:17:01 +02:00
• 6c205b728f feat(learning-harness): corpus hygiene at load, with the defects it finds Marius CiepluchandClaude Opus 5 2026-09-06 09:14:51 +02:00
• 944df86d12 feat(learning-harness): chat endpoint independent of embeddings, with the DeepSeek adapter Marius CiepluchandClaude Opus 5 2026-09-06 09:10:19 +02:00
• 289648338c feat(learning-harness): closed family taxonomy with a verifier per family Marius CiepluchandClaude Opus 5 2026-09-06 09:06:09 +02:00
• 71efc9c29d docs(learning-harness): implementation plan, 28 tasks in 5 groups, two sanity reviews Marius CiepluchandClaude Fable 5.1 2026-09-06 08:57:42 +02:00
• b49c6610d6 docs(learning-harness): technical design and research log Marius CiepluchandClaude Fable 5.1 2026-09-06 08:43:47 +02:00
• 3ebcb7bd67 docs(learning-harness): record the maintainer's scope and decisions; initialize the spec and generate requirements Marius CiepluchandClaude Fable 5.1 2026-09-06 08:34:14 +02:00
• ea05e3357c docs(learning-harness): fold four research threads into the brief and add research.md Marius CiepluchandClaude Fable 5.1 2026-09-06 08:22:43 +02:00
• 3259d0469f docs(learning-harness): brief for a classified, self-improving detector set; fold closed-loop-integrity Marius CiepluchandClaude Fable 5.1 2026-09-06 08:07:44 +02:00
• e277c2423c docs(closed-loop-integrity): kick off the brief for repairing the measurement loop Marius CiepluchandClaude Fable 5.1 2026-09-06 07:41:37 +02:00
• 214d43cad6 docs(authorization-obligations): record task 2.6 and the measured blockers before 4.3 Marius CiepluchandClaude Opus 5 2026-09-06 07:32:07 +02:00
• 18452b2902 feat(authorization-obligations): name handlers registered by call or convention Marius CiepluchandClaude Opus 5 2026-09-06 07:31:48 +02:00
• 7d0ca74bf3 docs(authorization-obligations): record review rounds 2 and 3 and the design amendments Marius CiepluchandClaude Opus 5 2026-09-06 07:24:14 +02:00
• e5103fc645 feat(authorization-obligations): leave-one-out per obligation kind Marius CiepluchandClaude Opus 5 2026-09-06 07:24:13 +02:00
• e219dd553d feat(authorization-obligations): harvest mode handler_context and the obligation label Marius CiepluchandClaude Opus 5 2026-09-06 07:24:13 +02:00
• 4bd59555ae feat(authorization-obligations): hunter adjudicates intent without raising evidence Marius CiepluchandClaude Opus 5 2026-09-06 07:24:13 +02:00
• eab89bf203 feat(authorization-obligations): reports and ranking name the obligation Marius CiepluchandClaude Opus 5 2026-09-06 07:24:13 +02:00
• e13a397942 feat(authorization-obligations): run the checker in MAP with config and manifest counters Marius CiepluchandClaude Opus 5 2026-09-06 07:24:13 +02:00
• 2249de8d2e feat(authorization-obligations): the obligation checker, path-aware and function-local Marius CiepluchandClaude Opus 5 2026-09-06 07:24:13 +02:00
• 8e26dfd1e2 feat(authorization-obligations): group sibling handlers and find consistency anomalies Marius CiepluchandClaude Opus 5 2026-09-06 07:24:13 +02:00
• fe5f233c00 feat(authorization-obligations): Dominance protocol with an order-based default Marius CiepluchandClaude Fable 5.1 2026-09-05 19:38:04 +02:00
• aaee724ebd feat(authorization-obligations): declared policy with a closed schema Marius CiepluchandClaude Fable 5.1 2026-09-05 19:38:04 +02:00
• a8b9dae6b3 feat(authorization-obligations): operations and discharge witnesses in a parsed file Marius CiepluchandClaude Fable 5.1 2026-09-05 19:38:04 +02:00
• 8324b243a0 feat(authorization-obligations): export obligation shapes through the existing store Marius CiepluchandClaude Fable 5.1 2026-09-05 19:38:04 +02:00
• ec3a1438e8 feat(authorization-obligations): obligation shapes derived from trusted pairs Marius CiepluchandClaude Fable 5.1 2026-09-05 19:38:04 +02:00
• f44dd2c512 feat(authorization-obligations): obligated operations and dischargers as closed facts Marius CiepluchandClaude Fable 5.1 2026-09-05 19:38:04 +02:00
• c53eddd69d docs(authorization-obligations): cover criterion 4.5 in task 5.1; tasks approved, ready for implementation Marius CiepluchandClaude Fable 5.1 2026-09-05 16:46:28 +02:00
• 88cda276aa docs(authorization-obligations): approve design; generate tasks Marius CiepluchandClaude Fable 5.1 2026-09-05 16:46:00 +02:00
• 27626d3a07 docs(authorization-obligations): approve requirements; design and research Marius CiepluchandClaude Fable 5.1 2026-09-05 16:42:58 +02:00
• a87755830a docs(specs): kick off authorization-obligations (brief + requirements, unapproved) Marius CiepluchandClaude Fable 5.1 2026-09-05 16:31:49 +02:00
• 381ea7b92d docs(corpus-seeded-mechanisms): close the spec after six review rounds Marius CiepluchandClaude Fable 5.1 2026-09-05 15:37:32 +02:00
• e5d191ffec chore(cli): wrap the mechanism-candidates help text Marius CiepluchandClaude Fable 5.1 2026-09-05 15:37:32 +02:00
• b3b47ad757 feat(corpus-seeded-mechanisms): the mechanisms lever runs from ousast improve Marius CiepluchandClaude Fable 5.1 2026-09-05 15:35:08 +02:00
• 624024e72a feat(corpus-seeded-mechanisms): reports name the mechanism, its known fix guard and pair provenance Marius CiepluchandClaude Fable 5.1 2026-09-05 15:35:08 +02:00
• 23aae79768 feat(corpus-seeded-mechanisms): improve loop admits recovering mechanisms and retracts leakers Marius CiepluchandClaude Fable 5.1 2026-09-05 14:55:00 +02:00
• 73e856a06b feat(corpus-seeded-mechanisms): the mechanisms lever admits or retracts exporter records Marius CiepluchandClaude Fable 5.1 2026-09-05 14:55:00 +02:00
• f11cf183de docs(corpus-seeded-mechanisms): leave-one-out table in the roadmap Marius CiepluchandClaude Fable 5.1 2026-09-05 14:55:00 +02:00
• 64ac46c24c feat(corpus-seeded-mechanisms): leave-one-out is the corpus's own detection rate Marius CiepluchandClaude Fable 5.1 2026-09-05 14:55:00 +02:00
• 8f444051f2 refactor(corpus-seeded-mechanisms): apply review round 2 suggestions Marius CiepluchandClaude Fable 5.1 2026-09-05 14:55:00 +02:00
• a767ba80b4 feat(corpus-seeded-mechanisms): variant findings in MAP, sandbox-eligible, counted in the manifest Marius CiepluchandClaude Fable 5.1 2026-09-05 14:40:15 +02:00
• c1621777f9 feat(corpus-seeded-mechanisms): structural variant search merged with overlay flows Marius CiepluchandClaude Fable 5.1 2026-09-05 14:40:15 +02:00
• a7b3b36025 feat(corpus-seeded-mechanisms): export trusted pairs as mechanism records Marius CiepluchandClaude Fable 5.1 2026-09-05 14:40:15 +02:00
• 2a7d689971 feat(corpus-seeded-mechanisms): corpus writer and additive mechanism fields Marius CiepluchandClaude Fable 5.1 2026-09-05 14:27:33 +02:00
• 4d56b3c76e feat(corpus-seeded-mechanisms): structural shapes derived from labeled pairs Marius CiepluchandClaude Fable 5.1 2026-09-05 14:27:33 +02:00
• d36a68724f docs(pair-corpus-honesty): record the round 13 feature approval Marius CiepluchandClaude Fable 5.1 2026-09-05 10:52:23 +02:00
• 8c6598b2e8 docs(pair-corpus-honesty): record round 12 and the key-literal history rewrite Marius CiepluchandClaude Fable 5.1 2026-09-05 10:47:14 +02:00
• 27f9ec6a92 docs(pair-corpus-honesty): close the spec; escalations resolved, roadmap carries the measured state Marius CiepluchandClaude Fable 5.1 2026-09-05 10:38:50 +02:00
• 3c36f13e03 feat(pair-corpus-honesty): LLM-generated Real-Vuln repos and unlicensed agent fixes as pointer pairs Marius CiepluchandClaude Fable 5.1 2026-09-05 10:37:53 +02:00
• 4102404442 feat(pair-corpus-honesty): score non-vendored pointer pairs through a local cache Marius CiepluchandClaude Fable 5.1 2026-09-05 10:17:50 +02:00
• 7d238f2400 docs(specs): kick off corpus-seeded-mechanisms and reachability-flow-model (unapproved) Marius CiepluchandClaude Fable 5.1 2026-09-05 09:55:35 +02:00
• 3eba6e10a0 docs(pair-corpus-honesty): spec, review record, roadmap; close real-world-vfc-slice as superseded Marius CiepluchandClaude Fable 5.1 2026-09-05 09:55:35 +02:00
• 25f1512eb9 feat(pair-corpus-honesty): profile gate scores only seeded and reviewed pairs Marius CiepluchandClaude Fable 5.1 2026-09-05 09:55:18 +02:00
• b1c5f36076 feat(pair-corpus-honesty): review tiers on every pair, agent-vfc loads at tier title Marius CiepluchandClaude Fable 5.1 2026-09-05 09:55:18 +02:00
• 9e7aef6a6b feat(pair-corpus-honesty): reject improve rounds that regress any provenance profile on holdout Marius CiepluchandClaude Fable 5.1 2026-09-05 09:28:00 +02:00
• 25fa7aa7e1 feat(pair-corpus-honesty): deterministic provenance fingerprint at scan time Marius CiepluchandClaude Fable 5.1 2026-09-05 09:27:50 +02:00
• c0b9e41000 feat(pair-corpus-honesty): function-scoped honest scorer with mechanisms and loss counters Marius CiepluchandClaude Fable 5.1 2026-09-05 09:27:40 +02:00
• 8ab4207618 feat(pair-corpus-honesty): add vibe-py, vfc-js and agent-vfc slices with mechanism vocabulary Marius CiepluchandClaude Fable 5.1 2026-09-05 09:27:22 +02:00
• c3e841003c fix(pair-corpus-honesty): re-harvest curl/OpenSSL excerpts, restore Juliet fixtures Marius CiepluchandClaude Fable 5.1 2026-09-05 09:27:03 +02:00
• 071dea4712 feat(pair-corpus-honesty): shared function naming, harvest library, catalog generator Marius CiepluchandClaude Fable 5.1 2026-09-05 09:26:51 +02:00
• 0116f9bea6 feat(real-world-vfc-slice): add labeled OpenSSL/Firefox/Chromium/curl pair corpus Marius Ciepluch 2026-09-04 16:45:38 +02:00
• e9f185da59 feat(tree-sitter-overlay-extra): parse JS/C/Java overlay via optional extra Marius Ciepluch 2026-09-04 15:07:35 +02:00
• 7d3b0eadbe feat: load OpenRouter settings from a local .env Marius Ciepluch 2026-09-04 14:06:18 +02:00
• 1ae41eea19 feat(propose-adjudicate-prove): overlay adjudicates inventory before prove Marius Ciepluch 2026-09-04 13:57:33 +02:00
• 32aa92191a chore(release): 1.1.0 v1.1.0 Marius Ciepluch 2026-09-04 12:00:15 +02:00
• ac3da41c95 feat(three-stage-scan): prove split-sink triggerable in sandbox Marius Ciepluch 2026-09-04 11:54:01 +02:00
• 9af356797f feat(three-stage-scan): gate stage-2 maps against split-sink ranking Marius Ciepluch 2026-09-04 11:53:06 +02:00
• 7398063b79 feat(three-stage-scan): add aliased-sink mutation the regex scan misses Marius Ciepluch 2026-09-04 11:50:44 +02:00
• fe300e6352 feat(three-stage-scan): add split-sink fixtures the regex scan misses Marius Ciepluch 2026-09-04 11:49:44 +02:00
• 818a0b10d3 feat(three-stage-scan): report map and honor fail-on worth-fixing Marius Ciepluch 2026-09-04 00:18:33 +02:00
• a916e2d173 feat(three-stage-scan): attach tool hunter to map hotspots Marius Ciepluch 2026-09-04 00:04:36 +02:00
• 2efbbb8024 feat(three-stage-scan): run or skip deep regression with visible degradation Marius Ciepluch 2026-09-03 23:43:15 +02:00
• 803312e75b feat(three-stage-scan): run complexity map on standard scans Marius Ciepluch 2026-09-03 23:26:54 +02:00
• 66d985e9e6 feat(three-stage-scan): keep quick as stage-1 inventory Marius Ciepluch 2026-09-03 23:14:00 +02:00
• 331b62f1c1 feat(three-stage-scan): map sandbox outcomes to worth-fixing verdicts Marius Ciepluch 2026-09-03 22:59:01 +02:00
• 62c7990e49 feat(three-stage-scan): add language recipes with inconclusive fallback Marius Ciepluch 2026-09-03 22:48:10 +02:00
• 7a584d4578 feat(three-stage-scan): select bounded regress candidates with sev-5 extras Marius Ciepluch 2026-09-03 22:36:02 +02:00
• eb87ef85ec feat(three-stage-scan): reject unsafe regression snippets before execution Marius Ciepluch 2026-09-03 22:12:45 +02:00
• f78ea55e5d feat(three-stage-scan): add Docker CLI sandbox runner with isolation flags Marius Ciepluch 2026-09-03 21:56:02 +02:00
• 5b7e58ea3a feat(three-stage-scan): add docker sandbox availability probe Marius Ciepluch 2026-09-03 21:29:38 +02:00
• b34a75a821 feat(three-stage-scan): add tool-using hunter that records suspicion only Marius Ciepluch 2026-09-03 21:18:22 +02:00
• 90e3b91cf8 feat(three-stage-scan): add path-clamped hunter read grep and refs Marius Ciepluch 2026-09-03 21:01:57 +02:00
• ad16e22c85 feat(three-stage-scan): overlay complexity ledger without hiding sev-5 Marius Ciepluch 2026-09-03 20:48:03 +02:00
• 8d5599ae65 feat(three-stage-scan): attach test-gap hints to hotspots Marius Ciepluch 2026-09-03 20:33:48 +02:00
• b05fbbc3a5 feat(three-stage-scan): emit ordered complexity map artifact Marius Ciepluch 2026-09-03 20:16:23 +02:00
• 3d643040bd feat(three-stage-scan): compute complexity signals for hotspot ranking Marius Ciepluch 2026-09-03 20:05:13 +02:00
• c5a80c2817 feat(three-stage-scan): add fail-on worth-fixing Marius Ciepluch 2026-09-03 19:44:04 +02:00
• 926c8c273e feat(three-stage-scan): add complexity and regression config caps Marius Ciepluch 2026-09-03 19:29:54 +02:00
• 723e3a76cf docs(three-stage-scan): add approved three-stage scan spec Marius Ciepluch 2026-09-03 19:19:58 +02:00
• 6fdd9b3aba feat(three-stage-scan): encode stage plan and mode-to-stage table Marius Ciepluch 2026-09-03 19:19:50 +02:00
• 4f9026167d chore(release): 1.0.0 v1.0.0 Marius CiepluchandClaude Opus 4.8 2026-06-22 20:29:58 +02:00