trevon

trevon pushed to master at trevon/fold

2026-09-25 06:48:09 +00:00

8bb39471a7 Merge pull request 'Fix audit findings: soundness, coverage reporting, docs, and review follow-ups' (#1) from fix/audit-findings into master

fcf474e4f0

refactor(cli): one TU path normalizer for coverage, fan-out and quarantine

ed48d44605

fix(solver): never memoize a core from a portfolio disagreement

b8c997c732

fix(scan): report quarantined TUs as coverage gaps

00082448f4

fix(encoder): a global C++ lookalike is not a C library function

Compare 19 commits »

trevon merged pull request trevon/fold#1

2026-09-25 06:48:08 +00:00

Fix audit findings: soundness, coverage reporting, docs, and review follow-ups

trevon created pull request trevon/fold#1

2026-09-25 03:51:46 +00:00

Fix audit findings: soundness, coverage reporting, docs, and review follow-ups

trevon pushed to fix/audit-findings at trevon/fold

2026-09-25 03:50:46 +00:00

fcf474e4f0

refactor(cli): one TU path normalizer for coverage, fan-out and quarantine

ed48d44605

fix(solver): never memoize a core from a portfolio disagreement

b8c997c732

fix(scan): report quarantined TUs as coverage gaps

00082448f4

fix(encoder): a global C++ lookalike is not a C library function

29a292c6d5

fix(oob,uaf): re-check portfolio verdicts on the reporting solver

Compare 10 commits »

trevon created branch fix/audit-findings in trevon/fold

2026-09-25 03:50:46 +00:00

trevon pushed to fix/review-followups at trevon/brick

2026-09-25 03:14:32 +00:00

67d1980001

Merge main into fix/review-followups: move the Dart import note into docs/resolution.md

8b1e52042e Merge pull request 'docs: trim the README and split usage, resolution and development out' (#6) from docs/readme-split into main

4de9884a54

Merge main into docs/readme-split: carry #7's caller-status docs into the split

d88238c986

docs: trim the README and split usage, resolution and development out

Compare 4 commits »

trevon created pull request trevon/brick#8

2026-09-25 03:13:37 +00:00

fix: review follow-ups for #5 and the Swift lexical preview

trevon pushed to fix/review-followups at trevon/brick

2026-09-25 03:13:07 +00:00

324900287b

fix(dart): honour import prefixes, show/hide and one level of export

04653788fa

fix(rust): keep impls written on a qualified path when leaf names collide

3fbb9275a5

perf(scan): index import edges once instead of scanning per file

67334bec59

fix(python): resolve relative, package and dotted imports to the right file

c3c7c6c3f4

fix(swift): give the lexical preview Swift's forms and mask block comments

Compare 8 commits »

trevon created branch fix/review-followups in trevon/brick

2026-09-25 03:13:07 +00:00

trevon pushed to main at trevon/brick

2026-09-25 02:54:22 +00:00

8b1e52042e Merge pull request 'docs: trim the README and split usage, resolution and development out' (#6) from docs/readme-split into main

4de9884a54

Merge main into docs/readme-split: carry #7's caller-status docs into the split

d88238c986

docs: trim the README and split usage, resolution and development out

Compare 3 commits »

trevon merged pull request trevon/brick#6

2026-09-25 02:54:21 +00:00

docs: trim the README and split usage, resolution and development out

trevon created pull request trevon/pipe#10

2026-09-25 02:53:49 +00:00

feat(verify): report a deleted subject as removed, not resolved

trevon created pull request trevon/pipe#9

2026-09-25 02:53:48 +00:00

chore(recall): mark the two nuwayze wire-up cases fixed

trevon pushed to docs/readme-split at trevon/brick

2026-09-25 02:53:29 +00:00

4de9884a54

Merge main into docs/readme-split: carry #7's caller-status docs into the split

b160fea314 Merge pull request 'feat: add brick_callers and brick_uncalled caller-status queries' (#7) from feat/caller-status into main

d7be35d7ef Merge branch 'main' into feat/caller-status

2a9716dac0 Merge pull request 'fix/audit-findings' (#5) from fix/audit-findings into main

6d4335d3ae

docs: record C/C++ and Rust resolution research and validation

Compare 6 commits »

trevon pushed to main at trevon/brick

2026-09-25 02:51:17 +00:00

b160fea314 Merge pull request 'feat: add brick_callers and brick_uncalled caller-status queries' (#7) from feat/caller-status into main

d7be35d7ef Merge branch 'main' into feat/caller-status

6d4335d3ae

docs: record C/C++ and Rust resolution research and validation

d292b9f3f2

feat: add brick_callers and brick_uncalled caller-status queries

Compare 4 commits »

trevon merged pull request trevon/brick#7

2026-09-25 02:51:17 +00:00

feat: add brick_callers and brick_uncalled caller-status queries

trevon pushed to feat/caller-status at trevon/brick

2026-09-25 02:51:06 +00:00

d7be35d7ef Merge branch 'main' into feat/caller-status

2a9716dac0 Merge pull request 'fix/audit-findings' (#5) from fix/audit-findings into main

46698cd87d

docs: state resolution rules and limits as the code now implements them

f9804976bc

perf(source): record parents during traversal instead of re-walking from the root

e03fa40ccc

fix(c): parse .c files with the C grammar

Compare 17 commits »

trevon created pull request trevon/brick#7

2026-09-25 02:50:04 +00:00

feat: add brick_callers and brick_uncalled caller-status queries

trevon created pull request trevon/brick#6

2026-09-25 02:49:18 +00:00

docs: trim the README and split usage, resolution and development out

trevon pushed to docs/readme-split at trevon/brick

2026-09-25 02:45:53 +00:00