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

• d15985f695 fix(model): a guard discharges the obligation it is a guard of Marius CiepluchandClaude Opus 5 2026-09-09 11:02:48 +02:00
• 0fcd5feade feat(model): a region for the code that is in no function Marius CiepluchandClaude Opus 5 2026-09-09 09:43:53 +02:00
• ca7b5ba370 feat(model): a region that spans the flow, not just a function Marius CiepluchandClaude Opus 5 2026-09-09 09:27:19 +02:00
• 177c7f3719 feat(model): first repository measurement, and the four things it found Marius CiepluchandClaude Opus 5 2026-09-09 08:46:21 +02:00
• 8c387306be feat(repos): pinned known-vulnerable checkouts, offline by default Marius CiepluchandClaude Opus 5 2026-09-09 08:10:59 +02:00
• c35426e186 perf(model): one Joern invocation per query kind, not one per region Marius CiepluchandClaude Opus 5 2026-09-09 07:57:35 +02:00
• e67f3ee2f0 feat(contributor-scan): 1.3 the model layer reaches a user Marius CiepluchandClaude Opus 5 2026-09-09 07:42:44 +02:00
• 8663c1a5b3 feat(contributor-scan): 1.1 regions from entry points, 1.2 the repository driver Marius CiepluchandClaude Opus 5 2026-09-09 07:28:30 +02:00
• 64a27c4e30 docs(model-grounded-detection): record what 16/16 does and does not mean Marius CiepluchandClaude Opus 5 2026-09-09 07:19:41 +02:00
• 4e4681f162 docs(contributor-scan): design and tasks -- wire it, then measure on a real repo Marius CiepluchandClaude Opus 5 2026-09-09 07:17:20 +02:00
• fe45081b43 fix(ci): run ruff format, and record run 5 at 90% pair-correct Marius CiepluchandClaude Opus 5 2026-09-08 19:46:58 +02:00
• 14ca0a96ce docs(contributor-scan): requirements, including the corpus asks I first missed Marius CiepluchandClaude Opus 5 2026-09-08 19:42:53 +02:00
• 41266ce472 docs(contributor-scan): brief -- the model layer is complete and unshipped Marius CiepluchandClaude Opus 5 2026-09-08 19:40:38 +02:00
• adbb824eac feat(ops): a sourceable wrapper so docker is nobody's problem Marius CiepluchandClaude Opus 5 2026-09-08 19:37:58 +02:00
• 46232fe3e6 feat(ops): ship the tool and its engine in one image Marius CiepluchandClaude Opus 5 2026-09-08 19:36:10 +02:00
• 3fe7b9ded7 fix(model-grounded-detection): the dominance question contradicted its own evidence Marius CiepluchandClaude Opus 5 2026-09-08 19:22:55 +02:00
• c74e101d10 measure(model-grounded-detection): 86.7% pair-correct at half the hunter's leak Marius CiepluchandClaude Opus 5 2026-09-08 19:18:06 +02:00
• 950a4c7ac4 fix(corpus): the three silent config pairs were a settings gap, not corpus defects Marius CiepluchandClaude Opus 5 2026-09-08 18:50:09 +02:00
• db3db6056d feat(model-grounded-detection): widen the settings table, wire the weak-algorithm arm Marius CiepluchandClaude Opus 5 2026-09-08 18:43:33 +02:00
• 4e7fe65f17 measure(model-grounded-detection): the pipeline beats the hunter on both axes Marius CiepluchandClaude Opus 5 2026-09-08 18:40:51 +02:00
• 52f2ab5b4d fix(model-grounded-detection): ask the residual question the arbiter actually raised Marius CiepluchandClaude Opus 5 2026-09-08 18:19:18 +02:00
• 6dbb0e6422 measure(model-grounded-detection): the wired pipeline halves the leak at 1/55th the cost Marius CiepluchandClaude Opus 5 2026-09-08 17:59:01 +02:00
• 7a76fcb028 fix(model-grounded-detection): the pipeline arbitrated only flow families Marius CiepluchandClaude Opus 5 2026-09-08 17:53:56 +02:00
• cdedb372dd feat(model-grounded-detection): wire the detector -- the enumerator proposes, the model disposes Marius CiepluchandClaude Opus 5 2026-09-08 17:41:45 +02:00
• 1af3db37f6 feat(corpus): vendor 40 OWASP xss pairs as the owasp slice Marius CiepluchandClaude Opus 5 2026-09-08 17:28:11 +02:00
• fcb12e116a feat(model-grounded-detection): Java web sinks, and the post-closure-fix ceiling Marius CiepluchandClaude Opus 5 2026-09-08 17:16:00 +02:00
• 0c71c956fd feat(model-grounded-detection): group 6, the execution tier as a seam not a build Marius CiepluchandClaude Opus 5 2026-09-08 16:58:03 +02:00
• 86f434ab89 docs(model-grounded-detection): tick 5.1/5.2 and record the closure-scoping fix Marius CiepluchandClaude Opus 5 2026-09-08 16:39:13 +02:00
• f1c341df6c feat(model-grounded-detection): group 5, corpus calibration and honest reporting Marius CiepluchandClaude Opus 5 2026-09-08 16:28:10 +02:00
• d651455d23 fix(model-grounded-detection): closure scoping, and the three bugs it uncovered Marius CiepluchandClaude Opus 5 2026-09-08 16:24:23 +02:00
• 91c0931a05 measure(model-grounded-detection): group 4 ceiling, 39.1% entailed against the flat IR's 2.2% Marius CiepluchandClaude Opus 5 2026-09-08 15:46:05 +02:00
• eebca3f663 fix(model-grounded-detection): the absence arbiter was silencing its own family Marius CiepluchandClaude Opus 5 2026-09-08 15:10:51 +02:00
• 4f8f590b93 fix(model-grounded-detection): type the config literals list Marius CiepluchandClaude Opus 5 2026-09-08 15:01:08 +02:00
• d9ceeb6a09 feat(model-grounded-detection): 4.2 constant abstraction, the third arbiter form Marius CiepluchandClaude Opus 5 2026-09-08 15:00:41 +02:00
• fec67253f3 feat(model-grounded-detection): 4.1 guard dominance, 4.2 the missing sink facts Marius CiepluchandClaude Opus 5 2026-09-08 14:45:12 +02:00
• b8f8f727c6 feat(model-grounded-detection): group 3, the evidence ladder and the judge Marius CiepluchandClaude Opus 5 2026-09-08 13:49:55 +02:00
• 7387d2f190 measure(model-grounded-detection): task 2.3 reads GO on Joern Marius CiepluchandClaude Opus 5 2026-09-08 13:26:59 +02:00
• e127e430ed feat(model-grounded-detection): parameter sources, so the measurement is like-for-like Marius CiepluchandClaude Opus 5 2026-09-08 12:56:13 +02:00
• 1765e51da1 feat(model-grounded-detection): the safe-shape test, without which the model arbitrates nothing Marius CiepluchandClaude Opus 5 2026-09-08 12:51:42 +02:00
• f59e0f5b5a fix(model-grounded-detection): two modelling bugs the first live Joern run exposed Marius CiepluchandClaude Opus 5 2026-09-08 12:45:42 +02:00
• 2b973dc0db feat(model-grounded-detection): tasks 2.1-2.2, the Joern seam and the taint verdict Marius CiepluchandClaude Opus 5 2026-09-08 12:23:40 +02:00
• 9ed0e45c5f feat(model-grounded-detection): group 1, subtract the noise architecture Marius CiepluchandClaude Opus 5 2026-09-08 12:15:54 +02:00
• fc4dab97fb docs(model-grounded-detection): attach Req 7.4 (verifier boundary) to task 1.1 Marius CiepluchandClaude Opus 4.8 2026-09-08 11:47:29 +02:00
• 6fe8682993 docs(model-grounded-detection): 16 tasks in 6 groups, with a coupling map so Opus does not crash-discover Marius CiepluchandClaude Opus 4.8 2026-09-08 11:47:10 +02:00
• 0a8cc9b5a7 docs(model-grounded-detection): design, subtraction first and a Joern spike that can stop it Marius CiepluchandClaude Opus 4.8 2026-09-08 11:39:49 +02:00
• 1ef578f793 docs(model-grounded-detection): requirements, subtraction first Marius CiepluchandClaude Opus 4.8 2026-09-08 11:36:58 +02:00
• a3945427ab docs(model-grounded-detection): IL not AST, and adopt the CPG engine (Joern) Marius CiepluchandClaude Opus 4.8 2026-09-08 11:22:44 +02:00
• 9e811c1baf measure(model-grounded-detection): the entailment ceiling is 2.2%, and it is depth not a wall Marius CiepluchandClaude Opus 4.8 2026-09-08 11:10:47 +02:00
• 091303c7c0 docs(model-grounded-detection): the arbiter is a program model, not a sandbox Marius CiepluchandClaude Opus 4.8 2026-09-08 10:41:07 +02:00
• 81a63cf5ac docs(execution-grounded-detection): corrective brief that supersedes the project Marius CiepluchandClaude Opus 4.8 2026-09-08 10:04:43 +02:00
• 66a51c674c docs(learning-harness): round 5, and what it says about the experiment itself Marius CiepluchandClaude Opus 5 2026-09-07 08:09:50 +02:00
• 78924316be docs(learning-harness): the reading of the first evolve rounds Marius CiepluchandClaude Opus 5 2026-09-07 07:39:48 +02:00
• 3ebcc6729a fix: a body that stops mid-read is transient, and a round that dies still says so Marius CiepluchandClaude Opus 5 2026-09-07 07:37:41 +02:00
• cde57e4293 fix(learning-harness): say why the proposer had nothing, and stop hard-coding its vendor Marius CiepluchandClaude Opus 5 2026-09-06 22:23:34 +02:00
• 84b1ba7a72 fix(learning-harness): the published table lost a whole slice Marius CiepluchandClaude Opus 5 2026-09-06 20:44:56 +02:00
• 506bbe5f5c fix(learning-harness): round zero writes down every pair it has paid for Marius CiepluchandClaude Opus 5 2026-09-06 19:53:49 +02:00
• 78b4f33a8e feat(constrained-detector): the ceiling, measured offline across every slice Marius CiepluchandClaude Opus 5 2026-09-06 18:44:19 +02:00
• 8d771901bf feat(constrained-detector): candidates from the semantic IR, shaped by family Marius CiepluchandClaude Opus 5 2026-09-06 18:23:54 +02:00
• d9d6dfdbcf docs(constrained-detector): 15 tasks in 5 groups, phase 1 able to end the feature Marius CiepluchandClaude Opus 5 2026-09-06 17:32:13 +02:00
• eaf9e3e370 docs(constrained-detector): design, with a phase that can kill it before it costs anything Marius CiepluchandClaude Opus 5 2026-09-06 16:12:35 +02:00
• c97dcc656d docs(constrained-detector): requirements, with real-world code as the decider Marius CiepluchandClaude Opus 5 2026-09-06 16:08:17 +02:00
• 309faad266 measure: the candidate generator must be the IR, not the ruleset Marius CiepluchandClaude Opus 5 2026-09-06 16:04:07 +02:00
• 4e6afa862b docs: reflect the trajectory measurement back onto the approved spec Marius CiepluchandClaude Opus 5 2026-09-06 15:50:44 +02:00
• 5e2070bc17 measure(detector-optimizer): the detector never runs the same investigation twice Marius CiepluchandClaude Opus 5 2026-09-06 15:49:54 +02:00
• bd3e2fe50f docs(detector-optimizer): the noise is structural, and the optimizer is not the next thing to build Marius CiepluchandClaude Opus 5 2026-09-06 15:29:36 +02:00
• 0db9b378d9 docs(detector-optimizer): SIMBA, the reflection meta-prompt, and the corpus ceiling Marius CiepluchandClaude Opus 5 2026-09-06 15:24:37 +02:00
• 78f20df167 docs(detector-optimizer): brief for a published optimizer behind a DSPy-shaped interface Marius CiepluchandClaude Opus 5 2026-09-06 15:16:29 +02:00
• b57b1a35d8 feat(learning-harness): thinking is a measured condition, and every round records whether its decision beat noise Marius CiepluchandClaude Opus 5 2026-09-06 15:12:09 +02:00
• 1e4f212868 fix(learning-harness): logprobs are on the choice, not the message Marius CiepluchandClaude Opus 5 2026-09-06 15:05:56 +02:00
• ce89b0dbe0 fix(learning-harness): a slice is part of what identifies a baseline Marius CiepluchandClaude Opus 5 2026-09-06 14:39:43 +02:00
• c1ef3ca539 fix(learning-harness): a provider hiccup costs one pair, not the whole run Marius CiepluchandClaude Opus 5 2026-09-06 14:20:52 +02:00
• fc98a48579 docs(learning-harness): record the two in-session amendments in spec.json Marius CiepluchandClaude Opus 5 2026-09-06 14:19:03 +02:00
• d2ebb58007 fix(learning-harness): a hunt that ends in prose is asked to format it Marius CiepluchandClaude Opus 5 2026-09-06 14:18:09 +02:00
• a1e7b1a20f fix(learning-harness): the run reads the meter it publishes Marius CiepluchandClaude Opus 5 2026-09-06 14:12:14 +02:00
• 5fbb0494a7 docs(learning-harness): record the offline dress rehearsal of round zero Marius CiepluchandClaude Opus 5 2026-09-06 14:06:46 +02:00
• 32f16f78ff fix(learning-harness): a baseline over a named slice measures that slice Marius CiepluchandClaude Opus 5 2026-09-06 14:05:23 +02:00
• 3acad97297 docs(learning-harness): 5.3 targets injection, and 5.2 waits on the key Marius CiepluchandClaude Opus 5 2026-09-06 14:03:35 +02:00
• 2dad25d312 fix(learning-harness): the round-4 review findings Marius CiepluchandClaude Opus 5 2026-09-06 14:03:10 +02:00
• 75ae9ee47b test(learning-harness): the gate baseline and the degradation matrix Marius CiepluchandClaude Opus 5 2026-09-06 13:20:23 +02:00
• 3e71e9e88b feat(learning-harness): fix dates and the post-cutoff slice Marius CiepluchandClaude Opus 5 2026-09-06 13:15:20 +02:00
• d1faa04771 feat(learning-harness): declared twins and a fixture-difficulty check Marius CiepluchandClaude Opus 5 2026-09-06 13:09:56 +02:00
• 1843ef9a02 fix(learning-harness): the round-3 review findings, remediated RED-first Marius CiepluchandClaude Opus 5 2026-09-06 13:03:06 +02:00
• c2d9c4ad01 feat(learning-harness): absence rows travel with their registration Marius CiepluchandClaude Opus 5 2026-09-06 12:39:55 +02:00
• 7a33756a7e feat(learning-harness): the learning subcommands Marius CiepluchandClaude Opus 5 2026-09-06 12:06:16 +02:00
• b8ad42c57e feat(learning-harness): publish every number from the artifacts that produced it Marius CiepluchandClaude Opus 5 2026-09-06 11:59:13 +02:00
• b9552518b9 feat(learning-harness): one evolve round, end to end Marius CiepluchandClaude Opus 5 2026-09-06 11:52:16 +02:00
• 16d9bc2a78 feat(learning-harness): the acceptance rule and the directory revert Marius CiepluchandClaude Opus 5 2026-09-06 11:46:44 +02:00
• 346cc703c3 test(learning-harness): a flaky harness must not be mistaken for a flaky detector Marius CiepluchandClaude Opus 5 2026-09-06 11:45:00 +02:00
• ad7c98eb50 feat(learning-harness): failure facts and the two proposers Marius CiepluchandClaude Opus 5 2026-09-06 11:38:45 +02:00
• 127dbef8fc feat(learning-harness): family detectors, verifiers and tags in a scan Marius CiepluchandClaude Opus 5 2026-09-06 11:33:26 +02:00
• e8e6bafa61 feat(learning-harness): round zero and the per-family noise floor Marius CiepluchandClaude Opus 5 2026-09-06 11:28:47 +02:00
• fcda1ee46b feat(learning-harness): family scoring on the pairs hunter path Marius CiepluchandClaude Opus 5 2026-09-06 10:41:06 +02:00
• c14ac8344f docs: drop the skills set from the detector requirement and refresh stale framing Marius CiepluchandClaude Opus 5 2026-09-06 10:36:31 +02:00
• 18ee3a2e77 docs(learning-harness): tick group 2 and task 3.1, record review round 2 Marius CiepluchandClaude Opus 5 2026-09-06 10:33:27 +02:00
• b0dba26468 fix(learning-harness): the three defects the group 2 review found Marius CiepluchandClaude Opus 5 2026-09-06 10:32:02 +02:00
• e44d45f488 docs(learning-harness): amend the taxonomy name and carry the flat-taxonomy caveat Marius CiepluchandClaude Opus 5 2026-09-06 10:22:33 +02:00
• 86ed54c2e4 feat(learning-harness): one teacher rule across every learning path Marius CiepluchandClaude Opus 5 2026-09-06 10:15:44 +02:00
• e4b9607b2d feat(learning-harness): the round journal, the archive and the rejected buffer Marius CiepluchandClaude Opus 5 2026-09-06 10:08:51 +02:00
• 0c2b9ec685 feat(learning-harness): canary snippets and the second judge Marius CiepluchandClaude Opus 5 2026-09-06 10:06:57 +02:00
• 9801d5407b feat(learning-harness): verifier registry and the sandbox oracle callback Marius CiepluchandClaude Opus 5 2026-09-06 10:04:07 +02:00