Commit graph

  • 3c3eef40f7 Merge pull request 'fix/nuwayze-dogfood-findings' (#11) from fix/nuwayze-dogfood-findings into main main trevon 2026-09-27 13:32:46 +00:00
  • 31607b5bcb
    fix(queries): resolve a subdirectory path to its enclosing package fix/nuwayze-dogfood-findings trvon 2026-09-25 20:16:23 -06:00
  • adf898be19
    feat(verify): default --baseline to <path>/.pipe-baseline.json trvon 2026-09-25 20:11:34 -06:00
  • 1332dcbff0
    fix(provider): count same-file reads for notifier-field-unread trvon 2026-09-25 20:09:13 -06:00
  • ba92061aa8 Merge pull request 'chore(recall): mark the two nuwayze wire-up cases fixed' (#9) from chore/recall-nuwayze-fixed into main trevon 2026-09-25 13:34:06 +00:00
  • 871812e187 Merge pull request 'feat(verify): report a deleted subject as removed, not resolved' (#10) from feat/verify-removed into main trevon 2026-09-25 13:34:01 +00:00
  • 6e0222ffbe Merge pull request 'fix(cpp-front): discover libclang on Linux, not only on Homebrew macOS' (#8) from fix/libclang-discovery-on-linux into main trevon 2026-09-25 02:38:56 +00:00
  • 4f3f22acad
    feat(verify): report a deleted subject as removed, not resolved trvon 2026-09-24 20:04:52 -06:00
  • dbf1ebc69e
    chore(recall): mark the two nuwayze wire-up cases fixed trvon 2026-09-24 19:55:49 -06:00
  • cf8c4cccc1
    fix(cpp-front): discover libclang on Linux, not only on Homebrew macOS trvon 2026-09-24 19:54:23 -06:00
  • 1c581822d1 Merge pull request 'merge/audit-and-state-map' (#7) from merge/audit-and-state-map into main trevon 2026-09-25 00:07:04 +00:00
  • fb055c9978
    merge: bring main into the audit and state-map work trvon 2026-09-24 07:33:53 -06:00
  • 199ba4c124 Merge pull request 'feat(queries): land the query inventory that missed main' (#6) from trevon/land-query-inventory into main trevon 2026-09-24 02:45:00 +00:00
  • 1779da7e4d
    docs: trim the README and split usage, rules, design and development out trvon 2026-09-23 20:40:40 -06:00
  • aab1903431 Merge pull request 'fix(cli): close the remaining rough edges in paths, recall, yams and baselines' (#4) from trevon/cli-rough-edges into main trevon 2026-09-24 02:36:11 +00:00
  • 3e4217c0fe Merge pull request 'feat(queries): inventory firestore query surfaces as typed records' (#5) from trevon/firestore-query-inventory into fix/cli-rough-edges trevon 2026-09-24 02:36:06 +00:00
  • 1f60197a15
    feat(queries): inventory firestore query surfaces as typed records trvon 2026-09-23 18:03:09 -06:00
  • 4b499c1e21
    feat(cpp): experimental C++ front end for scoped-enum state trvon 2026-09-22 19:16:53 -06:00
  • 6a700222eb
    fix(baseline): record the project root relative to the baseline file trvon 2026-09-22 15:30:46 -06:00
  • 00ef0e965b
    fix(cli): close the remaining rough edges in paths, recall and yams trvon 2026-09-22 15:26:30 -06:00
  • 9453853260 Merge pull request 'fix(guide,suggest): word agent guidance no stronger than the evidence' (#2) from docs/honest-agent-guidance into main trevon 2026-09-22 21:19:58 +00:00
  • d1b430b795 Merge branch 'main' into docs/honest-agent-guidance trevon 2026-09-22 21:19:33 +00:00
  • 3c59fe78f3 Merge pull request 'fix(riverpod): a listener that reads the value is not a render' (#3) from fix/riverpod-listen-is-not-a-render into main trevon 2026-09-22 21:19:27 +00:00
  • f6411dc23b
    fix(riverpod): a listener that reads the value is not a render trvon 2026-09-22 15:17:19 -06:00
  • c850ce42c8 Merge branch 'main' into docs/honest-agent-guidance trevon 2026-09-22 21:15:51 +00:00
  • 0d891919e9
    feat(check): run the rules on a state model written by any front end trvon 2026-09-22 14:31:03 -06:00
  • c3f1fb6319
    refactor(rules): provider rules judge facts; runChecks takes only the model trvon 2026-09-22 14:23:39 -06:00
  • 56dcfc85a6
    refactor(rules): judge loading and construction facts, not syntax trees trvon 2026-09-22 14:17:33 -06:00
  • 17ff523a11
    fix(check): lower confidence where unresolved code can hide evidence trvon 2026-09-22 14:04:32 -06:00
  • c79878f93d
    fix(baseline): make every fingerprint independent of position trvon 2026-09-22 13:47:29 -06:00
  • 939cdcb251
    fix(riverpod): recognise AsyncError patterns and follow stored values trvon 2026-09-22 13:45:11 -06:00
  • 6e2d47f7db
    fix(state-flow): credit freezed factory calls to their redirect target trvon 2026-09-22 13:39:31 -06:00
  • 70262a8c2f
    fix(sdk): refuse an unreadable SDK clearly, and fix the runtime fallback trvon 2026-09-22 13:36:10 -06:00
  • 682be14f97
    fix(adjudicate): fail when uncertified, and state its independence limit trvon 2026-09-22 13:30:49 -06:00
  • c065576e96
    fix(cli): refuse subset baselines and scope verify to --rule trvon 2026-09-22 13:30:41 -06:00
  • 8d64718977
    fix(loading-flag-not-reset): analyse closures once, and name handlers trvon 2026-09-22 13:30:31 -06:00
  • cb30269f64
    fix(event-rules): follow the event hierarchy and every owning bloc trvon 2026-09-22 13:30:21 -06:00
  • c32b90d5f3 Merge pull request 'fix: stop verify, reports and briefs from claiming more than pipe checked' (#1) from fix/verify-soundness-and-injection into main trevon 2026-09-22 18:24:06 +00:00
  • dd74828e1d
    fix(suggest): drop "work them in this order" from the agent plan trvon 2026-09-22 12:13:39 -06:00
  • 6ac40b04c4
    chore: apply dart format to the files this branch changed trvon 2026-09-22 12:10:13 -06:00
  • b304b61a48
    test(suggest): match the judgement label the scorer prints trvon 2026-09-22 12:10:11 -06:00
  • edaaec0a94
    chore: align the hooks, PR template, CODEOWNERS and commitlint with the repo trvon 2026-09-22 12:04:25 -06:00
  • f7eeef7baa
    docs: bring the README in line with what pipe does and prints trvon 2026-09-22 12:04:01 -06:00
  • c666df6a99
    fix(guide): count new findings in the markdown summary, as its heading does trvon 2026-09-22 12:02:49 -06:00
  • ea9d51078a
    fix(guide,suggest): make verify hints commands that can be pasted as-is trvon 2026-09-22 12:02:22 -06:00
  • 138baad67c
    fix(suggest): frame the agent plan as a ranking and name every target trvon 2026-09-22 12:01:38 -06:00
  • cb302bbe12
    fix(guide): scope "nothing references it" to the directories scanned trvon 2026-09-22 12:00:49 -06:00
  • 37d4864d54
    fix(guide): word each rule's one-liner no stronger than its confidence trvon 2026-09-22 12:00:14 -06:00
  • 34325c7e16
    fix(guide): make the rule legend's fixes follow --policy trvon 2026-09-22 11:59:53 -06:00
  • d6b6bcb438
    fix(analysis): report an unreadable SDK cleanly instead of crashing trvon 2026-09-22 12:11:33 -06:00
  • 10db6fbb57
    chore: apply dart format to the files this branch changed trvon 2026-09-22 12:09:38 -06:00
  • 17c9f9afab
    fix(suggest): break score ties by file, line and rule trvon 2026-09-22 11:57:49 -06:00
  • ae412a7964
    fix(cli): reject a missing --dir and report filesystem errors cleanly trvon 2026-09-22 11:57:36 -06:00
  • e2d84f5e75
    fix(guide): persist the yams report with its caution and provenance trvon 2026-09-22 11:56:28 -06:00
  • 4a1c9cdd3e
    fix(guide): quote analysed source as bounded, delimited data trvon 2026-09-22 11:56:02 -06:00
  • 39b309af97
    fix(guide,suggest): stop packing at the first entry that does not fit trvon 2026-09-22 11:53:34 -06:00
  • 749aa53348
    feat(report): state scan coverage in every check, guide and suggest output trvon 2026-09-22 11:52:40 -06:00
  • ac7cce1f76
    fix(cli): keep status messages off stdout so JSON output stays parseable trvon 2026-09-22 11:51:49 -06:00
  • a0844bb6f0
    fix(baseline): key every fingerprint on identity, not on its line trvon 2026-09-22 11:51:35 -06:00
  • 9eb3d98d4d
    fix(verify): a finding in an excluded file is not scanned, not resolved trvon 2026-09-22 11:50:05 -06:00
  • cf9e0b7e57
    fix(verify): judge only the baselined findings of the rules that ran trvon 2026-09-22 11:48:34 -06:00
  • f0fc57e341
    fix(dead-handler): stop claiming more than the scan supports trvon 2026-09-21 07:09:47 -06:00
  • 1ff0dc02e1
    fix(recall): keep guarding cases whose evidence is readable trvon 2026-09-20 22:07:27 -06:00
  • ddf1be0442
    fix(verify,recall): a partially readable project is not a fixed one trvon 2026-09-20 22:04:52 -06:00
  • a05d971130
    fix(scan): a project of unreadable files reported a clean result trvon 2026-09-20 22:02:20 -06:00
  • 74b5aa95e3
    style: apply dart format to the two tests added in 4c65166 trvon 2026-09-20 21:59:32 -06:00
  • 4c65166347
    fix: close two more ways a check could pass without checking anything trvon 2026-09-20 21:58:57 -06:00
  • 7c5812b609
    fix(verify): stop reporting unscanned findings as resolved trvon 2026-09-20 21:55:31 -06:00
  • 51929e2107
    fix(scan): stop reporting success for a scan that found nothing trvon 2026-09-20 21:53:49 -06:00
  • 5c82518c57
    docs: document the command-specific flags the execution sweep found undocumented trvon 2026-09-20 21:50:41 -06:00
  • 639c2d168e
    fix(cli): reject malformed numeric options instead of silently defaulting trvon 2026-09-20 21:48:14 -06:00
  • 1193e061f9
    test(cli): exercise graph end to end, not just its parser trvon 2026-09-20 21:44:03 -06:00
  • 03df9d01de
    fix(cli): repair graph, which crashed on every invocation trvon 2026-09-20 21:43:36 -06:00
  • 1e7d7b72d5
    fix(providers): drop the dangling "by type" clause when there are no declarations trvon 2026-09-20 21:34:42 -06:00
  • f1c0e56a1a
    docs(fixtures): record why the UI fixture must stay dependency-free trvon 2026-09-20 21:30:56 -06:00
  • 347f2ef51d
    fix(adjudicate): stop the oracle from manufacturing contradictions trvon 2026-09-20 21:30:14 -06:00
  • 3c91db2946
    fix: act on the external audit - 5 defects, 5 vacuous tests, a real fixture exclusion bug trvon 2026-09-20 20:45:58 -06:00
  • 883c661d7b
    feat: default remediation policy is to WIRE IT UP, not to delete trvon 2026-09-20 18:41:07 -06:00
  • c391171e6a
    fix: attribute typed variable patterns, and stop treating base-field reads as unrendered trvon 2026-09-20 18:10:56 -06:00
  • 8244959773
    docs: label the provider-created-in-build negative controls in the fixture trvon 2026-09-20 18:00:46 -06:00
  • 88ed85b43a
    feat: add notifier-field-unread and provider-created-in-build, bound the brief header trvon 2026-09-20 17:59:54 -06:00
  • 2c7bea9ef0
    feat: provider package support - model all provider declaration types, add provider-read-in-build trvon 2026-09-20 17:46:30 -06:00
  • d87c0bf8e0
    perf: group never-matched state markers by marker class instead of one finding per variant trvon 2026-09-20 17:37:06 -06:00
  • 5d0a704bc2
    perf: collapse a fully unobserved state union into one decision-level finding trvon 2026-09-20 17:18:51 -06:00
  • 567a0b8a45 chore: adopt the yams repo layout trvon 2026-09-20 17:03:37 -06:00
  • 4df7cc12b7 fix: track the rule fixture package_config so a fresh clone can run the tests trvon 2026-09-20 17:03:35 -06:00
  • e9a29077cd perf: AOT build script + measured perf (6.4s -> 0.2s startup, nuwayze 23-29s -> 10.4s) pipe-loop 2026-09-20 16:24:19 -06:00
  • b83fca1e30 feat: suggest command - ranked fix order per file with transparent scoring pipe-loop 2026-09-20 16:22:29 -06:00
  • 3cdb32f89d feat: provider rules (notifier-never-notifies, notifier-inert-consumer) with observable-field gate and coverage notes pipe-loop 2026-09-20 16:19:02 -06:00
  • 3ebc78d1a7 feat: add verify command - prove fixes, not just find problems pipe-loop 2026-09-20 16:07:09 -06:00
  • aae2d5e43b test: adjudicate all 159 nuwayze R001/R006 findings with a validated checker (82/82, 77/77) pipe-loop 2026-09-20 16:05:00 -06:00
  • f2949dfbfd feat: rule contracts + recall measurement (5/5 real bugs) + real --fail-on gate pipe-loop 2026-09-20 16:00:10 -06:00
  • a773407684 fix: do not claim space pressure when there are simply no rules pipe-loop 2026-09-20 14:42:19 -06:00
  • 9b4707b5c3 fix: accurate state-owner summary, no-findings brief, skip empty legend pipe-loop 2026-09-20 14:41:42 -06:00
  • 513ce76150 feat: baseline/ratchet support, CI gate over new findings, README with precision table pipe-loop 2026-09-20 14:40:17 -06:00
  • 73fdcfeb95 feat: Riverpod support - provider model, riverpod-async-gap rule, tiered by value type pipe-loop 2026-09-20 14:35:40 -06:00
  • 6859d7e78c feat: phase 5 dogfood - model flag-based state, add loading-flag-not-reset, fixture tests pipe-loop 2026-09-20 14:29:21 -06:00
  • bd667093ee feat: name first consumer per finding, add cleanly-deletable dead-handler section pipe-loop 2026-09-20 14:15:17 -06:00
  • 34a7921b66 feat: dense edit anchors, reserve legend space, derive legend from shown groups pipe-loop 2026-09-20 14:13:56 -06:00
  • 97f99d88a1 feat: decide wire-vs-delete from owner references, fix legend set, add by-rule aggregate pipe-loop 2026-09-20 14:05:53 -06:00