drivers

Read the equation

This relation defines drivers computes the four "inventory coverage" drivers (a requirement is COVERED iff >=1 q in the source section “drivers”. It specifies the displayed relationship between the named quantities or parameters. Its interpretation depends on the source’s stated variables and conditions; this record does not assign an unprovided physical or cognitive meaning to them.

Terms & definitions

The recovered passage does not supply a separate symbol table. Read the source context for the notation used in this version; familiar letters may carry different meanings in other builds.

How it works

1. Read drivers computes the four "inventory coverage" drivers (a requirement is COVERED iff >=1 q as the quantity being defined or updated by this relation.

2. Substitute the source-defined variables or recorded values and follow the displayed arithmetic and indexing exactly.

3. Use this version’s variable definitions and update order. The same symbol may be assigned a different meaning in another build.

Assumptions & limits

• This source expression was recovered from the pinned code revision. Its presence does not establish that the associated program was built, run, or scientifically validated.

Original context

		GROUP BY ar.id`); err != nil {
		return fmt.Errorf("cc_qual: %w", err)
	}
	_, err := tx.Exec(ctx, `CREATE INDEX ON cc_qual (req_id)`)
	return err
}

// drivers computes the four "inventory coverage" drivers (a requirement is COVERED iff >=1 qualified
// available candidate exists — coverability, not assignment). The fifth driver, proposal_readiness, is
// derived from the assignment in the service (proposalFromAssignment).
func (s *Service) drivers(ctx context.Context, tx pgx.Tx) (map[string]decimal.Decimal, decimal.Decimal, error) {
	d := map[string]decimal.Decimal{}
	var denom, covered int64

	if err := tx.QueryRow(ctx, `
		WITH clreq AS (SELECT rlvl, rpoly FROM cc_active_req WHERE rlvl>=2)
		SELECT count(*), count(*) FILTER (WHERE EXISTS (
		  SELECT 1 FROM cc_cand c WHERE c.available AND c.effective AND c.lvl>=clreq.rlvl AND c.poly>=clreq.rpoly))

drivers computes the four "inventory coverage" drivers (a requirement is COVERED iff >=1 qualified

Related builds

Related mathematical records