trevon

trevon pushed to master at trevon/fold

2026-09-01 14:21:56 +00:00

5e4750f839

chore(detect): drop unused <utility> include from security_walker_refinement.cpp

trevon pushed to master at trevon/fold

2026-09-01 13:18:37 +00:00

91de7405e0

perf(detect): resolve var-var branch feasibility via octagon entailments

trevon pushed to master at trevon/fold

2026-09-01 01:19:53 +00:00

21ff1799c5

bench: calibrate yams wall gate to measured machine variance

trevon pushed to master at trevon/fold

2026-09-01 00:10:06 +00:00

a016268e1f

bench: activate wall/RSS regression gates via performance baselines

a72016c546

bench: wire gold precision/recall gates into fold/yams manifests

Compare 2 commits »

trevon pushed to master at trevon/fold

2026-08-31 23:06:39 +00:00

3a05340d85

perf(detect): widen branch-feasibility fast path with octagon ranges

118b745fea

docs(loop): mark in-pass contribution collection INVALIDATED (ordering dependency)

1699e5618e

docs(loop): record iteration ledger + in-pass contribution collection design

8a1346125a

chore(detect): drop unused includes from security_walker.cpp

Compare 4 commits »

trevon pushed to master at trevon/gem

2026-08-31 23:05:58 +00:00

bdab4aafb5

docs: restructure into user_guide/research/build; add 12B servability gate; brief README

trevon pushed to master at trevon/fold

2026-08-31 13:14:13 +00:00

27e1b23e7d

style: fold formatting normalization into campaign test files

trevon pushed to master at trevon/fold

2026-08-31 12:44:02 +00:00

b5952feaec

profile: add summary-path Z3 context sizing counters

trevon pushed to master at trevon/fold

2026-08-31 03:34:32 +00:00

66a11fccb8

perf(symbolic): reuse one scratch Z3 context for summary computation

trevon pushed to master at trevon/fold

2026-08-31 03:20:11 +00:00

259ae527d4

profile: add Z3 context/solver construction counters; fix sql-injection stats attribution

bca812c734

test(bench): add reproduction rig for the summary-flake target (negative result)

91fcef3d74

test(bench): scope benchmark schema test to checked-in documents

d67264ca3e

fix(call-graph): merge same-USR duplicate evidence like the exhaustive builder

f4f1d55ce1

bench: re-baseline fold/yams finding dispositions after line drift; evals pass

Compare 6 commits »

trevon pushed to master at trevon/gem

2026-08-31 00:25:09 +00:00

0e13bb195a

feat: hello world

trevon created branch master in trevon/gem

2026-08-31 00:25:09 +00:00

trevon created repository trevon/gem

2026-08-30 22:39:39 +00:00

trevon pushed to bench/yams-architecture-reproducibility at trevon/brick

2026-08-30 22:09:42 +00:00

54ef5b9f3f Merge pull request 'feat: establish first-class lexical language parity' (#2) from feat/language-parity-foundation into bench/yams-architecture-reproducibility

e56ea81f9d docs: publish lexical language parity contract

543bafcfd4 fix(scan): mask multiline block comments

68c760e089 test(bench): gate language parity independently

e2a0cbcaa0 test(scan): characterize secondary language coverage

Compare 15 commits »

trevon merged pull request trevon/brick#2

2026-08-30 22:09:40 +00:00

feat: establish first-class lexical language parity

trevon pushed to main at trevon/brick

2026-08-30 22:09:37 +00:00

bb8b4ef4b3 Merge pull request 'bench: harden architecture scan evidence' (#1) from bench/yams-architecture-reproducibility into main

f26d541181 chore: remove tracked Python bytecode

b6e51e5076 docs: clarify architecture evidence boundaries

2f162372c2 bench: fingerprint benchmark working trees

e03c2a299b fix(fold): normalize imported finding paths

Compare 5 commits »

trevon merged pull request trevon/brick#1

2026-08-30 22:09:35 +00:00

bench: harden architecture scan evidence

trevon created pull request trevon/brick#2

2026-08-30 21:59:25 +00:00

feat: establish first-class lexical language parity

trevon pushed to feat/language-parity-foundation at trevon/brick

2026-08-30 21:59:09 +00:00

e56ea81f9d docs: publish lexical language parity contract

543bafcfd4 fix(scan): mask multiline block comments

68c760e089 test(bench): gate language parity independently

e2a0cbcaa0 test(scan): characterize secondary language coverage

2c66bec1e9 fix(scan): suppress type declaration calls

Compare 10 commits »

trevon created branch feat/language-parity-foundation in trevon/brick

2026-08-30 21:59:09 +00:00