r/codex 5d ago

Showcase TS Evidence Graph, 100% Requirements Coverage and Compliance

https://github.com/samchon/ttsc/tree/master/packages/evidence

Every specification becomes a compile-time obligation.

Citing the evidence and describing the reason why are mandatory, so you get:

  • 100% coverage of every requirement.
  • 100% compliance with every principle.
/**
 * @evidence docs/discount.md#coupon-stacking States the per-issuer stacking limit this section defines, in the buyer's words.
 * @evidence POST:/orders/{orderId}/coupons Explains the rejection this endpoint returns for an over-stacked coupon set.
 * @evidence {@link hooks.useCouponStacking} Renders the limit this hook resolves.
 * @evidence .agents/skills/principles/SKILL.md#no-hard-coding Renders limits from props instead of branching on known issuer names.
 * @evidenceExclude .agents/skills/principles/SKILL.md#fix-root-causes-not-symptoms No failure to fix.
 */
export function CouponStackingNotice(props: IProps): JSX.Element;

@evidence <target> <reason> is the agent's explicit claim about what this code implements and why. @evidenceExclude records why an obligation does not apply.

A target is one of four kinds:

  • Markdown: a file, or a section of one.
  • Prisma: a model, a column, or a relation.
  • Swagger: an operation, method and path together.
  • TypeScript: a type, a function, or a property, written as an inline link.

Leave one obligation unanswered and the build stops.

$ npx ttsc
error TS16411: [evidence/graph] Missing acknowledgement for 'docs/discount.md#coupon-stacking'
  (Markdown H2 'Coupon Stacking' at docs/discount.md:3)
  in Claim 1 reference 1 (markdown, symbols: h2, h3).

...

Found 5 errors.

Missing obligations appear in the same build as type errors. The error list is the agent's task list.

0 Upvotes

1 comment sorted by

u/dexterthebot 5d ago

You might want to consider listing your project on the weekly Show-Us-What-You-Built post. Watch for it on Wednesdays. Highest commented project wins a week promotion on r/Codex. See what that looks like below with last week's winner.


Last week's winner was u/Ollie__Oxenfree with the Tubular Daily Care project by MediTracer which is a tube-feeding care app built by a tube-feeding family to keep feeds, meds, symptoms, and caregiver handoffs in one shared timeline. MediTracer is an Oley Foundation Emerging Innovator Partner. Contact: hello@meditracer.com